TITLE

Editors / ISBN / Pages

PUBL_YEAR

PUBLISHER

Data-Driven Process Discovery and Analysis (LNBIP 244)

Edited by Paolo Ceravolo, Stefanie Rinderle-Ma

ISBN: 978 3 319 53434 3

184 pages

2017

SV

Open Source Systems: Towards Robust Practices (AICT 496)

Edited by Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon,

Gregorio Robles, Stefano Zacchiroli
ISBN: 978 3 319 57734 0
220 pages

2017

SV

Open Source Systems: Integrating Communities (AICT 472)

Edited by Kevin Crowston, Imed Hammouda, Björn Lundell, Gregorio Robles,
Jonas Gamalielsson, Juho Lindman
ISBN: 978 3 319 39224 0
207 pages

2016

SV

Service-Oriented and Cloud Computing (LNCS 9846)

Edited by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
ISBN: 978 3 319 44481 9
262 pages

2016

SV

Data-Driven Process Discovery and Analysis (LNBIP 203)

Edited by Paolo Ceravolo, Rafael Accorsi, Philippe Cudre-Mauroux

ISBN: 978 3 662 46435 9

134 pages

2015

SV

Data-Driven Process Discovery and Analysis (LNBIP 237),
revised selected papers

Edited by Paolo Ceravolo, Barbara Russo, Rafael Accorsi
ISBN: 978 3 319 27242 9
122 pages

2015

SV

Fundamentals of Software Engineering (LNCS 9392)

Edited by Mehdi Dastani, Marjan Sirjani
ISBN: 978 3 319 24643 7
315 pages

2015

SV

Open Source Systems: Adoption and Impact (AICT 451)


Edited by Ernesto Damiani, Fulvio Frati, Dirk Riehle, Anthony I. Wasserman
ISBN: 978 3 319 17836 3
179 pages

2015


SV


Service Oriented and Cloud Computing (LNCS 9306)


Edited by Schahram Dustdar, Frank Leymann, Massimo Villari
ISBN: 978 3 319 24071 8
262 pages

2015


SV


Open Source Software: Mobile Open Source Technologies (AICT 427)

Edited by Luis Corral, Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko,

Anthony L. Wasserman
ISBN: 978 3 642 55127 7
238 pages

2014

SV

Service-Oriented and Cloud Computing (LNCS 8745)

Edited by Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau

ISBN: 978 3 662 44878 6

186 pages

2014

SV

Open Source Software: Quality Verification (AICT 404)

Edited by Etiel Petrinja, Giancarlo Succi, Nabil El Ioini, Alberto Sillitti
ISBN: 978 3 642 38927 6
276 pages

2013

SV

Software Composition (LNCS 8088)

Edited by Walter Binder, Eric Bodden, Welf Löwe
ISBN: 978 3 642 39613 7
143 pages

2013

SV

Advances in Software Engineering Techniques (LNCS 7054)

Edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka

ISBN: 978 3 642 28037 5

256 pages

2012

SV

Data-Driven Process Discovery and Analysis (LNBIP 116)

Edited by Karl Aberer, Ernesto Damiani, Tharam Dillon
ISBN: 978 3 642 34043 7
211 pages

2012

SV

Open Source Systems: Long-Term Sustainability (AICT 378)

Edited by Imed Hammouda, Björn Lundell, Tommi Mikkonen, Walt Scacchi
ISBN: 978 3 642 33441 2
404 pages

2012

SV

Theoretical Computer Science (LNCS 7604)

Edited by Jos C.M. Baeten, Tom Ball, Frank S.de Boer
ISBN: 978 3 642 33474 0
387 pages

2012

SV

Uncertainty Quantification in Scientific Computing (AICT 377)

Edited by Andrew M. Dienstfrey, Ronald F. Boisvert

ISBN: 978 3 642 32676 9
318 pages

2012

SV

Open Source Systems: Grounding Research (AICT 365)

Edited by Scott A. Hissam, Barbara Russo, Manoel G. de Mendonca Neto, Fabio Kon

ISBN: 978 3 642 24417 9 (Hardcover)
ISBN: 978 3 642 26956 1 (Softcover)

384 pages

2011

SV

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

Theoretical Computer Science (AICT 323)

Edited by Cristian S. Calude, Vladimiro Sassone
ISBN: 978 3 642 15239 9
385 pages

2010

SV

Domain-Specific Languages

Edited by Walid Mohamed Taha
ISBN: 978 3 642 03033 8
409 pages

2009

SV

Open Source Ecosystems: Diverse Communities Interacting

Edited by Cornelia Boldyreff, Kevin Crowston, Björn Lundell, Anthony I. Wasserman
ISBN: 978 3 642 02031 5
372 pages

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

Software Engineering Techniques (LNCS 4980)

Edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka

ISBN: 978 3 642 22385 3

289 pages

2008

SV

Verified Software: Theories, Tools, Experiments

Edited by Bertrand Meyer, Jim Woodcock
ISBN: 978 3 540 69147 1
546 pages

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
ISBN: 0 387 24589 8
207 pages

2004

SSBM

Generic Programming

Edited by Jeremy Gibbons, Johan Jeuring
ISBN: 1 4020 7374 7
242 pages

2003

Kluwer

Component Deployment

Edited by Judith Bishop
ISBN: 3 540 43847 5
268 pages

2002

SV

Software Architecture
System Design, Development and Maintenance

Edited by Jan Bosch, Morven Gentleman, Christine Hofmeister, Juha Kuusela
ISBN: 1 4020 7176 0
235 pages

2002

Kluwer

Visual and Multimedia Information Management

Edited by Xiaofang Zhou, Pearl Pu
ISBN: 1 4020 7060 8
415 pages

2002

Kluwer

Semantic Issues in E-Commerce Systems

Edited by Robert Meersman, Karl Aberer, Tharam Dillon
ISBN: 1 4020 7351 8
341 pages

2001

Kluwer

The Architecture of Scientific Software

Edited by Ronald F. Boisvert, Ping Tak Peter Tang
ISBN: 0 7923 7339 1
358 pages

2001

Kluwer

Advances in Visual Information Management

Edited by H. Arisawa, T. Catarci
ISBN: 0 7923 7835 0
406 pages

2000

Kluwer

Database Semantics

Edited by R. Meersman, Z. Tari, S. Stevens
ISBN: 0 7923 8405 9
456 pages

1999

Kluwer

Engineering for Human-Computer Interaction

Edited by S. Chatty, P. Dewan
ISBN: 0 412 83520 7
376 pages

1999

Kluwer

Software Architecture

Edited by P. Donohoe
ISBN: 0 7923 8453 9
600 pages

1999

Kluwer

Data Mining and Reverse Engineering

Edited by S. Spaccapietra, F. Maryanski
ISBN: 0 412 82250 4
501 pages

1998

C&H

Programming Concepts and Methods (PROCOMET '98)

Edited by D. Gries, W-P. de Roever
ISBN: 0 412 83760 9
485 pages

1998

C&H

Systems Implementation 2000

Edited by R.Nigel Horspool
ISBN: 0 412 83530 4
347 pages

1998

C&H

Visual Database Systems 4 (VDB4)

Edited by Y. Ioannidis, W. Klas
ISBN: 0 412 84400 1
379 pages

1998

C&H

Algorithmic Languages and Calculi

Edited by R. Bird, L. Meertens
ISBN: 0 412 82050 1
443 pages

1997

C&H

Database Applications Semantics

Edited by Robert Meersman, Leo Mark
ISBN: 0 412 72600 9
612 pages

1997

C&H

Quality of Numerical Software

Edited by R. Boisvert
ISBN: 0 412 80530 8
383 pages

1997

C&H

Software Project Management
Readings and Cases

Edited by Chris F. Kemerer
ISBN: 0 256 20495 0
716 pages

1997

NCP

Design Principles for Interactive Software

Edited by Christian Gram, Gilbert Cockton
ISBN: 0 412 72470 7
243 pages

1996

C&H

Engineering for Human-Computer Interaction

Edited by Leonard J. Bass, Claus Unger
ISBN: 0 412 72180 5
372 pages

1996

C&H

Visual Database Systems 3
Visual information management

Edited by Stefano Spaccapietra, Ramesh Jain
ISBN: 0 412 72170 8
427 pages

1995

C&H

Programming Concepts, Methods and Calculi (A-56)

Edited by E.-R. Olderog
ISBN: 0 444 82020 5
592 pages

1994

ESV

Formal Program Development

Edited by B. Moeller, H. Partsch, S. Schuman
ISBN: 3 540 57499 9
371 pages

1993

SV

Interoperable Database Systems (A-25)

Edited by D.K. Hsiao, E.J. Neuhold, R. Sacks-Davis
ISBN: 0 444 89879 4
347 pages

1993

ESV

Engineering for Human-Computer Interaction (A-18)

Edited by J. Larson, C. Unger
ISBN: 0 444 89904 9
423 pages

1992

ESV

Programming Environments for High-Level Scientific Problem Solving (A-2)

Edited by P.W. Gaffney, E.N. Houstis
ISBN: 0 444 89176 5
405 pages

1992

ESV

Visual Database Systems II (A-7)

Edited by E. Knuth, L.M. Wegner
ISBN: 0 444 89609 0
461 pages

1992

ESV

Constructing Programs from Specification

Edited by B. Moeller
ISBN: 0 444 89184 6
526 pages

1991

ESV

Formal Description of Programming Concepts

Edited by E.J. Neuhold, M. Paul
ISBN: 3 540 53961 1
516 pages

1991

SV

Images of Programming

Edited by D. Bjorner, V. Kotov
ISBN: 0 444 89338 5
360 pages

1991

ESV

Object-Oriented Databases: Analysis, Design and Construction

Edited by R.A. Meersman, W. Kent, S. Khosla
ISBN: 0 444 88929 9
526 pages

1991

ESV

Engineering for Human-Computer Interaction

Edited by G. Cockton
ISBN: 0 444 88342 8
540 pages

1990

ESV

Programming Concepts and Methods

Edited by M. Broy, C.B. Jones
ISBN: 0 444 88545 5
590 pages

1990

ESV

Aspects of Computation on Asynchronous Parallel Processors

Edited by M. Wright
ISBN: 0 444 87310 4
284 pages

1989

ESV

Visual Database Systems

Edited by T.L. Kunii
ISBN: 0 444 87334 1
560 pages

1989

ESV

Data and Knowledge

Edited by R.A. Meersman, A.C. Sernadas
ISBN: 0 444 70528 7
430 pages

1988

ESV

Partial Evaluation and Mixed Computation

Edited by D. Bjorner, A. P. Ershov, N. D. Jones
ISBN: 0 444 70491 4
658 pages

1988

ESV

Formal Description of Programming Concepts III

Edited by M. Wirsing
ISBN: 0 444 70253 9
466 pages

1987

ESV

Problem Solving Environments for Scientific Computing

Edited by B. Ford, F. Chatelin
ISBN: 0 444 70254 7
404 pages

1987

ESV

Program Specification and Transformation

Edited by L.G.L.T. Meertens
ISBN: 0 444 70223 7
544 pages

1987

ESV

Advanced Programming Environments

Edited by R. Conradi, T.M. Didriksen, D.H. Wanvik
ISBN: 3 540 17189 4
611 pages

1986

SV

Database Semantics (DS-1)

Edited by T. B. Steel, jr. , R. Meersman
ISBN: 0 444 70004 8
319 pages

1986

ESV

Foundation for Human-Computer Communication

Edited by K. Hopper, I. A. Newman
ISBN: 0 444 70028 5
506 pages

1986

ESV

Formal Models in Programming

Edited by E. J. Neuhold, G. Chroust
ISBN: 0 444 87888 2
419 pages

1985

ESV

System Description Methodologies

Edited by K. Teichroew, G. David
ISBN: 0 444 87731 2
626 pages

1985

ESV

PDE Software: Modules, Interfaces and Systems

Edited by B. Engquist, T. Smedsaas
ISBN: 0 444 87620 0
444 pages

1984

ESV

Formal Description of Programming Concepts - II

Edited by Dines Bjorner
ISBN: 0 444 86619 1
452 pages

1983

ESV

Programming Languages and System Design

Edited by J. Bormann
ISBN: 0 444 86794 5
251 pages

1983

ESV

The Relationship between Numerical Computation and Programming Languages

Edited by John K. Reid
ISBN: 0 444 86377 X
371 pages

1982

ESV

Algorithmic Languages

Edited by J. W. de Bakker, J. C. van Vliet
ISBN: 0 444 86285 4
431 pages

1981

ESV

Command Language Directions

Edited by D. Beech
ISBN: 0 444 85450 9
422 pages

1980

ESV

Firmware, Microprogramming and Restructurable Hardware

Edited by G. Chroust, J. R. Muehlbacher
ISBN: 0 444 86056 8
310 pages

1980

ESV

Data Base Architecture

Edited by G. Bracchi, G. M. Nijssen
ISBN: 0 444 85384 7
339 pages

1979

ESV

Performance Evaluation of Numerical Software

Edited by Lloyd D. Fosdick
ISBN: 0 444 85330 8
333 pages

1979

ESV

Formal Description of Programming Concepts

Edited by E. J. Neuhold
ISBN: 0 444 85107 0
648 pages

1978

ESV

Programming Methodology

Edited by D. Gries
ISBN: 3 540 90329 1
0 pages

1978

SV

Architecture and Models in Data Base Management Systems

Edited by G. M. Nijssen
ISBN: 0 7204 0758 3
310 pages

1977

ESV

Constructing Quality Software

Edited by P. G. Hibbard, S. A. Schuman
ISBN: 0 444 85106 2
518 pages

1977

ESV

Informal Introduction to ALGOL 68

Edited by C. H. Lindsey, S. G. van der Meulen
ISBN: 0 7204 0726 5
361 pages

1977

ESV

Systems for Large Data Bases

Edited by P. C. Lockemann, E. J. Neuhold
ISBN: 0 7204 0463 0
222 pages

1977

ESV

Minicomputer Software

Edited by James R. Bell, C. Gordon Bell
ISBN: 0 7204 0437 1
327 pages

1976

ESV

Modelling in Data Base Management Systems

Edited by G. M. Nijssen
ISBN: 0 7204 0459 2
418 pages

1976

ESV

Command Languages

Edited by C. Unger
ISBN: 0 7204 2828 9
395 pages

1975

ESV

Data Base Description

Edited by B. C. M. Douque, G. M. Nijssen
ISBN: 0 7204 2833 5
376 pages

1975

ESV

Data Base Management

Edited by J. W. Klimbie, K. L. Koffeman
ISBN: 0 7204 2809 2
423 pages

1974

ESV

Machine Oriented Higher Level Languages

Edited by W. L. van der Poel, L. A. Maarssen
ISBN: 0 444 10705 3
535 pages

1974

ESV

Programming Teaching Techniques

Edited by W. M. Turski
ISBN: 0 7204 2096 2
225 pages

1973

ESV

Graphic Languages

Edited by F. Nake, A. Rosenfeld
ISBN: 0 7204 2068 7
433 pages

1972

ESV

ALGOL 68 Implementation

Edited by J. E. L. Peck
ISBN: 0 7204 2045 8
365 pages

1971

ESV

Simulation Programming Languages

Edited by J. N. Buxton
ISBN: 0 7204 2021 0
454 pages

1968

ESV

Symbol Manipulation Languages and Techniques

Edited by Daniel G. Bobrow
ISBN: 0 7204 2020 2
484 pages

1968

ESV

Formal Language Description Languages for Computer Programming

Edited by T. B. Steel, Jr.
ISBN: 0 7204 2015 6
330 pages

1966

ESV