Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Science Logic Zoltán Ésik
Codice Libristo: 01564793
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Descrizione completa
? points 262 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Gangland Chuck Hogan / Libro In brossura
common.buy 27.29 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 36.09 €
Manifeste pour un Islam des lumières Malek Chebel / Libro In brossura
common.buy 36.29 €
Entre les lignes nouvelle édition Bourdier / Libro In brossura
common.buy 9.39 €
Microsoft Office 365 Karel Klatovský / Libro In brossura
common.buy 10.79 €
Psychoanalyse Der Ermachtigung de Sousa Cleuber Cristiano de Sousa / Libro In brossura
common.buy 37.29 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Libro In brossura
common.buy 18.69 €
Produttivit? nelle industrie manifatturiere grazie alla gestione della conoscenza Prashant Chaudhari / Libro In brossura
common.buy 65.19 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Libro In brossura
common.buy 14.09 €
Tajomstvo úspechu troch majstrov Napoleon Hill / Libro Rigido
common.buy 16.39 €
Conjuguez sans faute / Libro In brossura
common.buy 5.19 €
Evariste-Desire De Parny, 'Le Paradis Perdu' Ritchie Robertson / Libro In brossura
common.buy 26.69 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Libro In brossura
common.buy 145.09 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Libro In brossura
common.buy 32.69 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Libro In brossura
common.buy 48.69 €
Insolvenzrecht Michael App / Libro In brossura
common.buy 51.21 €
Un árbol caído Rafael Reig / Libro In brossura
common.buy 10.39 €
Mapa Oceanía físico edigol ediciones / Libro In brossura
common.buy 14.79 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Libro In brossura
common.buy 63.89 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Libro In brossura
common.buy 20.39 €
Aprende a tocar la batería Peter Gelling / Libro In brossura
common.buy 30.39 €
Teilhabe-Ontologie und interreligioeser Dialog im Platonismus und Christentum Friedemann Drews / Libro Rigido
common.buy 161.69 €

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computer Science Logic
Autore Zoltán Ésik
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 627
EAN 9783540454588
ISBN 3540454586
Codice Libristo 01564793
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 961
Dimensioni 155 x 235 x 35

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
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

Potrebbe interessarti anche

Ghost Cat: Thelma's Dilemma Carol Colbert / Libro In brossura
common.buy 8.79 €
Mecca F. E. Peters / Libro In brossura
common.buy 106.59 €
Something Happened on the Way to Heaven Sudha Murty / Libro In brossura
common.buy 11.19 €
International Who's Who in Classical Music 2010 Europa Publications / Libro Rigido
common.buy 404.79 €
Mastering Bread Marc Vetri / Libro elettronico Adobe ePub DRM
common.buy 10.29 €
Craven Street Yuri Rasovsky / Audiolibro MP3
common.buy 10.09 €
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Libro In brossura
common.buy 12.69 €
Justice League: Last Ride Miguel Mendonca / Libro In brossura
common.buy 14.19 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Libro Rigido
common.buy 30.19 €
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Libro In brossura
common.buy 12.40 €
Islam Lovat / Libro In brossura
common.buy 29.49 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Libro Rigido
common.buy 34.20 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Libro In brossura
common.buy 15.89 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Libro In brossura
common.buy 18.20 €
The Law of Executors and Administrators. Samuel Toller / Libro In brossura
common.buy 29.70 €
Body Awareness MR Roger Day / Libro In brossura
common.buy 11.69 €
In Pursuit Of A Shadow (1887) Elizabeth Brown / Libro In brossura
common.buy 21.70 €
Liber Costumarum Christopher Markham / Libro In brossura
common.buy 16.89 €
For Sinners Only A J Russell / Libro In brossura
common.buy 16.39 €
Play or Pay. a Novelette. Hawley Smart / Libro In brossura
common.buy 21.29 €
In preparazione
Understanding the Dynamics of a Knowledge Economy Wilfred Dolfsma / Libro Rigido
common.buy 158.79 €
Chora 5 Alberto Perez-Gomez / Libro In brossura
common.buy 40.69 €
Cosmic B1+ Test Book Katerina Mestheneou / Libro In brossura
common.buy 25.49 €
Questions about God Steven M. Cahn / Libro Rigido
common.buy 148.29 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?