Importe total (1 artículo artículos):
Destino del pedido:
jansen nils (200 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (200)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (168)
- Como nuevo, Excelente o Muy bueno (20)
- Bueno o Aceptable (4)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (8)
Encuadernación
Más atributos
- Primera edición (13)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (3)
- Con imágenes (77)
- No impresión bajo demanda (150)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Migration und die CDU zwischen 2009 und 2017. Programmatische Veränderungen (German Edition)
Librería: Redux Books, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,65
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. Paperback. An unused, unmarked and unblemished copy.; 100% Satisfaction Guaranteed! Ships same or next business day!
-
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (Lecture Notes in Computer Science)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 37,49
Envío por EUR 4,20
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good.
-
Development and Making of Legal Doctrine
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 1107475791 ISBN 13: 9781107475793
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 45,42
Envío por EUR 2,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
The Development and Making of Legal Doctrine: Volume 6 (Paperback or Softback)
Idioma: Inglés
Publicado por Cambridge University Press 7/31/2014, 2014
ISBN 10: 1107475791 ISBN 13: 9781107475793
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 47,72
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. The Development and Making of Legal Doctrine: Volume 6. Book.
-
The Development and Making of Legal Doctrine: Volume 6
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 1107475791 ISBN 13: 9781107475793
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,18
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
LyrikReise
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 13,14
Envío por EUR 17,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritohardcover. Condición: New.
-
Formal Modeling and Analysis of Timed Systems (Paperback)
Idioma: Inglés
Publicado por Springer Nature Switzerland AG, Cham, 2020
ISBN 10: 3030576272 ISBN 13: 9783030576271
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 55,10
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.Due to the Corona pandemic this conference was held as a virtual event. This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,65
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,44
Envío por EUR 2,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
A Journey from Process Algebra via Timed Automata to Model Learning (Paperback)
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2022
ISBN 10: 3031156285 ISBN 13: 9783031156281
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 55,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,30
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
LyrikReise
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 20,83
Envío por EUR 11,52
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Brand New. 190 pages. German language. 4.84x0.91x6.73 inches. In Stock.
-
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20â"22, 2023, Proceedings (Lecture Notes in Computer Science)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,13
Envío por EUR 4,20
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good.
-
Eigentum bei Jean-Jacque-Rousseau: Vom zweiten Diskurs zum Gesellschaftsvertrag (German Edition)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 33,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Migration und die CDU zwischen 2009 und 2017. Programmatische Veränderungen (German Edition)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 33,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,36
Envío por EUR 2,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
The Development and Making of Legal Doctrine: Volume 6
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 1107475791 ISBN 13: 9781107475793
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 52,56
Envío por EUR 13,80
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
The Development and Making of Legal Doctrine: Volume 6
Idioma: Inglés
Publicado por Cambridge University Press 2014-07-31, 2014
ISBN 10: 1107475791 ISBN 13: 9781107475793
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 50,28
Envío por EUR 17,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Development and Making of Legal Doctrine
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 1107475791 ISBN 13: 9781107475793
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 53,23
Envío por EUR 17,28
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
The development and making of legal doctrine
Idioma: Inglés
Publicado por Cambridge University Press, 2010
ISBN 10: 0521194121 ISBN 13: 9780521194129
Librería: Book Dispensary, Concord, ON, Canada
Calificación del vendedor: 5 de 5 estrellas
EUR 65,05
Envío por EUR 5,89
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. BRAND NEW hardcover. Book.
-
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,48
Envío por EUR 13,80
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 56,65
Envío por EUR 17,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,96
Envío por EUR 17,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Formal Modeling and Analysis of Timed Systems : 18th International Conference, Formats 2020, Vienna, Austria, September 1?3, 2020, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 72,09
Envío por EUR 2,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
A Journey from Process Algebra via Timed Automata to Model Learning
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 72,26
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Formal Modeling and Analysis of Timed Systems : 18th International Conference, Formats 2020, Vienna, Austria, September 1?3, 2020, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,90
Envío por EUR 2,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
The Development and Making of Legal Doctrine
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2014
ISBN 10: 1107475791 ISBN 13: 9781107475793
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 74,54
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 254.
-
Principles of Verification: Cycling the Probabilistic Landscape (Paperback)
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2024
ISBN 10: 3031757742 ISBN 13: 9783031757747
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 78,92
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy of Sciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II (Lecture Notes in Computer Science, 15261)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 78,93
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
