Angebote zu "Proof" (75 Treffer)

Kategorien

Shops

Hetzl, Stefan: Proof Profiles
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 22.11.2013, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Proof Profiles, Titelzusatz: Characteristic Clause Sets and Proof Transformations, Autor: Hetzl, Stefan, Verlag: VDM Verlag Dr. Müller e.K., Sprache: Deutsch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 128, Informationen: Paperback, Gewicht: 207 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Nederpelt, Rob: Type Theory and Formal Proof
105,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.03.2016, Medium: Buch, Einband: Gebunden, Titel: Type Theory and Formal Proof, Autor: Nederpelt, Rob // Geuvers, Herman, Verlag: Cambridge University Press, Sprache: Englisch, Schlagworte: Theoretische Informatik, Rubrik: Informatik // EDV, Sonstiges, Seiten: 466, Informationen: HC gerader Rücken kaschiert, Gewicht: 981 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Zero-Knowledge Proof
32,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Zero-Knowledge Proof, Titelzusatz: Cryptography, Jean-Jacques Quisquater, Alice and Bob, Interactive Proof System, Turing Machine, Redaktion: Surhone, Lambert M. // Timpledon, Miriam T. // Marseken, Susan F., Verlag: Betascript Publishers, Sprache: Englisch, Rubrik: Informatik, Seiten: 100, Informationen: Paperback, Gewicht: 165 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Zero-Knowledge Password Proof
26,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Zero-Knowledge Password Proof, Titelzusatz: Cryptography, Password, IEEE P1363, Password-Authenticated Key Agreement, Zero-Knowledge Proof, Authentication, Redaktion: Surhone, Lambert M. // Timpledon, Miriam T. // Marseken, Susan F., Verlag: Betascript Publishers, Sprache: Englisch, Rubrik: Informatik, Seiten: 64, Informationen: Paperback, Gewicht: 112 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Beyersdorff, Olaf: Non-classical Aspects in Pro...
17,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09.03.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Non-classical Aspects in Proof Complexity, Autor: Beyersdorff, Olaf, Verlag: Cuvillier Verlag, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 124, Gewicht: 189 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Goldreich, Oded: Probabilistic Proof Systems
98,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08.08.2008, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Probabilistic Proof Systems, Titelzusatz: A Primer, Autor: Goldreich, Oded, Verlag: Now Publishers Inc, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Science, Rubrik: Informatik, Seiten: 108, Informationen: Paperback, Gewicht: 178 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Lutsyk:A Pipelined Multi-Core Machine w
85,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10.05.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: A Pipelined Multi-Core Machine with Operating System Support, Titelzusatz: Hardware Implementation and Correctness Proof, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Autor: Lutsyk, Petro // Oberhauser, Jonas // Paul, Wolfgang J., Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Computerprogrammierung und Softwareentwicklung // Verteilte Datenbanken // Computernetzwerke und maschinelle Kommunikation // Informatik // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 644, Informationen: Paperback, Gewicht: 961 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Snyder, W.: A Proof Theory for General Unification
79,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 30.09.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: A Proof Theory for General Unification, Auflage: Softcover reprint of the original 1st ed. 1991, Autor: Snyder, W., Verlag: Birkhäuser Boston, Sprache: Englisch, Schlagworte: Mathematische Grundlagen // Informatik // Theoretische Informatik, Rubrik: Informatik, Seiten: 188, Informationen: Paperback, Gewicht: 295 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Goldreich, Oded: On Doubly-Efficient Interactiv...
98,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 19.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: On Doubly-Efficient Interactive Proof Systems, Autor: Goldreich, Oded, Verlag: Now Publishers Inc, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Science, Rubrik: Informatik, Seiten: 106, Informationen: Paperback, Gewicht: 175 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot