Importo totale (1 articolo articoli):
Destinazione ordine:
rattray charles (51 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (51)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (36)
- Come nuovo, Ottimo o Quasi ottimo (10)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (26)
- Non Print on Demand (38)
Lingua (2)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
The Unified Computation Laboratory: Modelling, Specifications, and Tools (The Institute of Mathematics and its Applications Conference Series, New Series)
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
-
Specification and Verification of Concurrent Systems
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540195815 ISBN 13: 9783540195818
AffareEUR 3,14
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Geurst & Schulze: De aedibus international 7 (English and German Edition)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Very Good. Cover and edges may have some wear.
-
Geurst & Schulze : De Aedibus International 7
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Geurst & Schulze: De Aedibus International 7
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 39,14
Spedizione EUR 11,56
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. bilingual edition. 64 pages. German language. 11.50x8.75x0.25 inches. In Stock.
-
Geurst & Schulze : De Aedibus International 7
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Geurst & Schulze : De Aedibus International 7
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 37,66
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Geurst & Schulze : De Aedibus International 7
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 38,38
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Rationalist Traces (Architectural Design, Band 77 Vol. 5) Profile No. 189. Hrsg. Torsten Schmiedeknecht ; Hrsg. Andrew Peckham ; Hrsg. Charles Rattray
Da: ANTIQUARIAT Franke BRUDDENBOOKS, Lübeck, Germania
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 32,00
Spedizione EUR 22,87
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschur, 4°. Condizione: 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.
-
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT (Amast Computing)
Lingua: Inglese
Editore: World Scientific Publishing Comp, 1995
ISBN 10: 9810219237 ISBN 13: 9789810219239
Da: suffolkbooks, Center moriches, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Fast Shipping - Safe and Secure 7 days a week!
-
Specification and Verification of Concurrent Systems (Workshops in Computing)
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 40,43
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
EUR 7,05
Spedizione EUR 62,30
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,05
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,05
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Specification and Verification of Concurrent Systems (Workshops in Computing)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,05
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,57
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Tec
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,07
Spedizione EUR 17,91
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Specification and Verification of Concurrent Systems
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,38
Spedizione EUR 17,91
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,04
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Specification and Verification of Concurrent Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 624.
-
Algebraic Methodology and Software Technology (AMAST'93)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: 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
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 80,71
Spedizione EUR 14,45
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 436 pages. 9.20x6.10x1.00 inches. In Stock.
-
EUR 44,00
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: 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)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,00
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 620 pages. 9.61x6.70x1.41 inches. In Stock.
-
EUR 44,00
Spedizione EUR 61,62
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware.
-
EUR 44,00
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Lingua: Inglese
Editore: Springer, Springer Spektrum, 1993
ISBN 10: 3540198520 ISBN 13: 9783540198529
EUR 53,49
Spedizione EUR 63,29
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 53,49
Spedizione EUR 64,40
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Geurst & Schulze Architecten - Den Haag (German/English)
Da: Antiquariat UEBUE, Zürich, Svizzera
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 39,45
Spedizione EUR 14,50
Spedito da Svizzera a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Sehr gut. 1. Auflage. Z : 64 Seiten/pages, 79 illustrations and 14 plans Thread-stitched brochure - The work by Jeroen Geurst and Rens Schulze with their office in The Hague includes countless major buildings and facilities, mostly in an urban environment, which behave in an eminently urban way: They are confidently integrated into the urban planning structures and into the relevant atmosphere of the location. They alternate between modesty and an expression of strong character.
-
EUR 53,49
Spedizione EUR 65,30
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
