Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft

Frontiers of Combining Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Frontiers of Combining Systems Alessandro Armando
Libristo kód: 01564181
Kiadó Springer, Berlin, november 2001
This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of C... Teljes leírás
? points 168 b
26 263 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-15 napon belül

30 nap a termék visszaküldésére


Ezt is ajánljuk


Wanted Man Lee Child / Puha kötésű
common.buy 3 436 Ft
Works & Correspondence of David Ricardo, Volume 01 Piero Sraffa / Puha kötésű
common.buy 6 297 Ft
Design and Implementation of Low-Power CMOS Radio Receivers Derek Shaeffer / Kemény kötésű
common.buy 51 766 Ft
Geistliche HALTESTELLEN im Kirchenjahr Windbichler Ernst / Puha kötésű
common.buy 7 547 Ft
Cómo tener una vida plena Dale Carnegie / Puha kötésű
common.buy 8 798 Ft
Routledge Handbook of Energy Security / Kemény kötésű
common.buy 137 373 Ft
Modernisierung Kommunaler Sozialpolitik Stephan Grohs / Puha kötésű
common.buy 19 296 Ft
Die vier Einsichten Alberto Villoldo / Puha kötésű
common.buy 4 376 Ft
Princesas DISNEY / Kemény kötésű
common.buy 5 907 Ft
hamarosan
Maya Makes A Mess Rutu Modan / Kemény kötésű
common.buy 4 907 Ft
Gidersen Veda Etme Ahmed Günbay Yildiz / Puha kötésű
common.buy 5 592 Ft
Das tierische Kuriositätenkabinett Dirk Steffens / Puha kötésű
common.buy 5 127 Ft
Insolvenzanfechtung gegen Insider. Johann Killinger / Puha kötésű
common.buy 20 797 Ft

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.

Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása