Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Interactive Theorem Proving Sandrine Blazy
Libristo-Code: 01664057
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Vollständige Beschreibung
? points 125 b
51.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Diccionario visual inglés / Buch Broschur
common.buy 13.87 €
Zpět o sto let na výlet Renata Šindelářová / Buch Broschur
common.buy 3.43 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Buch Broschur
common.buy 14.07 €
TEMARIO DE TROMBON VICENTE MONZO / Buch Broschur
common.buy 328.25 €
Angielski. Przewodnik językowy Patrycja Karnik / Buch Broschur
common.buy 13.26 €
Clef Junich Tanizaki / Buch Broschur
common.buy 12.04 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Buch Broschur
common.buy 25.31 €
Coches muy antiguos Ruiz Palacio / Buch Broschur
common.buy 19.74 €
Der Kreis Husum K. Sönnichsen / Buch Broschur
common.buy 24.20 €
Kostenfalle Messe? Anja Steinrücken / Buch Broschur
common.buy 51.75 €
Theaterhandwerk Alan Ayckbourn / Buch Broschur
common.buy 19.74 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Buch Broschur
common.buy 13.56 €
Laubgewind Jakob Chr. Heer / Buch Broschur
common.buy 26.83 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Buch Broschur
common.buy 16.20 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Buch Broschur
common.buy 16.20 €
USA und der internationale Klimaschutz Jan Hollmann / Buch Broschur
common.buy 16.20 €

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Interactive Theorem Proving
Autor Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 498
EAN 9783642396335
ISBN 364239633X
Libristo-Code 01664057
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 777
Abmessungen 155 x 235 x 29

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Netzwerksicherheit
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computersicherheit
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Interactive Theorem Proving Gerwin Klein / Buch Broschur
common.buy 51.75 €
Horizons in Cancer Research Hiroto S Watanabe / Buch Hardcover
common.buy 322.58 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Buch Broschur
common.buy 13.76 €
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Buch Hardcover
common.buy 41.21 €
How to Write Fanfiction Howexpert Press / Buch Broschur
common.buy 20.35 €
How Claims Spread Joel Best / Buch Broschur
common.buy 52.45 €
Tide Running Oonya Kempadoo / Buch Broschur
common.buy 22.88 €
Journey to Meet Beethoven Pat Champness / Buch Broschur
common.buy 11.33 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Buch Hardcover
common.buy 161.94 €
Birds of Myanmar Kyaw Nyunt Lwin / Buch Broschur
common.buy 50.33 €
Beauchamp Hall Danielle Steel / Buch Broschur
common.buy 28.86 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Buch Broschur
common.buy 6.57 €
Beyond 2.0 Steve Collins / Buch Broschur
common.buy 35.54 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Buch Broschur
common.buy 100.46 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Buch Broschur
common.buy 21.26 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?