default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 1-99
1Wilfried Brauer:
Gesellschaft für Informatik e.V., 3. Jahrestagung, Hamburg, Deutschland, 8.-10. Oktober 1973. Lecture Notes in Computer Science 1, Springer 1973, ISBN 3-540-06473-7 [contents]- 2Karl-Heinz Böhling, Klaus Indermark:
1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973, Gesellschaft für Informatik (GI). Lecture Notes in Computer Science 2, Springer 1973, ISBN 3-540-06527-X [contents] - 3R. Conti, Antonio Ruberti:
5th Conference on Optimization Techniques, Part 1, Rome, Italy, May 7-11, 1973. Lecture Notes in Computer Science 3, Springer 1973, ISBN 3-540-06583-0 [contents] - 4R. Conti, Antonio Ruberti:
5th Conference on Optimization Techniques, Part 2, Rome, Italy, May 7-11, 1973. Lecture Notes in Computer Science 4, Springer 1973, ISBN 3-540-06600-4 [contents] - 5Andrei P. Ershov, Valery A. Nepomniaschy:
International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings. Lecture Notes in Computer Science 5, Springer 1974, ISBN 3-540-06720-5 [contents] - 6Brian T. Smith, James M. Boyle, Jack J. Dongarra, Burton S. Garbow, Yasuhiko Ikebe, Virginia C. Klema, Cleve B. Moler:
Matrix Eigensystem Routines - EISPACK Guide, Second Edition. Lecture Notes in Computer Science 6, Springer 1976, ISBN 3-540-07546-1 - 7Bodo Schlender, Wolfgang Frielinghaus:
3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings. Lecture Notes in Computer Science 7, Springer 1974, ISBN 3-540-06666-7 [contents] - 8Hans-Otto Leilich:
Fachtagung Struktur und Betrieb von Rechensystemen, GI-NTG, Braunschweig, 20.-22.3.1974, Proceedings. Lecture Notes in Computer Science 8, Springer 1974, ISBN 3-540-06677-2 [contents] - 9Paul Schmitz:
GI-BIFOA, Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung, Köln, 17./18. September 1973. Lecture Notes in Computer Science 9, Springer 1974, ISBN 3-540-06703-5 [contents] - 10Roland Glowinski, Jacques-Louis Lions:
Computing Methods in Applied Sciences and Engineering, Part 1, International Symposium, Versailles, France, December 17-21, 1973, Proceedings. Lecture Notes in Computer Science 10, Springer 1974, ISBN 3-540-06768-X [contents] - 11Roland Glowinski, Jacques-Louis Lions:
Computing Methods in Applied Sciences and Engineering, Part 2, International Symposium, Versailles, France, December 17-21, 1973, Proceedings. Lecture Notes in Computer Science 11, Springer 1974, ISBN 3-540-06769-8 [contents] - 12Gerhard Krüger, Rüdiger Friehmelt:
GFK-GI-GMR Fachtagung Prozessrechner 1974, Karlsruhe, 10.-11. Juni 1974. Lecture Notes in Computer Science 12, Springer 1974, ISBN 3-540-06786-8 [contents] - 13Wolfgang Händler, Peter Paul Spies:
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970, Proceedings. Lecture Notes in Computer Science 13, Springer 1974, ISBN 3-540-06815-5 [contents] - 14Jacques Loeckx:
Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings. Lecture Notes in Computer Science 14, Springer 1974, ISBN 3-540-06841-4 [contents] - 15Grzegorz Rozenberg, Arto Salomaa:
L Systems, Most of the papers were presented at a conference in Aarhus, Denmark, January 14-25, 1974. Lecture Notes in Computer Science 15, Springer 1974, ISBN 3-540-06867-8 [contents] - 16Erol Gelenbe, Claude Kaiser:
Operating Systems, Proceedings of an International Symposium held at Rocquencourt, France, April 23-25, 1974. Lecture Notes in Computer Science 16, Springer 1974, ISBN 3-540-06849-X [contents] - 17Klaus Brunnstein, Klaus Haefner, Wolfgang Händler:
Rechner-Gestützter Unterricht, RGU '74, Fachtagung, Hamburg, 12.-14. August 1974, ACU-Arbeitskreis Rechner-Gestützter Unterricht. Lecture Notes in Computer Science 17, Springer 1974, ISBN 3-540-06907-0 [contents] - 18Kathleen Jensen, Niklaus Wirth:
Pascal User Manual and Report, Second Edition. Lecture Notes in Computer Science 18, Springer 1975, ISBN 3-540-07167-9 - 19Bernard J. Robinet:
Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Lecture Notes in Computer Science 19, Springer 1974, ISBN 3-540-06859-7 [contents] - 20Joost Engelfriet:
Simple Program Schemes and Formal Languages. Lecture Notes in Computer Science 20, Springer 1974, ISBN 3-540-06953-4 - 21Friedrich L. Bauer, Jürgen Eickel:
Compiler Construction, An Advanced Course, 2nd ed. Lecture Notes in Computer Science 21, Springer 1976, ISBN 3-540-07542-9 [contents] - 22Thomas Storer, David J. Winter:
Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972. Lecture Notes in Computer Science 22, Springer 1975, ISBN 3-540-07016-8 [contents] - 23Clemens Hackl:
Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974. Lecture Notes in Computer Science 23, Springer 1975, ISBN 3-540-07131-8 [contents] - 24Tse-Yun Feng:
Parallel Processing, Proceedings of the Sagamore Computer Conference, Sagamore, Adirondack Mountains, NY, USA, August 20-23, 1974. Lecture Notes in Computer Science 24, Springer 1975, ISBN 3-540-07135-0 [contents] - 25Ernest G. Manes:
Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings. Lecture Notes in Computer Science 25, Springer 1975, ISBN 3-540-07142-3 [contents] - 26Dirk Siefkes:
GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974. Lecture Notes in Computer Science 26, Springer 1975, ISBN 3-540-07141-5 [contents] - 27Guri I. Marchuk:
Optimization Techniques, IFIP Technical Conference, Novosibirsk, USSR, July 1-7, 1974. Lecture Notes in Computer Science 27, Springer 1974, ISBN 3-540-07165-2 [contents] - 28Andrzej Blikle:
Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, Poland, June 17-22, 1974, Proceedings. Lecture Notes in Computer Science 28, Springer 1975, ISBN 3-540-07162-8 [contents] - 29Karl Nickel:
Interval Mathemantics: Proceedings of the International Symposium, Karlsruhe, West Germany, May 20-24, 1975. Lecture Notes in Computer Science 29, Springer 1975, ISBN 3-540-07170-9 [contents] - 30Friedrich L. Bauer:
Software Engineering, An Advanced Course, Reprint of the First Edition (February 21 - March 3, 1972). Lecture Notes in Computer Science 30, Springer 1975, ISBN 3-540-07168-7 [contents] - 31Samuel H. Fuller:
Analysis of Drum and Disk Storage Units. Lecture Notes in Computer Science 31, Springer 1975, ISBN 3-540-07186-5 - 32Jirí Becvár:
Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings. Lecture Notes in Computer Science 32, Springer 1975, ISBN 0-387-07389-2 [contents] - 33H. Barkhage:
Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975. Lecture Notes in Computer Science 33, Springer 1975, ISBN 3-540-07407-4 [contents] - 34Jörg R. Mühlbacher:
GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975. Lecture Notes in Computer Science 34, Springer 1975, ISBN 3-540-07410-4 [contents] - 35Wolfgang Everling:
Exercises in Computer Systems Analysis. Lecture Notes in Computer Science 35, Springer 1975, ISBN 3-540-07401-5 - 36Sheila A. Greibach:
Theory of Program Structures: Schemes, Semantics, Verification. Lecture Notes in Computer Science 36, Springer 1975, ISBN 3-540-07415-5 - 37Corrado Böhm:
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975. Lecture Notes in Computer Science 37, Springer 1975, ISBN 3-540-07416-3 [contents] - 38Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Van Begin:
An Optimized Translation Process and Its Application to ALGOL 68. Lecture Notes in Computer Science 38, Springer 1976, ISBN 3-540-07545-3 - 39Helmut F. Hasselmeier, Wilhelm G. Spruth:
Data Base Systems, Proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 24-26, 1975. Lecture Notes in Computer Science 39, Springer 1976, ISBN 3-540-07612-3 [contents] - 40Jean Cea:
Optimization Techniques: Modeling and Optimization in the Service of Man, Part 1 - Proceedings, 7th IFIP Conference, Nice, France, September 8-12, 1975. Lecture Notes in Computer Science 40, Springer 1976, ISBN 3-540-07622-0 [contents] - 41Jean Cea:
Optimization Techniques: Modeling and Optimization in the Service of Man, Part 2 - Proceedings, 7th IFIP Conference, Nice, France, September 8-12, 1975. Lecture Notes in Computer Science 41, Springer 1976, ISBN 3-540-07623-9 [contents] - 42James E. Donahue:
Complementary Definitions of Programming Language Semantics. Lecture Notes in Computer Science 42, Springer 1976, ISBN 3-540-07628-X - 43Ernst Specker, Volker Strassen:
Komplexität von Entscheidungsproblemen, Ein Seminar. Lecture Notes in Computer Science 43, Springer 1976, ISBN 3-540-07805-3 [contents] - 44Klaus Samelson:
ECI Conference 1976, Proceedings of the 1st European Cooperation in Informatics, Amsterdam, The Netherlands, August 9-12, 1976, Proceedings. Lecture Notes in Computer Science 44, Springer 1976, ISBN 3-540-07804-5 [contents] - 45Antoni W. Mazurkiewicz:
Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Lecture Notes in Computer Science 45, Springer 1976, ISBN 0-387-07854-1 [contents] - 46Friedrich L. Bauer, Klaus Samelson:
Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Lecture Notes in Computer Science 46, Springer 1976, ISBN 3-540-07994-7 [contents] - 47Andrei P. Ershov, Cornelis H. A. Koster:
Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings]. Lecture Notes in Computer Science 47, Springer 1977, ISBN 3-540-08065-1 [contents] - 48Hans Tzschach, H. Waldschmidt, Hermann K.-G. Walter:
Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings. Lecture Notes in Computer Science 48, Springer 1977, ISBN 3-540-08138-0 [contents] - 49Albrecht Blaser, Clemens Hackl:
Interactive Systems, Proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976. Lecture Notes in Computer Science 49, Springer 1977, ISBN 3-540-08141-0 [contents] - 50Alfred C. Hartmann:
A Concurrent Pascal Compiler for Minicomputers. Lecture Notes in Computer Science 50, Springer 1977, ISBN 3-540-08240-9 - 51Burton S. Garbow, James M. Boyle, Jack J. Dongarra, Cleve B. Moler:
Matrix Eigensystem Routines - EISPACK Guide Extension. Lecture Notes in Computer Science 51, Springer 1977, ISBN 3-540-08254-9, pp. I-VIII, 1-343 - 52Arto Salomaa, Magnus Steinby:
Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Lecture Notes in Computer Science 52, Springer 1977, ISBN 3-540-08342-1 [contents] - 53Jozef Gruska:
Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings. Lecture Notes in Computer Science 53, Springer 1977, ISBN 0-387-08353-7 [contents] - 54John H. Williams, David A. Fisher:
Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976. Lecture Notes in Computer Science 54, Springer 1977, ISBN 3-540-08360-X [contents] - 55A. Gerbier:
Mes premières constructions de programmes. Lecture Notes in Computer Science 55, Springer 1977, ISBN 3-540-08438-X - 56Marek Karpinski:
Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977. Lecture Notes in Computer Science 56, Springer 1977, ISBN 3-540-08442-8 [contents] - 57Wayne R. Cowell:
Portability of Numerical Software, Workshop, Oak Brook, Illinois, USA, June 21-23, 1976. Lecture Notes in Computer Science 57, Springer 1977, ISBN 3-540-08446-0 [contents] - 58Michael J. O'Donnell:
Computing in Systems Described by Equations. Lecture Notes in Computer Science 58, Springer 1977, ISBN 3-540-08531-9 - 59Edward Hill Jr.:
A Comparative Study of Very Large Data Bases. Lecture Notes in Computer Science 59, Springer 1978, ISBN 3-540-08653-6 - 60Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle:
Operating Systems, An Advanced Course. Lecture Notes in Computer Science 60, Springer 1978, ISBN 3-540-08755-9 [contents] - 61Dines Bjørner, Cliff B. Jones
:
The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer 1978, ISBN 3-540-08766-4 [contents] - 62Giorgio Ausiello, Corrado Böhm:
Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Lecture Notes in Computer Science 62, Springer 1978, ISBN 3-540-08860-1 [contents] - 63Leonard Bolc:
Natural Language Communication with Computers. Lecture Notes in Computer Science 63, Springer 1978, ISBN 3-540-08911-X [contents] - 64Józef Winkowski:
Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Lecture Notes in Computer Science 64, Springer 1978, ISBN 0-387-08921-7 [contents] - 65Giampio Bracchi, Peter C. Lockemann:
Information Systems Methodology, Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, Italy, October 10-12, 1978. Lecture Notes in Computer Science 65, Springer 1978, ISBN 3-540-08934-9 [contents] - 66Neil D. Jones, Steven S. Muchnick:
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages. Lecture Notes in Computer Science 66, Springer 1978, ISBN 3-540-09085-1 - 67Klaus Weihrauch:
Theoretical Computer Science, 4th GI-Conference, Aachen, Germany, March 26-28, 1979, Proceedings. Lecture Notes in Computer Science 67, Springer 1979, ISBN 3-540-09118-1 [contents] - 68David Harel:
First-Order Dynamic Logic. Lecture Notes in Computer Science 68, Springer 1979, ISBN 3-540-09237-4 - 69Friedrich L. Bauer, Manfred Broy:
Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany. Lecture Notes in Computer Science 69, Springer 1979, ISBN 3-540-09251-X [contents] - 70Gilles Kahn:
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Lecture Notes in Computer Science 70, Springer 1979, ISBN 3-540-09511-X [contents] - 71Hermann A. Maurer:
Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Lecture Notes in Computer Science 71, Springer 1979, ISBN 3-540-09510-1 [contents] - 72Edward W. Ng:
Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings. Lecture Notes in Computer Science 72, Springer 1979, ISBN 3-540-09519-5 [contents] - 73Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978. Lecture Notes in Computer Science 73, Springer 1979, ISBN 3-540-09525-X [contents] - 74Jirí Becvár:
Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979. Lecture Notes in Computer Science 74, Springer 1979, ISBN 0-387-09526-8 [contents] - 75Edward K. Blum, Manfred Paul, Satoru Takasu:
Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Lecture Notes in Computer Science 75, Springer 1979, ISBN 3-540-09541-1 [contents] - 76Bart Childs, Melvin R. Scott, James W. Daniel, Eugene D. Denman, Paul Nelson:
Codes for Boundary-Value Problems in Ordinary Differential Equations, Proceedings of a Working Conference, May 14-17, 1978, Houston, Texas, USA. Lecture Notes in Computer Science 76, Springer 1979, ISBN 3-540-09554-3 [contents] - 77Gregor von Bochmann:
Architecture of Distributed Computer Systems. Lecture Notes in Computer Science 77, Springer 1979, ISBN 3-540-09723-6 - 78Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth:
Edinburgh LCF. Lecture Notes in Computer Science 78, Springer 1979, ISBN 3-540-09724-4 - 79Jeffrey M. Tobias:
Language Design and Programming Methodology, Proceedings of a Symposium Held in Sydney, Australia, 10-11 September, 1979. Lecture Notes in Computer Science 79, Springer 1980, ISBN 3-540-09745-7 [contents] - 80Shi-Kuo Chang, King-sun Fu:
Pictorial Information Systems. Lecture Notes in Computer Science 80, Springer 1980, ISBN 3-540-09757-0 [contents] - 81Albrecht Blaser:
Data Base Techniques for Pictorial Applications, Florence, Italy, June 20-22, 1979, Proceedings. Lecture Notes in Computer Science 81, Springer 1980, ISBN 3-540-09763-5 [contents] - 82John G. Sanderson:
A Relational Theory of Computing. Lecture Notes in Computer Science 82, Springer 1980, ISBN 3-540-09987-5 - 83Bernard J. Robinet:
International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980. Lecture Notes in Computer Science 83, Springer 1980, ISBN 3-540-09981-6 [contents] - 84Wilfried Brauer:
Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979. Lecture Notes in Computer Science 84, Springer 1980, ISBN 3-540-10001-6 [contents] - 85J. W. de Bakker, Jan van Leeuwen:
Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings. Lecture Notes in Computer Science 85, Springer 1980, ISBN 3-540-10003-2 [contents] - 86Dines Bjørner:
Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings. Lecture Notes in Computer Science 86, Springer 1980, ISBN 3-540-10007-5 [contents] - 87Wolfgang Bibel, Robert A. Kowalski:
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Lecture Notes in Computer Science 87, Springer 1980, ISBN 3-540-10009-1 [contents] - 88Piotr Dembinski:
Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Lecture Notes in Computer Science 88, Springer 1980, ISBN 3-540-10027-X [contents] - 89José L. Encarnação:
Computer Aided Design: Modelling, Systems Engineering, CAD-Systems - CREST Advanced Course, Darmstadt, Germany, September 8-19, 1980. Lecture Notes in Computer Science 89, Springer 1980, ISBN 3-540-10242-6 [contents] - 90David M. Sandford:
Using Sophisticated Models in Resolution Theorem Proving. Lecture Notes in Computer Science 90, Springer 1980, ISBN 3-540-10231-0 - 91Derick Wood:
Grammars and L Forms: An Introduction. Lecture Notes in Computer Science 91, Springer 1980, ISBN 3-540-10233-7 - 92Robin Milner:
A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Springer 1980, ISBN 3-540-10235-3 - 93Anton Nijholt:
Context-Free Grammars: Covers, Normal Forms, and Parsing. Lecture Notes in Computer Science 93, Springer 1980, ISBN 3-540-10245-0 - 94Neil D. Jones:
Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Lecture Notes in Computer Science 94, Springer 1980, ISBN 3-540-10250-7 [contents] - 95Chris D. Marlin:
Coroutines: A Programming Methodology, a Language Design and an Implementation. Lecture Notes in Computer Science 95, Springer 1980, ISBN 3-540-10256-6 - 96James L. Peterson:
Computer Programs for Spelling Correction: An Experiment in Program Design. Lecture Notes in Computer Science 96, Springer 1980, ISBN 3-540-10259-0 - 97Shunji Osaki, Toshihiko Nishio:
Reliability Evaluation of Some Fault-Tolerant Computer Architectures. Lecture Notes in Computer Science 97, Springer 1980, ISBN 3-540-10274-4 - 98Dines Bjørner, Ole N. Oest:
Towards a Formal Description of Ada. Lecture Notes in Computer Science 98, Springer 1980, ISBN 3-540-10283-3 [contents] - 99Irène Guessarian:
Algebraic Semantics. Lecture Notes in Computer Science 99, Springer 1981, ISBN 3-540-10284-1
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 2024-12-10 20:54 CET 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:
