phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Frontiers of Combining Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Frontiers of Combining Systems Alessandro Armando
Libristo kód: 01564181
Nakladatelství Springer, Berlin, listopadu 2001
This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of C... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Wanted Man Lee Child / Brožovaná
common.buy 234 Kč
Works & Correspondence of David Ricardo, Volume 01 Piero Sraffa / Brožovaná
common.buy 420 Kč
Geistliche HALTESTELLEN im Kirchenjahr Windbichler Ernst / Brožovaná
common.buy 483 Kč
Homage of Eminent Persons to the Book ... Comp. by Samuel W. Bailey ... Samuel W Bailey / Brožovaná
common.buy 594 Kč
Cómo tener una vida plena Dale Carnegie / Brožovaná
common.buy 593 Kč
Design and Implementation of Low-Power CMOS Radio Receivers Derek Shaeffer / Pevná
common.buy 3 313 Kč
Modernisierung Kommunaler Sozialpolitik Stephan Grohs / Brožovaná
common.buy 1 235 Kč
Routledge Handbook of Energy Security / Pevná
common.buy 8 792 Kč
Die vier Einsichten Alberto Villoldo / Brožovaná
common.buy 296 Kč
Die Alterssicherung sozialer Gruppen in der Bundesrepublik Deutschland Hans Pentenrieder / Brožovaná
common.buy 1 070 Kč
Princesas DISNEY / Pevná
common.buy 372 Kč
Připravujeme
Maya Makes A Mess Rutu Modan / Pevná
common.buy 332 Kč
Kalkulation und Preisbildung bei langfristiger Fertigung insbesondere im Schiffbau. Klaus Möckelmann / Brožovaná
common.buy 1 331 Kč
Gidersen Veda Etme Ahmed Günbay Yildiz / Brožovaná
common.buy 376 Kč
Insolvenzanfechtung gegen Insider. Johann Killinger / Brožovaná
common.buy 1 331 Kč
Beyond Pippi Longstocking Bettina Kümmerling-Meibauer / Brožovaná
common.buy 1 852 Kč

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.

Informace o knize

Plný název Frontiers of Combining Systems
Autor Alessandro Armando
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 264
EAN 9783540433811
ISBN 3540433813
Libristo kód 01564181
Nakladatelství Springer, Berlin
Váha 386
Rozměry 155 x 235 x 14

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet