Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
EUR 9,00
Cantidad disponible: 1 disponibles
Añadir al carritoXII, 215 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2165. Sprache: Englisch.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 56,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,85
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, S. Book.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 61,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 60,63
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2001
ISBN 10: 354042556X ISBN 13: 9783540425564
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 64,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2001st.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,64
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,64
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,17
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,64
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,38
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 71,18
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,63
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,24
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,69
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 83,50
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 600.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 85,14
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 488.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 86,72
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 89,12
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 83,18
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 92,37
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Librería: Revaluation Books, Exeter, Reino Unido
EUR 83,63
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2009 edition. 471 pages. 9.29x6.06x1.10 inches. In Stock.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 83,16
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 85,46
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 91,21
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 93,28
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2001
ISBN 10: 354042556X ISBN 13: 9783540425564
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2025
ISBN 10: 3031823613 ISBN 13: 9783031823619
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 119,94
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. This two-volume set LNCS 15263 and LNCS 15264 constitutes the refereed proceedings of eleven International Workshops which were held in conjunction with the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16-20, 2024.The papers included in these proceedings stem from the following workshops:19th International Workshop on Data Privacy Management, DPM 2024, which accepted 7 full papers and 6 short papers out of 24 submissions;8th International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2024, which accepted 9 full papers out of 17 submissions;10th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2024, which accepted 9 full papers out of 17 submissions;International Workshop on Security and Artificial Intelligence, SECAI 2024, which accepted 10 full papers and 5 short papers out of 42 submissions;Workshop on Computational Methods for Emerging Problems in Disinformation Analysis, DisA 2024, which accepted 4 full papers out of 8 submissions;5th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection, CPS4CIP 2024, which accepted 4 full papers out of 9 submissions;3rd International Workshop on System Security Assurance, SecAssure 2024, which accepted 8 full papers out of 14 submissions.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 106,04
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 496 pages. 9.25x6.10x9.21 inches. In Stock.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.