Importe total (1 artículo artículos):
Destino del pedido:
smolka scott (79 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (79)
- 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 (56)
- Como nuevo, Excelente o Muy bueno (14)
- Bueno o Aceptable (7)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (2)
Encuadernación
Más atributos
- Primera edición (4)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (44)
- No impresión bajo demanda (54)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceIdioma: Inglés
Publicado por Springer London, Limited, 2007
ISBN 10: 1846288428 ISBN 13: 9781846288425
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 12,89
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceIdioma: Inglés
Publicado por Springer London, Limited, 2007
ISBN 10: 1846288428 ISBN 13: 9781846288425
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 12,89
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Introduction to Operating System Design and Implementation: The OSP 2 Approach (Undergraduate Topics in Computer Science)
Libro 2 de 116: Undergraduate Topics in Computer ScienceLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 9,62
Envío por EUR 3,19
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
OSP: An Environment for Operating System Projects
Librería: Book Lover's Warehouse, Johnson City, TN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 8,75
Envío por EUR 4,09
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: As New. price printed on title page with date. The pages of this book are clean and unmarked.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceIdioma: Inglés
Publicado por Springer London, Limited, 2007
ISBN 10: 1846288428 ISBN 13: 9781846288425
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 13,11
Envío por EUR 5,74
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science, 962)
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,37
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoCondición: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
CONCUR '95: 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 - Proceedings (Lecture Notes in Computer Science 962)
Idioma: Inglés
Publicado por Springer-Verlag GmbH, Berlin, Germany, 1995
ISBN 10: 3540602186 ISBN 13: 9783540602187
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 7,95
Envío por EUR 14,36
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 962, Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.
-
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Librería: George Cross Books, Lexington, MA, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
EUR 28,87
Envío por EUR 3,40
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Reprint edition. Very Good/Wraps (34593) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 962 This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics. 547.
-
INTERACTIVE COMPUTATION The New Paradigm
Idioma: Inglés
Publicado por Springer, 2006. 9783540346661, 2006
ISBN 10: 354034666X ISBN 13: 9783540346661
Librería: Rothwell & Dunworth (ABA, ILAB), Dulverton, Reino Unido
Miembro de asociación: ABA ILAB
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 35,50
Envío por EUR 14,36
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito1st edn. Tall 8vo. Original laminated pictorial boards (Fine), no dustwrapper. Pp. xiv + 487, illus with 84 figures (previous owner's neat inscription on front free endpaper).
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 48,39
Envío por EUR 2,24
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint . Computer Science and General Issues)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 45,22
Envío por EUR 12,22
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 56,03
Envío por EUR 2,24
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, Tacas 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,15
Envío por EUR 2,24
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 52,17
Envío por EUR 17,23
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint ... Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,67
Envío por EUR 13,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,67
Envío por EUR 13,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science, 962)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,67
Envío por EUR 13,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,56
Envío por EUR 17,80
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,88
Envío por EUR 17,80
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Runtime Verification : 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,50
Envío por EUR 17,23
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Runtime Verification : 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,30
Envío por EUR 2,24
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,98
Envío por EUR 17,23
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, Tacas 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,66
Envío por EUR 17,23
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Runtime Verification
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 75,28
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 378.
-
Introduction to Operating System Design and Implementation
Libro 2 de 116: Undergraduate Topics in Computer ScienceLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 78,16
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. xii + 172 Index 1st Edition.
-
Introduction to Operating System Design and Implementation: The OSP 2 Approach
Libro 2 de 116: Undergraduate Topics in Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 76,64
Envío por EUR 11,49
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 172 pages. 9.25x7.00x0.50 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2013, 2013
ISBN 10: 3642367410 ISBN 13: 9783642367410
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013.The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.
-
Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Idioma: Inglés
Publicado por Springer International Publishing, 2014
ISBN 10: 3319111639 ISBN 13: 9783319111636
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 62,85
Se envía de Alemania a Estados Unidos de AmericaCantidad 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 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.
-
CONCUR '95 Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1995
ISBN 10: 3540602186 ISBN 13: 9783540602187
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 64,22
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.
-
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642367410 ISBN 13: 9783642367410
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 65,01
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013.The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.
