Clear Search

Books+ Search Results

"Engineering"
Format: Is
Is Is Not
Software & Electronic Media
Subject: Is
Is Is Not
Software engineering

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
2.
Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. 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
3.
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author
Ślęzak, Dominik
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
4.
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
5.
Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author
Kim, Tai-hoon
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
6.
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Author
Giese, Holger
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
7.
Software Engineering Research, Management and Applications 2009
Author
Lee, Roger
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
8.
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author
Breitman, Karin
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
9.
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
10.
Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings
Author
Luo, Yuhua
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
11.
Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author
Kim, Tai-hoon
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
12.
Nano-Net 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings
Author
Schmid, Alexandre
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
13.
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
Author
Luck, Mike
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
14.
Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Author
Edwards, Stephen H.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
15.
Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings
Author
Schürr, Andreas
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
16.
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
Author
Paech, Barbara
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
17.
Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings
Author
Aldewereld, Huib
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
18.
The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications
Author
Diment, Kieren
Published
Berkeley, CA : Apress, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
19.
The Definitive Guide to Django Web Development Done Right
Author
Holovaty, Adrian
Published
Berkeley, CA : Apress, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
20.
Foundation Blender Compositing
Author
Wickes, Roger D.
Published
Berkeley, CA : Apress, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
21.
Practical Django Projects
Author
Bennett, James
Published
Berkeley, CA : Apress, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
22.
Pro Android
Author
Hashimi, Sayed Y.
Published
Berkeley, CA : Apress, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
23.
Pro BizTalk 2009
Author
Dunphy, George
Published
Berkeley, CA : Apress, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
24.
Pro Git
Author
Chacon, Scott
Published
Berkeley, CA : Apress, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
25.
Ada 2005 Rationale The Language, The Standard Libraries
Author
Barnes, John
Published
Berlin, Heidelberg : John Barnes Informatics, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
26.
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
27.
Reflections on the Teaching of Programming Methods and Implementations
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
28.
Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings
Author
Tan, Runhua
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
29.
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Author
Katz, Shmuel
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
30.
A Primer on Scientific Programming with Python
Author
Langtangen, Hans Petter
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
31.
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Author
Giese, Martin
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
32.
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
33.
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
34.
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
35.
Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings
Author
O’Connor, Rory V.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
36.
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
37.
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author
Gibbons, Jeremy, 1966-
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
38.
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
39.
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
40.
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
41.
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 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
42.
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
43.
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
44.
Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
Author
Jedlitschka, Andreas
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
45.
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
46.
Transactions on Computational Science I
Author
Gavrilova, Marina L.
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
47.
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
48.
25 Years of Model Checking History, Achievements, Perspectives
Author
Grumberg, Orna
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
49.
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Author
Koopman, Pieter
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
50.
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Author
Liu, Zhiming
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media