default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMonographs in Computer Science
Texts and Monographs in Computer Science
2009
- Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel:
Numerical Geometry of Non-Rigid Shapes. Monographs in Computer Science, Springer 2009, ISBN 978-0-387-73300-5, pp. 1-277
2008
- Dick Grune, Ceriel J. H. Jacobs:
Parsing Techniques - A Practical Guide. Monographs in Computer Science, Springer 2008, ISBN 978-0-387-20248-8, pp. 1-643
2006
- Allan Heydon, Timothy P. Mann, Roy Levin, Yuan Yu:
Software Configuration Management Using Vesta. Monographs in Computer Science, Springer 2006, ISBN 978-0-387-00229-3, pp. 1-262
2005
- J. M. Selig:
Geometric Fundamentals of Robotics, Second Edition. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-20874-9, pp. 1-372 - Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley:
Adapting Proofs-as-Programs - The Curry-Howard Protocol. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-23759-6, pp. 1-396 - Paolo Tonella
, Alessandra Potrich:
Reverse Engineering of Object Oriented Code. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-40295-6, pp. 1-173 - Mark Burgin:
Super-Recursive Algorithms. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-95569-8, pp. 1-261 - Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec:
Evolutionary Synthesis of Pattern Recognition Systems. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-21295-1, pp. 1-281 - Annabelle McIver, Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-40115-7, pp. 1-310
2004
- Dennis E. Shasha, Yunyue Zhu:
High Performance Discovery in Time Series - Techniques and Case Studies. Monographs in Computer Science, Springer 2004, ISBN 978-1-4419-1842-0, pp. 1-190
2001
- Jayadev Misra:
A Discipline of Multiprogramming - Programming Theory for Distributed Applications. Monographs in Computer Science, Springer 2001, ISBN 978-1-4612-6427-9, pp. 1-420 - Manfred Broy, Ketil Stølen:
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science, Springer 2001, ISBN 978-1-4612-6518-4, pp. 1-348 - Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti:
Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets. Monographs in Computer Science, Springer 2001, ISBN 978-1-4419-2905-1, pp. 1-409
1999
- Norman W. Paton:
Active Rules in Database Systems. Monographs in Computer Science, Springer, New York 1999, ISBN 0-387-98529-8 [contents] - Ernst L. Leiss:
Language equations. Monographs in Computer Science, Springer 1999, ISBN 978-0-387-98626-5, pp. I-XVI, 1-216 - W. H. J. Feijen, A. J. M. van Gasteren:
On a Method of Multiprogramming. Monographs in Computer Science, Springer 1999, ISBN 978-1-4419-3179-5, pp. 1-370 - Rodney G. Downey, Michael R. Fellows:
Parameterized Complexity. Monographs in Computer Science, Springer 1999, ISBN 978-1-4612-6798-0, pp. 1-437
1997
- Enrique F. Castillo, José Manuel Gutiérrez, Ali S. Hadi:
Expert Systems and Probabilistic Network Models. Monographs in Computer Science, Springer 1997, ISBN 978-0-387-94858-4, pp. 1-571
1996
- J. M. Selig:
Geometric Fundamentals of Robotics. Monographs in Computer Science, Springer 1996, ISBN 978-1-4757-2486-8, pp. 1-269 - Martín Abadi, Luca Cardelli:
A Theory of Objects. Monographs in Computer Science, Springer 1996, ISBN 978-0-387-94775-4, pp. I-XIII, 1-396
1995
- Janusz A. Brzozowski, Carl-Johan H. Seger:
Asynchronous Circuits. Monographs in Computer Science, Springer 1995, ISBN 978-0-387-94420-3, pp. I-XVI, 1-404
1993
- Eric C. R. Hehner:
A Practical Theory of Programming. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-3-540-94106-4, pp. 1-243 - Ming Li, Paul M. B. Vitányi:
An introduction to Kolmogorov complexity and its applications. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-3-540-94053-1, pp. I-XX, 1-546 - John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing:
Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-1-4612-7636-4, pp. 1-156 - Jan L. A. van de Snepscheut:
What Computing Is All About. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-3-540-94021-0, pp. I-XII, 1-478 - Ronald V. Book, Friedrich Otto:
String-Rewriting Systems. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-3-540-97965-4, pp. I-VIII, 1-189 - David Gries, Fred B. Schneider:
A Logical Approach to Discrete Math. Texts and Monographs in Computer Science, Springer 1993, ISBN 0-387-94115-0 - Bhubaneswar Mishra:
Algorithmic Algebra. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-3-540-94090-6, pp. I-XII, 1-416 - Anil Nerode, Richard A. Shore:
Logic for Applications. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-0-387-94129-5, pp. I-XVII, 1-365
1992
- Dexter Campbell Kozen:
Design and Analysis of Algorithms. Texts and Monographs in Computer Science, Springer 1992, ISBN 978-3-540-97687-5, pp. I-X, 1-320 - Walter R. Bischofberger, Gustav Pomberger:
Prototyping-Oriented Software Development - Concepts and Tools. Texts and Monographs in Computer Science, Springer 1992, ISBN 978-3-642-84762-2, pp. 1-197
1991
- Peter A. Fejer, Dan A. Simovici:
Mathematical Foundations of Computer Science - Sets, Relations, and Induction. Texts and Monographs in Computer Science, Springer 1991, ISBN 978-1-4612-7792-7, pp. 1-416 - Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs. Texts and Monographs in Computer Science, Springer 1991, ISBN 978-1-4757-4378-4, pp. 1-416
1990
- Helmuth Partsch:
Specification and Transformation of Programs - A Formal Approach to Software Development. Texts and Monographs in Computer Science, Springer 1990, ISBN 978-3-540-52589-9, pp. 1-455 - Edward Cohen:
Programming in the 1990s - An Introduction to the Calculation of Programs. Texts and Monographs in Computer Science, Springer 1990, ISBN 978-0-387-97382-1, pp. 1-260 - David C. Luckham:
Programming with Specifications - An Introduction to ANNA, A Language for Specifying Ada Programs. Texts and Monographs in Computer Science, Springer 1990, ISBN 978-1-4613-9687-1, pp. 1-385 - Melvin Fitting:
First-Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science, Springer 1990, ISBN 978-1-4684-0359-6, pp. 1-232 - Edsger W. Dijkstra, Carel S. Scholten:
Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science, Springer 1990, ISBN 978-3-540-96957-0, pp. I-X, 1-220
1989
- Thomas W. Reps, Tim Teitelbaum:
The Synthesizer Generator Reference Manual, Third Edition. Texts and Monographs in Computer Science, Springer 1989, ISBN 978-3-540-96910-5, pp. I-XI, 1-171 - Thomas W. Reps, Tim Teitelbaum:
The Synthesizer Generator - A System for Constructing Language-Based Editors. Texts and Monographs in Computer Science, Springer 1989, ISBN 978-0-387-96857-5, pp. I-XIII, 1-317 - Alan T. Sherman:
VLSI Placement and Routing - The PI Project. Texts and Monographs in Computer Science, Springer 1989, ISBN 978-3-540-97077-4, pp. I-XII, 1-189 - Suad Alagic:
Object-Oriented Database Programming. Texts and Monographs in Computer Science, Springer 1989, ISBN 3-540-96754-0, pp. i-xv, 1-306
1988
- Niklaus Wirth:
Programming in Modula-2, 4th Edition. Texts and Monographs in Computer Science, Springer 1988, ISBN 978-3-540-50150-3, pp. 1-182 - Robert N. Moll, Michael A. Arbib, A. J. Kfoury:
An Introduction to Formal Language Theory. Texts and Monographs in Computer Science, Springer 1988, ISBN 0-387-96698-6, pp. i-x, 1-205
1987
- Micha Hofri:
Probabilistic Analysis of Algorithms - On Computing Methodologies for Computer Algorithms Performance Evaluation. Texts and Monographs in Computer Science, Springer 1987, ISBN 978-3-540-96578-7, pp. I-XV, 1-240
1986
- Kaare Christian:
A Guide to Modula-2. Texts and Monographs in Computer Science, Springer 1986, ISBN 978-3-540-96242-7, pp. I-XIX, 1-436 - Suad Alagic:
Relational Database Technology. Texts and Monographs in Computer Science, Springer 1986, ISBN 3-540-96276-X, pp. i-xi, 1-259 - Jacob T. Schwartz, Robert B. K. Dewar, Ed Dubinsky, Edith Schonberg:
Programming with Sets - An Introduction to SETL. Texts and Monographs in Computer Science, Springer 1986, ISBN 978-0-387-96399-0, pp. I-XV, 1-493 - S. Thomas Alexander:
Adaptive Signal Processing - Theory and Applications. Texts and Monographs in Computer Science, Springer 1986, ISBN 978-0-387-96380-8, pp. I-IX, 1-179 - Nissim Francez:
Fairness. Texts and Monographs in Computer Science, Springer 1986, ISBN 978-3-540-96235-9, pp. I-XIII, 1-295 - Ernest G. Manes, Michael A. Arbib:
Algebraic Approaches to Program Ssemantics. Texts and Monographs in Computer Science, Springer 1986, ISBN 978-0-387-96324-2, pp. I-XIII, 1-351
1985
- Edayathu V. Krishnamurthy:
Error-Free Polynomial Matrix Computations. Texts and Monographs in Computer Science, Springer 1985, ISBN 978-0-387-96146-0, pp. I-XV, 1-154 - Niklaus Wirth:
Programmieren in Modula-2. Texts and Monographs in Computer Science, Third Corrected Edition, Springer 1985, ISBN 3-540-13301-1, pp. 1-140 - Franco P. Preparata, Michael Ian Shamos:
Computational Geometry - An Introduction. Texts and Monographs in Computer Science, Springer 1985, ISBN 3-540-96131-3, pp. i-xiv, 1-373
1984
- Robert T. Gregory, Edayathu V. Krishnamurthy:
Methods and applications of error-free computation. Texts and Monographs in Computer Science, Springer 1984, ISBN 978-3-540-90967-5, pp. I-XII, 1-194 - William M. Waite, Gerhard Goos:
Compiler Construction. Texts and Monographs in Computer Science, Springer 1984, ISBN 978-1-4612-9731-4, pp. i-xiv, 1-447
1983
- Niklaus Wirth:
Programming in Modula-2, Second Corrected Edition. Texts and Monographs in Computer Science, Springer 1983, ISBN 978-3-642-96759-7, pp. 1-165
1982
- Friedrich L. Bauer, Hans Wössner:
Algorithmic language and program development. Texts and Monographs in Computer Science, Springer 1982, ISBN 978-0-387-11148-3, pp. I-XVI, 1-497 - Assaf J. Kfoury, Robert N. Moll, Michael A. Arbib:
A Programming Approach to Computability. Texts and Monographs in Computer Science, Springer 1982, ISBN 978-1-4612-5751-6, pp. i-viii, 1-253 - Edsger W. Dijkstra:
Selected Writings on Computing: A Personal Perspective. Texts and Monographs in Computer Science, Springer 1982, ISBN 978-3-540-90652-0, pp. I-XVII, 1-362
1981
- Michael A. Arbib, Assaf J. Kfoury, Robert N. Moll:
A Basis for Theoretical Computer Science. Texts and Monographs in Computer Science, Springer 1981, ISBN 978-0-387-90573-0, pp. I-VIII, 1-220 - David Gries:
The Science of Programming. Texts and Monographs in Computer Science, Springer 1981, ISBN 978-0-387-96480-5, pp. i-xv, 1-368
1978
- Arto Salomaa, Matti Soittola:
Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science, Springer 1978, ISBN 978-0-387-90282-1, pp. I-X, 1-171 - Suad Alagic, Michael A. Arbib:
The Design of Well-Structured and Correct Programs. Texts and Monographs in Computer Science, Springer 1978, ISBN 0-387-90299-6, pp. I-X, 1-292
1976
- Jeffrey R. Sampson:
Adaptive Information Processing - An Introductory Survey. Texts and Monographs in Computer Science, Springer 1976, ISBN 978-3-540-07739-8, pp. I-X, 1-214
1975
- Hans W. Gschwind, Edward J. McCluskey:
Design of Digital Computers - An Introduction. Texts and Monographs in Computer Science, Springer 1975, ISBN 978-3-642-86192-5, pp. i-ix, 1-548
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
