Hirschowitz andre (26 résultats)
- Couverture souple
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AllemagneAntiquariat Thomas Haker GmbH & Co. KG
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : GIAQ
Etat: Occasion - Comme neuf
EUR 8,00
EUR 20,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Wie neu. VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 600.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,62
EUR 2,26 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 59,95
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 58,62
EUR 2,26 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 62,56
EUR 3,21 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Couverture souple
Vendeur : Antiquariat Bookfarm, Löbnitz, AllemagneAntiquariat Bookfarm
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 24,19
EUR 40,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Softcover. Etat : Gut. 249 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. L07950 3764330228 Sprache: Englisch Gewicht in Gramm: 400.
- Couverture souple
Vendeur : Studibuch, Stuttgart, AllemagneStudibuch
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 6,99
EUR 62,30 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
- Couverture souple
Vendeur : Antiquariat Silvanus - Inhaber Johannes Schaefer, Ahrbrück, AllemagneAntiquariat Silvanus - Inhaber Johannes Schaefer
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 23,50
EUR 45,90 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
249 S., 3764330228 Sprache: Englisch Gewicht in Gramm: 340 8°, Original-Karton (Softcover), Bibliotheks-Exemplar (ordnungsgemäß entwidmet) mit Rückenschild, Stempel auf Titel, insgesamt gutes und innen sauberes Exemplar.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,10
EUR 13,99 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,10
EUR 13,99 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,45
EUR 18,09 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,50
EUR 18,09 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,49
EUR 17,52 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 65,77
EUR 17,52 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,37
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Kartoniert / Broschiert. Etat : New.
- Couverture souple
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,37
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Kartoniert / Broschiert. Etat : New.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 62,82 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed…research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 58,39
EUR 61,91 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Counting Singularities of Quadratic Forms on Vector Bundles.- Groupe de Jauge ¿argi et Connexions Stables.- Les Fibres Uniformes de Rang au Plus n sur n( ) Sont Ceux Qu¿on Croit.- Type de Scindage G¿ralis¿our les Fibr¿Stables.- On the Classification of… Algebraic Space Curves.- On the Classification of Stable Rank-r Vector Bundles over the Projective Plane.- Stabilit¿t Amplitude sur 2( ).- Zur Berechnung von Yang-Mills Potentialen Durch Holomorphe Vektorb¿ndel.
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Assez bon
EUR 108,25
EUR 29,19 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Couverture souple
Vendeur : Buchpark, Trebbin, AllemagneBuchpark
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 40,01
EUR 105,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs¿99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted… as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs¿99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in?uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry.
- Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AllemagneBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 179,00
EUR 39,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : gut. 1980. Vector Bundles and Differential Equations: Proceedings, Nice, France, June 12-17, 1979. (= Progress in Mathematics, Volume 7). In deutscher Sprache. pages.
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Satisfaisant
EUR 197,26
EUR 29,19 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitt…ed as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry. 372 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage.- Disjoint Sums over Type Classes in HOL.- Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering.- Isomorphisms - A Li…nk Between the Shallow and the Deep.- Polytypic Proof Construction.- Recursive Function Definition over Coinductive Types.- Hardware Verification Using Co-induction in COQ.- Connecting Proof Checkers and Computer Algebra Using OpenMath.- A Machine-Checked Theory of Floating Point Arithmetic.- Universal Algebra in Type Theory.- Locales A Sectioning Concept for Isabelle.- Isar - A Generic Interpretative Approach to Readable Formal Proof Documents.- On the Implementation of an Extensible Declarative Proof Language.- Three Tactic Theorem Proving.- Mechanized Operational Semantics via (Co)Induction.- Representing WP Semantics in Isabelle/ZF.- A HOL Conversion for Translating Linear Time Temporal Logic to -Automata.- From I/O Automata to Timed I/O Automata.- Formal Methods and Security Evaluation.- Importing MDG Verification Results into HOL.- Integrating Gandalf and HOL.- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.- Symbolic Functional Evaluation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 372 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Counting Singularities of Quadratic Forms on Vector Bundles.- Groupe de Jauge ¿argi et Connexions Stables.- Les Fibres Uniformes de Rang au Plus n sur n( ) Sont Ceux Qu¿on Croit.- Type de Scindage G¿ralis¿our les Fibr¿Stables.- On the Class…ification of Algebraic Space Curves.- On the Classification of Stable Rank-r Vector Bundles over the Projective Plane.- Stabilit¿t Amplitude sur 2( ).- Zur Berechnung von Yang-Mills Potentialen Durch Holomorphe Vektorb¿ndel.Springer Nature c/o IBS, Benzstrasse 21, 48619 Heek 260 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 96,29
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Counting Singularities of Quadratic Forms on Vector Bundles.- Groupe de Jauge ¿argi et Connexions Stables.- Les Fibres Uniformes de Rang au Plus n sur n( ) Sont Ceux Qu¿on Croit.- Type de Scindage G¿ralis¿our les Fibr¿Stables.- On the C…lassification of Algebraic Space Curves.- On the Classification of Stable Rank-r Vector Bundles over the Projective Plane.- Stabilit¿t Amplitude sur 2( ).- Zur Berechnung von Yang-Mills Potentialen Durch Holomorphe Vektorb¿ndel. 260 pp. Englisch.
