Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Reduktionssysteme

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

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

J. Avenhaus

Jazyk

Nemčina

Kniha Brožovaná

Libristo kód: 06809239

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 1995

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

Libristo kód: 06809239

126 b

51.98 €

Skladom u dodávateľa Odosielame za 8-11 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Artificial Intelligence in Medicine Steen Andreassen

Brožovaná

51.78 €

Berserk Deluxe Volume 1 Kentaro Miura

Pevná

35.87 €

Hope of Israel; What Is It? Philip Mauro

Pevná

28.37 €

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

Brožovaná

53.10 €

The First-Date Dilemma Jane B Mason

Pevná

19.75 €

Terjemahan Surat Al-Fatihah and Surat Al-Baqarah Edisi Bahasa Inggris Muhammad Vandestra

Brožovaná

17.62 €

Aprender a vivir con niños Rebeca Wild

Brožovaná

21.78 €

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

Brožovaná

27.56 €

Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020 Eric Barbazo

Pevná

11.64 €

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

Brožovaná

11.54 €

Chicago's Seasons Christopher Viau

Brožovaná

10.02 €

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

Brožovaná

22.39 €

Let's Improve our Russian N. Volkova

Brožovaná

27.86 €

Cheerfulness as a Life Power Orison Swett Marden

Brožovaná

5.46 €

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

Brožovaná

16.41 €

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

Brožovaná

35.46 €

The Travels of Marco Polo: The Venetian Ben Jonson

Brožovaná

40.12 €

Geese That Won the War Marilyn Ludwig

Brožovaná

14.28 €

Salesforce B2C Solution Architect's Handbook Mike King

Brožovaná

67.18 €

Coś się dzieje w naszym domu Josh Malerman

Brožovaná

9.62 €

Pravidla randění Penelope Ward

Pevná

14.89 €

WYRD SISTERS ZABALA CASEY

Brožovaná

19.65 €

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

Brožovaná

32.12 €

Opuestos: Mexican Folk Art Opposites in English and Spanish

Brožovaná

9.31 €

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 pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Reduktionssysteme

Autor J. Avenhaus

Jazyk

Nemčina

Väzba Kniha - Brožovaná

Dátum vydania 1995

Počet strán 261

EAN 9783540585596

ISBN 3540585591

Libristo kód 06809239

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 410

Rozmery 155 x 235 x 14

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

Výpočtové a informačné technológie > Operačné systémy