phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Frontiers of Combining Systems

Limba englezăengleză
Carte Carte broșată
Carte Frontiers of Combining Systems Alessandro Armando
Codul Libristo: 01564181
Editura Springer, Berlin, noiembrie 2001
This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of C... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Wanted Man Lee Child / Carte broșată
common.buy 44 lei
Works & Correspondence of David Ricardo, Volume 01 Piero Sraffa / Carte broșată
common.buy 77 lei
Geistliche HALTESTELLEN im Kirchenjahr Windbichler Ernst / Carte broșată
common.buy 93 lei
Homage of Eminent Persons to the Book ... Comp. by Samuel W. Bailey ... Samuel W Bailey / Carte broșată
common.buy 114 lei
Cómo tener una vida plena Dale Carnegie / Carte broșată
common.buy 113 lei
Design and Implementation of Low-Power CMOS Radio Receivers Derek Shaeffer / Copertă tare
common.buy 640 lei
Routledge Handbook of Energy Security / Copertă tare
common.buy 1.699 lei
Modernisierung Kommunaler Sozialpolitik Stephan Grohs / Carte broșată
common.buy 238 lei
Die vier Einsichten Alberto Villoldo / Carte broșată
common.buy 56 lei
Die Alterssicherung sozialer Gruppen in der Bundesrepublik Deutschland Hans Pentenrieder / Carte broșată
common.buy 215 lei
Princesas DISNEY / Copertă tare
common.buy 75 lei
curând
Maya Makes A Mess Rutu Modan / Copertă tare
common.buy 63 lei
Kalkulation und Preisbildung bei langfristiger Fertigung insbesondere im Schiffbau. Klaus Möckelmann / Carte broșată
common.buy 268 lei
Gidersen Veda Etme Ahmed Günbay Yildiz / Carte broșată
common.buy 72 lei
Das tierische Kuriositätenkabinett Dirk Steffens / Carte broșată
common.buy 66 lei
Insolvenzanfechtung gegen Insider. Johann Killinger / Carte broșată
common.buy 268 lei

This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002.The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes into constraint programming and deduction systems.

Informații despre carte

Titlu complet Frontiers of Combining Systems
Autor Alessandro Armando
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 264
EAN 9783540433811
ISBN 3540433813
Codul Libristo 01564181
Editura Springer, Berlin
Greutatea 386
Dimensiuni 155 x 235 x 14

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
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

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