default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 300-399
300Harald Ganzinger:
ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings. Lecture Notes in Computer Science 300, Springer 1988, ISBN 3-540-19027-9 [contents]- 301Josef Kittler:
Pattern Recognition, BPRA 4th International Conference, Cambridge, UK, March 28-30, 1988, Proceedings. Lecture Notes in Computer Science 301, Springer 1988, ISBN 3-540-19036-8 [contents] - 302Daniel M. Yellin:
Attribute Grammar Inversion and Source-to-source Translation. Lecture Notes in Computer Science 302, Springer 1988, ISBN 3-540-19072-4 - 303Joachim W. Schmidt, Stefano Ceri, Michele Missikoff:
Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988. Lecture Notes in Computer Science 303, Springer 1988, ISBN 3-540-19074-0 [contents] - 304David Chaum, Wyn L. Price:
Advances in Cryptology - EUROCRYPT '87, Workshop on the Theory and Application of of Cryptographic Techniques, Amsterdam, The Netherlands, April 13-15, 1987, Proceedings. Lecture Notes in Computer Science 304, Springer 1988, ISBN 3-540-19102-X [contents] - 305Joachim Biskup, János Demetrovics, Jan Paredaens, Bernhard Thalheim:
MFDBS 87, 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987, Proceedings. Lecture Notes in Computer Science 305, Springer 1988, ISBN 3-540-19121-6 [contents] - 306Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi:
Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Lecture Notes in Computer Science 306, Springer 1988, ISBN 3-540-19129-1 [contents] - 307Thomas Beth, Michael Clausen:
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings. Lecture Notes in Computer Science 307, Springer 1988, ISBN 3-540-19200-X [contents] - 308Stéphane Kaplan, Jean-Pierre Jouannaud:
Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings. Lecture Notes in Computer Science 308, Springer 1988, ISBN 3-540-19242-5 [contents] - 309Jürgen Nehmer:
Experiences with Distributed Systems, International Workshop, Kaiserslautern, FRG, September 28-30, 1987, Proceedings. Lecture Notes in Computer Science 309, Springer 1988, ISBN 3-540-19333-2 [contents] - 310Ewing L. Lusk, Ross A. Overbeek:
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Lecture Notes in Computer Science 310, Springer 1988, ISBN 3-540-19343-X [contents] - 311Gérard D. Cohen, Philippe Godlewski:
Coding Theory and Applications, 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986, Proceedings. Lecture Notes in Computer Science 311, Springer 1988, ISBN 3-540-19368-5 [contents] - 312Jan van Leeuwen:
Distributed Algorithms, 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987, Proceedings. Lecture Notes in Computer Science 312, Springer 1988, ISBN 3-540-19366-9 [contents] - 313Bernadette Bouchon-Meunier, Lorenza Saitta, Ronald R. Yager:
Uncertainty and Intelligent Systems, 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '88, Urbino, Italy, July 4-7, 1988, Proceedings. Lecture Notes in Computer Science 313, Springer 1988, ISBN 3-540-19402-9 [contents] - 314Herbert Göttler, Hans Jürgen Schneider:
Graph-Theoretic Concepts in Computer Science, International Workshop, WG '87, Kloster Banz/Staffelstein, Germany, June 29 - July 1, 1987, Proceedings. Lecture Notes in Computer Science 314, Springer 1988, ISBN 3-540-19422-3 [contents] - 315Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki:
Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987. Lecture Notes in Computer Science 315, Springer 1988, ISBN 3-540-19426-6 [contents] - 316Christian Choffrut:
Automata Networks, LITP Spring School on Theoretical Computer Science, Angelès-Village, France, May 12-16, 1986, Proceedings. Lecture Notes in Computer Science 316, Springer 1988, ISBN 3-540-19444-4 [contents] - 317Timo Lepistö, Arto Salomaa:
Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Lecture Notes in Computer Science 317, Springer 1988, ISBN 3-540-19488-6 [contents] - 318Rolf G. Karlsson, Andrzej Lingas:
SWAT 88, 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988, Proceedings. Lecture Notes in Computer Science 318, Springer 1988, ISBN 3-540-19487-8 [contents] - 319John H. Reif:
VLSI Algorithms and Architectures, 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28 - July 1, 1988, Proceedings. Lecture Notes in Computer Science 319, Springer 1988, ISBN 3-540-96818-0 [contents] - 320Albrecht Blaser:
Natural Language at the Computer, Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, Heidelberg, FRG, February 25, 1988, Proceedings. Lecture Notes in Computer Science 320, Springer 1988, ISBN 3-540-50011-1 [contents] - 321Job Zwiers:
Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship. Lecture Notes in Computer Science 321, Springer 1989, ISBN 3-540-50845-7 - 322Stein Gjessing, Kristen Nygaard:
ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings. Lecture Notes in Computer Science 322, Springer 1988, ISBN 3-540-50053-7 [contents] - 323Pierre Deransart, Martin Jourdan, Bernard Lorho:
Attribute Grammars: Definitions, Systems, and Bibliography. Lecture Notes in Computer Science 323, Springer 1988, ISBN 3-540-50056-1 - 324Michal Chytil, Ladislav Janiga, Václav Koubek:
Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings. Lecture Notes in Computer Science 324, Springer 1988, ISBN 3-540-50110-X [contents] - 325Gilles Brassard:
Modern Cryptology - A Tutorial. Lecture Notes in Computer Science 325, Springer 1988, ISBN 3-540-96842-3 - 326Marc Gyssens
, Jan Paredaens, Dirk Van Gucht:
ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings. Lecture Notes in Computer Science 326, Springer 1988, ISBN 3-540-50171-1 [contents] - 327Gary A. Ford:
Software Engineering Education, SEI Conference 1988, Fairfax, Virginia, USA, April 28-29, 1988, Proceedings. Lecture Notes in Computer Science 327, Springer 1988, ISBN 3-540-96854-7 [contents] - 328Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones:
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings. Lecture Notes in Computer Science 328, Springer 1988, ISBN 3-540-50214-9 [contents] - 329Egon Börger, Hans Kleine Büning, Michael M. Richter:
CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings. Lecture Notes in Computer Science 329, Springer 1988, ISBN 3-540-50241-6 [contents] - 330Christoph G. Günther:
Advances in Cryptology - EUROCRYPT '88, Workshop on the Theory and Application of of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988, Proceedings. Lecture Notes in Computer Science 330, Springer 1988, ISBN 3-540-50251-3 [contents] - 331Mathai Joseph:
Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Lecture Notes in Computer Science 331, Springer 1988, ISBN 3-540-50302-1 [contents] - 332Donald Sannella, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987 [contents] - 333Hartmut Noltemeier:
Computational Geometry and its Applications, CG'88, International Workshop on Computational Geometry, Würzburg, Germany, March 24-25, 1988. Lecture Notes in Computer Science 333, Springer 1988, ISBN 3-540-50335-8 [contents] - 334Klaus R. Dittrich:
Advances in Object-Oriented Database Systems, 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, Proceedings. Lecture Notes in Computer Science 334, Springer 1988, ISBN 3-540-50345-5 [contents] - 335Friedrich H. Vogt:
Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Lecture Notes in Computer Science 335, Springer 1988, ISBN 3-540-50403-6 [contents] - 336Bruce Randall Donald:
Error Detection and Recovery in Robotics. Lecture Notes in Computer Science 336, Springer 1989, ISBN 3-540-96909-8 - 337Oliver Günther:
Efficient Structures for Geometric Data Management. University of California, Berkeley, CA, USA, Lecture Notes in Computer Science 337, Springer 1988, ISBN 3-540-50463-X, pp. 1-135 - 338Kesav V. Nori, Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings. Lecture Notes in Computer Science 338, Springer 1988, ISBN 3-540-50517-2 [contents] - 339Maurizio Rafanelli, John C. Klensin, Per Svensson:
Statistical and Scientific Database Management, 4th International Working Conference SSDBM, Rome, Italy, June 21-23, 1988, Proccedings. Lecture Notes in Computer Science 339, Springer 1989, ISBN 3-540-50575-X [contents] - 340Grzegorz Rozenberg:
Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers. Lecture Notes in Computer Science 340, Springer 1988, ISBN 3-540-50580-6 [contents] - 341Sergio Bittanti:
Software Reliability Modelling and Identification (Como, Italy, September 2-4, 1987). Lecture Notes in Computer Science 341, Springer 1988, ISBN 3-540-50695-0 [contents] - 342Gottfried Wolf, Tamás Legendi, Udo Schendel:
Parcella '88, Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988, Proceedings. Lecture Notes in Computer Science 342, Springer 1989, ISBN 3-540-50647-0 [contents] - 343Jan Grabowski, Pierre Lescanne, Wolfgang Wechler:
Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings. Lecture Notes in Computer Science 343, Springer 1988, ISBN 3-540-50667-5 [contents] - 344Jan van Leeuwen:
Graph-Theoretic Concepts in Computer Science, 14th International Workshop, WG '88, Amsterdam, The Netherlands, June 15-17, 1988, Proceedings. Lecture Notes in Computer Science 344, Springer 1989, ISBN 3-540-50728-0 [contents] - 345Rolf Nossum:
Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987. Lecture Notes in Computer Science 345, Springer 1988, ISBN 3-540-50676-4 [contents] - 346Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall:
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings. Lecture Notes in Computer Science 346, Springer 1989, ISBN 3-540-50701-9 [contents] - 347Katharina Morik:
Knowledge Representation and Organization in Machine Learning [Workshop, 1987, Schloß Ehringerfeld, Germany]. Lecture Notes in Computer Science 347, Springer 1989, ISBN 3-540-50768-X [contents] - 348Pierre Deransart, Bernard Lorho, Jan Maluszynski:
Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings. Lecture Notes in Computer Science 348, Springer 1989, ISBN 3-540-50820-1 [contents] - 349Burkhard Monien, Robert Cori:
STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings. Lecture Notes in Computer Science 349, Springer 1989, ISBN 3-540-50840-6 [contents] - 350Aimo A. Törn, Antanas Zilinskas:
Global Optimization. Lecture Notes in Computer Science 350, Springer 1989, ISBN 3-540-50871-6 - 351Josep Díaz, Fernando Orejas:
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89). Lecture Notes in Computer Science 351, Springer 1989, ISBN 3-540-50939-9 [contents] - 352Josep Díaz, Fernando Orejas:
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL). Lecture Notes in Computer Science 352, Springer 1989, ISBN 3-540-50940-2 [contents] - 353Steffen Hölldobler:
Foundations of Equational Logic Programming. Lecture Notes in Computer Science 353, Springer 1989, ISBN 3-540-51533-X - 354J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Lecture Notes in Computer Science 354, Springer 1989, ISBN 3-540-51080-X [contents] - 355Nachum Dershowitz:
Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. Lecture Notes in Computer Science 355, Springer 1989, ISBN 3-540-51081-8 [contents] - 356Llorenç Huguet i Rotger, Alain Poli:
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987, Proceedings. Lecture Notes in Computer Science 356, Springer 1989, ISBN 3-540-51082-6 [contents] - 357Teo Mora:
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988, Proceedings. Lecture Notes in Computer Science 357, Springer 1989, ISBN 3-540-51083-4 [contents] - 358Patrizia M. Gianni:
Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings. Lecture Notes in Computer Science 358, Springer 1989, ISBN 3-540-51084-2 [contents] - 359Dieter Gawlick, Mark N. Haynie, Andreas Reuter:
High Performance Transaction Systems, 2nd International Workshop, Asilomar Conference Center, Pacific Grove, California, USA, September 28-30, 1987, Proceedings. Lecture Notes in Computer Science 359, Springer 1989, ISBN 3-540-51085-0 [contents] - 360Hermann A. Maurer:
Computer Assisted Learning, 2nd International Conference, ICCAL '89, Dallas, Texas, USA, May 9-11, 1989, Proceedings. Lecture Notes in Computer Science 360, Springer 1989, ISBN 3-540-51142-3 [contents] - 361Serge Abiteboul, Patrick C. Fischer, Hans-Jörg Schek:
Nested Relations and Complex Objects, Papers from the Workshop "Theory and Applications of Nested Relations and Complex Objects", Darmstadt, Germany, April 6-8, 1987. Lecture Notes in Computer Science 361, Springer 1989, ISBN 3-540-51171-7 [contents] - 362Björn Lisper:
Synthesising Synchronous Systems by Static Scheduling in Space-Time. Lecture Notes in Computer Science 362, Springer 1989, ISBN 3-540-51156-3, pp. 1-262 - 363Albert R. Meyer, Michael A. Taitslin:
Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Lecture Notes in Computer Science 363, Springer 1989, ISBN 3-540-51237-3 [contents] - 364János Demetrovics, Bernhard Thalheim:
MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989. Lecture Notes in Computer Science 364, Springer 1989, ISBN 3-540-51251-9 [contents] - 365Eddy Odijk, Martin Rem, Jean-Claude Syre:
PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings. Lecture Notes in Computer Science 365, Springer 1989, ISBN 3-540-51284-5 [contents] - 366Eddy Odijk, Martin Rem, Jean-Claude Syre:
PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings. Lecture Notes in Computer Science 366, Springer 1989, ISBN 3-540-51285-3 [contents] - 367Witold Litwin, Hans-Jörg Schek:
Foundations of Data Organization and Algorithms, 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989, Proceedings. Lecture Notes in Computer Science 367, Springer 1989, ISBN 3-540-51295-0 [contents] - 368Haran Boral, Pascal Faudemay:
Database Machines, Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989, Proceedings. Lecture Notes in Computer Science 368, Springer 1989, ISBN 3-540-51324-8 [contents] - 369Dirk Taubner:
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. Technical University Munich, Germany, Lecture Notes in Computer Science 369, Springer 1989, ISBN 3-540-51525-9, pp. 1-215 - 370Christoph Meinel:
Modified Branching Programs and Their Computational Power. Academy of Sciences of the German Democratic Republic, Berlin, Germany, Lecture Notes in Computer Science 370, Springer 1989, ISBN 3-540-51340-X - 371Dieter K. Hammer:
Compiler Compilers and High Speed Compilation, 2nd CCHSC Workshop, Berlin GDR, October 10-14, 1988, Proceedings. Lecture Notes in Computer Science 371, Springer 1989, ISBN 3-540-51364-7 [contents] - 372Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca:
Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Lecture Notes in Computer Science 372, Springer 1989, ISBN 3-540-51371-X [contents] - 373Theoharis Theoharis:
Algorithms for Parallel Polygon Rendering. University of Cambridge, UK, Lecture Notes in Computer Science 373, Springer 1989, ISBN 3-540-51394-9, pp. 1-147 - 374Kay A. Robbins, Steven Robbins:
The Cray X-MP/Model 24, A Case Study in Pipelined Architecture and Vector Processing. Lecture Notes in Computer Science 374, Springer 1989, ISBN 3-540-97089-4 - 375Jan L. A. van de Snepscheut:
Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Lecture Notes in Computer Science 375, Springer 1989, ISBN 3-540-51305-1 [contents] - 376Norman E. Gibbs:
Software Engineering Education, SEI Conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989, Proceedings. Lecture Notes in Computer Science 376, Springer 1989, ISBN 3-540-97090-8 [contents] - 377Maurice Gross, Dominique Perrin:
Electronic Dictionaries and Automata in Computational Linguistics, LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25-29, 1987, Proceedings. Lecture Notes in Computer Science 377, Springer 1989, ISBN 3-540-51465-1 [contents] - 378James H. Davenport:
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Lecture Notes in Computer Science 378, Springer 1989, ISBN 3-540-51517-8 [contents] - 379Antoni Kreczmar, Grazyna Mirkowska:
Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings. Lecture Notes in Computer Science 379, Springer 1989, ISBN 3-540-51486-4 [contents] - 380János Csirik, János Demetrovics, Ferenc Gécseg:
Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings. Lecture Notes in Computer Science 380, Springer 1989, ISBN 3-540-51498-8 [contents] - 381Jürgen Dassow, Jozef Kelemen:
Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings. Lecture Notes in Computer Science 381, Springer 1989, ISBN 3-540-51516-X [contents] - 382Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Nicola Santoro:
Algorithms and Data Structures, Workshop WADS '89, Ottawa, Canada, August 17-19, 1989, Proceedings. Lecture Notes in Computer Science 382, Springer 1989, ISBN 3-540-51542-9 [contents] - 383Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki:
Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. Lecture Notes in Computer Science 485, Springer 1991, ISBN 3-540-53919-0 [contents] - 384Gerrit A. van Zee, Johannes G. G. van de Vorst:
Parallel Computing 1988, Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988, Proceedings. Lecture Notes in Computer Science 384, Springer 1989, ISBN 3-540-51604-2 [contents] - 385Egon Börger, Hans Kleine Büning, Michael M. Richter:
CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Lecture Notes in Computer Science 385, Springer 1989, ISBN 3-540-51659-X [contents] - 386Jean-Eric Pin:
Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings. Lecture Notes in Computer Science 386, Springer 1989, ISBN 3-540-51631-X [contents] - 387Carlo Ghezzi, John A. McDermid:
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Lecture Notes in Computer Science 387, Springer 1989, ISBN 3-540-51635-2 [contents] - 388Gérard D. Cohen, Jacques Wolfmann:
Coding Theory and Applications, 3rd International Colloquium, Toulon, France, November 2-4, 1988, Proceedings. Lecture Notes in Computer Science 388, Springer 1989, ISBN 3-540-51643-3 [contents] - 389David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné:
Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings. Lecture Notes in Computer Science 389, Springer 1989, ISBN 3-540-51662-X [contents] - 390João P. Martins, Ernesto M. Morgado:
EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Lecture Notes in Computer Science 390, Springer 1989, ISBN 3-540-51665-4 [contents] - 391Jean-Daniel Boissonnat, Jean-Paul Laumond:
Geometry and Robotics, Workshop, Toulouse, France, May 26-28, 1988, Proceedings. Lecture Notes in Computer Science 391, Springer 1989, ISBN 3-540-51683-2 [contents] - 392Jean-Claude Bermond, Michel Raynal:
Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings. Lecture Notes in Computer Science 392, Springer 1989, ISBN 3-540-51687-5 [contents] - 393Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß:
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]. Lecture Notes in Computer Science 393, Springer 1989, ISBN 3-540-51722-7 [contents] - 394Martin Wirsing, Jan A. Bergstra:
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394, Springer 1989, ISBN 3-540-51698-0 [contents] - 395Manfred Schmidt-Schauß:
Computational Aspects of an Order-Sorted Logic with Term Declarations. Lecture Notes in Computer Science 395, Springer 1989, ISBN 3-540-51705-7 - 396Thomas A. Berson, Thomas Beth:
Local Area Network Security, Workshop LANSEC '89, European Institute for System Security (E.I.S.S.), Karlsruhe, FRG, April 3-6, 1989. Lecture Notes in Computer Science 396, Springer 1989, ISBN 3-540-51754-5 [contents] - 397Klaus P. Jantke:
Analogical and Inductive Inference, International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings. Lecture Notes in Computer Science 397, Springer 1989, ISBN 3-540-51734-0 [contents] - 398Behnam Banieqbal, Howard Barringer, Amir Pnueli:
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 398, Springer 1989, ISBN 3-540-51803-7 [contents] - 399Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi, Gottfried Wolf:
Recent Issues in Pattern Analysis and Recognition. Lecture Notes in Computer Science 399, Springer 1989, ISBN 3-540-51815-0 [contents]
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:
