-
1. The Java Developers Almanac: Enterprise Edition: Practices and Patterns
by Patrick Chan
Long a standard practice in traditional manufacturing, the concept of product lines is relatively new to the software industry. A software product ... More
See all Hardcovers | List of all editions
-
2. Practical Software Management
by Robert Hughes
This work covers the advanced syllabus on software quality and assessment, which forms a large part of the general undergraduate Software Engineering ... More
See all Softcovers | List of all editions
-
3. A Program Architecture for Improved Maintainability in Software Engineering
by John Einbu
This book enquires into the problem of fusing theory and practice in the discipline of program engineering. It shows why structured programming does ... More
See all Softcovers | List of all editions
-
4. Sequential and Parallel Algorithms
by Kenneth A. Berman, Jerome L. Paul
Reflecting the increasing importance of parallel algorithms and parallel computer architectures, this text provides in-depth coverage of traditional ... More
See all Hardcovers | List of all editions
-
5. 29th Annual International Symposium on Computer Architecture (ISCA 2002)
by IEEE Computer Society
Material from a May 2002 symposium describe recent work in processor pipelines, processor scheduling, safety and reliability, power aware ... More
See all Softcovers | List of all editions
-
6. Microcomputing Labs 1993-94: Edition A
by Timothy J. O'Leary, etc., Linda O'Leary
This work contains the 500-plus pages of hands-on lab tutorials for DOS 3.3 - 5.0; WordPerfect 5.1; Lotus 1-2-3, 2.3; and dBASE IV, 1.1, found in the ... More
See all Softcovers | List of all editions
-
8. Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
by Alan Mycroft (Editor)
This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September ... More
See all Softcovers | List of all editions
-
9. Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
by Pascal Van Hentenryck (Editor), Pascal Van Hentenryck
This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. ... More
See all Softcovers | List of all editions
-
10. Programming languages and systems - ESOP '96 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 proceedings
by Nielson
This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linkoping, Sweden, in April 1996. The ... More
See all Softcovers | List of all editions
-
11. Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings
by Baudouin Lecharlier (Editor), Baudouin Le Charlier
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The ... More
See all Softcovers | List of all editions
-
12. Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
by Chris Hankin (Editor)
This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences ... More
See all Softcovers | List of all editions
-
14. Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
by Manfred Broy (Editor), Stefan Jdhnichen (Editor), Stefan Jahnichen (Editor)
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for ... More
See all Softcovers | List of all editions
-
16. VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings
by Dines Bjorner (Editor), C a R Hoare (Editor), Hans Langmaack (Editor)
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software ... More
See all Softcovers | List of all editions
-
18. Conceptual Modeling 2010
by Jeffrey Parsons (Editor), Saeki Motoshi (Editor), Peretz Shoval (Editor)
Constitutes the refereed proceedings of the 29th International Conference on Conceptual Modeling, ER 2010, held in Vancouver, BC, Canada, in November ... More
See all Softcovers | List of all editions
-
19. Denkfallen Und Programmierfehler
by Timm Grams
In diesem Buch wird die ProgrammiertAtigkeit vom Standpunkt der evolutionAren Erkenntnistheorie neu beleuchtet. Die Auseinandersetzung mit dem ... More
See all Softcovers | List of all editions
-
21. Casl User Manual: Introduction to Using the Common Algebraic Specification Language
by M Bidoit, Peter D Mosses, Michel Bidoit
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification ... More
See all Softcovers | List of all editions
-
22. Software Architecture in Practice
by Bass
An abstract view distinct from the details of implementation, algorithm, and data representation, an architecture is a reusable asset that can be ... More
See all Softcovers | Hardcovers | List of all editions
-
23. Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
by David Schmidt (Editor)
This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April ... More
See all Softcovers | List of all editions








