Holger hermanns (124 risultati)

3540222650 / 9783540222651

Condizione: Usato - Molto buono

EUR 9,02

EUR 6,06 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Validation of stochastic systems. a guide to current research.

BAIER, C. ET Al. (eds).

Lingua: Inglese

Editore: Springer, Berlin, 2004

Brossura

Da: Emile Kerssemakers ILAB, Heerlen, Paesi BassiEmile Kerssemakers ILAB

Venditore con 5 stelle

Membro dell’associazione: NVVAILAB

Condizione: Usato

EUR 10,00

EUR 25,45 spedizione

Spedito da Paesi Bassi a U.S.A.

Quantità: 1 disponibili

23 cm. original paperback. 466 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 720g.

Interactive Markov Chains

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-

Venditore con 5 stelle

Damm, Werner [Editor]; Hermanns, Holger [Editor];

Condizione: Usato - Buono

EUR 38,47

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

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)

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

Venditore con 5 stelle

Condizione: Usato - Molto buono

EUR 32,57

EUR 6,06 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Computer Aided Verification

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

Venditore con 5 stelle

Condizione: Nuovo

EUR 49,03

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Computer Aided Verification

0

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

Condizione: Nuovo

EUR 49,03

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Computer Aided Verification

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 44,87

EUR 7,59 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: 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

Damm W.

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

Condizione: Nuovo

EUR 52,84

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Computer Aided Verification

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Damm Werner Hermanns Holger

Condizione: Nuovo

EUR 49,42

EUR 3,46 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 584.

Computer Aided Verification

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Condizione: Nuovo

EUR 44,27

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 584.

Measurement, Modelling and Evaluation of Computing Systems : 20th International Gi/Itg Conference, Mmb 2020, Saarbrücken, Germany, March 16?18, 2020, Proceedings

Hermanns, Holger (EDT)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Hermanns, Holger (EDT); Segala, Roberto (EDT)

Condizione: Nuovo

EUR 53,67

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, Denmark, July 25-26, 2002 : Proceedings

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 55,97

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D (Paperback or Softback)

Lingua: Inglese

Editore: Springer 7/10/2002, 2002

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,34

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D. Book.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Hermanns, Holger (EDT); Palsberg, Jens (EDT)

Condizione: Nuovo

EUR 60,71

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2006

3540330569 / 9783540330561

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 60,49

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Hermanns, Holger (EDT)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)

Condizione: Usato - Come nuovo

EUR 62,09

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2001

3540424792 / 9783540424796

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

3662181177 / 9783662181171

Condizione: Usato - Come nuovo

EUR 62,53

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer, 2014

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 54,94

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 10,94 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Interactive Markov Chains

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 10,94 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3540330569 / 9783540330561

Condizione: Nuovo

EUR 61,09

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

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

Lingua: Inglese

Editore: Springer, 2006

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3540222650 / 9783540222651

Condizione: Nuovo

EUR 61,09

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, ... (Lecture Notes in Computer Science, 12040)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Interactive Markov Chains

Holger Hermanns

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Holger Hermanns, Roberto Segala

Condizione: Nuovo

EUR 72,80

EUR 3,46 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 236.

Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, . (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2009-02-22, 2009

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,33

EUR 18,09 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Interactive Markov Chains: The Quest for Quantified Quality (Lecture Notes in Computer Science)

Holger Hermanns

Lingua: Inglese

Editore: Springer 2008-06-13, 2008

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,33

EUR 18,09 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020,

Lingua: Inglese

Editore: Springer 2020-03, 2020

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

3540424792 / 9783540424796

Condizione: Nuovo

EUR 57,44

EUR 18,09 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. 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-

Brinksma, Ed

Lingua: Inglese

Editore: Springer 2001-08, 2001

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

GRIEB, Holger / HERMANNS, Barbara / STROHSCHEIDT-FUNKEN, Elisabeth

Condizione: Nuovo

EUR 57,95

EUR 18,09 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Wer ihr Land nimmt, zerstört ihr Leben. Menschenrechtsverletzungen an Ureinwohnern

Lingua: Tedesco

Editore: WAYASBAH, Hamburg, 1991

3925682236 / 9783925682230

Brossura
Prima edizione

Da: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, GermaniaHJP VERSANDBUCHHANDLUNG

Venditore con 3 stelle