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
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Logic-Based Program Synthesis and Transformation

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Elvira Albert
Codice Libristo: 01663644
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Descrizione completa
? points 158 b
64.69 €
Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

In preparazione Nuovi
Expertenwissen Nacken Marco Gassen / Libro In brossura
common.buy 53.99 €
Einheit Auf Befehl? Sabine Collmer / Libro In brossura
common.buy 64.69 €
Dieta a Base de Plantas Chantel Stephens / Libro In brossura
common.buy 16.59 €
Les Bains de Mer de l'Algerie BERNARD-C / Libro In brossura
common.buy 14.19 €
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Libro In brossura
common.buy 17.89 €

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Logic-Based Program Synthesis and Transformation
Autore Elvira Albert
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2013
Numero di pagine 245
EAN 9783642381966
ISBN 3642381960
Codice Libristo 01663644
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 454
Dimensioni 155 x 235 x 15

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 > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Matematica e Scienze > Matematica > Matematica discreta
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
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

Fading Light Chris Steele-Perkins / Libro Rigido
common.buy 31.89 €
What Makes Cannabis Recipes Work? Ronald E. Hudkins / Libro elettronico Adobe ePub DRM
common.buy 5.29 €
U.S.-Taiwan Relations Bonnie Glaser / Libro In brossura
common.buy 36.79 €
Steam Trains Today Andrew Martin / Libro In brossura
common.buy 14.69 €
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Libro In brossura
common.buy 42.09 €
History of World Egyptology Andrew Bednarski / Libro Rigido
common.buy 219.49 €
Practical User Research Emmanuelle Savarit / Libro In brossura
common.buy 55.19 €
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Libro Rigido
common.buy 40.69 €
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Libro In brossura
common.buy 47.19 €
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Libro In brossura
common.buy 8.09 €
I migliori
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Libro In brossura
common.buy 14.29 €
Ghosts - Notes from a Field Study Ken Lauter / Libro In brossura
common.buy 21.99 €
High Point of Persistence Hilary White / Libro In brossura
common.buy 27.09 €
Foundations in Sociolinguistics Dell Hymes / Libro Rigido
common.buy 372.19 €
Guide to Magistrates Mayo / Libro In brossura
common.buy 50.69 €
In the Museum of Man Alice L Conklin / Libro Rigido
common.buy 170.19 €
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Libro In brossura
common.buy 57.79 €
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Libro In brossura
common.buy 16.89 €
Clinical CT Suzanne Henwood / Libro In brossura
common.buy 77.39 €
Autonomy in Jewish Philosophy Kenneth Seeskin / Libro In brossura
common.buy 46.69 €
All Elevations Unknown Sam Lightner / Libro In brossura
common.buy 17.09 €
Influenza Virus Yoshihiro Kawaoka / Libro Rigido
common.buy 173.59 €
The Archaeology of Political Spaces Dominik Bonatz / Libro Rigido
common.buy 133.29 €
Aspects of Physical Biology Giancarlo Franzese / Libro Rigido
common.buy 57.79 €

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?