Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Programming Logics

Essays in Memory of Harald Ganzinger

Limba englezăengleză
Carte Carte broșată
Carte Programming Logics Andrei Voronkov
Codul Libristo: 05281565
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2013
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Cría de pollos (Gallus domesticus) en Kivu del Sur, este de la RDC / Carte Carte broșată
common.buy 197.66 lei
Conni rettet die Tiere (Meine Freundin Conni - ab 6 17), Audio-CD Julia Boehme / Audio Audio CD
common.buy 44.34 lei
RTA194 SUZUKI-SANTANA GRAND VITARA II fase1(05-09) ETAI Carte binding.
common.buy 183.64 lei
Deutsch in 15 Minuten - Texte schreiben 5./6. Klasse Friederike Ablang / Carte Carte broșată
common.buy 37.17 lei
Top
Prašina 3 - Biela komnata Vojtěch Matocha / Carte Carte broșată
common.buy 74.36 lei
Rechtliche Risiken des Arbeitnehmers bei der Nichtbefolgung unbilliger Weisungen des Arbeitgebers einerseits und bei Nichtbefolgung ordnungsgemäßer We Sirko Archut / Carte Carte broșată
common.buy 212.41 lei
Gottesbewusstsein - Die Hohe Kunst der Magie Ursula W Ziegler / Carte Carte broșată
common.buy 99.71 lei
Pippa Pepperkorn Hörbuch-Box Charlotte Habersack / Audio Audio CD
common.buy 93.89 lei
Die verfassunggebende Gewalt nach dem Grundgesetz für die Bundesrepublik Deutschland. Dietrich Murswiek / Carte Carte broșată
common.buy 312.33 lei
Bewegungsorientierte Sprachfoerderung aus neurolinguistischer Perspektive Ninon Nasseri / Carte Carte broșată
common.buy 79.76 lei
Fornication APTER / Carte Copertă tare
common.buy 50.37 lei
Vergleich der privaten E-Mail und SMS Kommunikation aus linguistischer und medienwahltheoretischer Perspektive Anja Bürger / Carte Carte broșată
common.buy 212.41 lei
Notice Biographique Sur La Vie de M. Le Comte de Peyronnet Sans Auteur / Carte Carte broșată
common.buy 69.90 lei
Militar-Flugzeugindustrie im Dritten Reich Christian Matenaar / Carte Carte broșată
common.buy 188.20 lei
Wenn die Liebe schmerzt Claudia Amherd / Carte Carte broșată
common.buy 133.67 lei
Dr. Joseph Salzmanns Leben Und Wirken Joseph Rainer / Carte Carte broșată
common.buy 148.42 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Programming Logics
Autor Andrei Voronkov, Christoph Weidenbach
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 447
EAN 9783642376504
ISBN 3642376509
Codul Libristo 05281565
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 700
Dimensiuni 155 x 235 x 25

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Web Usage Analysis and User Profiling Brij Masand / Carte Carte broșată
common.buy 284.91 lei
Monsieur De Camors - Volume 3 Octave Feuillet / Carte Copertă tare
common.buy 99.50 lei
Talking Football (Hall Of Famers' Remembrances ) Volume 2 David Spada / Carte Carte broșată
common.buy 131.28 lei
The Table Tennis Psychology Workbook: How to Use Advanced Sports Psychology to Succeed on the Ping Pong Table Danny Uribe Masep / Carte Carte broșată
common.buy 86.10 lei
Oxford Reading Tree All Stars: Oxford Level 10: Stanley Stone Rocks! Karen McCombie / Carte Carte broșată
common.buy 60.96 lei
Adenosinergic and autophagic mechanisms in Huntington's diseases Anil Kumar / Carte Carte broșată
common.buy 320.54 lei
Advanced Multimedia and Ubiquitous Engineering James J. (Jong Hyuk) Park / Carte Copertă tare
common.buy 851.64 lei
Rover Markus Weber / Carte Carte broșată
common.buy 131.91 lei
Riley Parra Season One Geonn Cannon / Carte Carte broșată
common.buy 108.33 lei
J. Patton Anderson, Confederate General James W. Raab / Carte Carte broșată
common.buy 176.88 lei
Courage Richard Avramenko / Carte Carte broșată
common.buy 224.04 lei
Ten Thousand Dreams Interpreted, or what's in a dream Gustavus Hindman Miller / Carte Carte broșată
common.buy 148.42 lei
Girl Aviators' Sky Cruise Margaret Burnham / Carte Copertă tare
common.buy 99.50 lei
Flies in Relation to Disease G. S. Graham-Smith / Carte Carte broșată
common.buy 329.26 lei
Why Do Volcanoes Erupt? Level 4 Factbook Brasch Nicolas / Carte Carte broșată
common.buy 40.91 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?