Software Engineering

Mathematics
Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Free Download
Mathematics
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
Free Download
Mathematics
Mathematics of Program Construction: Third International Conference, MPC ’95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
Free Download
Mathematics
Methods, Models and Tools for Fault Tolerance
Free Download
Methods, Models and Tools for Fault Tolerance
Free Download
Computers , Algorithms and Data Structures
Mobile Agents: Control Algorithms
Free Download
Education , International Conferences and Symposiums
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Free Download
Technique
Model driven engineering and ontology development
Free Download
Computers
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
Free Download
Education , International Conferences and Symposiums
Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings
Free Download
New Trends on Human–Computer Interaction: Research, Development, New Tools and Methods
Free Download
Technique
Objective Coordination in Multi-Agent System Engineering: Design and Implementation
Free Download
Computers
Objects, Agents, and Features: International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers
Free Download
Technique , Electronics: Telecommunications
OSS design patterns: a pattern approach to the design of telecommunications management systems
Free Download
Technique
Performance Engineering: State of the Art and Current Trends
Free Download
Computers
Performance Evaluation: Origins and Directions
Free Download
Computers
Petri Nets and Other Models of Concurrency – ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Free Download
Computers
Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Free Download
Computers
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
Free Download
Computers , Networking: Internet
Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings
Free Download

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Third International Conference, MPC ’95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Mobile Agents: Control Algorithms

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

Model driven engineering and ontology development

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings

New Trends on Human–Computer Interaction: Research, Development, New Tools and Methods

Objective Coordination in Multi-Agent System Engineering: Design and Implementation

Objects, Agents, and Features: International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers

OSS design patterns: a pattern approach to the design of telecommunications management systems

Performance Engineering: State of the Art and Current Trends

Performance Evaluation: Origins and Directions

Petri Nets and Other Models of Concurrency – ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Categories