Clear Search

Books+ Search Results

Subject: "Design"
Format: Is
Is Is Not
Software & Electronic Media

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (139)
1.
The evidence of garden history
Author
O'Malley, Therese
Published
New Haven : Yale Center for British Art, 2010.
Location
BRITISH ART CENTER, Reference Library (Non-Circulating) >> DVD 143
Format
Software & Electronic Media / Video & Film
2.
Das internationale Musterrecht Kommentar zum Haager Musterabkommen
Author
Conférence internationale pour la protection de la propriété industrielle (1934 : London)
Published
Berlin : C. Heymann, 1951.
Location
Law Library >> K1490 .C66 1951
Format
Software & Electronic Media
3.
Creative Industries Switzerland Facts. Models. Culture
Author
Weckerle, Christoph
Published
Basel : Birkhäuser Basel, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
4.
Advanced Design and Manufacturing Based on STEP
Author
Xu, Xun
Published
London : Springer London, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
5.
Advanced Design of Mechanical Systems: From Analysis to Optimization
Author
Ambrósio, Jorge A. C.
Published
Vienna : Springer-Verlag Vienna, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
6.
Pattern Calculus Computing with Functions and Structures
Author
Jay, Barry
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
7.
Gardening the archive : a conversation between David Alesworth and Hammad Nasar
Author
Alesworth, David
Published
London : Paul Mellon Centre for Studies in British Art ; New Haven, CT : Yale Center for British Art, [2018]
Online
Online resource
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
8.
Hospitality transformed resort hotels in 2055
Published
Washington, D.C. : Association of Collegiate Schools of Architecture, c2006.
Location
Request for delivery to any Yale Library >> NA7800 H57 2006 CD-ROM (LC)
Format
Software & Electronic Media
9.
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Author
Alpuente, María
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
10.
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-00255-7
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
11.
Introduction to Product/Service-System Design
Author
Sakao, Tomohiko
Published
London : Springer-Verlag London, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
12.
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Author
Gent, Ian P.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
13.
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Author
Palsberg, Jens
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
14.
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
15.
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
Author
Amadio, Roberto
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
16.
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Author
Garrigue, Jacques
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
17.
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
Author
Fiadeiro, José Luiz
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
18.
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Author
Yorav, Karen
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
19.
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
20.
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
21.
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
22.
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
23.
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
Author
Hudak, Paul
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
24.
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
25.
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Author
Logozzo, Francesco
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media