Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Interactive Theorem Proving Gerwin Klein
Code Libristo: 02779852
Éditeurs Springer International Publishing AG, juin 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Description détaillée
? points 125 b
50.99 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Aktiv für gesunde Knochen, m. DVD Marta Agoston / Livre Livre de poche
common.buy 7.95 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Livre Livre de poche
common.buy 22.79 €
Abordable
Mesnevija II Dželaluddin Rumi / Livre Livre de poche
common.buy 7.39 €
Carnets de jeunesse Fallet / Livre Livre de poche
common.buy 33.69 €
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Articles imprimés Cartes
common.buy 10.99 €
Bientôt
Franz Liszt und seine Zeit Wolfgang Dömling / Livre Livre relié
common.buy 34.80 €
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Livre Livre de poche
common.buy 27.95 €
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Livre Livre de poche
common.buy 50.89 €
Harry Potter - Le Coffret du sorcier Natacha Rocca / Livre Livre de poche
common.buy 21.49 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Livre Livre de poche
common.buy 29.09 €
Stadi. Architettura e mito Fabio Salomoni / Livre Livre de poche
common.buy 48.09 €
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Livre Livre de poche
common.buy 31.69 €
Quelques Considerations Sur Notre Temps Jacquinet-M-N / Livre Livre de poche
common.buy 25.09 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Livre Livre de poche
common.buy 14.59 €
Cocina Tradicional Vasca / Livre Livre de poche
common.buy 7.19 €
Empezar de cero Jimi Hendrix / Livre Livre de poche
common.buy 24.39 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Livre Livre de poche
common.buy 30.79 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Livre Livre de poche
common.buy 51.75 €
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Livre Livre de poche
common.buy 30.19 €
LECCIONARI DE LA MISSA COMENTAT - CICLE C FARNES SHERER / Livre Livre
common.buy 12.39 €
citrouille roulante JUNIA WONDERS / Livre Livre relié
common.buy 21.79 €
Bir Tanem Felicien Marceau / Livre Livre de poche
common.buy 11.99 €
Oeuvres de Edouard Grenier: Francine, Poemes Epars (1902) Edouard Grenier / Livre Livre de poche
common.buy 35.99 €
Na půl žerdi Heda Bartíková / Livre Livre de poche
common.buy 3.59 €

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Interactive Theorem Proving
Auteur Gerwin Klein, Ruben Gamboa
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 555
EAN 9783319089690
ISBN 3319089692
Code Libristo 02779852
Éditeurs Springer International Publishing AG
Poids 8657
Dimensions 155 x 235 x 30

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Gestion de réseaux informatiques et des communications > Sécurité réseau
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Sécurité informatique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Interactive Theorem Proving Sandrine Blazy / Livre Livre de poche
common.buy 50.99 €
Interactive Theorem Proving and Program Development Yves Bertot / Livre Livre de poche
common.buy 84.69 €
Swedish Empire History Hourly History / Livre Livre de poche
common.buy 9.69 €
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Livre Livre de poche
common.buy 19.29 €
Practical Guide To Self-Deliverance, A Dennis Clark / Livre Livre de poche
common.buy 15.59 €
Iconoclastic Fervor Hillary Sullivan / Livre Livre de poche
common.buy 23.49 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Livre Livre relié
common.buy 19.39 €
Losing Kali Kali Rae Wheeler / Livre Livre relié
common.buy 21.49 €
Fields of Gold: The Orchid and the Rose Jim Stephens / Livre Livre de poche
common.buy 18.09 €
Asbestos Standard for the Construction Industry U S Department of Labor / Livre Livre de poche
common.buy 13.89 €
Peeves Mike Van Waes / Livre Livre de poche
common.buy 8.69 €
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Livre Livre de poche
common.buy 6.49 €
A Match for Emma Pepper Basham / Livre Livre de poche
common.buy 12.19 €
Physical Review, Volume 12 Cornell University / Livre Livre de poche
common.buy 26.19 €
The Front Yard: And Other Italian Stories (1895) Constance Fenimore Woolson / Livre Livre de poche
common.buy 29.69 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Livre Livre relié
common.buy 33.69 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Livre Livre de poche
common.buy 9.89 €
Managing the Injured Athlete Zoe Hudson / Livre numérique Adobe ePub DRM
common.buy 29.99 €
Environmental Management in Organizations John Brady / Livre numérique Adobe ePub DRM
common.buy 62.49 €
Mindfulness-Based Cognitive Therapy for Bipolar Disorder Thilo Deckersbach / Livre numérique Adobe ePub DRM
common.buy 60.09 €
Branded as Trouble Delores Fossen / Livre audio MP3
common.buy 16.79 €
Mathematical Dynamic Programming Aditya Chatterjee / Livre Livre de poche
common.buy 21.69 €
Sacred Geometry Anthony Muni Jr. / Livre Livre de poche
common.buy 8.89 €
Scotland Campsites And Caravan Parks Alex Barclay / Articles imprimés Cartes géographiques
common.buy 12.09 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?