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 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € 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.95 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.95 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Artificial Intelligence in Medicine Steen Andreassen

Brožovaná

51.75 €

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

Brožovaná

11.54 €

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

Brožovaná

57.01 €

Berserk Deluxe Volume 1 Kentaro Miura

Pevná

35.54 €

Hope of Israel; What Is It? Philip Mauro

Pevná

28.35 €

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

Brožovaná

20.15 €

The First-Date Dilemma Jane B Mason

Pevná

19.74 €

Aprender a vivir con niños Rebeca Wild

Brožovaná

23.99 €

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

Brožovaná

35.44 €

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

Brožovaná

27.54 €

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

Brožovaná

16.40 €

Chicago's Seasons Christopher Viau

Brožovaná

10.02 €

The Travels of Marco Polo: The Venetian Ben Jonson

Brožovaná

40.10 €

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

Brožovaná

22.37 €

Let's Improve our Russian N. Volkova

Brožovaná

27.84 €

Cheerfulness as a Life Power Orison Swett Marden

Brožovaná

3.84 €

We All Go Travelling By Sheena Roberts

Brožovaná

8.70 €

Pravidla randění Penelope Ward

Pevná

14.88 €

WYRD SISTERS ZABALA CASEY

Brožovaná

19.64 €

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

Brožovaná

32.10 €

Opuestos: Mexican Folk Art Opposites in English and Spanish

Brožovaná

9.31 €

Kiss Curse Erin Sterling

Brožovaná

13.36 €

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

Brožovaná

45.67 €

Salesforce B2C Solution Architect's Handbook Mike King

Brožovaná

67.14 €

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