Importe total (1 artículo artículos):
Destino del pedido:
charles rattray (51 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (51)
- 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 (37)
- Como nuevo, Excelente o Muy bueno (9)
- Bueno o Aceptable (5)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
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 (22)
- No impresión bajo demanda (38)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
The Unified Computation Laboratory: Modelling, Specifications, and Tools (The Institute of Mathematics and its Applications Conference Series, New Series)
Idioma: Inglés
Publicado por Oxford University Press, 1992
ISBN 10: 0198536844 ISBN 13: 9780198536840
Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 3,14
Envío por EUR 5,20
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardcover. Condición: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,62
Envío por EUR 6,06
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Geurst & Schulze : De Aedibus International 7
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 34,70
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Geurst & Schulze: De Aedibus International 7
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 39,21
Envío por EUR 11,58
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. bilingual edition. 64 pages. German language. 11.50x8.75x0.25 inches. In Stock.
-
Geurst & Schulze : De Aedibus International 7
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 49,82
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Geurst & Schulze : De Aedibus International 7
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 37,74
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Rationalist Traces (Architectural Design, Band 77 Vol. 5) Profile No. 189. Hrsg. Torsten Schmiedeknecht ; Hrsg. Andrew Peckham ; Hrsg. Charles Rattray
Librería: ANTIQUARIAT Franke BRUDDENBOOKS, Lübeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 32,00
Envío por EUR 22,87
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschur, 4°. Condición: Sehr gut. 1. 152 S. Das Architekturmagazin ist in sehr gutem, sauberen Zustand. Einband minimal berieben. Sonst sauberes und wohlerhaltenes Exemplar. -----Inhalt:. Modern European architecture has been characterised by a strong undercurrent of rationalist thought. Rationalist Traces aims to examine this legacy by establishing a cross-section of contemporary European architecture, placed in selected national contexts by critics including Ákos Moravánszky and Josep Maria Montaner. Subsequent interviews discuss the theoretical contributions of Giorgio Grassi and OM Ungers, and a survey of Max Dudler and De Architekten Cie.'s work sets out a consistency at one remove from avant-garde spectacle or everyday expediency. In Germany Rationalism offers a considered representation of state institutions, while elsewhere outstanding work reveals different approaches to rationality in architecture often recalling canonical Modernism or the 'Rational Architecture' of the later postwar period. Whether evident in patterns of thinking, a particular formal repertoire, a prevailing consistency or exemplified in individual buildings, this relationship informs the mature work of Patrick Berger, Claus en Kaan Architecten, Carlos Ferrater, Cino Zucchi or Hans Kollhoff. The buildings and projects of a younger generation - Javier García Solera, GWJ Architekten AG, biq, Andrea Bassi or Beniamino Servino - present a Rationalism less conditioned by a concern to promote a unifying aesthetic. While often sharing a deliberate economy of means, or a sensual sobriety, they present a more oblique or distanced relationship with the defining work of the 20th century. ISBN: 9780470028377 Wir senden umgehend mit beiliegender MwSt.Rechnung. Sprache: Englisch Gewicht in Gramm: 612.
-
Geurst & Schulze : De Aedibus International 7
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 38,72
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT (Amast Computing)
Idioma: Inglés
Publicado por World Scientific Publishing Comp, 1995
ISBN 10: 9810219237 ISBN 13: 9789810219239
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,23
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Fast Shipping - Safe and Secure 7 days a week!
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 62,63
Envío por EUR 2,29
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.
-
Specification and Verification of Concurrent Systems (Workshops in Computing)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,43
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Auflage: 1st Edition. 624 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1193 24,4 x 17,0 x 3,6 cm, Taschenbuch.
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116)
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,99
Envío por EUR 62,30
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Gut. 584 Seiten; 9783540223818.3 Gewicht in Gramm: 2.
-
Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,60
Envío por EUR 13,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,60
Envío por EUR 13,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Specification and Verification of Concurrent Systems (Workshops in Computing)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,60
Envío por EUR 13,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Tec
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,18
Envío por EUR 17,94
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Specification and Verification of Concurrent Systems
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,49
Envío por EUR 17,94
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,36
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,59
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Specification and Verification of Concurrent Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 79,83
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 624.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,72
Envío por EUR 17,38
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.
-
Algebraic Methodology and Software Technology (AMAST'93)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 81,63
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 436.
-
Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 81,07
Envío por EUR 14,48
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 436 pages. 9.20x6.10x1.00 inches. In Stock.
-
EUR 44,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 carritoKartoniert / Broschiert. Condición: New. Das Werk von Jeroen Geurst und Rens Schulze mit ihrem Buero in Delft umfasst etliche groessere Bauten und Anlagen meist im urbanen Umfeld, die sich eminent staedtisch verhalten: Sie fuegen sich selbstbewusst in die staedtebaulichen Strukturen und in die jeweilig.
-
Specification and Verification of Concurrent Systems (Workshops in Computing)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 85,37
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 620 pages. 9.61x6.70x1.41 inches. In Stock.
-
Geurst & Schulze
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 44,00
Envío por EUR 61,62
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware.
-
Geurst & Schulze Architekten | Den Haag - Dt/engl, De aedibus international 7
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 44,00
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Geurst & Schulze Architekten | Den Haag - Dt/engl, De aedibus international 7 | Charles Rattray | Taschenbuch | 64 S. | Deutsch | 2013 | Quart Verlag Luzern | EAN 9783037610688 | Verantwortliche Person für die EU: GVA Gemeinsame Verlagsauslieferung Göttingen GmbH & Co. KG, Anna-Vandenhoeck-Ring 36, 37081 Göttingen, schlieker[at]gva-verlage[dot]de | Anbieter: preigu.
-
Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993
Idioma: Inglés
Publicado por Springer, Springer Spektrum, 1993
ISBN 10: 3540198520 ISBN 13: 9783540198529
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
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 - The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.
-
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 64,40
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 volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12 16,2004,in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software techn- ogy on a rm, mathematical basis. This goal is achieved by a large international cooperationwith contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned asbeing capableofprovidingsoftwarethatis(a)correct,andthecorrectnesscan be provedmathematically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, and (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. PreviousAMASTmeetingswereheldinIowaCity(1989,1991,2000),Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Reunion Island (2002), and contributed to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchersand practitioners interested in software technology, progr- ming methodology and their algebraic and logical foundations. For AMAST 2004therewere63 submissionsof overallhigh quality, authored by researchers from Australia, Canada, China, the Czech Republic, Denmark, France, Germany, India, Iran, Israel, Italy, Korea, Portugal,Spain, Taiwan, The Netherlands, Turkey, the UK, and the USA. All submissions were thoroughly evaluated, and an electronic programcommittee meeting was held to discuss the reviewers reports. The program committee selected 35 papers to be presented.
-
Specification and Verification of Concurrent Systems
Idioma: Inglés
Publicado por Springer London, Springer, 1990
ISBN 10: 3540195815 ISBN 13: 9783540195818
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 65,30
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 volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey.
