Importe total (1 artículo artículos):
Destino del pedido:
grundy jim (53 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (52)
- Revistas y publicaciones (1)
- 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 (43)
- Como nuevo, Excelente o Muy bueno (7)
- Bueno o Aceptable (2)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (2)
- 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 (27)
- No impresión bajo demanda (35)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
From Hell to Heaven to Hell
Idioma: Inglés
Publicado por Chalfant Eckert Publishing, 2014
ISBN 10: 1633081060 ISBN 13: 9781633081062
Librería: Hawking Books, Edgewood, TX, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 17,01
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Very Good Condition. Five star seller - Buy with confidence!
-
From Hell to Heaven to Hell
Idioma: Inglés
Publicado por Chalfant Eckert Publishing, 2014
ISBN 10: 1633081060 ISBN 13: 9781633081062
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 20,53
Envío por EUR 14,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd edition. 190 pages. 9.00x6.00x0.43 inches. In Stock.
-
International Refinement Workshop &
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 37,39
Envío por EUR 7,48
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 380.
-
International Refinement Workshop &
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 42,14
Envío por EUR 3,40
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 380 1st Edition.
-
Alive with death: August 1914 - April 1915
Idioma: Inglés
Publicado por Little Gully Publishing, 2024
ISBN 10: 1763626814 ISBN 13: 9781763626812
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,35
Envío por EUR 2,25
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.
-
International Refinement Workshop &
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 37,89
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 380.
-
Alive with death: August 1914 - April 1915
Idioma: Inglés
Publicado por Little Gully Publishing, 2024
ISBN 10: 1763626814 ISBN 13: 9781763626812
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 47,14
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Alive with Death
Idioma: Inglés
Publicado por Little Gully Publishing, 2024
ISBN 10: 1763626814 ISBN 13: 9781763626812
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,62
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Alive with death: August 1914 - April 1915 (Hell and Confusion: Gallipoli day by day)
Idioma: Inglés
Publicado por Little Gully Publishing, 2024
ISBN 10: 1763626814 ISBN 13: 9781763626812
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 43,49
Envío por EUR 13,78
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,51
Envío por EUR 2,25
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.
-
Alive with death: August 1914 - April 1915
Idioma: Inglés
Publicado por Little Gully Publishing, 2024
ISBN 10: 1763626814 ISBN 13: 9781763626812
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 43,48
Envío por EUR 17,25
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Alive with death: August 1914 - April 1915
Idioma: Inglés
Publicado por Little Gully Publishing, 2024
ISBN 10: 1763626814 ISBN 13: 9781763626812
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 47,57
Envío por EUR 17,25
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.
-
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science, 1479)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,75
Envío por EUR 13,78
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,79
Envío por EUR 17,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,26
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,72
Envío por EUR 17,25
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 65,77
Envío por EUR 17,25
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.
-
Collaborative Software Engineering
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 103,44
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 63,87
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 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.
-
Collaborative Software Engineering
Idioma: Inglés
Publicado por Springer Verlag, Berlin, Heidelberg, 2010
ISBN 10: 364210293X ISBN 13: 9783642102936
Librería: Versandantiquariat Abendstunde, Ludwigshafen am Rhein, Alemania
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 49,95
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: gut. Erste Aufl. Glanzfolienkaschierter Pappband. Der Einband etwas berieben und einigen Kratzern, der Seiten- und Fußschnitt dezent fleckig, einzelne Seiten mit kleinem Knickchen der unteren Ecke, bzw. ebd. randgewellt, Exlibris-Stempel auf Vorsatz, ansonsten guter Erhaltungszustand. "Collaboration among individuals ? from users to developers ? is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts. The editors of this book have assembled an impressive selection of authors, who have contributed to an authoritative body of work tackling a wide range of issues in the field of collaborative software engineering. The resulting volume is divided into four parts, preceded by a general editorial chapter providing a more detailed review of the domain of collaborative software engineering. Part 1 is on "Characterizing Collaborative Software Engineering", Part 2 examines various "Tools and Techniques", Part 3 addresses organizational issues, and finally Part 4 contains four examples of "Emerging Issues in Collaborative Software Engineering". As a result, this book delivers a comprehensive state-of-the-art overview and empirical results for researchers in academia and industry in areas like software process management, empirical software engineering, and global software development. Practitioners working in this area will also appreciate the detailed descriptions and reports which can often be used as guidelines to improve their daily work." (Verlagstext) In englischer Sprache. 409 pages. Groß 8° (235x155 mm).
-
Theorem Proving in Higher Order Logics | 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Theorem Proving in Higher Order Logics | 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings | Jim Grundy (u. a.) | Taschenbuch | ix | Englisch | 1998 | Springer | EAN 9783540649878 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Collaborative Software Engineering
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 113,91
Envío por EUR 13,78
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Collaborative Software Engineering
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 113,91
Envío por EUR 13,78
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Alive with Death
Idioma: Inglés
Publicado por Little Gully Publishing, 2024
ISBN 10: 1763626814 ISBN 13: 9781763626812
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 53,08
Envío por EUR 74,77
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Collaborative Software Engineering
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 113,90
Envío por EUR 17,25
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Collaborative Software Engineering
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2014
ISBN 10: 3642424317 ISBN 13: 9783642424311
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 92,27
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Collaborative Software Engineering
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 364210293X ISBN 13: 9783642102936
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 93,00
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New.
-
Collaborative Software Engineering
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 150,37
Envío por EUR 3,40
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 436.
-
Collaborative Software Engineering
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 95,15
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Collaborative Software Engineering | Ivan Mistrík (u. a.) | Taschenbuch | xxiv | Englisch | 2014 | Springer Berlin | EAN 9783642424311 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Collaborative Software Engineering
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2014
ISBN 10: 3642424317 ISBN 13: 9783642424311
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Envío por EUR 63,29
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 - Collaboration among individuals - from users to developers - is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts.The editors of this book have assembled an impressive selection of authors, who have contributed to an authoritative body of work tackling a wide range of issues in the field of collaborative software engineering. The resulting volume is divided into four parts, preceded by a general editorial chapter providing a more detailed review of the domain of collaborative software engineering. Part 1 is on 'Characterizing Collaborative Software Engineering', Part 2 examines various 'Tools and Techniques', Part 3 addresses organizational issues, and finally Part 4 contains four examples of 'Emerging Issues in Collaborative Software Engineering'.As a result, this book delivers a comprehensive state-of-the-art overview and empirical results for researchers in academia and industry in areas like software process management, empirical software engineering, and global software development. Practitioners working in this area will also appreciate the detailed descriptions and reports which can often be used as guidelines to improve their daily work.
