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.

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Marko Van Eekelen
Codul Libristo: 01658528
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Descrierea completă
? points 142 b
307.23 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Pferdekrankheiten Wilfried Bellinghausen / Carte Carte broșată
common.buy 99.87 lei
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Carte Carte broșată
common.buy 83.60 lei
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Carte Copertă tare
common.buy 159.81 lei
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Carte Carte broșată
common.buy 89.86 lei
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Carte Carte broșată
common.buy 50.35 lei
Chromatic herbarium Massimo Gardone / Carte Carte broșată
common.buy 373.85 lei
Albert Einstein Johannes Wickert / Carte Carte broșată
common.buy 50.76 lei
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Carte Carte
common.buy 131.56 lei
Walt Disney Captivating History / Carte Copertă tare
common.buy 120.92 lei
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Carte Carte broșată
common.buy 49.72 lei
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Carte Carte broșată
common.buy 67.03 lei
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Carte Carte broșată
common.buy 247.49 lei
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Carte Carte broșată
common.buy 89.86 lei
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Carte Carte broșată
common.buy 70.36 lei
Ridiculum Vitae Orta / Carte Carte broșată
common.buy 70.36 lei
Top
Terror Ferdinand von Schirach / Carte Carte broșată
common.buy 60.77 lei

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Interactive Theorem Proving
Autor Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 383
EAN 9783642228629
ISBN 3642228623
Codul Libristo 01658528
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 605
Dimensiuni 155 x 235 x 23

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Carte Carte broșată
common.buy 307.23 lei
Interactive Theorem Proving Matt Kaufmann / Carte Carte broșată
common.buy 634.59 lei
Interactive Video Riad Hammoud / Carte Carte broșată
common.buy 570.37 lei
Interactive Theorem Proving and Program Development Yves Bertot / Carte Copertă tare
common.buy 669.93 lei
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Carte Carte broșată
common.buy 114.36 lei
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Carte Carte broșată
common.buy 77.03 lei
Top
Kingdom, Vol. 2 Yasuhisa Hara / Carte Carte broșată
common.buy 63.58 lei
Race and Redemption Jane Samson / Carte Carte broșată
common.buy 280.02 lei
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Carte Carte broșată
common.buy 71.82 lei
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Carte Carte broșată
common.buy 81.62 lei
The Duties of Parents John Charles Ryle / Carte Carte broșată
common.buy 37.10 lei
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Carte Carte broșată
common.buy 250.93 lei
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Carte Carte broșată
common.buy 96.63 lei
Finding Father Mary Ann Loewen / Carte Carte broșată
common.buy 139.17 lei
Foundations of Paleoecology S. Kathleen Lyons / Carte Copertă tare
common.buy 945.69 lei
Leftin
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Carte Carte broșată
common.buy 23.66 lei
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Carte Carte broșată
common.buy 277.20 lei
Firefighters / Carte Carte broșată
common.buy 50.14 lei
Mastering Reinforcement Learning with Python Enes Bilgin / Carte Carte broșată
common.buy 273.35 lei
Architecting High-Performance Embedded Systems Jim Ledin / Carte Carte broșată
common.buy 294.20 lei
Mortimer: Rat Race to Space Joan Marie Galat / Carte Carte broșată
common.buy 57.95 lei
Cartoons That Saved the World Tom Ellen / Carte Carte broșată
common.buy 48.89 lei
Top
How Big Things Get Done Dan Gardner / Carte Copertă tare
common.buy 120.30 lei
Richard II Tom Wheelwright / Audiobook MP3
common.buy 79.22 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