Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Reduktionssysteme

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Langue AllemandAllemand
Livre Livre de poche
Livre Reduktionssysteme J. Avenhaus
Code Libristo: 06809239
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 1995
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte... Description détaillée
? points 126 b
51.98 €
Stockage externe Expédition sous 8-11 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Artificial Intelligence in Medicine Steen Andreassen / Livre Livre de poche
common.buy 51.78 €
Top
Berserk Deluxe Volume 1 Kentaro Miura / Livre Livre relié
common.buy 38.10 €
Hope of Israel; What Is It? Philip Mauro / Livre Livre relié
common.buy 29.79 €
Critique of Ayn Rand's Philosophy of Religion Dustin J. Byrd / Livre Livre de poche
common.buy 55.53 €
The First-Date Dilemma Jane B Mason / Livre Livre relié
common.buy 21.07 €
Terjemahan Surat Al-Fatihah and Surat Al-Baqarah Edisi Bahasa Inggris Muhammad Vandestra / Livre Livre de poche
common.buy 18.74 €
Aprender a vivir con niños Rebeca Wild / Livre Livre de poche
common.buy 21.78 €
#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets Deletra Deletra Hudson / Livre Livre de poche
common.buy 28.77 €
Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020 Eric Barbazo / Livre Livre relié
common.buy 11.64 €
Mystical Musings: A Collection of Poetry Dr Robert Kenneth Wheeler Jr / Livre Livre de poche
common.buy 12.15 €
Chicago's Seasons Christopher Viau / Livre Livre de poche
common.buy 10.63 €
Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I JAMES KIRKE PAULDING / Livre Livre de poche
common.buy 22.39 €
Let's Improve our Russian N. Volkova / Livre Livre de poche
common.buy 27.86 €
Abordable
Cheerfulness as a Life Power Orison Swett Marden / Livre Livre de poche
common.buy 5.46 €
52 Things Mary Wants James To Know: A Different Way To Say It Levy / Livre Livre de poche
common.buy 17.32 €
Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd / Livre Livre de poche
common.buy 37.39 €
The Travels of Marco Polo: The Venetian Ben Jonson / Livre Livre de poche
common.buy 42.15 €
Geese That Won the War Marilyn Ludwig / Livre Livre de poche
common.buy 14.99 €
Salesforce B2C Solution Architect's Handbook Mike King / Livre Livre de poche
common.buy 70.63 €
Coś się dzieje w naszym domu Josh Malerman / Livre Livre de poche
common.buy 9.62 €
Pravidla randění Penelope Ward / Livre Livre relié
common.buy 16.31 €
WYRD SISTERS ZABALA CASEY / Livre Livre de poche
common.buy 20.97 €
Uno sguardo alla storia della pedagogia della scrittura in seconda lingua Tahmineh Khalili / Livre Livre de poche
common.buy 32.12 €
Opuestos: Mexican Folk Art Opposites in English and Spanish / Livre Livre de poche
common.buy 9.92 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Reduktionssysteme
Auteur J. Avenhaus
Langue Allemand
Reliure Livre - Livre de poche
Date de parution 1995
Nombre de pages 261
EAN 9783540585596
ISBN 3540585591
Code Libristo 06809239
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 410
Dimensions 155 x 235 x 14

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Johannes de Tepla, Civis Zacensis, Epistola Cum Libello Ackerman Und Das Buchlein Ackerman. Band 1 Karl Bertau / Livre Livre relié
common.buy 119.38 €
18 UEbungen des Taiji-Qigong by Gabi Philippsen Stefan Wahle / Livre Livre de poche
common.buy 18.03 €
Papst Julius vor der Himmelstür. Julius exclusus e coelis Erasmus von Rotterdam / Livre Livre de poche
common.buy 15.70 €
Zirkuskind John Irving / Livre Livre de poche
common.buy 16.31 €
Katzen Bruno Morandi / Livre Livre relié
common.buy 13.57 €
Bientôt
Putins Netz - Wie sich der KGB Russland zurückholte und dann den Westen ins Auge fasste Catherine Belton / Livre Livre de poche
common.buy 13.57 €
Begegnungen Mit Einstein, Von Laue Und Planck Ilse Rosenthal-Schneider / Livre Livre de poche
common.buy 67.59 €
VW Bus Ken Cservenka / Livre Livre de poche
common.buy 12.25 €
Wortspiele Dagmar Scholz / Livre Livre de poche
common.buy 5.56 €
Möglichkeiten und Grenzen der Gewinnthesaurierung im Konzern. Jürgen Frodermann / Livre Livre de poche
common.buy 66.07 €
Komplexe Baumaßnahmen im Straßen- und Tiefbau Emanuel Berk / Livre Livre de poche
common.buy 50.05 €
Die Straßengäng (Band 3) - Hochmut kommt vor der Falle Simona M. Ceccarelli / Livre Livre relié
common.buy 9.92 €
Kiss Curse Erin Sterling / Livre Livre de poche
common.buy 14.38 €
Bientôt
Treaty Series 3009 (English/French Edition) United Nations Office of Legal Affairs / Livre Livre de poche
common.buy 45.29 €
Careera Extrema Jake Maddox / Livre Livre de poche
common.buy 7.69 €
Abordable
We All Go Travelling By Sheena Roberts / Livre Livre de poche
common.buy 8.71 €
Nursery Rhymes Posters Book for Toddler Steven Mark Steven / Livre Livre de poche
common.buy 6.78 €
La Bible manga, volume 3 : les messagers KUMAI Livre Livre de poche
common.buy 16.91 €
La Blessure Hervé Ghesquière / Livre Livre de poche
common.buy 21.68 €
Empirical Economic and Financial Research Jan Beran / Livre Livre de poche
common.buy 103.16 €
Katalog Hosty Robert Gabarkiewicz / Livre Livre de poche
common.buy 12.66 €
Rodinná Biblia Sally Ann Wrightová / Livre Livre relié
common.buy 30.09 €
Willow's Wonders: New School Blues Tyrus Goshay / Livre Livre de poche
common.buy 13.87 €
Preston Lee's Beginner English Lesson 61 - 80 for Persian Speakers Matthew Preston / Livre Livre de poche
common.buy 10.53 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?