Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Marko Van Eekelen
Libristo kod: 01658528
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Cijeli opis
? points 135 b
55.84 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Albert Einstein Johannes Wickert / Knjiga Meki uvez
common.buy 9.10 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Knjiga Meki uvez
common.buy 16.18 €
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Knjiga Meki uvez
common.buy 15.17 €
Pferdekrankheiten Wilfried Bellinghausen / Knjiga Meki uvez
common.buy 17.90 €
Chromatic herbarium Massimo Gardone / Knjiga Meki uvez
common.buy 67.48 €
Top
Terror Ferdinand von Schirach / Knjiga Meki uvez
common.buy 10.92 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Knjiga Tvrdi uvez
common.buy 28.62 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Knjiga Meki uvez
common.buy 8.99 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Knjiga Knjiga
common.buy 23.97 €
Ridiculum Vitae Orta / Knjiga Meki uvez
common.buy 12.74 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Knjiga Meki uvez
common.buy 12.74 €
Walt Disney Captivating History / Knjiga Tvrdi uvez
common.buy 21.64 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Knjiga Meki uvez
common.buy 44.51 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Knjiga Meki uvez
common.buy 8.99 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Knjiga Meki uvez
common.buy 12.13 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Interactive Theorem Proving
Autor Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 383
EAN 9783642228629
ISBN 3642228623
Libristo kod 01658528
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 605
Dimenzije 155 x 235 x 23

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Interactive Theorem Proving Matt Kaufmann / Knjiga Meki uvez
common.buy 115.74 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Knjiga Meki uvez
common.buy 55.84 €
Interactive Video Riad Hammoud / Knjiga Meki uvez
common.buy 102.99 €
Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Tvrdi uvez
common.buy 120.90 €
Sadi's Rosengarten (1841) Sadi / Knjiga Meki uvez
common.buy 32.57 €
Top
Kingdom, Vol. 2 Yasuhisa Hara / Knjiga Meki uvez
common.buy 12.13 €
Smeaton and the Lighthouses John Smeaton / Knjiga Meki uvez
common.buy 22.35 €
Honey Bucket Charlie Lewis H. Carlson / Knjiga Tvrdi uvez
common.buy 35.00 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Knjiga Meki uvez
common.buy 13.95 €
Race and Redemption Jane Samson / Knjiga Meki uvez
common.buy 50.58 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Knjiga Meki uvez
common.buy 13.04 €
The Duties of Parents John Charles Ryle / Knjiga Meki uvez
common.buy 6.77 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Knjiga Meki uvez
common.buy 45.42 €
Foundations of Paleoecology S. Kathleen Lyons / Knjiga Tvrdi uvez
common.buy 172.60 €
Povoljno
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Knjiga Meki uvez
common.buy 4.54 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Knjiga Meki uvez
common.buy 49.87 €
Firefighters / Knjiga Meki uvez
common.buy 9.10 €
Mastering Reinforcement Learning with Python Enes Bilgin / Knjiga Meki uvez
common.buy 49.67 €
Architecting High-Performance Embedded Systems Jim Ledin / Knjiga Meki uvez
common.buy 53.41 €
Mortimer: Rat Race to Space Joan Marie Galat / Knjiga Meki uvez
common.buy 10.41 €
Top
How Big Things Get Done Dan Gardner / Knjiga Tvrdi uvez
common.buy 21.44 €
Richard II Tom Wheelwright / Audio knjiga MP3
common.buy 14.26 €
Anatomy Flashcards: 300 Flashcards with Anatomically Precise Drawings and Exhaustive Descriptions Stephanie McCann / Igra/Igračka Igra
common.buy 34.09 €
Inside Cyber: How Ai, 5g, and Quantum Computing Will Transform Privacy and Our Security Brooks / Knjiga Tvrdi uvez
common.buy 20.63 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun