default search action
Lecture Notes in Computer Science (LNCS), Volumes 100-199
- 100Hartmut Noltemeier:
Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980. Lecture Notes in Computer Science 100, Springer 1981, ISBN 3-540-10291-4 [contents] - 101André Thayse:
Boolean Caclulus of Differences. Lecture Notes in Computer Science 101, Springer 1981, ISBN 3-540-10286-8 - 102James H. Davenport:
On the Integration of Algebraic Functions. Lecture Notes in Computer Science 102, Springer 1981, ISBN 3-540-10290-6 - 103Henry F. Ledgard, Andrew Singer, John A. Whiteside:
Directions in Human Factors for Interactive Systems. Lecture Notes in Computer Science 103, Springer 1981, ISBN 3-540-10574-3 - 104Peter Deussen:
Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings. Lecture Notes in Computer Science 104, Springer 1981, ISBN 3-540-10576-X [contents] - 105Butler W. Lampson, M. Paul, Hans-Jürgen Siegert:
Distributed Systems - Architecture and Implementation, An Advanced Course. Lecture Notes in Computer Science 105, Springer 1981, ISBN 3-540-10571-9 [contents] - 106Wilfried Brauer, Per Brinch Hansen, David Gries, C. Moler, Gerhard Seegmüller, Josef Stoer, Niklaus Wirth:
The Programming Language Ada Reference Manual, Proposed Standard Document, United States Department of Defense. Lecture Notes in Computer Science 106, Springer 1981, ISBN 3-540-10693-6 - 107Josep Díaz, Isidro Ramos:
Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings. Lecture Notes in Computer Science 107, Springer 1981, ISBN 3-540-10699-5 [contents] - 108Nobuji Saito, Takao Nishizeki:
Graph Theory and Algorithms, 17th Symposium of Research Institute of Electric Communication, Tohoku University, Sendai, Japan, October 24-25, 1980, Proceedings. Lecture Notes in Computer Science 108, Springer 1981, ISBN 3-540-10704-5 [contents] - 109Leonard Bolc, Zenon Kulpa:
Digital Image Processing Systems. Lecture Notes in Computer Science 109, Springer 1981, ISBN 3-540-10705-3 [contents] - 110Waltraud Dehning, Eidrun Essig, Susanne Maaß:
The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs. Lecture Notes in Computer Science 110, Springer 1981, ISBN 3-540-10826-2 - 111Wolfgang Händler:
CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings. Lecture Notes in Computer Science 111, Springer 1981, ISBN 3-540-10827-0 [contents] - 112Egidio Astesiano, Corrado Böhm:
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings. Lecture Notes in Computer Science 112, Springer 1981, ISBN 3-540-10828-9 [contents] - 113Ernst-Erich Doberkat:
Stochastic Automata: Stability, Nondeterminism, and Prediction. Lecture Notes in Computer Science 113, Springer 1981, ISBN 3-540-10835-1 - 114Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder:
CLU Reference Manual. Lecture Notes in Computer Science 114, Springer 1981, ISBN 3-540-10836-X - 115Shimon Even, Oded Kariv:
Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings. Lecture Notes in Computer Science 115, Springer 1981, ISBN 3-540-10843-2 [contents] - 116Marco A. Casanova:
The Concurrency Control Problem for Database Systems. Lecture Notes in Computer Science 116, Springer 1981, ISBN 3-540-10845-9 - 117Ferenc Gécseg:
Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981. Lecture Notes in Computer Science 117, Springer 1981, ISBN 3-540-10854-8 [contents] - 118Jozef Gruska, Michal Chytil:
Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings. Lecture Notes in Computer Science 118, Springer 1981, ISBN 3-540-10856-4 [contents] - 119Graeme Hirst:
Anaphora in Natural Language Understanding: A Survey. Lecture Notes in Computer Science 119, Springer 1981, ISBN 3-540-10858-0 - 120Louis B. Rall:
Automatic Differentiation: Techniques and Applications. Lecture Notes in Computer Science 120, Springer 1981, ISBN 3-540-10861-0 - 121Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg:
Y12M - Solution of Large and Sparse Systems of Linear Algebraic Equations. Lecture Notes in Computer Science 121, Springer 1981, ISBN 3-540-10874-2 - 122Andrei P. Ershov, Donald E. Knuth:
Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, USSR, September 16-22, 1979. Lecture Notes in Computer Science 122, Springer 1981, ISBN 3-540-11157-3 [contents] - 123A. J. W. Duijvestijn, Peter C. Lockemann:
Trends in Information Processing Systems, 3rd Conference of the European Cooperation in Informatics, Munich, Germany, October 20-22, 1981, Proceedings. Lecture Notes in Computer Science 123, Springer 1981, ISBN 3-540-10885-8 [contents] - 124Wolfgang Pollak:
Compiler Specification and Verification. Lecture Notes in Computer Science 124, Springer 1981, ISBN 3-540-10886-6 - 125Erwin Engeler:
Logics of Programs, Workshop, ETH Zürich, May-July 1979. Lecture Notes in Computer Science 125, Springer 1981, ISBN 3-540-11160-3 [contents] - 126Michael J. Flynn, Neville Harris, Daniel P. McCarthy:
Microcomputer System Design, An Advanced Course, Trinity College Dublin, Ireland, June 1981. Lecture Notes in Computer Science 126, Springer 1982, ISBN 3-540-11172-7 [contents] - 127Yehuda Wallach:
Alternating Sequential/Parallel Processing. Lecture Notes in Computer Science 127, Springer 1982, ISBN 3-540-11194-8 - 128Paul Branquart, Georges Louis, Pierre L. Wodon:
An Analytical Description of CHILL, the CCITT High Level Language. Lecture Notes in Computer Science 128, Springer 1982, ISBN 3-540-11196-4 - 129Brent Hailpern:
Veritying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science 129, Springer 1982, ISBN 3-540-11205-7 - 130Robert Goldblatt:
Axiomatising the Logic of Computer Programming. Lecture Notes in Computer Science 130, Springer 1982, ISBN 3-540-11210-3 - 131Dexter Kozen:
Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981. Lecture Notes in Computer Science 131, Springer 1982, ISBN 3-540-11212-X [contents] - 132S. Bing Yao, Shamkant B. Navathe, Jay-Louise Weldon, Tosiyasu L. Kunii:
Data Base Design Techniques I: Requirements and Logical Structures, NYU Symposium, New York, USA, May 1978, Proceedings. Lecture Notes in Computer Science 132, Springer 1982, ISBN 3-540-11214-6 [contents] - 133S. Bing Yao, Tosiyasu L. Kunii:
Data Base Design Techniques II: Physical Structures and Applications, The Symposium on Data Base Engineering, Tokyo, Japan, November 1979, Proceedings. Lecture Notes in Computer Science 133, Springer 1982, ISBN 3-540-11215-4 [contents] - 134Jørgen Staunstrup:
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Lecture Notes in Computer Science 134, Springer 1982, ISBN 3-540-11490-4 [contents] - 135Robert L. Constable, Scott Johnson, C. D. Eichenlaub:
An Introduction to the PL/CV2 Programming Logic. Lecture Notes in Computer Science 135, Springer 1982, ISBN 3-540-11492-0 - 136Christoph M. Hoffmann:
Group-Theoretic Algorithms and Graph Isomorphism. Lecture Notes in Computer Science 136, Springer 1982, ISBN 3-540-11493-9 - 137Mariangiola Dezani-Ciancaglini, Ugo Montanari:
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings. Lecture Notes in Computer Science 137, Springer 1982, ISBN 3-540-11494-7 [contents] - 138Donald W. Loveland:
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings. Lecture Notes in Computer Science 138, Springer 1982, ISBN 3-540-11558-7 [contents] - 139Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner:
An Attribute Grammar for the Semantic Analysis of Ada. Lecture Notes in Computer Science 139, Springer 1982, ISBN 3-540-11571-4 - 140Mogens Nielsen, Erik Meineche Schmidt:
Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Lecture Notes in Computer Science 140, Springer 1982, ISBN 3-540-11576-5 [contents] - 141Uwe Kastens, Brigitte Hutt, Erich Zimmermann:
GAG: A Practical Compiler Generator. Lecture Notes in Computer Science 141, Springer 1982, ISBN 3-540-11591-9 - 142Paul Messina, Almerico Murli:
Problems and Methodologies in Mathematical Software Production, International Seminar, Held at Sorrento, Italy, November 3-8, 1980. Lecture Notes in Computer Science 142, Springer 1982, ISBN 3-540-11603-6 [contents] - 143Mamoru Maekawa, Laszlo A. Belady:
Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980. Lecture Notes in Computer Science 143, Springer 1982, ISBN 3-540-11604-4 [contents] - 144Jacques Calmet:
Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Lecture Notes in Computer Science 144, Springer 1982, ISBN 3-540-11607-9 [contents] - 145Armin B. Cremers, Hans-Peter Kriegel:
Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings. Lecture Notes in Computer Science 145, Springer 1982, ISBN 3-540-11973-6 [contents] - 146Gerard Salton, Hans-Jochen Schneider:
Research and Development in Information Retrieval, Proceedings, Berlin, May 18-20, 1982. Lecture Notes in Computer Science 146, Springer 1983 [contents] - 147Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa:
RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings. Lecture Notes in Computer Science 147, Springer 1983, ISBN 3-540-11980-9 [contents] - 148Andrzej Salwicki:
Logics of Programs and Their Applications, Proceedings, Poznan, Poland, August 23-29, 1980. Lecture Notes in Computer Science 148, Springer 1983, ISBN 3-540-11981-7 [contents] - 149Thomas Beth:
Cryptography, Proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29 - April 2, 1982. Lecture Notes in Computer Science 149, Springer 1983 [contents] - 150Albrecht Blaser, Magdalena Zoeppritz:
Enduser Systems and Their Human Factors, Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983. Lecture Notes in Computer Science 150, Springer 1983, ISBN 3-540-12273-7 [contents] - 151Robert Piloty, Dominique Borrione, Mario Barbacci, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
CONLAN Report. Lecture Notes in Computer Science 151, Springer 1983, ISBN 3-540-12275-3 - 152Elöd Knuth, Erich J. Neuhold:
Specification and Design of Software Systems, Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings. Lecture Notes in Computer Science 152, Springer 1983, ISBN 3-540-12284-2 [contents] - 153Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982. Lecture Notes in Computer Science 153, Springer 1983, ISBN 3-540-12310-5 [contents] - 154Josep Díaz:
Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings. Lecture Notes in Computer Science 154, Springer 1983, ISBN 3-540-12317-2 [contents] - 155The Programming Language Ada Reference Manual, American National Standards Institute, Inc., ANSI/MIL-STD-1815A-1983. Lecture Notes in Computer Science 155, Springer 1983, ISBN 3-540-12328-8
- 156Mark H. Overmars:
The Design of Dynamic Data Structures. Lecture Notes in Computer Science 156, Springer 1983, ISBN 3-540-12330-X - 157Ole Østerby, Zahari Zlatev:
Direct Methods for Sparse Matrices. Lecture Notes in Computer Science 157, Springer 1983, ISBN 3-540-12676-7 - 158Marek Karpinski:
Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983. Lecture Notes in Computer Science 158, Springer 1983, ISBN 3-540-12689-9 [contents] - 159Giorgio Ausiello, Marco Protasi:
CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings. Lecture Notes in Computer Science 159, Springer 1983, ISBN 3-540-12727-5 [contents] - 160Reiji Nakajima, Taiichi Yuasa:
The IOTA Programming System, A Modular Programming Environment. Lecture Notes in Computer Science 160, Springer 1983, ISBN 3-540-12693-7 [contents] - 161Gerhard Goos, William A. Wulf, Arthur Evans Jr., Kenneth J. Butler:
DIANA - An Intermediate Language for Ada, Revised Version. Lecture Notes in Computer Science 161, Springer 1983, ISBN 3-540-12695-3 - 162J. A. van Hulzen:
Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings. Lecture Notes in Computer Science 162, Springer 1983, ISBN 3-540-12868-9 [contents] - 163Tosiyasu L. Kunii:
VLSI Engineering: Beyond Software Engineering. Lecture Notes in Computer Science 163, Springer 1984, ISBN 3-540-70002-1 [contents] - 164Edmund M. Clarke, Dexter Kozen:
Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings. Lecture Notes in Computer Science 164, Springer 1984, ISBN 3-540-12896-4 [contents] - 165Thomas F. Coleman:
Large Sparse Numerical Optimization. Lecture Notes in Computer Science 165, Springer 1984, ISBN 3-540-12914-6 - 166Max Fontet, Kurt Mehlhorn:
STACS 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings. Lecture Notes in Computer Science 166, Springer 1984, ISBN 3-540-12920-0 [contents] - 167Manfred Paul, Bernard J. Robinet:
International Symposium on Programming, 6th Colloquium, Toulouse, France, April 17-19, 1984, Proceedings. Lecture Notes in Computer Science 167, Springer 1984, ISBN 3-540-12925-1 [contents] - 168Ulrich Rembold, Rüdiger Dillmann:
Methods and Tools for Computer Integrated Manufacturing, Advanced CREST Course on Computer Integrated Manufacturing (CIM 83), Karlsruhe, Germany, September 5-16, 1983. Lecture Notes in Computer Science 168, Springer 1984, ISBN 3-540-12926-X [contents] - 169Christian Ronse:
Feedback Shift Registers. Lecture Notes in Computer Science 169, Springer 1984, ISBN 3-540-13330-5 - 170Robert E. Shostak:
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings. Lecture Notes in Computer Science 170, Springer 1984, ISBN 3-540-96022-8 [contents] - 171Egon Börger, Gisbert Hasenjaeger, Dieter Rödding:
Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen. Lecture Notes in Computer Science 171, Springer 1984, ISBN 3-540-13331-3 [contents] - 172Jan Paredaens:
Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings. Lecture Notes in Computer Science 172, Springer 1984, ISBN 3-540-13345-3 [contents] - 173Gilles Kahn, David B. MacQueen, Gordon D. Plotkin:
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Lecture Notes in Computer Science 173, Springer 1984, ISBN 3-540-13346-1 [contents] - 174John P. Fitch:
EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings. Lecture Notes in Computer Science 174, Springer 1984, ISBN 3-540-13350-X [contents] - 175André Thayse:
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms. Lecture Notes in Computer Science 175, Springer 1984, ISBN 3-540-13358-5 - 176Michal Chytil, Václav Koubek:
Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Lecture Notes in Computer Science 176, Springer 1984, ISBN 3-540-13372-0 [contents] - 177Cliff B. Jones:
Programming Languages and Their Definition - Hans Bekic (1936-1982). Lecture Notes in Computer Science 177, Springer 1984, ISBN 3-540-13378-X [contents] - 178Gerrit C. van der Veer, Michael J. Tauber, Thomas R. G. Green, Peter Gorny:
Readings on Cognitive Ergonomics - Mind and Computers, Proceedings of the 2nd European Conference, Gmunden, Austria, September 10-14, 1984. Lecture Notes in Computer Science 178, Springer 1984, ISBN 3-540-13394-1 [contents] - 179Victor Y. Pan:
How to Multiply Matrices Faster. Lecture Notes in Computer Science 179, Springer 1984, ISBN 3-540-13866-8 - 180Peter J. L. Wallis:
Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings. Lecture Notes in Computer Science 180, Springer 1984, ISBN 3-540-13878-1 [contents] - 181Mathai Joseph, R. K. Shyamasundar:
Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Lecture Notes in Computer Science 181, Springer 1984, ISBN 3-540-13883-8 [contents] - 182Kurt Mehlhorn:
STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings. Lecture Notes in Computer Science 182, Springer 1985, ISBN 3-540-13912-5 [contents] - 183Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7 - 184David Hutchison, John A. Mariani, Doug Shepherd:
Local Area Networks: An Advanced Course, Glasgow, UK, July 11-22, 1983, Proceedings. Lecture Notes in Computer Science 184, Springer 1985, ISBN 3-540-15191-5 [contents] - 185Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher:
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). Lecture Notes in Computer Science 185, Springer 1985, ISBN 3-540-15198-2 [contents] - 186Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher:
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE). Lecture Notes in Computer Science 186, Springer 1985, ISBN 3-540-15199-0 [contents] - 187François S. Chaghaghi:
Time Series Package (TSPACK). Lecture Notes in Computer Science 187, Springer 1985, ISBN 3-540-15202-4 - 188Grzegorz Rozenberg, Hartmann J. Genrich, Gérard Roucairol:
Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers. Lecture Notes in Computer Science 188, Springer 1985, ISBN 3-540-15204-0 [contents] - 189Mark Steven Sherman:
Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types. Lecture Notes in Computer Science 189, Springer 1985, ISBN 3-540-15212-1 - 190Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider:
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany. Lecture Notes in Computer Science 190, Springer 1985, ISBN 3-540-15216-4 [contents] - 191Howard Barringer:
A Survey of Verification Techniques for Parallel Programs. Lecture Notes in Computer Science 191, Springer 1985, ISBN 3-540-15239-3 - 192Maurice Nivat, Dominique Perrin:
Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, France, May 14-18, 1984. Lecture Notes in Computer Science 192, Springer 1985, ISBN 3-540-15641-0 [contents] - 193Rohit Parikh:
Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings. Lecture Notes in Computer Science 193, Springer 1985, ISBN 3-540-15648-8 [contents] - 194Wilfried Brauer:
Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Lecture Notes in Computer Science 194, Springer 1985, ISBN 3-540-15650-X [contents] - 195Heinrich J. Stüttgen:
A Hierarchical Associative Processing System. Lecture Notes in Computer Science 195, Springer 1985, ISBN 3-540-15652-6, pp. 1-273 - 196G. R. Blakley, David Chaum:
Advances in Cryptology, Proceedings of CRYPTO '84, Santa Barbara, California, USA, August 19-22, 1984, Proceedings. Lecture Notes in Computer Science 196, Springer 1985, ISBN 3-540-15658-5 [contents] - 197Stephen D. Brookes, A. W. Roscoe, Glynn Winskel:
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Lecture Notes in Computer Science 197, Springer 1985, ISBN 3-540-15670-4 [contents] - 198Arnold Businger:
PORTAL Language Description - Second, Extended Edition. Lecture Notes in Computer Science 198, Springer 1985, ISBN 3-540-18960-2 - 199Lothar Budach:
Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985. Lecture Notes in Computer Science 199, Springer 1985, ISBN 3-540-15689-5 [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.