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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Interactive Theorem Proving Christian Urban
Libristo-Code: 09378411
Verlag Springer International Publishing AG, August 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le Manuscrit cathare M.J. Rose / Buch Broschur
common.buy 21.29 €
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Buch Hardcover
common.buy 91.79 €
Historien Tacitus / Buch Hardcover
common.buy 22.99 €
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Buch Broschur
common.buy 7.59 €
Laubsäge-Vorlage Bea - das freche Schaf / Spiel/Spielzeug Spielzeug
common.buy 13.89 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Spiel/Spielzeug Spiel
common.buy 35.79 €
Karl der Grosse und die Mauren Robert Schneider / Buch Broschur
common.buy 17.95 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Buch binding.
common.buy 30.49 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Buch Broschur
common.buy 87.09 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Buch Broschur
common.buy 26.90 €
Klementina von Porretta Christoph Martin Wieland / Buch Broschur
common.buy 9.90 €
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Buch Broschur
common.buy 34.49 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Buch Broschur
common.buy 33.59 €
Strandgut Tanja Korf / Buch Broschur
common.buy 9.99 €
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Drucksachen Noten
common.buy 27.49 €
Live-Arrangement, m. DVD Jürgen Terhag / Buch Broschur
common.buy 29.00 €

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Christian Urban, Xingyuan Zhang
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 469
EAN 9783319221014
ISBN 3319221019
Libristo-Code 09378411
Verlag Springer International Publishing AG
Gewicht 7256
Abmessungen 155 x 235 x 28

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

Bedouins into Bourgeois Calvert W. Jones / Buch Hardcover
common.buy 137.89 €
Deus Comedieta Tade Bolade / Buch Broschur
common.buy 12.79 €
Biocalorimetry Margarida Bastos / Buch Hardcover
common.buy 289.29 €
Botanical, 20 Umschläge Pepin van Roojen / Buch Broschur
common.buy 15.79 €
The Smile of the Sphinx Marguerite Bouvet / Buch Broschur
common.buy 28.79 €
Harmony in Chopin David Damschroder / Buch Broschur
common.buy 49.79 €
Childbirth Trauma Stergios K Doumouchtsis / Buch Hardcover
common.buy 157.49 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Buch Hardcover
common.buy 94.69 €
God's Not Dead Adult Study Guide Rice Broocks / Buch Broschur
common.buy 10.09 €
Brooklyn Heights Sublet Jonah Cohen / Buch Broschur
common.buy 28.89 €
Antiviral Agents Ernst Jucker / Buch Broschur
common.buy 53.79 €
Machine James Smythe / Buch Broschur
common.buy 14.69 €
Making Divorce Work Keith Barret / Buch Broschur
common.buy 9.59 €
Encyclopedia of Mystics, Saints & Sages Judika Illes / Buch Hardcover
common.buy 27.89 €
Who is Jesus? Thomas P. Rausch / Buch Broschur
common.buy 22.09 €
And All for What? D.W.J. Cuddeford / Buch Hardcover
common.buy 48.49 €
Jutland 1916 Charles London / Buch Broschur
common.buy 21.49 €
It All Started with Gogol Thomas L Aman / Buch Hardcover
common.buy 27.19 €
Stagecoach of Mariah Sandra K Lee / Buch Broschur
common.buy 26.09 €
Poetry of Being Vaidehi Raipat / Buch Broschur
common.buy 6.69 €

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?