Hermanns holger (129 resultados)

Tapa blanda

Librería: medimops, Berlin, Alemaniamedimops

Vendedor de 5 estrellas

Brinksma, Ed [Editor]; Hermanns, Holger [Editor]; Katoen, Joost-Pieter [Editor];

Condición: Usado - Bueno

EUR 4,19

Envío por EUR 10,00

Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Condición: 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/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July . Lectures (Lecture Notes in Computer Science)

Idioma: Inglés

Editorial: Springer 2001

Tapa blanda

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks

Vendedor de 5 estrellas

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

Condición: Usado - Bueno

EUR 16,82

Envío por EUR 6,09

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

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)

Idioma: Inglés

Editorial: Springer 2007

Tapa blanda

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks

Vendedor de 5 estrellas

Condición: Usado - Bueno

EUR 32,78

Envío por EUR 6,09

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Paperback. Condición: Very Good. 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).

Idioma: Inglés

Editorial: Springer, Berlin 2004

Tapa blanda

Librería: Emile Kerssemakers ILAB, Heerlen, HolandaEmile Kerssemakers ILAB

Vendedor de 5 estrellas

Condición: Usado

EUR 10,00

Envío por EUR 33,00

Se envía de Holanda a Estados Unidos de America

Cantidad disponible: 1 disponibles

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

Computer Aided Verification

Idioma: Inglés

Editorial: Springer 2007

Tapa blanda

Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books

Vendedor de 4 estrellas

Condición: Nuevo

EUR 45,72

Envío por EUR 7,50

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer 2007

Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle

Vendedor de 4 estrellas

Condición: Nuevo

EUR 50,09

Envío por EUR 3,48

Se envía dentro de Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New. pp. 584.

Computer Aided Verification

Damm W.

Idioma: Inglés

Editorial: Springer 2007

Tapa blanda

Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International

Vendedor de 5 estrellas

Condición: Nuevo

EUR 54,15

Gastos de envío gratis

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

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

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)

Idioma: Inglés

Editorial: Springer 2020

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Damm Werner Hermanns Holger

Condición: Nuevo

EUR 53,58

Envío por EUR 2,30

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

Computer Aided Verification

Idioma: Inglés

Editorial: Springer 2007

Tapa blanda

Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

Vendedor de 4 estrellas

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

Condición: Nuevo

EUR 44,46

Envío por EUR 9,95

Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New. pp. 584.

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

Idioma: Inglés

Editorial: Springer 2002

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Nuevo

EUR 56,02

Envío por EUR 2,30

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Hermanns, Holger

Idioma: Inglés

Editorial: Springer 7/10/2002 2002

Tapa blanda

Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores

Vendedor de 5 estrellas

Condición: Nuevo

EUR 58,39

Gastos de envío gratis

Se envía dentro de Estados Unidos de America

Cantidad disponible: 5 disponibles

Paperback or Softback. Condición: 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)

Idioma: Inglés

Editorial: Springer 2002

Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

Vendedor de 4 estrellas

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

Condición: Nuevo

EUR 61,03

Gastos de envío gratis

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer 2006

3540330569 / 9783540330561

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Usado - Como Nuevo

EUR 60,56

Envío por EUR 2,30

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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)

Idioma: Inglés

Editorial: Springer 2020

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 62,21

Envío por EUR 2,30

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer 2001

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Baier, Christel (EDT); Haverkort, Boudewijn R. (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT); Siegle, Markus (EDT)

Condición: Usado - Como Nuevo

EUR 62,62

Envío por EUR 2,30

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: As New. Unread book in perfect condition.

Validation Of Stochastic Systems : A Guide To Current Research

Idioma: Inglés

Editorial: Springer 2004

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Damm, Werner and Holger Hermanns

Condición: Usado - Como Nuevo

EUR 62,78

Envío por EUR 2,30

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer 17.08.2007. 2007

Tapa blanda

Librería: NEPO UG, Rüsselsheim am Main, , AlemaniaNEPO UG

Vendedor de 5 estrellas

3662181177 / 9783662181171

Condición: Usado - Bueno

EUR 40,43

Envío por EUR 24,00

Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer 2014

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3540330569 / 9783540330561

Condición: Nuevo

EUR 54,26

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer 2006

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3540442618 / 9783540442615

Condición: Nuevo

EUR 60,33

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

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

Holger Hermanns

Idioma: Inglés

Editorial: Springer 2008-06-13 2008

Tapa blanda

Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media

Vendedor de 5 estrellas

Condición: Nuevo

EUR 56,62

Envío por EUR 17,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

Paperback. Condición: New.

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

Idioma: Inglés

Editorial: Springer 2007

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Condición: Nuevo

EUR 60,33

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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)

Idioma: Inglés

Editorial: Springer 2002

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Condición: Nuevo

EUR 60,33

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

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

Idioma: Inglés

Editorial: Springer 2004

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3540442618 / 9783540442615

Condición: Nuevo

EUR 60,33

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Interactive Markov Chains

Hermanns, Holger

Idioma: Inglés

Editorial: Springer 2002

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Holger Hermanns, Roberto Segala

Condición: Nuevo

EUR 60,33

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

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

Idioma: Inglés

Editorial: Springer 2009-02-22 2009

Tapa blanda

Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media

Vendedor de 5 estrellas

Condición: Nuevo

EUR 56,62

Envío por EUR 17,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

Paperback. Condición: New.

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

Hermanns, Holger

Idioma: Inglés

Editorial: Springer 2020-03 2020

Tapa blanda

Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media

Vendedor de 5 estrellas

Condición: Nuevo

EUR 56,72

Envío por EUR 17,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

PF. Condición: New.

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)

Idioma: Inglés

Editorial: Springer 2001

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Condición: Nuevo

EUR 60,33

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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)

Idioma: Inglés

Editorial: Springer 2020

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Condición: Nuevo

EUR 60,33

Envío por EUR 13,81

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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 3-

Brinksma, Ed

Idioma: Inglés

Editorial: Springer 2001-08 2001

Tapa blanda

Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media

Vendedor de 5 estrellas

Baier, Christel (EDT); Haverkort, Boudewijn R. (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT); Siegle, Markus (EDT)

Condición: Nuevo

EUR 57,23

Envío por EUR 17,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

PF. Condición: New.

Validation Of Stochastic Systems : A Guide To Current Research

Idioma: Inglés

Editorial: Springer 2004

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas