|
TITLE |
Editors / ISBN /
Pages |
PUBL_YEAR |
PUBLISHER |
|
Open Source Software: New Horizons |
Edited by Pär Ågerfalk,
Cornelia Bodyreff, Jesus M. González-Barahona,
Gregory R. Madey, John Noll ISBN: 978 3 642 13243 8 438 pages |
2010 |
SV |
|
Domain-Specific Languages |
Edited by Walid Mohamed Taha |
2009 |
SV |
|
Open Source Ecosystems: Diverse Communities
Interacting |
Edited by Cornelia Boldyreff, Kevin Crowston, Björn Lundell, Anthony I. Wasserman |
2009 |
SV |
|
Advances in Web Semantics I |
Edited by Tharam Dillon, Elizabeth
Chang, Robert Meersman, Katia
Sycara ISBN: 978 3 540 89783 5 395 pages |
2008 |
SV |
|
Open Source Development, Communities and
Quality |
Edited by Barbara Russo, Ernesto Damiani,
Scott Hissam, Bjoern Lundell, Giancarlo Succi ISBN: 978 0 387 09683 4 416 pages |
2008 |
SV |
|
Verified Software: Theories, Tools, Experiments |
Edited by Bertrand Meyer, Jim Woodcock |
2008 |
SV |
|
Balancing Agility and Formalism in Software
Engineering |
Edited by Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter ISBN: 978 3 540 85278 0 303 pages |
2007 |
SV |
|
Grid-Based Problem Solving Environments |
Edited by Patrick W. Gaffney, James C.T. Pool ISBN: 978 0 387 73658 7 460 pages |
2007 |
SV |
|
Open Source Systems |
Edited by Ernesto Damiani, Brian
Fitzgerald, Walt Scacchi, Marco Scotto,
Giancarlo Succi ISBN: 0 387 34225 7 351 pages |
2006 |
SSBM |
|
Software Engineering Techniques: Design for Quality |
Edited by Krzysztof Sacha ISBN: 0 387 39387 0 378 pages |
2006 |
SV |
|
Architecture Description Languages |
Edited by Pierre Dissaux, Mamoun Filali-Amine, Pierre
Michel, Francois Vernadat |
2004 |
SSBM |
|
Generic Programming |
Edited by Jeremy Gibbons, Johan Jeuring |
2003 |
Kluwer |
|
Co |
Edited by Judith Bishop |
2002 |
SV |
|
Software Architecture |
Edited by Jan Bosch, Morven Gentleman,
Christine Hofmeister, Juha
Kuusela |
2002 |
Kluwer |
|
Visual and Multimedia Information Management |
Edited by Xiaofang Zhou, Pearl Pu |
2002 |
Kluwer |
|
Semantic Issues in E-Commerce Systems |
Edited by Robert Meersman, Karl Aberer, Tharam Dillon |
2001 |
Kluwer |
|
The Architecture of Scientific Software |
Edited by Ronald F. Boisvert, Ping Tak Peter Tang |
2001 |
Kluwer |
|
Advances in Visual Information Management |
Edited by H. Arisawa, T. Catarci |
2000 |
Kluwer |
|
Database Semantics |
Edited by R. Meersman, Z. Tari, S. Stevens |
1999 |
Kluwer |
|
Engineering for Human-Co |
Edited by S. Chatty, P. Dewan |
1999 |
Kluwer |
|
Software Architecture |
Edited by P. Donohoe |
1999 |
Kluwer |
|
Data Mining and Reverse Engineering |
Edited by |
1998 |
C&H |
|
Programming Concepts and Methods (PROCOMET '98) |
Edited by D. Gries, W-P. de Roever |
1998 |
C&H |
|
Systems I |
Edited by R.Nigel Horspool |
1998 |
C&H |
|
Visual Database Systems 4 (VDB4) |
Edited by Y. Ioannidis, W. Klas |
1998 |
C&H |
|
Algorithmic Languages and Calculi |
Edited by R. Bird, L. Meertens |
1997 |
C&H |
|
Database Applications Semantics |
Edited by Robert Meersman, Leo Mark |
1997 |
C&H |
|
Quality of Numerical Software |
Edited by R. Boisvert |
1997 |
C&H |
|
Software Project Management |
Edited by Chris F. Kemerer |
1997 |
NCP |
|
Design Principles for Interactive Software |
Edited by Christian Gram, Gilbert Cockton |
1996 |
C&H |
|
Engineering for Human-Co |
Edited by Leonard J. Bass, Claus Unger |
1996 |
C&H |
|
Visual Database Systems 3 |
Edited by Stefano Spaccapietra, Ramesh Jain |
1995 |
C&H |
|
Programming Concepts, Methods and Calculi (A-56) |
Edited by E.-R. Olderog |
1994 |
ESV |
|
Formal Program Development |
Edited by B. Moeller, H. Partsch, S. Schuman |
1993 |
SV |
|
Interoperable Database Systems (A-25) |
Edited by D.K. Hsiao, E.J. Neuhold, R.
Sacks-Davis |
1993 |
ESV |
|
Engineering for Human-Co |
Edited by J. Larson, C. Unger |
1992 |
ESV |
|
Programming Environments for High-Level Scientific Problem
Solving (A-2) |
Edited by P.W. Gaffney, E.N. Houstis |
1992 |
ESV |
|
Visual Database Systems II (A-7) |
Edited by |
1992 |
ESV |
|
Constructing Programs from Specification |
Edited by B. Moeller |
1991 |
ESV |
|
Formal Description of Programming Concepts |
Edited by E.J. Neuhold, M. Paul |
1991 |
SV |
|
Images of Programming |
Edited by D. Bjorner, V. Kotov |
1991 |
ESV |
|
Object-Oriented Databases: Analysis, Design and Construction |
Edited by R.A. Meersman, W. |
1991 |
ESV |
|
Engineering for Human-Co |
Edited by G. Cockton |
1990 |
ESV |
|
Programming Concepts and Methods |
Edited by M. Broy, C.B. Jones |
1990 |
ESV |
|
Aspects of Co |
Edited by M. Wright |
1989 |
ESV |
|
Visual Database Systems |
Edited by T.L. Kunii |
1989 |
ESV |
|
Data and Knowledge |
Edited by R.A. Meersman, A.C. Sernadas |
1988 |
ESV |
|
Partial Evaluation and Mixed Co |
Edited by D. Bjorner, A. P. Ershov, N. D. Jones |
1988 |
ESV |
|
Formal Description of Programming Concepts III |
Edited by M. Wirsing |
1987 |
ESV |
|
Problem Solving Environments for Scientific Co |
Edited by B. Ford, F. Chatelin |
1987 |
ESV |
|
Program Specification and Transformation |
Edited by L.G.L.T. Meertens |
1987 |
ESV |
|
Advanced Programming Environments |
Edited by R. Conradi, T.M. Didriksen, D.H. Wanvik |
1986 |
SV |
|
Database Semantics (DS-1) |
Edited by T. B. Steel, jr. , R. Meersman |
1986 |
ESV |
|
Foundation for Human-Co |
Edited by K. Hopper, I. A. Newman |
1986 |
ESV |
|
Formal Models in Programming |
Edited by E. J. Neuhold, G. Chroust |
1985 |
ESV |
|
System Description Methodologies |
Edited by K. Teichroew, G. David |
1985 |
ESV |
|
PDE Software: Modules, Interfaces and Systems |
Edited by B. Engquist, T. Smedsaas |
1984 |
ESV |
|
Formal Description of Programming Concepts - II |
Edited by Dines Bjorner |
1983 |
ESV |
|
Programming Languages and System Design |
Edited by J. Bormann |
1983 |
ESV |
|
The Relationship between Numerical Co |
Edited by John K. Reid |
1982 |
ESV |
|
Algorithmic Languages |
Edited by J. W. de Bakker, J. C. van Vliet |
1981 |
ESV |
|
Command Language Directions |
Edited by D. Beech |
1980 |
ESV |
|
Firmware, Microprogramming and Restructurable
Hardware |
Edited by G. Chroust, J. R. Muehlbacher |
1980 |
ESV |
|
Data Base Architecture |
Edited by G. Bracchi, G. M. Nijssen |
1979 |
ESV |
|
Performance Evaluation of Numerical Software |
Edited by Lloyd D. Fosdick |
1979 |
ESV |
|
Formal Description of Programming Concepts |
Edited by E. J. Neuhold |
1978 |
ESV |
|
Programming Methodology |
Edited by D. Gries |
1978 |
SV |
|
Architecture and Models in Data Base Management Systems |
Edited by G. M. Nijssen |
1977 |
ESV |
|
Constructing Quality Software |
Edited by P. G. Hibbard, S. A. Schuman |
1977 |
ESV |
|
Informal Introduction to ALGOL 68 |
Edited by C. H. Lindsey, S. G. van der
Meulen |
1977 |
ESV |
|
Systems for Large Data Bases |
Edited by P. C. Lockemann, E. J. Neuhold |
1977 |
ESV |
|
Minico |
Edited by James R. Bell, C. Gordon Bell |
1976 |
ESV |
|
Modelling in Data Base Management Systems |
Edited by G. M. Nijssen |
1976 |
ESV |
|
Command Languages |
Edited by C. Unger |
1975 |
ESV |
|
Data Base Description |
Edited by B. C. M. Douque, G. M. Nijssen |
1975 |
ESV |
|
Data Base Management |
Edited by J. W. Klimbie, K. L. Koffeman |
1974 |
ESV |
|
Machine Oriented Higher Level Languages |
Edited by W. L. van der Poel, L. A. Maarssen |
1974 |
ESV |
|
Programming Teaching Techniques |
Edited by W. M. Turski |
1973 |
ESV |
|
Graphic Languages |
Edited by F. Nake, A. Rosenfeld |
1972 |
ESV |
|
ALGOL 68 I |
Edited by J. E. L. Peck |
1971 |
ESV |
|
Simulation Programming Languages |
Edited by J. N. Buxton |
1968 |
ESV |
|
Symbol Manipulation Languages and Techniques |
Edited by Daniel G. Bobrow |
1968 |
ESV |
|
Formal Language Description Languages for Co |
Edited by T. B. Steel, Jr. |
1966 |
ESV |