Importo totale (1 articolo articoli):
Destinazione ordine:
hermanns holger (120 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (120)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (98)
- Come nuovo, Ottimo o Quasi ottimo (15)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (65)
- Non Print on Demand (86)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Compu
EUR 4,36
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Lectures on Formal Methods and Performance Analysis: First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Lingua: Inglese
Editore: Springer Verlag, Secaucus, New Jersey, U.S.A., 2001
ISBN 10: 3540424792 ISBN 13: 9783540424796
Da: Recycle Bookstore, San Jose, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Fine. Book is in excellent condition, with a hint of wear to edges and corners. Otherwise the book is in as new condition, with a solid binding, clean pages and attractive appearence.
-
Computer Aided Verification
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 31,52
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 584 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Computer Aided Verification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 584.
-
Computer Aided Verification
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 30,57
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 584.
-
Computer Aided Verification
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Validation of stochastic systems. a guide to current research.
Da: Emile Kerssemakers ILAB, Heerlen, Paesi Bassi
Membro dell'associazione: ILAB NVVA
Valutazione del venditore 5 su 5 stelle
EUR 10,00
Spedizione EUR 33,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello23 cm. original paperback. 466 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 720g.
-
Measurement, Modelling and Evaluation of Computing Systems : 20th International Gi/Itg Conference, Mmb 2020, Saarbrücken, Germany, March 16?18, 2020, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,92
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, Denmark, July 25-26, 2002 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 57,99
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 60,34
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Edizione InternazionaleCOMPUTER AIDED VERIFICATION
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,48
Spedizione EUR 6,91
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Tools And Algorithms for the Construction And Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25 - April 2, 2006 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,88
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Measurement, Modelling and Evaluation of Computing Systems : 20th International Gi/Itg Conference, Mmb 2020, Saarbrücken, Germany, March 16?18, 2020, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,51
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,91
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 40,43
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Auflage: 2007. 584 Seiten MIT CD --- Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 25,9 x 15,2 x 3,0 cm, Taschenbuch.
-
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,91
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Interactive Markov Chains
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 236.
-
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July ... (Lecture Notes in Computer Science, 2090)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Interactive Markov Chains
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,14
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools And Algorithms for the Construction And Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25 - April 2, 2006 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,14
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, . (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,67
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020,
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,77
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Interactive Markov Chains: The Quest for Quantified Quality (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,67
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,28
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
