Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Reduktionssysteme

Name: Reduktionssysteme
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06809239
Price: 1187 CZK
Availability: InStock
Author: J. Avenhaus
ISBN: 9783540585596

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

J. Avenhaus

Jazyk

Němčina

Kniha Brožovaná

Libristo kód: 06809239

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 1995

Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte... Celý popis

Libristo kód: 06809239

119 b

1 187 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Artificial Intelligence in Medicine Steen Andreassen

Brožovaná

1 182 Kč

Mystical Musings: A Collection of Poetry Dr Robert Kenneth Wheeler Jr

Brožovaná

279 Kč

Critique of Ayn Rand's Philosophy of Religion Dustin J. Byrd

Brožovaná

1 309 Kč

Berserk Deluxe Volume 1 Kentaro Miura

Pevná

779 Kč

Hope of Israel; What Is It? Philip Mauro

Pevná

685 Kč

Método TED para hablar en público JEREMY DONOVAN

Brožovaná

487 Kč

The First-Date Dilemma Jane B Mason

Pevná

477 Kč

Aprender a vivir con niños Rebeca Wild

Brožovaná

581 Kč

Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd

Brožovaná

857 Kč

#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets Deletra Deletra Hudson

Brožovaná

666 Kč

52 Things Mary Wants James To Know: A Different Way To Say It Levy

Brožovaná

397 Kč

Chicago's Seasons Christopher Viau

Brožovaná

243 Kč

The Travels of Marco Polo: The Venetian Ben Jonson

Brožovaná

968 Kč

Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I JAMES KIRKE PAULDING

Brožovaná

517 Kč

Let's Improve our Russian N. Volkova

Brožovaná

674 Kč

Cheerfulness as a Life Power Orison Swett Marden

Brožovaná

93 Kč

We All Go Travelling By Sheena Roberts

Brožovaná

183 Kč

Pravidla randění Penelope Ward

Pevná

359 Kč

WYRD SISTERS ZABALA CASEY

Brožovaná

474 Kč

Uno sguardo alla storia della pedagogia della scrittura in seconda lingua Tahmineh Khalili

Brožovaná

732 Kč

Opuestos: Mexican Folk Art Opposites in English and Spanish

Brožovaná

224 Kč

Kiss Curse Erin Sterling

Brožovaná

347 Kč

Treaty Series 3009 (English/French Edition) United Nations Office of Legal Affairs

Brožovaná

1 103 Kč

Salesforce B2C Solution Architect's Handbook Mike King

Brožovaná

1 622 Kč

Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften.§Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Reduktionssysteme

Autor J. Avenhaus

Jazyk

Němčina

Vazba Kniha - Brožovaná

Datum vydání 1995

Počet stran 261

EAN 9783540585596

ISBN 3540585591

Libristo kód 06809239

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 410

Rozměry 155 x 235 x 14

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence

Výpočetní a informační technologie > Operační systémy