Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Programming Logics

Name: Programming Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281565
Price: 53.79 EUR
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783642376504

Essays in Memory of Harald Ganzinger

Andrei Voronkov

Christoph Weidenbach

Sprache

Englisch

Buch Broschur

Libristo-Code: 05281565

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2013

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... Vollständige Beschreibung

Libristo-Code: 05281565

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Cría de pollos (Gallus domesticus) en Kivu del Sur, este de la RDC

Broschur

37.29 €

Conni rettet die Tiere (Meine Freundin Conni - ab 6 17), Audio-CD Julia Boehme

Audio CD

8.89 €

RTA194 SUZUKI-SANTANA GRAND VITARA II fase1(05-09) ETAI Buch

binding.

36.19 €

Deutsch in 15 Minuten - Texte schreiben 5./6. Klasse Friederike Ablang

Broschur

6.99 €

Prašina 3 - Biela komnata Vojtěch Matocha

Broschur

14.79 €

Rechtliche Risiken des Arbeitnehmers bei der Nichtbefolgung unbilliger Weisungen des Arbeitgebers einerseits und bei Nichtbefolgung ordnungsgemäßer We Sirko Archut

Broschur

42.95 €

Gottesbewusstsein - Die Hohe Kunst der Magie Ursula W Ziegler

Broschur

19.95 €

Pippa Pepperkorn Hörbuch-Box Charlotte Habersack

Audio CD

19.90 €

Die verfassunggebende Gewalt nach dem Grundgesetz für die Bundesrepublik Deutschland. Dietrich Murswiek

Broschur

59.90 €

Bewegungsorientierte Sprachfoerderung aus neurolinguistischer Perspektive Ninon Nasseri

Broschur

15.95 €

Fornication APTER

Hardcover

9.99 €

Vergleich der privaten E-Mail und SMS Kommunikation aus linguistischer und medienwahltheoretischer Perspektive Anja Bürger

Broschur

42.95 €

Notice Biographique Sur La Vie de M. Le Comte de Peyronnet Sans Auteur

Broschur

13.19 €

Militar-Flugzeugindustrie im Dritten Reich Christian Matenaar

Broschur

38.00 €

Wenn die Liebe schmerzt Claudia Amherd

Broschur

25.29 €

Dr. Joseph Salzmanns Leben Und Wirken Joseph Rainer

Broschur

29.90 €

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.§The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Programming Logics

Autor Andrei Voronkov, Christoph Weidenbach

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 447

EAN 9783642376504

ISBN 3642376509

Libristo-Code 05281565

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

Gewicht 700

Abmessungen 155 x 235 x 25

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Sehen, Bildverstehen

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert