Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic-Based Program Synthesis and Transformation

Limba englezăengleză
Carte Carte broșată
Carte Logic-Based Program Synthesis and Transformation Elvira Albert
Codul Libristo: 01663644
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Descrierea completă
? points 121 b
263.13 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Curând Nou
Expertenwissen Nacken Marco Gassen / Carte Carte broșată
common.buy 256.87 lei
Einheit Auf Befehl? Sabine Collmer / Carte Carte broșată
common.buy 293.78 lei
Dieta a Base de Plantas Chantel Stephens / Carte Carte broșată
common.buy 88.09 lei
Les Bains de Mer de l'Algerie BERNARD-C / Carte Carte broșată
common.buy 75.37 lei
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Carte Carte broșată
common.buy 95.07 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic-Based Program Synthesis and Transformation
Autor Elvira Albert
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 245
EAN 9783642381966
ISBN 3642381960
Codul Libristo 01663644
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 454
Dimensiuni 155 x 235 x 15

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Fading Light Chris Steele-Perkins / Carte Copertă tare
common.buy 169.30 lei
What Makes Cannabis Recipes Work? Ronald E. Hudkins / E-book Adobe ePub DRM
common.buy 26.89 lei
U.S.-Taiwan Relations Bonnie Glaser / Carte Carte broșată
common.buy 177.54 lei
Steam Trains Today Andrew Martin / Carte Carte broșată
common.buy 78.18 lei
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Carte Carte broșată
common.buy 214.44 lei
History of World Egyptology Andrew Bednarski / Carte Copertă tare
common.buy 1 060.37 lei
Practical User Research Emmanuelle Savarit / Carte Carte broșată
common.buy 293.05 lei
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Carte Copertă tare
common.buy 216.01 lei
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Carte Carte broșată
common.buy 250.93 lei
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Carte Carte broșată
common.buy 42.94 lei
Top
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Carte Carte broșată
common.buy 75.78 lei
Ghosts - Notes from a Field Study Ken Lauter / Carte Carte broșată
common.buy 116.96 lei
High Point of Persistence Hilary White / Carte Carte broșată
common.buy 144.17 lei
Foundations in Sociolinguistics Dell Hymes / Carte Copertă tare
common.buy 1 977.61 lei
Guide to Magistrates Mayo / Carte Carte broșată
common.buy 242.70 lei
In the Museum of Man Alice L Conklin / Carte Copertă tare
common.buy 904.51 lei
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Carte Carte broșată
common.buy 285.96 lei
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Carte Carte broșată
common.buy 89.86 lei
Clinical CT Suzanne Henwood / Carte Carte broșată
common.buy 411.38 lei
Autonomy in Jewish Philosophy Kenneth Seeskin / Carte Carte broșată
common.buy 247.91 lei
All Elevations Unknown Sam Lightner / Carte Carte broșată
common.buy 91.01 lei
Influenza Virus Yoshihiro Kawaoka / Carte Copertă tare
common.buy 837.16 lei
The Archaeology of Political Spaces Dominik Bonatz / Carte Copertă tare
common.buy 549.52 lei
Aspects of Physical Biology Giancarlo Franzese / Carte Copertă tare
common.buy 307.23 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?