rattray charles (22 Ergebnisse)

Softcover. Zustand: 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.

Hardcover. Zustand: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3116. [xi, 569 p. : ill. ; 24 cm].

paperback. Zustand: Very Good. Cover and edges may have some wear.

Paperback. Zustand: Brand New. bilingual edition. 64 pages. German language. 11.50x8.75x0.25 inches. In Stock.

Softcover. Zustand: Sehr gut. 1. Auflage. Z : 64 pages, 22.5 × 29 cm 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.

Broschur, 4°. Zustand: 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.

Zustand: 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.

paperback. Zustand: Gut. 584 Seiten; 9783540223818.3 Gewicht in Gramm: 2.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. reprint edition. 436 pages. 9.20x6.10x1.00 inches. In Stock.

Kartoniert / Broschiert. Zustand: 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.

Paperback. Zustand: Brand New. 620 pages. 9.61x6.70x1.41 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: Neu. Specification and Verification of Concurrent Systems | Charles Rattray | Taschenbuch | viii | Englisch | 1990 | Springer | EAN 9783540195818 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. 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 | Maurice Nivat (u. a.) | Taschenbuch | xiv | Englisch | 1993 | Springer | EAN 9783540198529 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Algebraic Methodology and Software Technology | 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings | Charles Rattray (u. a.) | Taschenbuch | xi | Englisch | 2004 | Springer | EAN 9783540223818 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.