[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Frontiers of Combining Systems

Lingua IngleseInglese
Libro In brossura
Libro Frontiers of Combining Systems Silvio Ghilardi
Codice Libristo: 01650470
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2009
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Co... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Journals of Sylvia Plath Sylvia Plath / In brossura
common.buy 26.11 €
Salzkammergut Lakeside Pocket + the Big Five, Waterproof 1:100 000 / Mappa
common.buy 7.70 €
ABITURIENTENJAHRGANG 1951 60 Jahre danach Hartmut Sturm / In brossura
common.buy 22.15 €
Trickster in West Africa Robert D Pelton / In brossura
common.buy 47.41 €
Jacques Derrida Marian Hobson / In brossura
common.buy 89.48 €
Safe Haven ELLIS AMDUR / Rigido
common.buy 39.38 €
What Do Lawyers Do? Flood / Rigido
common.buy 67.64 €
Beginnerin Elisabeth Brandner / In brossura
common.buy 30.07 €
Neue Ergebnisse Der Nervenphysiologie A. v. Muralt / In brossura
common.buy 79.09 €
Game of My Life Auburn Tigers MARK MURPHY / Rigido
common.buy 24.61 €
Impacts of Research and Development Expenditures John J. Wetter / Rigido
common.buy 143.32 €
Modern Clinical Trial Analysis Xin Tu / Rigido
common.buy 220.39 €
Hochschule ALS Organisation Uwe Wilkesmann / In brossura
common.buy 91.94 €
deutsch ideen SI - Ausgabe 2012 Nordrhein-Westfalen, m. 1 Buch, m. 1 Online-Zugang / binding.
common.buy 13.90 €
Two Expeditions Into the Interior of Southern Australia - Complete Charles Sturt / In brossura
common.buy 49.66 €
Die Tripptrappmaus Hermann Regner / In brossura
common.buy 6.73 €

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009.§The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Informazioni sul libro

Titolo completo Frontiers of Combining Systems
Autore Silvio Ghilardi, Roberto Sebastiani
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2009
Numero di pagine 383
EAN 9783642042218
ISBN 364204221X
Codice Libristo 01650470
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 605
Dimensioni 155 x 235 x 22

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo