Software Engineering

Education , International Conferences and Symposiums
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
Free Download
Computers , Programming: Modeling languages
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
Free Download
Technique
A Concise Introduction to Software Engineering
Free Download
Computers
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems
Free Download
Computers , Programming
Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures
Free Download
Computers , Programming
Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text
Free Download
Computers , Programming
Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
Free Download
Computers , Programming
Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
Free Download
Computers , Algorithms and Data Structures
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Free Download
Education , International Conferences and Symposiums
Advances in Grid and Pervasive Computing: Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
Free Download
Computers
Advances in Petri Nets 1984
Free Download
Technique
Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions
Free Download
Technique
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
Free Download
Technique
Agent-Oriented Software Engineering VII: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Free Download
Technique
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
Free Download
Technique
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
Free Download
Mathematics
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Free Download
Computers , Algorithms and Data Structures
Algorithms for Memory Hierarchies: Advanced Lectures
Free Download
Computers , Algorithms and Data Structures
Algorithms for Memory Hierarchies: Advanced Lectures
Free Download
Computers
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings
Free Download

«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

A Concise Introduction to Software Engineering

Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text

Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text

Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

Advances in Grid and Pervasive Computing: Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

Advances in Petri Nets 1984

Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions

Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

Agent-Oriented Software Engineering VII: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers

Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Algorithms for Memory Hierarchies: Advanced Lectures

Algorithms for Memory Hierarchies: Advanced Lectures

Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings

Categories