Link on this page

<Books>
Lecture notes in computer science

Publisher Berlin ; Tokyo : Springer-Verlag
Codes ID=1000000913 NCID=BA00009279
Online Material https://jg8gn6xr5x.search.serialssolutions.com/?issn=03029743

Show details.

Language Undetermined
Other titles variant access title:LNCS
Vol volumes 1-100 index

Hide subdivided bibliography.

1 1 3. Jahrestagung, Humburg, 8.-10. Oktober 1973 / GI, Gesellschaft für Informatik e.V. ; herausgegeben im Auftrag der Gesellschaft für Informatik von Wilfried Brauer : gw,: us. - Berlin ; New York : Springer-Verlag , 1973
2 2 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973 / GI, Gesellschaft für Informatik e.V. ; herausgegeben im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark : gw,: us. - Berlin ; New York : Springer-Verlag , 1973
3 3, 4 5th Conference on Optimization Techniques / edited by R. Conti and A. Ruberti pt. 1 : gw - pt. 2 : us. - Berlin ; New York : Springer-Verlag , 1973
4 5 International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 / edited by Andrei Ershov and Valery A. Nepomniaschy : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
5 6 Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.] : Berlin,: New York. - 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
6 6 Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
7 7 3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / GI, Gesellschaft für Informatik e.V. ; herausgegeben von Bodo Schlender und Wolfgang Frielinghaus : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
8 8 Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. 3. 1974 / GI-NTG ; herausgegeben im Auftrag der GI und der NTG von H.-O. Leilich : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
9 v. 9 Internationale Fachtagung : Informationszentren in Wirtschaft und Verwaltung, Köln, 17./18. September 1973 / herausgegeben im Auftrag der GI und dem BIFOA von P. Schmitz : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
10 10, 11 Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973 / edited by R. Glowinski and J.L. Lions v. 1 : gw - v. 2 : us. - Berlin ; New York : Springer-Verlag , 1974
11 12 Fachtagung Prozessrechner 1974, Karlsruhe, 10.-11. Juni 1974 / herausgegeben von Gerhard Krüger und Rüdiger Friehmelt : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
12 13 Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 / herausgegeben im Auftrag der GI von W. Händler und P.P. Spies : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
13 14 Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / edited by Jacques Loeckx : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
14 15 L systems / edited by Grzegorz Rozenberg and Arto Salomaa : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
15 16 Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 / edited by E. Gelenbe and C. Kaiser : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
16 17 Rechner-Gestützter Unterricht : RGU '74, Fachtagung, Hamburg 12.-14. August, 1974 / ACU-Arbeitskreis Computer-Unterstützter Unterricht ; herausgegeben im Auftrag der GI von K. Brunnstein, K. Haefner und W. Händler : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
17 18 PASCAL : user manual and report / Kathleen Jensen, Niklaus Wirt : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
18 18 PASCAL : user manual and report / Kathleen Jensen, Niklaus Wirth : gw,: us. - Corr. reprint of the 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
19 19 Programming Symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 / edited by B. Robinet : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
20 20 Simple program schemes and formal languages / Joost Engelfriet : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
21 21 Compiler construction : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and J. Eickel : gw,: us. - 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
22 v. 22 Formal Aspects of Cognitive Processes : Interdisciplinary Conference, Ann Arbor, March 1972 / edited by Thomas Storer and David Winter : gw,: us. - Berlin : Springer-Verlag , 1975
23 23 Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
24 24 Parallel processing : proceedings of the Sagamore Computer Conference, August 20-23, 1974 / edited by Tse-yun Feng : gw,: us. - Berlin : Springer-Verlag , 1975
25 25 Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
26 26 GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 / herausgegeben im Auftrag der GI von D. Siefkes : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
27 27 Optimization techniques : IFIP Technical Conference, Novosibirsk, July 1-7, 1974 / edited by G.I. Marchuk : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
28 28 Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
29 29 Interval mathematics : proceedings of the International Symposium, Karlsruhe, West Germany, May 20-24, 1975 / edited by K. Nickel : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
30 30 Software engineering : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer : gw,: us. - Berlin ; New York : Springer-Verlag , 1975, c1973
31 31 Analysis of drum and disk storage units / Samuel H. Fuller : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
32 32 Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář : gw,: us. - Berlin : New York : Springer-Verlag , 1975
33 33 Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
34 34 GI-5. Jahrestagung, Dortmund, 8.-10. Oktober 1975 / herausgegeben im Auftrag der GI von J. Mühlbacher : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
35 35 Exercises in computer systems analysis / W. Everling : gw,: us. - Corrected reprint of the 1st ed. - Berlin ; New York : Springer-Verlag , 1975
36 36 Theory of program structures : schemes, semantics, verification / Sheila A. Greibach : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
37 37 [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
38 38 An Optimized translation process and its application to ALGOL 68 / P. Branquart ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
39 40, 41 . Series, I.F.I.P. TC7 optimization conferences Optimization techniques : modeling and optimization in the service of man : proceedings, 7th IFIP conference, Nice, September 8-12, 1975 / edited by Jean Cea pt. 1 : gw - pt. 2 : us. - Berlin ; New York : Springer-Verlag , 1976
40 42 Complementary definitions of programming language semantics / James E. Donahue : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
41 43 Komplexität von Entscheidungsproblemen : ein Seminar / Ernst Specker, Volker Strassen : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
42 44 ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
43 45 Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
44 46 Language hierarchies and interfaces : international summer school / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and K. Samelson : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
45 47 Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
46 48 Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 / edited by H. Tzschach, H. Waldschmidt, H. K.-G. Walter on behalf of the GI : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
47 49 Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 1976 / edited by A. Blaser and C. Hackl : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
48 50 A Concurrent Pascal compiler for minicomputers / Alfred C. Hartmann : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
49 51 Matrix eigensystem routines : EISPACK guide extension / B.S. Garbow ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
50 52 Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
51 53 Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
52 54 Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976 / edited by John H. Williams and David A. Fisher : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
53 55 Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
54 56 Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
55 57 Portability of numerical software : workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell : gw,: us. - Berlin : Springer-Verlag , 1977
56 58 Computing in systems described by equations / Michael J. O'Donnell : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
57 59 A comparative study of very large data bases / Edward Hill, Jr : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
58 60 Operating systems : an advanced course / M. J. Flynn ... [et al.] ; edited by R. Bayer, R. M. Graham, and G. Seegmüller : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1978
59 61 The Vienna development method : the meta-language / edited by D. Bjørner and C.B. Jones : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
60 62 Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
61 63 Natural language communication with computers / edited by Leonard Bolc : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
62 64 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / edited by J. Winkowski : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
63 65 Information systems methodology : proceedings, 2nd conference of the European Cooperation in Informatics, Venice, October 10-12, 1978 / edited by G. Bracchi and P.C. Lockemann : gw,: us. - Berlin : Springer-Verlag , 1978
64 66 TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
65 67 Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
66 68 First-order dynamic logic / David Harel : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1979
67 69 Program construction : international summer school / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and M. Broy : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
68 70 Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 / edited by Gilles Kahn : gw,: us. - Berlin : Springer-Verlag , 1979
69 71 Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer : gw,: us. - Berlin : Springer-Verlag , 1979
70 72 Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / edited by Edward W. Ng : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
71 74 Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 / edited by J. Bečvář : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
72 75 Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / edited by E. K. Blum, M. Paul and S. Takasu : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
73 76 Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978 / edited by B. Childs ... [et al.] : gw,: us. - Berlin : Springer-Verlag , 1979
74 77 Architecture of distributed computer systems / Gregor v. Bochmann : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
75 78 Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
76 79 Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 / edited by Jeffrey M. Tobias : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
77 80 Pictorial information systems / edited by S.K. Chang and K.S. Fu : gw,: us. - Berlin : Springer-Verlag , c1980
78 81 Data base techniques for pictorial applications, Florence, June 20-22, 1979 / edited by A. Blaser : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
79 82 A relational theory of computing / John G. Sanderson : gw,: us. - Berlin : Springer-Verlag , 1980
80 83 International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 / edited by B. Robinet : gw,: us. - Berlin : Springer-Verlag , 1980
81 84 Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / edited by Wilfried Brauer : gw,: us. - Berlin : Springer-Verlag , 1980
82 85 Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen : gw,: us. - Berlin : Springer-Verlag , 1980
83 86 Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
84 87 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
85 88 Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembiński : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
86 89 Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darmstadt, 8.-19. September 1980 / edited by J. Encarnacao : gw,: us. - Berlin : Springer-Verlag , 1980
87 90 Using sophisticated models in resolution theorem proving / David M. Sandford : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
88 91 Grammar and L forms : an introduction / Derick Wood : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
89 93 Context-free grammars : covers, normal forms, and parsing / Anton Nijholt : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
90 94 Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 / edited by Neil D. Jones : gw,: us. - Berlin : Springer-Verlag , 1980
91 95 Coroutines : a programming methodology, a language design and an implementation / Christopher D. Marlin : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
92 96 Computer programs for spelling correction : an experiment in program design / James L. Peterson : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
93 97 Reliability evaluation of some fault-tolerant computer architectures / Shunji Osaki, Toshihiko Nishio : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
94 98 Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest : gw,: us. - Berlin : Springer-Verlag , 1980
95 99 Algebraic semantics / Irène Guessarian : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
96 100 Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef, June 15-18, 1980 / edited by Hartmut Noltemeier : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
97 101 Boolean calculus of differences / André Thayse : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
98 102 On the integration of algebraic functions / James Harold Davenport : gw,: us. - Berlin ; New York : Springer , 1981
99 103 Directions in human factors for interactive systems / Henry Ledgard, Andrew Singer, John Whiteside : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
100 104 Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
101 105 Distributed systems : architecture and implementation : an advanced course / D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert : gw,: us. - Berlin ; New York : Springer-Verlag , c1981
102 106 The Programming language Ada : reference manual / proposed standard document, United States Department of Defense : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981
103 107 Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
104 108 Graph theory and algorithms : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings / edited by N. Saito and T. Nishizeki : gw,: us. - Berlin : Springer-Verlag , 1981
105 109 Digital image processing systems / edited by Leonard Bolc and Zenon Kulpa : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
106 110 The adaptation of virtual man-computer interfaces to user requirements in dialogs / Waltraud Dehning, Heidrun Essig, Susanne Maass : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
107 111 CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981 : proceedings / edited by Wolfgang Händler : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
108 112 CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings / edited by E. Astesiano and C. Böhm : gw,: us. - Berlin : Springer-Verlag , 1981
109 113 Stochastic automata : stability, nondeterminism, and prediction / Ernst-Erich Doberkat : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
110 114 CLU reference manual / Barbara Liskov ... [et al.] : gw,: us. - Berlin ; New York : Springer , 1981
111 115 Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv : gw,: us. - Berlin : Springer-Verlag , 1981
112 116 The concurrency control problem for database systems / Marco Antonio Casanova : Berlin,: New York. - Berlin ; New York : Springer , 1981
113 117 Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 / edited by Ferenc Gécseg : gw,: us. - Berlin : Springer-Verlag , 1981
114 118 Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
115 119 Anaphora in natural language understanding : a survey / Graeme Hirst : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
116 120 Automatic differentiation : techniques and applications / Louis B. Rall : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
117 121 Y12M solution of large and sparse systems of linear algebraic equations : documentation of subroutines / Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
118 122 Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
119 123 Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings / edited by A.J.W. Duijvestijn and P.C. Lockemann : gw,: us. - Berlin : Springer-Verlag , 1981
120 124 Compiler specification and verification / Wolfgang Polak : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
121 125 Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler : gw,: us. - Berlin ; Tokyo : Springer , 1981
122 126 Microcomputer system design : an advanced course, Trinity College, Dublin, June 1981 / edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy : gw,: us. - Berlin : Springer-Verlag , 1982
123 127 Alternating sequential/parallel processing / Y. Wallach : gw,: us. - Berlin ; New York : Springer , 1982
124 128 An analytical description of CHILL, the CCITT high level language / Paul Branquart, Georges Louis, Pierre Wodon : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
125 129 Verifying concurrent processes using temporal logic / Brent T. Hailpern : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
126 130 Axiomatising the logic of computer programming / Robert Goldblatt : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
127 131 Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen : gw,: us. - Berlin : Springer-Verlag , 1982
128 132 . Data base design techniques ; 1 Requirements and logical structures : NYU Symposium, New York, May 1978 / edited by S.B. Yao ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
129 133 . Data base design techniques ; 2 Physical structures and applications : proceedings, Tokyo, November 1979 / edited by S.B. Yao and T.L. Kunii : gw,: us. - Berlin : Springer-Verlag , 1982
130 134 Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup : gw,: us. - Berlin : Springer-Verlag , 1982
131 135 An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
132 136 Group-theoretic algorithms and graph isomorphism / Christoph M. Hoffmann : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
133 137 International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings / edited by M. Dezani-Ciancaglini and U. Montanari : gw,: us. - Berlin : Springer-Verlag , 1982
134 138 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / edited by D.W. Loveland : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
135 139 An Attribute grammar for the semantic analysis of ADA / J. Uhl ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
136 140 Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 / edited by M. Nielsen and E.M. Schmidt : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
137 141 GAG, a practical compiler generator / Uwe Kastens, Brigitte Hutt, Erich Zimmermann : gw,: us. - Berlin ; New York : Springer , 1982
138 142 Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 / edited by P.C. Messina and A. Murli : gw,: us. - Berlin : Springer-Verlag , 1982
139 143 Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980 / edited by M. Maekawa and L.A. Belady : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
140 144 Computer algebra : EUROCAM '82, European Computer Algebra Conference Marseille, France, 5-7 April 1982 / edited by Jacques Calmet : gw,: us. - Berlin : Springer-Verlag , 1982
141 145 Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel : gw,: us. - Berlin : Springer-Verlag , 1982
142 146 Research and development in information retrieval : proceedings, Berlin, May 18-20, 1982 / edited by Gerard Salton and Hans-Jochen Schneider : gw,: us. - Berlin : Springer-Verlag , 1983
143 147 RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Goto ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
144 148 Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki : gw,: us. - Berlin : Springer-Verlag , 1983
145 149 Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29-April 2, 1982 / edited by Thomas Beth : gw,: us. - Berlin : Springer-Verlag , 1983
146 150 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 / edited by A. Blaser and M. Zoeppritz : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
147 151 CONLAN report / R. Piloty ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
148 152 Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982 : proceedings / edited by E. Knuth and E.J. Neuhold : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
149 153 Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
150 154 Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
151 155 The Programming language Ada reference manual : American National Standards Institute, Inc., ANSI/MIL-STD-1815A-1983 / [United States Department of Defense] : gw,: us. - Berlin : Springer-Verlag , 1983
152 156 The design of dynamic data structures / Mark H. Overmars : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
153 157 Direct methods for sparse matrices / Ole Østerby, Zahari Zlatev : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
154 158 Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
155 159 CAAP '83 : Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983, proceedings / edited by G. Ausiello and M. Protasi : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
156 160 The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
157 161 DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.] : gw,: us. - Rev. version. - Berlin ; New York : Springer-Verlag , 1983
158 162 Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 : proceedings / edited by J.A. van Hulzen : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
159 163 VLSI engineering : beyond software engineering / edited by Tosiyasu L. Kunii : gw,: us,: ja. - Berlin ; Tokyo : Springer-Verlag , 1984
160 164 Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
161 165 Large sparse numerical optimization / Thomas F. Coleman : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
162 166 STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 / sponsored by AFCET (Association Francaise pour la Cybernétique Economique et Technique) and GI (Gesellschaft für Informatik) ; edited by M. Fontet and K. Mehlhorn : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
163 167 International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
164 168 Methods and tools for computer integrated manufacturing : Advanced CREST Course on Computer Integrated Manufacturing, CIM 83, Karlsruhe, Germany, September 5 to 16, 1983 / edited by U. Rembold and R. Dillmann : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
165 169 Feedback shift registers / Christian Ronse : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
166 170 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
167 171 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 / edited by E. Börger, G. Hasenjaeger, and D. Rödding : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
168 172 Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 / edited by Jan Paredaens : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
169 173 Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
170 174 EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 / edited by John Fitch : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
171 175 P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms / André Thayse : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
172 176 Mathematical foundations of computer science 1984 : proceedings, 11th Symposium, Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
173 177 Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
174 178 Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 / edited by G.C. van der Veer ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
175 179 How to multiply matrices faster / Victor Pan : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
176 180 Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
177 181 Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
178 182 STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1985
179 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1 The wide spectrum language CIP-L : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
180 184 Local area networks : an advanced course, Glasgow, July 11-22, 1983 : proceedings / edited by D. Hutchison, J. Mariani and D. Shepherd : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1985
181 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1 Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) / edited by Hartmut Ehrig ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
182 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2 Formal methods and software development : Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1985
183 187 Time series package (TSPACK) / François S. Chaghaghi : gw,: us. - Berlin ; New York : Springer , 1985
184 188 Advances in Petri nets 1984 / edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
185 189 Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types / Mark Steven Sherman : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
186 190 Distributed systems : methods and tools for specification : an advanced course / M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
187 191 A Survey of verification techniques for parallel programs / Howard Barringer : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
188 192 Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
189 193 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
190 194 Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
191 195 A hierarchical associative processing system / Heinrich J. Stüttgen : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
192 196 Advances in cryptology : proceedings of CRYPTO 84 / edited by G.R. Blakley and David Chaum : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
193 197 Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / edited by S.D. Brookes, A.W. Roscoe and G. Winskel : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
194 198 PORTAL language description / Arnold Businger : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
195 199 Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 / edited by Lothar Budach : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
196 200 Trace theory and VLSI design / Jan L.A. van de Snepscheut : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
197 201 Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 / edited by Jean-Pierre Jouannaud : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
198 202 Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
199 203 . EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings ; v. 1 Invited lectures / edited by Bruno Buchberger : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
200 204 . EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings ; v. 2 Research contributions / edited by Bob F. Caviness : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
201 205 A study in string processing languages / Paul Klint : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
202 206 Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings / edited by S.N. Maheshwari : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
203 207 The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / edited by B.T. Denvir ... [et al.] : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
204 208 Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
205 209 Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984 / edited by T. Beth, N. Cot, and I. Ingemarsson : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
206 210 STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 / edited by B. Monien and G. Vidal-Naquet : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
207 211 Complexity and structure / Uwe Schöning : gw,: us. - Berlin ; New York : Springer-Verlag , c1986
208 212 Interval mathematics 1985 : proceedings of the international symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985 / edited by K. Nickel : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
209 213 ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings / edited by B. Robinet and R. Wilhelm : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
210 214 CAAP '86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, proceedings / edited by P. Franchi-Zannettacci : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
211 215 Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
212 216 LUCAS associative array processor : design, programming, and application studies / Christer Fernstrom, Ivan Kruzela, Bertil Svensson : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
213 217 Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
214 218 Advances in cryptology -- CRYPTO '85 : proceedings / edited by Hugh C. Williams : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
215 219 Advances in cryptology : Eurocrypt '85 : proceedings of a Workshop on the Theory and Application of Cryptographic Techniques, Linz, Austria, April, 1985 / edited by Franz Pichler : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
216 220 RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan / edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
217 221 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
218 222 Advances in Petri nets 1985 / edited by G. Rozenberg : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
219 223 Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1986
220 224 Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg : gw,: us. - Berlin ; New York : Springer-Verlag , c1986
221 225 Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
222 226 Automata, languages and programming : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings / edited by Laurent Kott : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
223 227 VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings / edited by F. Makedon ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
224 228 Applied algebra, algorithmics and error-correcting codes : 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984, proceedings / edited by Alain Poli : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
225 229 Algebraic algorithms and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings / edited by Jacques Calmet : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
226 230 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
227 231 NEWCAT : parsing natural language using left-associative grammar / Roland Hausser : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
228 232 Fundamentals of artificial intelligence : an advanced course / edited by W. Bibel and Ph. Jorrand : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
229 233 Mathematical foundations of computer science 1986 : proceedings of the 12th Symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
230 234 Concepts in user interfaces : a reference model for command and response languages / by members of IFIP Working Group 2.7 ; edited by David Beech : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
231 235 Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985, proceedings / edited by Willard L. Miranker and Richard A. Toupin : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
232 236 TEX for scientific documentation : Second European Conference, Strasbourg, France, June 19-21, 1986, proceedings / edited by Jacques Désarménien : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
233 237 CONPAR 86 : Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17-19, 1986 : proceedings / edited by Wolfgang Händler ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
234 238 Negation and control in Prolog / Lee Naish : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
235 239 Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton : gw,: us. - Berlin ; New York : Springer-Verlag , c1986
236 240 Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
237 241 Foundations of software technology and theoretical computer science : Sixth Conference, New Delhi, India, December 18-20, 1986, proceedings : FSTandTCS6 / edited by Kesav V. Nori : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
238 242 Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
239 243 ICDT '86 : International Conference on Database Theory, Rome, Italy, September 8-10, 1986, proceedings / edited by Giorgio Ausiello and Paolo Atzeni : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
240 244 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1986
241 245 Lectures on the complexity of bilinear problems / H.F. de Groote : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
242 246 Graph-theoretic concepts in computer science : international workshop WG '86, Bernried, Federal Republic of Germany, June 17-19, 1986 : proceedings / edited by Gottfried Tinhofer and Gunther Schmidt : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
243 247 STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings / edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
244 248 Networking in open systems : international seminar, Oberlech, Austria, August 18-22, 1986 : proceedings / edited by Günter Müller and Robert P. Blanc : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
245 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1 Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) / edited by Hartmut Ehrig ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
246 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2 Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
247 251 Unobstructed shortest paths in polyhedral environments / Varol Akman : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
248 252 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
249 253 WOPPLOT 86 : parallel processing : logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986 / J.D. Becker and I. Eisele (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1987
250 254 . Advances in Petri Nets 1986 ; pt. 1 Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
251 255 . Advances in Petri Nets 1986 ; pt. 2 Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
252 256 Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
253 257 Database machine performance : modeling methodologies and evaluation strategies / edited by Francesca Cesarini and Silvio Salza : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
254 258-259 PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings / edited by J.W. de Bakker, A.J. Nijman and P.C. Treleaven v. 1 : gw - v. 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1987
255 260 ANNA : a language for annotating Ada programs : reference manual / David C. Luckham ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
256 261 Translating relational queries into iterative programs / Johann Christoph Freytag : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
257 262 A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
258 263 Advances in cryptology -- CRYPTO '86 : proceedings / A.M. Odlyzko (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
259 264 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
260 265 Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings / K.P. Jantke (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
261 266 Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
262 267 Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
263 268 Constrained global optimization : algorithms and applications / P.M. Pardalos, J.B. Rosen : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
264 269 Parallel algorithms and architectures : International Workshop, Suhl, GDR, May 25-30, 1987, proceedings / A. Albrecht, H. Jung, K. Mehlhorn (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
265 270 Computation theory and logic / Egon Börger (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
266 271 From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
267 272 Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings / P. Treleaven, M. Vanneschi (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
268 273 A connotational theory of program structure / James S. Royer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
269 274 Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings / Gilles Kahn (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
270 275 System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986 : proceedings / A.N. Habermann, U. Montanari (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
271 277 Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
272 278 Fundamentals of computation theory : International Conference FCT '87, Kazan, USSR, June 22-26, 1987, proceedings / L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
273 279 Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
274 280 Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986, proceedings / Marisa Venturini Zilli (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
275 282 Visualization in programming : 5th Interdisciplinary Workshop in Informatics and Psychology, Schärding, Austria, May 20-23, 1986 / P. Gorny, M.J. Tauber (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
276 284 Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986 / A. Kündig, R.E. Bührer, J. Dähler, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
277 285 Semantics of digital circuits / Carlos Delgado Kloos : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
278 286 Uncertainty in knowledge-based systems : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30-July 4, 1986 : selected and extended contributions / B. Bouchon, R.R. Yager, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
279 287 Foundations of software technology and theoretical computer science : Seventh Conference, Pune, India, December 17-19, 1987, proceedings / Kesav V. Nori (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
280 288 MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
281 289 ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, proceedings / H.K. Nichols, D. Simpson (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
282 290 Co-op : a group decision support system for cooperative multiple criteria group decision making / Tung X. Bui : gw,: us. - Berlin ; New York : Springer-Verlag , c1987
283 292 . The Munich Project CIP ; v. 2 The program transformation system CIP-S / by the CIP System Group, F.L. Bauer ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
284 293 Advances in cryptology -- CRYPTO '87 : proceedings / Carl Pomerance (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
285 294 STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings / R. Cori, M. Wirsing (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
286 295 Parallel computing in science and engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26, 1987 / R. Dierstein, D. Müller-Wichards, H.-M. Wacker (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
287 296 Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings / R. Janßen (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
288 297 Supercomputing : 1st International Conference, Athens, Greece, June 8-12, 1987 : proceedings / E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
289 298 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
290 299 CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
291 300 ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
292 301 Pattern recognition : 4th international conference, Cambridge, U.K., March 28-30, 1988 : proceedings / J. Kittler (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
293 302 Attribute grammar inversion and source-to-source translation / Daniel M. Yellin : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
294 303 Advances in database technology, EDBT '88 : International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988 : proceedings / J.W. Schmidt, S. Ceri, M. Missikoff (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
295 304 Advances in cryptology--EUROCRYPT '87 : Workshop on the Theory and Application of Cryptographic Techniques, Amsterdam, The Netherlands, April 13-15, 1987 : proceedings / David Chaum, Wyn L. Price (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
296 305 MFDBS 87 : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987 : proceedings / J. Biskup ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
297 306 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
298 307 Applicable algebra, error-correcting codes, combinatorics and computer algebra : 4th international conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986 : proceedings / Th. Beth, M. Clausen (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
299 308 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
300 309 Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings / J. Nehmer (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
301 310 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
302 311 Coding theory and applications : 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986 : proceedings / G. Cohen, P. Godlewski, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
303 312 Distributed algorithms : 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987 : proceedings / J. van Leeuwen (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
304 313 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 / B. Bouchon, L. Saitta, R.R. Yager (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
305 314 Graph-theoretic concepts in computer science : International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29-July 1, 1987 : proceedings / H. Göttler, H.J. Schneider (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
306 315 Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
307 316 Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings / C. Choffrut (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
308 317 Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / Timo Lepistö, Arto Salomaa (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
309 318 SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings / R. Karlsson, A. Lingas (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
310 319 VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings / J.H. Reif (ed.) : us,: gw. - New York ; Tokyo : Springer-Verlag , c1988
311 320 Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988 : proceedings / A. Blaser (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
312 321 Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
313 322 ECOOP '88 : European Conference on Object-Oriented Programming : Oslo, Norway, August 15-17, 1988 : proceedings / S. Gjessing, K. Nygaard (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
314 323 Attribute grammars : definitions, systems and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
315 324 Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
316 325 Modern cryptology : a tutorial / Gilles Brassard : gw,: us. - New York ; Tokyo : Springer-Verlag , c1988
317 326 ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988 : proceedings / M. Gyssens, J. Paredaens, D. Van Gucht, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
318 327 Software engineering education : SEI Conference 1988, Fairfax, Virginia, USA, April 28-29, 1988 : proceedings / Gary A. Ford (ed.) : gw,: us. - New York ; Tokyo : Springer-Verlag , c1988
319 328 VDM '88 : VDM--the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 11-16, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
320 329 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
321 330 Advances in cryptology--EUROCRYPT '88 : Workshop on the Theory and Application of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988 : proceedings / Christoph G. Günther (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
322 331 Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
323 332 Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A. Tarlecki (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
324 334 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 / K.R. Dittrich (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
325 335 Concurrency 88 : International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings / F.H. Vogt (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
326 336 Error detection and recovery in robotics / Bruce R. Donald : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
327 337 Efficient structures for geometric data management / Oliver Günther : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
328 338 Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / K.V. Nori, S. Kumar (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
329 339 Statistical and scientific database management : Fourth International Working Conference SSDBM, Rome, Italy, June 21-23, 1988, proceedings / M. Rafanelli, J.C. Klensin, P. Svensson (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
330 340 Advances in Petri nets 1988 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
331 341 Software reliability modelling and identification / Sergio Bittanti (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
332 342 Parcella '88 : Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988 : proceedings / G. Wolf, T. Legendi, U. Schendel (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
333 343 Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
334 344 Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings / J. van Leeuwen (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
335 346 . Lecture notes in artificial intelligence Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings / M. Reinfrank ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
336 347 . Lecture notes in artificial intelligence Knowledge representation and organization in machine learning / K. Morik (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
337 348 Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
338 349 STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings / B. Monien, R. Cori (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
339 350 Global optimization / Aimo Törn, Antanas Žilinskas : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
340 351 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 1 Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
341 352 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 2 Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) / J. Díaz, F. Orejas (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
342 353 . Lecture notes in artificial intelligence Foundations of equational logic programming / Steffen Hölldobler : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
343 354 Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
344 355 Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
345 356 Applied algebra, algebraic algorithms and error-correcting codes : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987 : proceedings / L. Huguet, A. Poli (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
346 357 Applied algebra, algebraic algorithms and error-correcting codes : 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988 : proceedings / T. Mora, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
347 358 Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
348 359 High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987 : proceedings / D. Gawlick, M. Haynie, A. Reuter (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
349 360 Computer assisted learning : 2nd International Conference, ICCAL '89, Dallas, TX, USA, May 9-11, 1989 : proceedings / H. Maurer (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
350 361 Nested relations and complex objects in databases / S. Abiteboul, P.C. Fischer, H.-J. Schek (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
351 362 Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
352 363 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
353 364 MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / J. Demetrovics, B. Thalheim (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
354 365 . PARLE '89 : parallel architectures and languages Europe ; v. 1 Parallel architectures : Eindhoven, the Netherlands, June 12-16, 1989 : proceedings / E. Odijk, M. Rem, J.-C. Syre (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
355 366 . PARLE '89 : parallel architectures and languages Europe ; v. 2 Parallel languages : Eindhoven, the Netherlands, June 12-16, 1989 : proceedings / E. Odijk, M. Rem, J.-C. Syre (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
356 367 Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings / W. Litwin, H.-J. Schek (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
357 368 Database machines : Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings / H. Boral, P. Faudemay, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
358 369 Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
359 370 Modified branching programs and their computational power / Christoph Meinel : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
360 371 Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings / D. Hammer (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
361 372 Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
362 374 The Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing / Kay A. Robbins, Steven Robbins : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
363 375 Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
364 376 Software engineering education : SEI Conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989 : proceedings / Norman E. Gibbs (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
365 377 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 / M. Gross, D. Perrin, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
366 378 EUROCAL '87 : European Conference on Computer Algebra : Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
367 379 Mathematical foundations of computer science 1989 : MFCS '89 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / A. Kreczmar, G. Mirkowska (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
368 380 Fundamentals of computation theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 : proceedings / J. Csirik, J. Demetrovics, F. Gécseg (eds.) : gw,: us. - New York ; Tokyo : Springer-Verlag , c1989
369 381 Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions / J. Dassow, J. Kelemen (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
370 382 Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings / F. Dehne, J.-R. Sack, N. Santoro (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
371 383 . Lecture notes in artificial intelligence Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
372 384 Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings / G.A. van Zee, J.G.G. van de Vorst (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
373 385 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
374 386 Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / J.E. Pin (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
375 387 ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings / C. Ghezzi, J.A. McDermid (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
376 388 Coding theory and applications : 3rd international colloquium, Toulon, France, November 2-4, 1988 : proceedings / G. Cohen, J. Wolfmann, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
377 389 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
378 390 . Lecture notes in artificial intelligence EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989 : proceedings / J.P. Martins, E.M. Morgado (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
379 391 Geometry and robotics : workshop, Toulouse, France, May 26-28, 1988 : proceedings / J.-D. Boissonnat, J.-P. Laumond (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
380 392 Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings / J.-C. Bermond, M. Raynal (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
381 393 Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.], (eds.) : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1989
382 394, 490 Algebraic methods : theory, tools and applications / M. Wirsing, J.A. Bergstra, eds [1] : gw - 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1989-c1991
383 395 . Lecture notes in artificial intelligence Computational aspects of an order-sorted logic with term declarations / M. Schmidt-Schauß : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
384 396 Local area network security : Workshop LANSEC '89, European Institute for System Security (E.I.S.S.), Karlsruhe, FRG, April 3-6, 1989 : proceedings / T.A. Berson, T. Beth (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
385 397 . Lecture notes in artificial intelligence Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, proceedings / K.P. Jantke (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
386 398 Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
387 399 Recent issues in pattern analysis and recognition / V. Cantoni ... [et al.], (eds.) : gw,: us. - New York ; Berlin ; Tokyo : Springer-Verlag , c1989
388 400 Concrete and abstract Voronoi diagrams / Rolf Klein : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
389 401 Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2, 1989 : proceedings / H. Djidjev (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
390 402 Interactive relational database design : a logic programming implementation / Tapan P. Bagchi, Vinay K. Chaudhri : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
391 403 Advances in cryptology--CRYPTO '88, proceedings / S. Goldwasser (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
392 404 Concepts, design, and performance analysis of a parallel Prolog machine / Joachim Beer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
393 405 Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings / C.E. Veni Madhavan (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
394 406 . Lecture notes in artificial intelligence AI '88 : 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, proceedings / C.J. Barter, M.J. Brooks (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
395 407 Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings / J. Sifakis (ed.) : gw,pbk : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
396 408 Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings / M. Leeser, G. Brown (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
397 409 Design and implementation of large spatial databases : First Symposium SSD '89, Santa Barbara, California, July 17/18, 1989, proceedings / A. Buchmann ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
398 410 Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989, proceedings / F. Pichler, R. Moreno-Diaz (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
399 411 Graph-theoretic concepts in computer science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, proceedings / M. Nagl (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
400 412 Neural networks : EURASIP Workshop 1990, Sesimbra, Portugal, February 15-17, 1990, proceedings / L.B. Almeida, C.J. Wellekens (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
401 413 Group theoretical methods in image processing / Reiner Lenz : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
402 414 LOGLAN '88--report on the programming language / Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski ; with the collaboration of Bolesław Ciesielski ... [et al.] ; foreword by Hans Langmaack : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
403 415 STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, proceedings / C. Choffrut, T. Lengauer (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
404 416 Advances in database technology--EDBT '90 : International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, proceedings / F. Bancilhon, C. Thanos, D. Tsichritzis (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
405 417 COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings / P. Martin-Löf, G. Mints (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
406 418 . Lecture notes in artificial intelligence Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
407 419 . Lecture notes in artificial intelligence A methodology for uncertainty in knowledge-based systems / Kurt Weichselberger, Sigrid Pöhlmann : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
408 420 Statistical and scientific database management : Fifth International Conference, V SSDBM, Charlotte, N.C., USA, April 3-5, 1990, proceedings / Z. Michalewicz (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
409 421 A formal model of visualization in computer graphics systems / Tamiya Onodera, Satoru Kawai : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
410 422 . Lecture notes in artificial intelligence Reasoning and revision in hybrid representation systems / Bernhard Nebel : gw,: us. - Berlin ; Tokyo : Springer Verlag , c1990
411 423 Software engineering education : SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990, proceedings / Lionel E. Deimel (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
412 424 Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
413 425 Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
414 426 SIL, a simulation language : user's guide / Niels Houbak : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
415 427 Computer vision--ECCV 90 : First European Conference on Computer Vision, Antibes, France, April 23-27, 1990, proceedings / O. Faugeras (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
416 428 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
417 430 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
418 431 CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / A. Arnold (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
419 432 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
420 433 Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18/19, 1989 : proceedings / W. Schröder-Preikschat, W. Zimmer (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
421 434 Advances in cryptology--EUROCRYPT '89 : Workshop on the Theory and Application of Cryptographic Techniques, Houthalen, Belgium, April 10-13, 1989 : proceedings / J.-J. Quisquater, J. Vandewalle (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
422 435 Advances in cryptology--CRYPTO '89 : proceedings / G. Brassard (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
423 436 Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, proceedings / B. Steinholtz, A. Sølvberg, L. Bergman (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
424 437 . Lecture notes in artificial intelligence Current trends in SNePS, semantic network processing system : first Annual SNePS Workshop, Buffalo, NY, November 13, 1989 : proceedings / D. Kumar, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
425 438 Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, proceedings / D.H. Norrie, H.-W. Six (eds.) : gw,: us. - New York ; Tokyo : Springer-Verlag , c1990
426 439 Visualization in human-computer interaction : 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988, selected contributions / P. Gorny, M.J. Tauber (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
427 440 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
428 441 Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, proceedings / T. Ito, R.H. Halstead, Jr. (eds.) ; foreword by J. McCarthy : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
429 442 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, proceedings / M. Main ... [et al.] (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
430 443 Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
431 444 . Lecture notes in artificial intelligence Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 : proceedings / S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
432 445 On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1990
433 446 . Lecture notes in artificial intelligence Termination proofs for logic programs / Lutz Plümer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
434 447 SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Bergen, Sweden [i.e. Norway], July 11-14, 1990 : proceedings / J.R. Gilbert, R. Karlsson (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
435 448 Fault-tolerant distributed computing / B. Simons, A. Spector (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
436 449 . Lecture notes in artificial intelligence 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings / M.E. Stickel (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
437 450 Algorithms : International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990 : proceedings / T. Asano ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
438 451 . Lecture notes in artificial intelligence Artificial intelligence in higher education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989 : proceedings / V. Mařík, O. Štěpánková, Z. Zdráhal (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
439 452 Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
440 453 Advances in cryptology-AUSCRYPT '90 : International Conference on Cryptology, Sydney, Australia, January 8-11, 1990 : proceedings / J. Seberry, J. Pieprzyk (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
441 455 A collection of test problems for constrained global optimization algorithms / C.A. Floudas, P.M. Pardalos : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1990
442 456 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
443 457 CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / H. Burkhart (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
444 458 CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
445 459 . Lecture notes in artificial intelligence Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings / R. Studer (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
446 460 A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
447 461 Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings / P. Deransart, M. Jourdan (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
448 462 . Lecture notes in artifitial intelligence Expert systems in engineering : principles and applications : international workshop, Vienna, Austria, September 24-26, 1990, proceedings / G. Gottlob, W. Nejdl (eds) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
449 463 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
450 464 Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings / J. Dassow, J. Kelemen (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
451 465 . Lecture notes in artificial intelligence The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / A. Fuhrmann, M. Morreau, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
452 466 Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings / A. Blaser (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
453 467 Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 : proceedings / Fred Long (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
454 468 Advances in computing and information--ICCI '90 : International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990 : proceedings / S.G. Akl, F. Fiala, W.W. Koczkodaj (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
455 470 ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990 : proceedings / S. Abiteboul, P.C. Kanellakis (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
456 471 Efficient query processing in geographic information systems / Beng Chin Ooi : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
457 472 Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings / K.V. Nori, C.E. Veni Madhavan (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
458 473 Advances in cryptology--EUROCRYPT '90 : Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990 : proceedings / I.B. Damgård, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
459 474 Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990, proceedings / D. Karagiannis (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
460 475 . Lecture notes in artificial intelligence Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings / P. Schroeder-Heister (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
461 476 . Lecture notes in artificial intelligence Natural language processing : EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990 : proceedings / M. Filgueiras ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
462 477 Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings / D. Hammer (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
463 478 . Lecture notes in artificial intelligence Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
464 479 Meta-level control for deductive database systems / Helmut Schmidt : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
465 480 STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings / C. Choffrut, M. Jantzen, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
466 481 . Lecture notes in artificial intelligence Modelling spatial knowledge on a linguistic basis : theory, prototype, integration / Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
467 482 . Lecture notes in artificial intelligence Machine learning, EWSL-91 : European Working Session on Learning, Porto, Portugal, March 6-8, 1991, proceedings / Y. Kodratoff, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
468 483 Advances in Petri nets 1990 / Grzegorz Rozenberg, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
469 484 Graph-theoretic concepts in computer science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990 : proceedings / R.H. Möhring, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
470 485 . Lecture notes in artificial intelligence Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
471 486 Distributed algorithms : 4th International Workshop, Bari, Italy, September 24-26, 1990 : proceedings / J. van Leeuwen, N. Santoro, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
472 487 Distributed memory computing : 2nd European conference, EDMCC2, Munich, FRG, April 22-24, 1991 : proceedings / Arndt Bode, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
473 488 Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings / Ronald V. Book, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
474 489 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
475 491 Concurrency : theory, language, and architecture : UK/Japan Workshop, Oxford, UK, September 25-27, 1989 : proceedings / A. Yonezawa, T. Ito, eds : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1991
476 492 Computer-aided cooperative product development : MIT-JSME Workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings / D. Sriram, R. Logcher, S. Fukuda, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
477 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1 Colloquium on Trees in Algebra and Programming (CAAP '91) / S. Abramsky, T.S.E. Maibaum, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
478 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) / S. Abramsky, T.S.E. Maibaum, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
479 495 MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings / B. Thalheim, J. Demetrovics, H.-D. Gerhardt, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
480 496 Parallel problem solving from nature : 1st workshop, PPSN 1, Dortmund, FRG, October 1-3, 1990 : proceedings / H.-P. Schwefel, R. Männer, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1991
481 497 Advances in computing and information, ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991 : proceedings / F. Dehne, F. Fiala, W.W. Koczkodaj, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
482 498 Advanced information systems engineering : Third International Conference CAiSE '91, Trondheim, Norway, May 13-15, 1991 : proceedings / R. Andersen, J.A. Bubenko Jr., A. Sølvberg, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
483 499 Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13-17, 1991 : proceedings / Dimitris Christodoulakis, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
484 500 On the computational geometry of pocket machining / Martin Held : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
485 501 Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
486 502 Baltic computer science : selected papers / J. Bārzdiṇš, D. Bjørner, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
487 503 Parallel database systems : PRISMA workshop, Noordwijk, The Netherlands, September 24-26, 1990 : proceedings / Pierre America, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
488 504 Next generation information system technology : First International East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990 : proceedings / J.W. Schmidt, A.A. Stogny, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
489 505 . PARLE '91 : parallel architectures and languages Europe ; v. 1 Parallel architectures and algorithms : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings / E.H.L. Aarts, J. van Leeuwen, M. Rem (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
490 506 . PARLE '91 : parallel architectures and languages Europe ; v. 2 Parallel languages : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings / E.H.L. Aarts, J. van Leeuwen, M. Rem, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
491 507 Computing in the 90's : the first Great Lakes Computer Science Conference, Kalamazoo, Michigan, USA, October 18-20, 1989 : proceedings / N.A. Sherwani, E. de Doncker, J.A. Kapenga, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
492 508 Applied algebra, algebraic algorithms and error-correcting codes : 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990 : proceedings / S. Sakata (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
493 509 Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings / A. Endres, H. Weber, eds : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
494 510 Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo, eds : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
495 511 Information processing in medical imaging : 12th International Conference, IPMI '91, Wye, UK, July 7-12, 1991 : proceedings / A.C.F. Colchester, D.J. Hawkes, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
496 512 ECOOP '91 : European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings / Pierre America, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
497 513 . Lecture notes in artificial intelligence An approach to knowledge base management / Nelson Mendonça Mattos : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
498 514 Eurocode '90 : international symposium on coding theory and applications, Udine, Italy, November 5-9, 1990 : proceedings / G. Cohen, P. Charpin, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
499 515 . Lecture notes in artificial intelligence Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
500 516 Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
501 517 . Lecture notes in artificial intelligence Temporally distributed symptoms in technical diagnosis / K. Nökel : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
502 518 . Lecture notes in artificial intelligence Instantiation theory : on the foundations of automated deduction / J.G. Williams : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
503 519 Algorithms and data structures : 2nd workshop WADS '91, Ottawa, Canada, August 14-16, 1991 : proceedings / F. Dehne, J.-R. Sack, N. Santoro, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
504 520 Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
505 521 Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings / B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
506 522 . Lecture notes in artificial intelligence European Workshop on Planning : EWSP '91, Sankt Augustin, FRG, March 18-19, 1991 : proceedings / J. Hertzberg, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
507 523 Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
508 524 Advances in Petri nets 1991 / G. Rozenberg, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
509 525 Advances in spatial databases : 2nd Symposium, SSD '91, Zurich, Switzerland, August 28-30, 1991 : proceedings / O. Günther, H.-J. Schek, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
510 526 Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings / T. Ito, A.R. Meyer, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
511 527 CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings / J.C.M. Baeten, J.F. Groote, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
512 528 Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
513 529 Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings / L. Budach, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
514 531 Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
515 533 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.], eds : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
516 534 Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.], (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
517 535 . Lecture notes in artificial intelligence Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings / Ph. Jorrand, J. Kelemen, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
518 536 Software engineering education : SEI Conference 1991, Pittsburgh, Pennsylvania, USA, October 7-8, 1991, proceedings / J.E. Tomayko, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
519 537 Advances in cryptology--CRYPTO '90 : proceedings / A.J. Menezes, S.A. Vanstone, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
520 538 A Unified approach to interior point algorithms for linear complementarity problems / M. Kojima ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
521 539 Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings / H.F. Mattson, T. Mora, T.R.N. Rao, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
522 540 Artificial neural networks : International Workshop IWANN '91, Granada, Spain, September 17-19, 1991, proceedings / A. Prieto (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
523 541 . Lecture notes in artificial intelligence EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings / P. Barahona, L. Moniz Pereira, A. Porto, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
524 542 . Lecture notes in artificial intelligence Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings / Z.W. Ras, M. Zemankova, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
525 543 . Lecture notes in artificial intelligence Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings / J. Dix, K.P. Jantke, P.H. Schmitt, eds : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
526 544 Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
527 545 Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings / H. Alblas, B. Melichar, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
528 546 . Lecture notes in artificial intelligence Text understanding in LILOG : integrating computational linguistics and artificial intelligence final report on the IBM Germany LILOG-Project / O. Herzog, C.-R. Rollinger (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
529 547 Advances in cryptology--EUROCRYPT '91 : Workshop on the Theory and Application of Cryptographic Techniques, Brighton, UK, April 8-11, 1991 : proceedings / D.W. Davies, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
530 548 Symbolic and quantitative approaches to uncertainty : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings / R. Kruse, P. Siegel, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
531 549 . Lecture notes in artificial intelligence Trends in artificial intelligence : 2nd congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991 : proceedings / E. Ardizzone, S. Gaglio, F. Sorbello, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
532 550 ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fugetta, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
533 551, 552 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel, (eds.) v. 1 : gw - v. 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1991
534 553 Computational geometry : methods, algorithms and applications : International Workshop on Computational Geometry CG '91, Bern, Switzerland, March 21-22, 1991 : proceedings / H. Bieri, H. Noltemeier, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
535 554 The problem of incomplete information in relational databases / G. Grahne : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
536 555 New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings / H. Maurer (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
537 556 Conclog : a methodological approach to concurrent logic programming / J.-M. Jacquet : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
538 557 ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings / W.L. Hsu, R.C.T. Lee, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
539 558 Specification and compositional verification of real-time systems / J. Hooman : gw,: us. - Berlin ; Tokyo : Springer , c1991
540 559 Fundamental algorithms for permutation groups / G. Butler : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
541 560 Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings / S. Biswas, K.V. Nori, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
542 561 The stability theory of stream ciphers / C. Ding, G. Xiao, W. Shan : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
543 562 Algebraic specification techniques in object oriented programming environments / R. Breu : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
544 563 Operating systems of the 90s and beyond : International Workshop, Dagstuhl Castle, Germany, July 8-12, 1991 : proceedings / A. Karshmer, J. Nehmer, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
545 564 The use of projective geometry in computer graphics / I. Herman : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
546 565 . Lecture notes in artificial intelligence Parallelism, learning, evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing, Logic, Organization, and Technology-WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989 : proceedings / J.D. Becker, I. Eisele, F.W. Mündemann, eds : gw,: us. - Berlin ; New York : Springer Verlag , c1991
547 566 Deductive and object-oriented databases : Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings / C. Delobel, M. Kifer, Y. Masunaga, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
548 567 . Lecture notes in artificial intelligence Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter, (eds.) : gw,: us. - Berlin ; New York : Springer Verlag , c1991
549 568 . Lecture notes in artificial intelligence A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert : gw,: us. - Berlin ; New York : Springer Verlag , c1991
550 569 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
551 570 Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings / G. Schmidt, R. Berghammer (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
552 571 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings / J. Vytopil (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
553 572 Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings / K.U. Schulz, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
554 573 Algebraic coding : first French-Soviet workshop, Paris, July 22-24, 1991 : proceedings / G. Cohen ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
555 574 Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings / J.B. [i.e. P.] Banâtre, D. Le Métayer, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
556 575 Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
557 576 Advances in cryptology--CRYPTO '91 : proceedings / J. Feigenbaum (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
558 577 STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings / A. Finkel, M. Jantzen (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
559 578 Public-key cryptography : state of the art and future directions : E.I.S.S. workshop, Oberwolfach, Germany, July 3-6, 1991 : final report / Th. Beth, M. Frisch, G.J. Simmons, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
560 579 Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings / S. Toueg, P.G. Spirakis, L. Kirousis, (eds) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
561 580 Advances in database technology : EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings / A. Pirotte, C. Delobel, G. Gottlob (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
562 581 CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings / J.-C. Raoult (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
563 582 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
564 583 LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings / I. Simon (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
565 584 Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings / R.E. Zippel (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
566 585 Computer aided systems theory - EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings / F. Pichler, R. Moreno Díaz (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
567 586 Parallel execution of Parlog / A. Cheese : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
568 587 . Lecture notes in artificial intelligence Aspects of automated natural language generation : 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 : proceedings / R. Dale ... [et al.] (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
569 588 Computer vision--ECCV '92 : Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 19-22, 1992 : proceedings / G. Sandini (ed.) : us,: gw. - Berlin ; Tokyo : Springer-verlag , c1992
570 589 Languages and compilers for parallel computing : fourth international workshop, Santa Clara, California, USA, August 7-9, 1991 : proceedings / U. Banerjee ... [et al.], eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
571 590 . Lecture notes in artificial intelligence Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings / B. Fronhöfer, G. Wrightson, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
572 591 Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings / H.P. Zima (ed.) : us,: gw. - Berlin ; New York : Springer , c1992
573 592 . Lecture notes in artificial intelligence Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
574 593 Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings / P. Loucopoulos, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
575 594 Data structures and efficient algorithms : final report on the DFG special joint initiative / B. Monien, Th. Ottmann (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
576 595 The Nested universal relation database model / M. Levene : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
577 596 . Lecture notes in artificial intelligence Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
578 597 . Lecture notes in artificial intelligence A perspective of constraint-based reasoning : an introductory tutorial / H.W. Guesgen, J. Hertzberg : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
579 598 Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
580 599 . Lecture notes in artificial intelligence Current developments in knowledge acquisition, EKAW '92 : 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992 : proceedings / Th. Wetter ... [et al.], eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
581 600 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
582 601 Theory of computing and systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.) : us,: gw. - New York : Springer-Verlag , c1992
583 602 Computer assisted learning : 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992 : proceedings / I. Tomek, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
584 603 Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings / J. van Katwijk (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
585 604 . Lecture notes in artificial intelligence Industrial and engineering applications of artificial intelligence and expert systems : 5th International Conference, IEA/AIE '92, Paderborn, Germany, June 9-12, 1992 : proceedings / F. Belli, F.J. Radermacher (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
586 605 PARLE '92, parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992 : proceedings / D. Etiemble, J.-C. Syre (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
587 606 Axioms and hulls / D.E. Knuth : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
588 607 . Lecture notes in artificial intelligence Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
589 608 Intelligent tutoring systems : Second International Conference, ITS '92, Montréal, Canada, June 10-12, 1992 : proceedings / C. Frasson, G. Gauthier, G.I. McCalla (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
590 609 Advances in Petri nets 1992 / G. Rozenberg, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
591 610 . Lecture notes in artificial intelligence Coordinating plans of autonomous agents / F. von Martial : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
592 611 . Lecture notes in artificial intelligence The Next generation of information systems : from data to knowledge : a selection of papers presented at two IJCAI-91 workshops, Sydney, Australia, August 26, 1991 / M.P. Papazoglou, J. Zeleznikow (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
593 612 Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings / M. Tokoro, O. Nierstrasz, P. Wegner, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
594 613 Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
595 614 Network and operating system support for digital audio and video : second international workshop, Heidelberg, Germany, November 18-19, 1991 : proceedings / R.G. Herrtwich, editor : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
596 615 ECOOP '92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
597 616 Application and theory of Petri nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992 : proceedings / K. Jensen, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
598 617 . Lecture notes in artificial intelligence Advanced topics in artificial intelligence : international summer school, Prague, Czechoslovakia, July 6-17, 1992 : proceedings / V. Mařík, O. Štěpánková, R. Trappl (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
599 618 Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings / P.M.D. Gray, R.J. Lucas (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
600 619 . Lecture notes in artificial intelligence Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
601 620 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
602 621 Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
603 622 . Lecture notes in artificial intelligence Contemporary knowledge engineering and cognition : first joint workshop, Kaiserslautern, Germany, February 21-22, 1991 : proceedings / F. Schmalhofer, G. Strube, Th. Wetter (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
604 623 Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
605 624 . Lecture notes in artificial intelligence Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
606 625 Modular construction and partial order semantics of Petri Nets / W. Vogler : us,: gw. - Berlin ; New York : Springer-Verlag , c1992
607 626 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings / E. Börger ... [et al.], eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
608 627 . Lecture notes in artificial intelligence Lexical semantics and knowledge representation : First SIGLEX Workshop, Berkeley, CA, USA, June 17, 1991 : proceedings / J. Pustejovsky, S. Bergler, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
609 628 Relational matching / G. Vosselman : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
610 629 Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / I.M. Havel, V. Koubek, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
611 630 CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings / W.R. Cleaveland, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
612 631 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
613 632 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
614 633 . Lecture notes in artificial intelligence Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings / D. Pearce, G. Wagner, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
615 634 Parallel processing : CONPAR 92-VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 : proceedings / L. Bougé ... [et al.] (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
616 635 Software process technology : Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings / J.C. Derniame, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
617 636 . Lecture notes in artificial intelligence Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
618 637 Memory management : International Workshop IWMM 92, St. Malo, France, September 17-19, 1992 : proceedings / Y. Bekkers, J. Cohen, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
619 638 . Lecture notes in artificial intelligence Neural nets : a theory for brains and machines / A.F. Rocha : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
620 639 Theories and methods of spatio-temporal reasoning in geographic space : International Conference GIS--From Space to Territory : Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992 : proceedings / A.U. Frank, I. Campari, U. Formentini (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
621 640 Software engineering education : SEI Conference 1992, San Diego, California, USA, October 5-7 1992 : proceedings / C. Sledge (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1992
622 641 Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992 : proceedings / U. Kastens, P. Pfahler, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
623 642 . Lecture notes in artificial intelligence Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992 : proceedings / K.P. Jantke (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1992
624 643 Hyperedge replacement : grammars and languages / A. Habel : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
625 644 Combinatorial pattern matching : Third Annual Symposium, Tucson, Arizona, USA, April 29-May 1, 1992 : proceedings / A. Apostolico ... [et al.] (eds.) : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1992
626 645 Entity-relationship approach--ER '92 : 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992 : proceedings / G. Pernul, A. M. Tjoa (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
627 646 Database theory -- ICDT '92 : 4th International Conference, Berlin, Germany, October 14-16, 1992 : proceedings / J. Biskup, R. Hull (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
628 647 Distributed algorithms : 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings / A. Segall, S. Zaks (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
629 648 Computer security - ESORICS 92 : Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992 : proceedings / Y. Deswarte, G. Eizenberg, J.-J. Quisquater (eds.) : gw,: us. - Berlin : Springer , c1992
630 649 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
631 650 Algorithms and computation : Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992 : proceedings / T. Ibaraki ... [et al.] (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
632 651 Specifying message passing and time-critical systems with temporal logic / Ron Koymans : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
633 652 Foundations of software technology and theoretical computer science : 12th Conference, New Delhi, India, December 18-20, 1992 : proceedings / R. Shyamasundar (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
634 653 Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings / A. Bensoussan, J.-P. Verjus (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
635 654 Parallel image analysis : Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992 : proceedings / A. Nakamura ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
636 655 Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
637 657 Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings / E.W. Mayr, ed : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
638 658 Advances in cryptology--EUROCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992 : proceedings / R.A. Rueppel, ed : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
639 659 . Lecture notes in artificial intelligence Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
640 660 . Lecture notes in artificial intelligence Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
641 661 Machine learning : from theory to applications : cooperative research at Siemens and MIT / S.J. Hanson, W. Remmele, R.L. Rivest (eds.) : us,: gw. - Berlin ; New York : Springer , c1993
642 662 Filtering, segmentation, and depth / M. Nitzberg, D. Mumford, T. Shiota : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
643 663 Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
644 664 Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
645 665 STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings / P. Enjalbert, A. Finkel, K.W. Wagner (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
646 666 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
647 667 . Lecture notes in artificial intelligence Machine learning, ECML-93 : European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993 : proceedings / Pavel B. Brazdil (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
648 668 TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
649 669 Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
650 670 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
651 671 . Lecture notes in artificial intelligence GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings / Hans Jürgen Ohlbach (ed.) : gw,: us. - Berlin ; New York : Springer , c1993
652 672 The MOSIX distributed operating system : load balancing for UNIX / Amnon Barak, Shai Guday, Richard G. Wheeler : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
653 673 Applied algebra, algebraic algorithms and error-correcting codes : 10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 : proceedings / Gérard Cohen, Teo Mora, Oscar Moreno (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
654 674 Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
655 675 Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
656 676 Recognizing planar objects using invariant image features / Thomas H. Reiss : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
657 677 Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings / Habib Abdulrab, Jean-Pierre Pécuchet, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
658 678 Parallel architectures and their efficient use : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 : proceedings / F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
659 679 . Lecture notes in artificial intelligence Resolution methods for the decision problem / C. Fermüller ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
660 680 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
661 681 . Lecture notes in artificial intelligence The logic of information structures / Heinrich Wansing : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
662 682 IPMU '92 : advanced methods in artificial intelligence : 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992 : proceedings / B. Bouchon-Meunier, L. Valverde, R.R. Yager (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
663 683 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
664 684 Combinatorial pattern matching : 4th annual symposium, CPM 93, Padova, Italy, June 2-4, 1993, proceedings / A. Apostolico ... [et al.] (eds.) : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1993
665 685 Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 : proceedings / Colette Rolland, François Bodart, Corine Cauvet, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
666 686 New trends in neural computation : International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993 : proceedings / J. Mira, J. Cabestany, A. Prieto, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
667 687 Information processing in medical imaging : 13th International Conference, IPMI '93, Flagstaff, Arizona, USA, June 14-18, 1993 : proceedings / H.H. Barrett, A.F. Gmitro, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
668 688 Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontières", Paris, France, June 14-18, 1993 : proceedings / Michel Gauthier (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
669 689 . Lecture notes in artificial intelligence Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings / J. Komorowski, Z.W. Raś (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
670 690 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings / Claude Kirchner (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
671 691 Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings / Marco Ajmone Marsan (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
672 692 Advances in spatial databases : third international Symposium, SSD '93, Singapore, June 23-25, 1993 : proceedings / David Abel, Beng Chin Ooi (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
673 693 Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
674 694 PARLE '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings / Arndt Bode, Mike Reeve, Gottfried Wolf (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
675 . Lecture notes in artificial intelligence ; 695 Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings / E.P. Klement, W. Slany (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
676 696 Advances in databases : 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 7-9, 1993 : proceedings / M. Worboys, A.F. Grundy (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
677 697 Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
678 698 . Lecture notes in artificial intelligence Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
679 699 . Lecture notes in artificial intelligence Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS '93, Quebec City, Canada, August 4-7, 1993 : proceedings / Guy W. Mineau, Bernard Moulin, John F. Sowa (eds.) : gw,: us. - Berlin : Springer-Verlag , c1993
680 700 Automata, languages and programming : 20th International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
681 701 LOGIDATA+ : deductive databases with complex objects / Paolo Atzeni (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
682 702 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger ... [et al.] (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
683 703 Ray shooting, depth orders and hidden surface removal / Mark de Berg : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
684 704 The design of an extendible graph editor / Frances Newbery Paulisch : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
685 705 Field-programmable gate arrays : architectures and tools for rapid prototyping : second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31-September 2, 1992 : selected papers / Herbert Grünbacher, Reiner W. Hartenstein (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
686 706 Experimental software engineering issues : critical assessment and future directions : International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings / H. Dieter Rombach, Victor R. Basili, Richard W. Selby (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
687 707 ECOOP '93, object-oriented programming : 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 : proceedings / Oscar M. Nierstrasz (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
688 708 Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
689 709 Algorithms and data structures : third workshop, WADS '93, Montréal, Canada, August 11-13, 1993 : proceedings / Frank Dehne ... [et al.], (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
690 710 Fundamentals of computation theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
691 711 Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings / Andrzej M. Borzyszkowski, Stefan Sokołowski, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
692 712 Network and operating system support for digital audio and video : Third International Workshop, La Jolla, California, USA, November 12-13, 1992 : proceedings / P. Venkat Rangan, (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
693 713 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
694 714 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
695 715 CONCUR '93 : 4th International Confernece on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 : proceedings / Eike Best, (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
696 716 Spatial information theory : a theoretical basis for GIS : European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993 : proceedings / Andrew U. Frank, Irene Campari (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
697 717 Software engineering--ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings / Ian Sommerville, Manfred Paul, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
698 718 Advances in cryptology-AUSCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-6, 1992 : proceedings / Jennifer Seberry, Yuliang Zheng, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
699 719 Computer analysis of images and patterns : 5th International Conference, CAIP '93, Budapest, Hungary, September 13-15, 1993 : proceedings / Dmitry Chetverikov, Walter G. Kropatsch (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
700 720 Database and expert systems applications : 4th International Conference, DEXA '93, Prague, Czech Republic, September 6-8, 1993 : proceedings / Vladimír Mařík, Jiří Lažanský, Roland R. Wagner (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
701 721 Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch, (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
702 722 Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
703 723 . Lecture notes in artificial intelligence Knowledge acquisition for knowledge-based systems : 7th European Workshop, EKAW '93, Toulouse and Caylus, France, September 6-10, 1993 : proceedings / N. Aussenac ... [et al.] (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
704 724 Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
705 725 Distributed algorithms : 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993 : proceedings / André Schiper (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
706 726 Algorithms -- ESA '93 : First Annual European Symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / Thomas Lengauer (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
707 727 . Lecture notes in artificial intelligence Progress in artificial intelligence : 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6-8, 1993 : proceedings / Miguel Filgueiras, Luís Damas, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
708 728 . Lecture notes in artificial intelligence Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93, Torino, Italy, October 26-28, 1993 : proceedings / Pietro Torasso, (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
709 729 Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93 / Lorenzo Donatiello, Randolph Nelson, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
710 730 Foundations of data organization and algorithms : 4th international conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993 : proceedings / David B. Lomet (ed.) : gw,: us. - Berlin : Springer-Verlag , c1993
711 731 DCE -- the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings / Alexander Schill, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
712 732 Parallel computer architectures : theory, hardware, software, applications / Arndt Bode, Mario Dal Cin (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
713 733 Human computer interaction : Vienna Conference, VCHCI '93, Fin de Siècle, Vienna, Austria, September 20-22, 1993 : proceedings / Thomas Grechenig, Manfred Tscheligi (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
714 734 Parallel computation : Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993 : proceedings / Jens Volkert (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
715 735 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
716 736 Hybrid systems / Robert L. Grossman [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
717 737 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.) : us,: gw. - Berlin ; Heidelberg ; New York : Springer-Verlag , c1993
718 738 The generic development language Deva : presentation and case studies / Matthias Weber, Martin Simons, Christine Lafontaine : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
719 739 Advances in cryptology, ASIACRYPT '91 : International Conference on the Theory and Application of Cryptology, Fujiyoshida, Japan, November 11-14, 1991 : proceedings / Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
720 740 Advances in cryptology--CRYPTO '92 : 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16-20, 1992 : proceedings / Ernest F. Brickell (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
721 741 Computer security and industrial cryptography : state of the art and evolution : ESAT course, Leuven, Belgium, May 21-23, 1991 / Bart Preneel, René Govaerts, Joos Vandewalle, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
722 742 Object technologies for advanced software : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings / Shojiro Nishio, Akinori Yonezawa (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
723 743 . Lecture notes in artificial intelligence Algorithmic learning theory : Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992 : proceedings / S. Doshita ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
724 744 . Lecture notes in artificial intelligence Algorithmic learning theory : 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993 : proceedings / K.P. Jantke ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
725 745 . Lecture notes in artificial intelligence Intelligent perceptual systems : new directions in computational perception / V. Roberto (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
726 746 . Lecture notes in artifical intelligence Artificial perception and music recognition / Andranick S. Tanguiane : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
727 747 Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings / Michael Clarke, Rudolf Kruse, Serafín Moral (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
728 748 Parallel symbolic computing : languages, systems, and applications : US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings / Robert H. Halstead, Jr., Takayasu Ito, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
729 749 Automated and algorithmic debugging : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
730 750 Software engineering education : 7th SEI CSEE Conference, San Antonio, Texas, USA, January, 5-7, 1994 : proceedings / Jorge L. Díaz-Herrera, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
731 751 Spatio-temporal image processing : theory and scientific applications / Bernd Jähne : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
732 752 Information and knowledge management : expanding the definition of "database" : First International Conference, CIKM '92, Baltimore, Maryland, USA, November 8-11, 1992 : select papers / Timothy W. Finin, Charles K. Nicholas, Yelena Yesha (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
733 753 Human-computer interaction : Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993 : selected papers / Leonard J. Bass, Juri Gornostaev, Claus Unger, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
734 754 . Lecture notes in artificial intelligence Conceptual structures : theory and implementation : 7th annual workshop, Las Cruces, NM, USA, July 8-10, 1992 : proceedings / Heather D. Pfeiffer, Timothy E. Nagle (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
735 755 Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
736 756 Design of hashing algorithms / Josef Pieprzyk, Babak Sadeghiyan : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
737 757 Languages and compilers for parallel computing : 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings / Utpal Banerjee ... [et al.] (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
738 758 Towards dynamic randomized algorithms in computational geometry / Monique Teillaud : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1993
739 759 Advanced database systems / Nabil R. Adam, Bharat K. Bhargava, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
740 760 Deductive and object-oriented databases : Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings / Stefano Ceri, Katsumi Tanaka, Shalom Tsur, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
741 761 Foundations of software technology and theoretical computer science : 13th Conference, Bombay, India, December 15-17, 1993 : proceedings / R.K. Shyamasundar (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
742 762 Algorithms and computation : 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993 : proceedings / K.W. Ng ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
743 763 Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings / F. Pichler, R. Moreno Díaz, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
744 764 . Lecture notes in artificial intelligence Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994
745 765 Advances in cryptology, EUROCRYPT '93 : Workshop on the Theory and Application of Cryptographic Techniques, Lofthus, Norway, May 23-27, 1993 : proceedings / Tor Helleseth, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
746 766 . Lecture notes in artificial intelligence The dynamics of concepts : a connectionist model / Philip R. Van Loocke : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
747 767 An extended entity-relationship model : fundamentals and pragmatics / Martin Gogolla : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
748 768 Languages and compilers for parallel computing : 6th international workshop, Portland, Oregon, USA, August 12-14, 1993 : proceedings / Utpal Banerjee ... [et al.], (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
749 769 The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization / J.L. Nazareth : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
750 770 . Lecture notes in artificial intelligence Representing plans under uncertainty : a logic of time, chance, and action / Peter Haddawy : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
751 771 Visualization of scientific parallel programs / Gerald Tomas, Christoph W. Ueberhuber : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
752 772 Software process technology : Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994 : proceedings / Brian C. Warboys, (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
753 773 Advances in cryptology -- CRYPTO '93 : 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993 : proceedings / Douglas R. Stinson (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
754 774 Hardware and software architectures for fault tolerance : experiences and perspectives / Michel Banâtre, Peter A. Lee (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
755 775 STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 : proceedings / P. Enjalbert, E.W. Mayr, K.W. Wagner, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
756 776 Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
757 777 Management and processing of complex data structures : Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28-March 2, 1994 : proceedings / Kai von Luck, Heinz Marburger (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
758 778 Algorithms and complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings / M. Bonuccelli, P. Crescenzi, R. Petreschi, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
759 779 Advances in database technology -- EDBT '94 : 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28-31, 1994 : proceedings / Matthias Jarke, Janis Bubenko, Keith Jeffery, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
760 780 Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger [editors] : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
761 781 Algebraic coding : first French-Israeli Workshop, Paris, France, July 19-21, 1993 : proceedings / G. Cohen ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
762 782 Programming languages and system architectures : international conference, Zurich, Switzerland, March 2-4, 1994 : proceedings / Jürg Gutknecht, [editor] : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
763 783 Mobile communications : advanced systems and components : 1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994 : proceedings / Christoph G. Günther, editor : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
764 784 . Lecture notes in artificial intelligence Machine learning : ECML-94 : European Conference on Machine Learning, Catania, Italy, April 6-8, 1994 : proceedings / Francesco Bergadano, Luc De Raedt, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
765 785 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
766 786 Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings / Peter A. Fritzson, ed : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
767 787 Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings / Sophie Tison, ed : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
768 788 Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
769 789 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
770 790 Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings / Jan van Leeuwen (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
771 791 Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings / Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
772 792 Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
773 793 Information theory and applications : Third Canadian Workshop, Rockland, Ontario, Canada, May 30-June 2, 1993 : proceedings / T. Aaron Gulliver, Norman P. Secord, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
774 794 Computer performance evaluation : modelling techniques and tools : 7th International Conference, Vienna, Austria, May 3-6, 1994 : proceedings / Günter Haring, Gabriele Kotsis, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
775 795 . Lecture notes in artificial intelligence FM8501 : a verified microprocessor / Warren A. Hunt, Jr : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
776 796-797 High-performance computing and networking : International Conference and Exhibition, Munich, Germany, April 18-20, 1994 : proceedings / Wolfgang Gentzsch, Uwe Harms (eds.) v. 1 : gw - v. 2 : us. - Berlin ; New York : Springer-Verlag , c1994
777 798 . Lecture notes in artificial intelligence Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
778 799 . Lecture notes in artificial intelligence Multiagent systems : a theoretical framework for intentions, know-how, and communications / Munindar P. Singh ; foreword by Michael N. Huhns : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
779 800-801 Computer vision--ECCV '94 : Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994 : proceedings / Jan-Olof Eklundh, (ed.) v. 1 - v. 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1994
780 802 Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
781 803 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
782 804 . Lecture notes in artificial intelligence Qualitative representation of spatial knowledge / Daniel Hernández : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
783 805 Parallel and distributed computing : theory and practice : First Canada-France Conference, Montréal, Canada, May 19-21, 1994 : proceedings / Michael Cosnard, Afonso Ferreira, Joseph Peters (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
784 806 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
785 807 Combinatorial pattern matching : 5th Annual Symposium, CPM 94, Asilomar, CA, USA, June 5-8, 1994 : proceedings / Maxime Crochemore, Dan Gusfield (eds.) : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1994
786 808 . Lecture notes in artificial intelligence Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
787 809 Fast software encryption : Cambridge Security Workshop, Cambridge, U.K., December 9-11, 1993 : proceedings / Ross Anderson, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
788 810 . Lecture notes in artificial intelligence Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
789 811 Advanced information systems engineering : 6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6-10, 1994 : proceedings / Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
790 812 Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg (eds.) : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994
791 813 Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.) : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994
792 814 . Lecture notes in artificial intelligence Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.) : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994
793 815 Application and theory of Petri nets 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : proceedings / Robert Valette (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
794 816 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
795 817 PARLE '94, parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings / C. Halatsis ... [et al] (eds.) : New York,: Berlin. - Berlin ; New York : Springer-Verlag , c1994
796 818 Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
797 819 Applications of databases : First International Conference, ADB-94, Vadstena, Sweden, June 21-23, 1994 : proceedings / Witold Litwin, Tore Risch (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
798 820 Automata, languages and programming : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
799 821 Object-oriented programming : 8th European conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
800 822 . Lecture notes in artificial intelligence Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
801 823 Entity-relationship approach--ER '93 : 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15-17, 1993 : proceedings / Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
802 824 Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
803 825 Applications of invariance in computer vision : Second Joint European-US Workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993 : proceedings / Joseph L. Mundy, Andrew Zisserman, David Forsyth, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
804 826 Directions in databases : 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994 : proceedings / David S. Bowers (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
805 827 . Lecture notes in artificial intelligence Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
806 828 Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
807 829 Error control, cryptology, and speech compression : Workshop on Information Protection, Moscow, Russia, December 6-9, 1993 : selected papers / Andrew Chmora, Stephen B. Wicker (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
808 830 . Lecture notes in artificial intelligence Artificial social systems : 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29-31, 1992 : selected papers / Cristiano Castelfranchi, Eric Werner (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
809 831 Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 4-8, 1994 : proceedings / Vincent Bouchitté, Michel Morvan, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
810 832 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
811 833 . Lecture notes in artificial intelligence Fuzzy logic and fuzzy control : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991 : proceedings / Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
812 834 Algorithms and computation : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25-27, 1994 : proceedings / Ding-Zhu Du, Xiang-Sun Zhang (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
813 835 . Lecture notes in artificial intelligence Conceptual structures : current practices : Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994 : proceedings / William M. Tepfenhart, Judith P. Dick, John F. Sowa (eds.) : gw,: us. - Berlin : Springer-Verlag , c1994
814 836 CONCUR '94: Concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings / Bengt Jonsson, Joachim Parrow, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
815 837 . Lecture notes in artificial intelligence Topics in case-based reasoning : First European Workshop EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers / Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter (eds.) : gw,: us. - Berlin ; New York : Springer Verlag , c1994
816 838 . Lecture notes in artificial intelligence Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings / Craig MacNish, David Pearce, Luís Moniz Pereira (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
817 839 Advances in cryptology--CRYPTO '94 : 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1994 : proceedings / Yvo G. Desmedt (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
818 840 The traveling salesman : computational solutions for TSP applications / Gerhard Reinelt : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
819 841 Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Košice, Slovakia, August 22-26, 1994 : proceedings / Igor Prívara, Branislav Rovan, Peter Ružička, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
820 842 Treewidth : computations and approximations / Ton Kloks : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
821 843 Turing machines with sublogarithmic space / Andrzej Szepietowski : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
822 844 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1994
823 845 Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.) Berlin ; New York : Springer-Verlag , c1994
824 846 Network and operating system support for digital audio and video : 4th International Workshop, NOSSDAV '93, Lancaster, U.K., November 3-5, 1993 : proceedings / D. Shepherd ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
825 847 . Lecture notes in artificial intelligence Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings / Anca L. Ralescu, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
826 848 Numerical integration on advanced computer systems / Arnold R. Krommer, Christoph W. Ueberhuber : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
827 850 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.) Berlin ; New York : Springer-Verlag , c1994
828 851 Towards a Pan-European telecommunication service infrastructure-IS&N '94 : Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7-9, 1994 : proceedings / Hans-Jürgen Kugler, Al Mullery, Norbert Niebert (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
829 852 Dependable computing--EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings / Klaus Echtle, Dieter Hammer, David Powell, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , 1994
830 853 Parallel computer routing and communication : First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994 : proceedings / Kevin Bolding, Lawrence Snyder (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
831 854 Parallel processing : CONPAR 94-VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings / Bruno Buchberger, Jens Volkert (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
832 855 Algorithms -- ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994 : proceedings / Jan van Leeuwen (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
833 856 Database and expert systems applications : 5th International Conference, DEXA '94, Athens, Greece, September 7-9, 1994 : proceedings / Dimitris Karagiannis (ed.) Berlin ; New York : Springer-Verlag , c1994
834 857 Distributed algorithms : 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29-October 1, 1994 : proceedings / Gerard Tel, Paul Vitányi (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1994
835 858 Object-oriented methodologies and systems : International Symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings / Elisa Bertino, Susan Urban (eds.) Berlin ; Tokyo : Springer-Verlag , c1994
836 859 Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
837 860 Computers for handicapped persons : 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994 : proceedings / Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
838 861 . Lecture notes in artificial intelligence KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings / Bernhard Nebel, Leonie Dreschler-Fischer, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
839 862 . Lecture notes in artificial intelligence Grammatical inference and applications : second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings / Rafael C. Carrasco, Jose Oncina, (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
840 863 Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.) Berlin ; New York : Springer-Verlag , c1994
841 864 Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
842 865 Evolutionary computing : AISB Workshop, Leeds, U.K., April 11-13, 1994 : selected papers / Terence C. Fogarty, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
843 v.866 Parallel problem solving from nature--PPSN III : International Conference on Evolutionary Computation, the Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994 : proceedings / Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer (eds.) Berlin ; New York : Springer-Verlag , c1994
844 867 . Lecture notes in artificial intelligence A future for knowledge acquisition : 8th European Knowledge Acquisition Workshop, EKAW '94, Hoegaarden, Belgium, September 26-29, 1994 : proceedings / Luc Steels, Guus Schreiber, Walter Van de Velde (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
845 868 Multimedia : advanced teleservices and high-speed communication architectures : Second International Workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994 : proceedings / Ralf Steinmetz (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
846 869 . Lecture notes in artificial intelligence Methodologies for intelligent systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994 : proceedings / Zbigniew W. Raś, Maria Zemankova, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
847 870 Distributed programming paradigms with cryptography applications / Jonathan S. Greenfield : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
848 871 Database issues for data visualization : IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993 : proceedings / John P. Lee, Georges G. Grinstein, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
849 872 . Lecture notes in artificial intelligence Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994 : proceedings / Setsuo Arikawa, Klaus P. Jantke, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
850 873 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
851 874 Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
852 875 Computer security - ESORICS 94 : Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7-9, 1994 : proceedings / Dieter Gollmann (ed.) : gw. - Berlin : Springer , c1994
853 876 Human-computer interaction : 4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2-5, 1994 : selected papers / Brad Blumenthal, Juri Gornostaev, Claus Unger, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
854 877 Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
855 878 . Lecture notes in artificial intelligence Parallel, distributed and multiagent production systems / Toru Ishida : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
856 879 Parallel scientific computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994 ; proceedings / Jack Dongarra, Jerzy Waśniewski, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
857 880 Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
858 881 Entity-relationship approach--ER '94 : business modelling and re-engineering : 13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, December 13-16, 1994 : proceedings / P. Loucopoulos (ed.) : gw,: us. - Berlin ; Heidelberg : Springer-Verlag , c1994
859 882 Multimedia transport and teleservices : International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings / D. Hutchison ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
860 883 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini (Eds.) Berlin ; New York : Springer-Verlag , c1994
861 884 IGIS '94: geographic information systems : International Workshop on Advanced Research in Geographic Information Systems, Monte Verità, Ascona, Switzerland, February 28-March 4, 1994 : proceedings / Jürg Nievergelt ... [et al.] (eds.) Berlin ; Tokyo : Springer-Verlag , c1994
862 885 Closed object boundaries from scattered points / Remco C. Veltkamp Berlin ; New York : Springer-Verlag , c1994
863 886 . Lecture notes in artificial intelligence Planning and learning by analogical reasoning / Manuela M. Veloso Berlin ; New York : Springer-Verlag , c1994
864 887 Ada in Europe : First International Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint (ed.) Berlin ; New York : Springer-Verlag , c1994
865 888 Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings / Stig I. Andersson (ed.) : gw. - Berlin ; New York : Springer-Verlag , c1995
866 889 Towards a CSCW framework for scientific cooperation in Europe / Hannes P. Lubich : gw,: us. - Berlin ; New York : Springer-Verlag , c1995
867 890 . Lecture notes in artificial intelligence Intelligent agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8-9, 1994 : proceedings / Michael J. Wooldridge, Nicholas R. Jennings : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995
868 891 Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner (eds.) Berlin ; Tokyo : Springer-Verlag , c1995
869 892 Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings / K. Pingali ... [et al.] : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
870 893 Database theory -- ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings / Georg Gottlob, Moshe Y. Vardi, (eds.) Berlin ; Tokyo : Springer-Verlag , c1995
871 894 Graph drawing : DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10-12, 1994 : proceedings / Roberto Tamassia, Ioannis G. Tollis (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1995
872 895 Software engineering education : 8th SEI CSEE Conference, New Orleans, LA, USA, March 29-April 1, 1995 : proceedings / Rosalind Ibrahim, (ed.) Berlin ; New York : Springer-Verlag , c1995
873 896 Software engineering and human-computer interaction : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994 : proceedings / Richard N. Taylor, Joëlle Coutaz (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1995
874 897 . Lecture notes in artificial intelligence Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.) Berlin ; New York : Springer-Verlag , c1995
875 898 . Lecture notes in artificial intelligence Machine translation and the lexicon : Third International EAMT Workshop, Heidelberg, Germany, April 26-28, 1993 : proceedings / Petra Steffens (ed.) Berlin : Springer , c1995
876 899 Evolution and biocomputation : computational models of evolution / Wolfgang Banzhaf, Frank H. Eeckman (eds.) Berlin : Springer , c1995
877 900 STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / Ernst W. Mayr, Claude Puech (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , 1995
878 901 Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.) Berlin : Springer , c1995
879 902 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.) : gw. - Berlin : Springer-Verlag , c1995
880 903 Graph-theoretic concepts in computer science : 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994 : proceedings / Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer (eds.) : gw. - Berlin : Springer , c1995
881 904 . Lecture notes in artificial intelligence Computational learning theory : Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995, proceedings / Paul Vitányi (ed.) Berlin : Springer , c1995
882 905 Computer vision, virtual reality and robotics in medicine : First International Conference, CVR Med '95, Nice, France, April 3-6, 1995 : proceedings / Nicholas Ayache (ed.) : gw. - Berlin : Springer , c1995
883 906 Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1995
884 907 Theory and practice of parallel programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / Takayasu Ito, Akinori Yonezawa (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1995
885 908 Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao : gw. - Berlin ; New York : Springer , c1995
886 909 Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, (eds.) : Berlin,: New York. - Berlin ; New York ; Tokyo : Springer Verlag , c1995
887 910 Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, (ed.) : gw. - Berlin : Springer-Verlag , c1995
888 911 LATIN '95 : Theoretical Informatics : Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings / Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete, (eds.) Berlin : Springer , c1995
889 912 . Lecture notes in artificial intelligence Machine learning : ECML-95 : 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25-27, 1995 : proceedings / Nada Lavrac̆, Stefan Wrobel (eds.) : gw. - Berlin ; Tokyo : Springer , c1995
890 913 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, (ed.) : Berlin. - Berlin : Springer-Verlag , c1995
891 914 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.) : Berlin. - Berlin : Springer-Verlag , c1995
892 915 TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.) : us. - Berlin ; New York ; Tokyo : Springer , c1995
893 916 Digital libraries : current issues : Digital Libraries Workshop DL '94, Newark, NJ, USA, May 19-20, 1994 : selected papers / Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha (eds.) : gw. - Berlin : Springer-Verlag , c1995
894 917 Advances in cryptology, ASIACRYPT '94 : 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28-December 1, 1994 : proceedings / Josef Pieprzyk, Reihanah Safavi-Naini (eds.) Berlin ; Tokyo : Springer-Verlag , c1995
895 918 . Lecture notes in artificial intelligence Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.) Berlin ; New York ; Tokyo : Springer Verlag , c1995
896 919 High-performance computing and networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995 : proceedings / Bob Hertzberger, Giuseppe Serazzi (eds.) Berlin ; Tokyo : Springer-Verlag , c1995
897 920 Integer programming and combinatorial optimization : 4th International IPCO Conference, Copenhagen, Denmark, May 29-31, 1995 : proceedings / Egon Balas, Jens Clausen (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1995
898 921 Advances in cryptology, EUROCRYPT '95 : International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995 : proceedings / Louis C. Guillou, Jean-Jacques Quisquater (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
899 922 Efficient graph rewriting and its implementation / Heiko Dörr : gw,: us. - New York ; Tokyo : Springer-Verlag , c1995
900 923 Constraint processing : selected papers / Manfred Meyer (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , 1995
901 924 Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings / Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1995
902 925 Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text / Johan Jeuring, Erik Meijer (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995
903 926 Objective software quality : objective quality, Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995, proceedings / Paolo Nesi, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1995
904 927 . Lecture notes in artificial intelligence Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.) : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
905 928 . Lecture notes in artificial intelligence Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.) : gw,: us. - Berlin ; New York ; Tokyo : Springer Verlag , c1995
906 929 . Lecture notes in artificial intelligence Advances in artificial life : Third European Conference on Artificial Life, Granada, Spain, June 4-6, 1995 : proceedings / F. Morán ... [et al.] (eds.) Berlin : Springer , c1995
907 930 From natural to artifical neural computation : International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7-9, 1995 : proceedings / José Mira, Francisco Sandoval, (eds.) : gw,: us. - New York : Springer-Verlag , c1995
908 931 Artificial neural networks : an introduction to ANN theory and practice / P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters, (eds.) : gw,: us. - Berlin ; New York : Springer , c1995
909 932 Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12-16, 1995 : proceedings / Juhani Iivari, Kalle Lyytinen, Matti Rossi (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995
910 933 Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995
911 934 . Lecture notes in artificial intelligence Artificial intelligence in medicine : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25-28, 1995 : proceedings / Pedro Barahona, Mario Stefanelli, Jeremy Wyatt (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1995
912 935 Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings / Giorgio de Michelis, Michel Diaz (eds.) : us,: gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
913 936 Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, (eds.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
914 937 Combinatorial pattern matching : 6th Annual Symposium, CPM 95, Espoo, Finland, July 5-7, 1995 : proceedings / Zvi Galil, Esko Ukkonen, (eds.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
915 938 Theory and practice in distributed systems : International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers / K.P. Birman, F. Mattern, A. Schiper, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1995
916 939 Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1995
917 940 Advances in databases : 13th British National Conference on Databases, BNCOD 13, Manchester, United Kingdom, July 12-14, 1995 : proceedings / Carole Goble, John Keane (eds.) Berlin ; New York ; Tokyo : Springer , c1995
918 941 . Lecture notes in artificial intelligence Tractable reasoning in artificial intelligence / Marco Cadoli Berlin ; New York : Springer-Verlag , c1995
919 942 Exploitation of fine-grain parallelism / Günter Böckle : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
920 943 Metaclasses and their application : data model tailoring and database integration / Wolfgang Klas, Michael Schrefl Berlin : Springer , c1995
921 944 Automata, languages and programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.) Berlin ; New York ; Tokyo : Springer , c1995
922 945 Advances in intelligent computing -- IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994 : selected papers / Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (eds.) Berlin : Springer , c1995
923 946 . Lecture notes in artificial intelligence Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995 : proceedings / Christine Froidevaux, Jürg Kohlas (eds.) Berlin ; New York ; Tokyo : Springer , c1995
924 947 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, (ed.) Berlin ; New York ; Tokyo : Springer , c1995
925 948 Applied algebra, algebraic algorithms and error-correcting codes : 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995 : proceedings / Gérard Cohen, Marc Giusti, Teo Mora (eds.) : gw. - Berlin ; Heidelberg ; Tokyo : Springer , c1995
926 949 Job scheduling strategies for parallel processing : IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995 : proceedings / Dror G. Feitelson, Larry Rudolph (eds.) Berlin ; New York : Springer-Verlag , c1995
927 950 Advances in cryptology, EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994 : proceedings / Alfredo De Santis (ed.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
928 951 Advances in spatial databases : 4th International Symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings / Max J. Egenhofer, John R. Herring (eds.) Berlin ; New York : Springer-Verlag , c1995
929 952 ECOOP '95, object-oriented programming : 9th European Conference, Åarhus, Denmark, August 7-11, 1995 : proceedings / Walter Olthoff (ed.) Berlin ; New York : Springer , c1995
930 953 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone (eds.) Berlin ; New York ; Tokyo : Springer , c1995
931 954 . Lecture notes in artificial intelligence Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings / Gerard Ellis ... [et al.] (eds.) Berlin ; New York ; Tokyo : Springer , c1995
932 955 Algorithms and data structures : 4th International Workshop, WADS '95, Kingston, Canada, August 16-18, 1995 : proceedings / Selim G. Akl ... [et al.], (eds.) : gw. - Berlin : Springer , c1995
933 956 . Lecture notes in artificial intelligence Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November 21-22, 1994 : selected papers / Xin Yao, (ed.) Berlin ; New York ; Tokyo : Springer , c1995
934 957 . Lecture notes in artificial intelligence From reaction to cognition : 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, Neuchâtel, Switzerland, August 25-27, 1993 : selected papers / Cristiano Castelfranchi, Jean-Pierre Müller (eds.) Berlin ; New York : Springer-Verlag , c1995
935 958 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / Jacques Calmet, John A. Campbell, (eds.) : gw. - Berlin ; New York ; tokyo : Springer-Verlag , c1995
936 959 Computing and combinatorics : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995 : proceedings / Ding-Zhu Du, Ming Li (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1995
937 960 Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.) Berlin ; New York ; Tokyo : Springer-Verlag , c1995
938 961 . Lecture notes in artificial intelligence Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1995
939 962 CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings / Insup Lee, Scott A. Smolka, (eds.) Berlin ; New York : Springer-Verlag , c1995
940 963 Advances in cryptology--CRYPTO '95 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings / Don Coppersmith (ed.) Berlin ; Tokyo : Springer-Verlag , c1995
941 964 Parallel computing technologies : Third International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings / Victor Malyshkin (ed.) Berlin ; New York ; Tokyo : Springer , c1995
942 965 Fundamentals of computation theory : 10th International Conference, FCT '95, Dresden, Germany, August 22-25, 1995 : proceedings / Horst Reichel (ed.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
943 966 EURO-PAR '95 Parallel Processing : First International EURO-PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings / Seif Haridi, Khayri Ali, Peter Magnusson (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
944 967 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey (eds.) Berlin ; New York : Springer , c1995
945 968 Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.) : Berlin. - Berlin ; Tokyo : Springer-Verlag , c1995
946 969 Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings / Jiří Wiedermann, Petr Hájek (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
947 970 Computer analysis of images and patterns : 6th International Conference, CAIP '95, Prague, Czech Republic, September 6-8, 1995 : proceedings / Václav Hlaváč, Radim Šára (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1995
948 971 Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
949 972 Distributed algorithms : 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995 : proceedings / Jean-Michel Hélary, Michel Raynal (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1995
950 973 Information management in computer integrated manufacturing : a comprehensive guide to state-of-the-art CIM solutions / Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík (eds.) Berlin ; New York : Springer-Verlag , c1995
951 974 Image analysis and processing : 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995 : proceedings / Carlo Braccini, Leila DeFloriani, Gianni Vernazza, (eds.) Berlin ; New York : Springer-Verlag , 1995
952 975 Field-programmable logic and applications : 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29-September 1, 1995 : proceedings / Will Moore, Wayne Luk (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1995
953 976 Principles and practice of constraint programming -- CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.) Berlin ; New York : Springer , c1995
954 977 Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings / Heinz Beilner, Falko Bause, (eds.) Berlin ; New York : Springer , c1995
955 978 Database and expert systems applications : 6th International Conference, DEXA '95, London, United Kingdom, September 4-8, 1995 : proceedings / Norman Revell, A Min Tjoa (eds.) Berlin ; New York ; Tokyo : Springer , c1995
956 979 Algorithms -- ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings / Paul Spirakis (ed.) Berlin ; Tokyo : Springer , c1995
957 980 Parallel algorithms for irregularly structured problems : Second International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 : proceedings / Afonso Ferreira, José Rolim (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
958 981 . Lecture notes in artificial intelligence KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings / Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
959 982 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1995
960 983 Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings / Alan Mycroft (ed.) Berlin ; New York : Springer , c1995
961 984 . Lecture notes in artificial intelligence Advances in case-based reasoning : Second European Workshop, EWCBR-94, Chantilly, France, November 7-10, 1994 : selected papers / Jean-Paul Haton, Mark Keane, Michel Manago (eds.) Berlin : Springer-Verlag , c1995
962 985 Rules in database systems : Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25-27, 1995 : proceedings / Timos Sellis (ed.) Berlin ; New York ; Tokyo : Springer , c1995
963 986 Memory management : International Workshop IWMM 95, Kinross, UK, September 27-29, 1995 : proceedings / Henry G. Baker (ed.) Berlin ; New York : Springer , c1995
964 987 Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.) Berlin ; New York : Springer , c1995
965 988 Spatial information theory : a theoretical basis for GIS : International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995 : proceedings / Andrew U. Frank, Werner Kuhn (eds.) Berlin ; New York : Springer , c1995
966 989 Software engineering--ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, proceedings / Wilhelm Schäfer, Pere Botella, (eds.) : pbk. - Berlin : Springer , c1995
967 990 . Lecture notes in artificial intelligence Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede (eds.) Berlin ; Tokyo : Springer , c1995
968 991 . Lecture notes in artificial intelligence Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings / Jacques Wainer, Ariadne Carvalho (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1995
969 992 . Lecture notes in artificial intelligence Topics in artificial intelligence : 4th Congress of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings / Marco Gori, Giovanni Soda (eds.) Berlin : Springer-Verlag , c1995
970 993 Evolutionary computing : AISB Workshop, Sheffield, U.K., April 3-4, 1995 : selected papers / Terence C. Fogarty, (ed.) Berlin : Springer, 1995
971 994 Object representation in computer vision : International NSF-ARPA Workshop, New York City, NY, USA, December 5-7, 1994 : proceedings / Martial Hebert ... [et al.], (eds.) Berlin ; New York : Springer , 1995
972 995 The complexity of simple computer architectures / Silvia M. Müller, Wolfgang J. Paul Berlin ; New York ; Tokyo : Springer-Verlag , c1995
973 996 Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith (eds.) : gw. - Berlin : Springer-Verlag , c1995
974 997 . Lecture notes in artificial intelligence Algorithmic learning theory : 6th International Workshop, ALT '95, Fukuoka, Japan, October 18-20, 1995 : proceedings / Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann, (eds.) Berlin ; Tokyo : Springer , c1995
975 998 Bringing telecommunication services to the people - IS&N'95 : Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16-19, 1995 : proceedings / Anne Clarke, Mario Campolargo, Nikos Karatzas (eds.) : softcover. - Berlin : Springer , 1995
976 999, 1273, 1567 Hybrid systems / Panos Antsaklis [et al.] (eds.) 2,4,5. - Berlin : Springer , c1995-
977 1000 Computer science today : recent trends and developments / Jan van Leeuwen, (ed.) Berlin ; New York ; Tokyo : Springer , c1995
978 1001 Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan Berlin ; New York : Springer-Verlag , c1995
979 1002 Disconnected operation in a distributed file system / James Jay Kistler Berlin ; New York : Springer-Verlag , c1995
980 1003 . Lecture notes in artificial intelligence Automated modeling of physical systems / P. Pandurang Nayak Berlin ; New York : Springer-Verlag , c1995
981 1004 Algorithms and computations : 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995 : proceedings / John Staples ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1995
982 1005 Software configuration management : ICSE SCM-4 and SCM-5 workshops : selected papers / Jacky Estublier (ed.) Berlin : Springer-Verlag , c1995
983 1006 Information systems and data management : 6th International Conference, CISMOD '95, Bombay, India, November 15-17, 1995 : proceedings / Subhash Bhalla (ed.) Berlin ; New York : Springer , c1995
984 1007 Integrity primitives for secure information systems : final report of RACE Integrity Primitives Evaluation RIPE-RACE 1040 / Antoon Bosselaers, Bart Preneel, (eds.) Berlin ; New York : Springer , c1995
985 1008 Fast software encryption : second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings / Bart Preneel (ed.) Berlin ; New York : Springer , c1995
986 1009 KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.) Berlin ; New York : Springer , c1995
987 1010 . Lecture notes in artificial intelligence Case-based reasoning research and development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings / Manuela Veloso, Agnar Aamodt (eds.) Berlin : Springer-Verlag , c1995
988 1011 . Lecture notes in artificial intelligence Advances in fuzzy logic, neural networks and genetic algorithms : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 1994 : selected papers / Takeshi Furuhashi, (ed.) Berlin ; New York ; Tokyo : Springer , c1995
989 1012 SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings / Miroslav Bartošek, Jan Staudek, Jiří Wiedermann (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1995
990 1013 Deductive and object-oriented databases : fourth international conference, DOODʾ95, Singapore, December 4-7, 1995 : proceedings / Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille (eds.) Berlin ; New York : Springer , c1995
991 1014 Spatial representation and motion planning / [edited by] Angel Pasqual del Pobil, Miguel Angel Serna Berlin ; New York : Springer-Verlag , c1995
992 1015 Human-computer interaction : 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995 : selected papers / Brad Blumenthal, Juri Gornostaev, Claus Unger (eds.) Berlin ; New York : Springer-Verlag , c1995
993 1016 Active visual inference of surface shape / Roberto Cipolla Berlin ; New York : Springer-Verlag , c1996
994 1017 Graph-theoretic concepts in computer science : 21st International Workshop, WG '95, Aachen, Germany, June 20-22, 1995 : proceedings / Manfred Nagl (ed.) : gw. - Berlin ; Tokyo : Springer , c1995
995 1018 Network and operating systems support for digital audio and video : 5th International Workshop, NOSSDAV '95, Durham, New Hampshire, USA, April 19-21, 1995 : proceedings / Thomas D.C. Little, Riccardo Gusella (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1995
996 1019 Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.) Berlin ; New York : Springer , c1995
997 1020 . Lecture notes in artificial intelligence Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings / Ian D. Watson (ed.) Berlin ; New York : Springer-Verlag , c1995
998 1021 OOER '95: Object-oriented and entity-relationship modelling : 14th international conference, Gold Coast, Australia, December 13-15, 1995 : proceedings / Michael P. Papazoglou (ed.) : gw. - Berlin : Springer-Verlag , c1995
999 1022 Fun[c]tional programming languages in education : First International Symposium, FPLE '95, Nijmegen, The Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel and Rinus Plasmeijer, (eds.) Berlin : Springer , c1995
1000 1023 Algorithms, concurrency and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings / Kanchana Kanchanasut, Jean-Jacques Lévy (eds.) Berlin ; Tokyo : Springer , c1995
1001 1024 Image analysis applications and computer graphics : third international computer science conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings / Roland T. Chin ... [et al.] : gw. - Berlin : Springer-Verlag , c1995
1002 1025 Cryptography and coding : 5th IMA Conference Cirencester, UK, December 18-20, 1995 : proceedings / Colin Boyd (ed.) Berlin ; Tokyo : Springer , c1995
1003 1026 Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings / P.S. Thiagarajan (ed.) Berlin ; Tokyo : Springer-Verlag , c1995
1004 1027 Graph drawing : Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995 : proceedings / Franz J. Brandenburg (ed.) Berlin ; New York : Springer , c1996
1005 1028 Electronic commerce : current research issues and applications / Nabil R. Adam, Yelena Yesha, (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
1006 1029 Cryptography : policy and algorithms : International Conference, Brisbane, Queensland, Australia, July 3-5, 1995 : proceedings / Ed Dawson, Jovan Golić (eds.) Berlin ; New York ; Tokyo : Springer , c1996
1007 1030 Computer aided systems theory - EUROCAST '95 : a selection of papers from the fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings / F. Pichler, R. Moreno-Díaz, R. Albrecht (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1996
1008 1031 Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (ed.) Berlin ; Tokyo : Springer , c1996
1009 1032 Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid Berlin : Springer , c1996
1010 1033 Languages and compilers for parallel computing : 8th International Workshop, LCPC '95, Columbus, Ohio, USA, August 10-12, 1995 : proceedings / C.- H. Huang ... [et al.] (eds.) : gw. - Berlin ; New York : Springer , c1996
1011 1034 Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings / Gabriel Kuper, Mark Wallace (eds.) : gw. - Berlin : Springer-Verlag , c1996
1012 1035 Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995, invited session papers / S.Z. Li ... [et al.] (eds.) Berlin ; New York : Springer , c1996
1013 1036 . Lecture notes in artificial intelligence Trends in natural language generation : an artificial intelligence perspective : Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 : selected papers / Giovanni Adorni, Michael Zock, (eds.) Berlin ; New York ; Tokyo : Springer , c1996
1014 1037 . Lecture notes in artificial intelligence Intelligent agents II : agent theories, architectures, and languages : IJCAI '95 Workshop (ATAL) : Montréal, Canada, August 19-20, 1995 : proceedings / M. Wooldridge, J.P. Müller, M. Tambe (eds.) : gw. - Berlin : Springer-Verlag , c1996
1015 1038 . Lecture notes in artificial intelligence Agents breaking away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Einhoven, the Netherlands, January 22-25, 1996 : proceedings / Walter Van de Velde, John W. Perram (eds.) Berlin : Springer-Verlag , c1996
1016 1039 Fast software encryption : Third International Workshop, Cambridge, UK, February 21-23, 1996 : proceedings / Dieter Gollmann, (ed.) Berlin ; New York : Springer , c1996
1017 1040 . Lecture notes in artificial intelligence Connectionist, statistical and symbolic approaches to learning for natural language processing / Stefan Wermter, Ellen Riloff, Gabriele Scheler, (eds.) Berlin ; New York : Springer , c1996
1018 1041 Applied parallel computing : computations in physics, chemistry and engineering science : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings / Jack Dongarra, Kaj Madsen, Jerzy Waśniewski, (eds.) Berlin ; New York ; Tokyo : Springer , c1996
1019 1042 . Lecture notes in artificial intelligence Adaption and learning in multi-agent systems : IJCAI '95 workshop, Montréal, Canada, August 21, 1995 : proceedings / Gerhard Weiß, Sandip Sen, (eds.) Berlin ; New York : Springer-Verlag , c1996
1020 1043 Logics for concurrency : structure versus automata / Faron Moller, Graham Birtwistle, (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1996
1021 1044 Broadband communications : networks, services, applications, future directions : 1996 International Zurich Seminar on Digital Communications, IZS '96, Zurich, Switzerland, February 21-23, 1996 : proceedings / Bernhard Plattner, (ed.) Berlin ; New York : Springer Verlag , c1996
1022 1045 Interactive distributed multimedia systems and services : European Workshop IDMS '96, Berlin, Germany, March 4-6, 1996 : proceedings / Berthold Butscher, Eckhard Moeller, Herwart Pusch (eds.) Berlin ; New York : Springer , c1996
1023 1046 STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / Claude Puech, Rüdiger Reischuk (eds.) Berlin ; New York : Tokyo : Springer , c1996
1024 1047 . Lecture notes in artificial intelligence Time structures : formal description and algorithmic representation / Elżbieta Hajnicz Berlin ; New York : Springer-Verlag , c1996
1025 1048 Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.) Berlin ; New York ; Tokyo : Springer , c1996
1026 1049 Object technologies for advanced software : Second JSSST International Symposium, ISOTAS ʾ96, Kanazawa, Japan, March 11-15, 1996 : proceedings / Kokichi Futatsugi, Satoshi Matsuoka, (eds.) Berlin ; New York : Springer-Verlag , c1996
1027 1050 . Lecture notes in artificial intelligence Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1996
1028 1051 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.) Berlin ; New York : Springer-Verlag , c1996
1029 1052 Teleservices and multimedia communications : Second International COST 237 Workshop, Copenhagen, Denmark, November 20-22, 1995 : proceedings / D. Hutchison ... [et al.], (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1996
1030 1053 . Lecture notes in artificial intelligence Term indexing / Peter Graf Berlin ; New York ; Tokyo : Springer-Verlag , c1995
1031 1054 Solving combinatorial optimization problems in parallel : methods and techniques / Afonso Ferreira, Panos Pardalos, (eds.) Berlin ; New York : Springer-Verlag , c1996
1032 1055 Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen, (eds.) Berlin : Springer , c1996
1033 1056 . Lecture notes in artificial intelligence Communication and cooperation in agent systems : a pragmatic theory / Afsaneh Haddadi Berlin ; New York : Springer , c1995
1034 1057 Advances in database technology -- EDBT '96 : 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996 : proceedings / P. Apers, M. Bouzeghoub, G. Gardarin, (eds.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1996
1035 1058 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson, (ed.) Berlin ; New York ; Tokyo : Springer-Verlag , c1996
1036 1059 Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings / Hélène Kirchner, (ed.) Berlin : Springer , c1996
1037 1060 Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996 : proceedings / Tibor Gyimóthy, (ed.) Berlin ; New York : Springer-Verlag , c1996
1038 1061 Coordination languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 15-17 1996 : proceedings / Paolo Ciancarini, Chris Hankin (eds.) Berlin : Springer , c1996
1039 1062 Towards evolvable hardware : the evolutionary engineering approach / Eduardo Sanchez, Marco Tomassini, (eds.) Berlin : Springer , c1996
1040 1063 Artificial evolution : European Conference, AE 95, Brest, France, September 4-6, 1995 : selected papers / J.-M. Alliot ... [et al.], (eds.) Berlin : Springer , c1996
1041 1064-1065 Computer vision -- ECCV '96 : 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996 : proceedings / Bernard Buxton, Roberto Cipolla, (eds.) v. 1,v. 2. - Berlin : Springer , c1996
1042 1066 Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.) Berlin : Springer , c1996
1043 1067 High-performance computing and networking : International Conference and Exhibition HPCN EUROPE 1996, Brussels, Belgium, April 15-19, 1996 : proceedings / H. Liddell ... [et al.], (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
1044 1068 Parallel symbolic languages and systems : International Workshop PSLS '95 Beaune, France, October 2-4, 1995 : proceedings / Takayasu Ito, Robert H. Halstead, Jr., Christeian Queinnec (eds.) Berlin ; Tokyo : Springer , c1996
1045 1069 . Lecture notes in artificial intelligence Distributed software agents and applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 3-5, 1994 : proceedings / John W. Perram, Jean-Pierre Müller, (eds.) Berlin : Springer , c1996
1046 1070 Advances in cryptology-EUROCRYPT '96 : International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12-16, 1996 : proceedings / Ueli Maurer, (ed.) Berlin ; Tokyo : Springer , c1996
1047 1071 . Lecture notes in artificial intelligence Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], (eds.) Berlin ; Tokyo : Springer , c1996
1048 1072 Graphics recognition : methods and applications : First International Workshop, University Park, PA, USA, August 10-11, 1995 : selected papers / Rangachar Kasturi, Karl Tombre, (eds.) Berlin : Springer , c1996
1049 1073 Graph grammars and their application to computer science : 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers / J. Cuny ... [et al.], (eds.) Berlin ; Tokyo : Springer , c1996
1050 1074 Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.], (eds.) Berlin ; Tokyo : Springer , c1996
1051 1075 Combinatorial pattern matching : 7th Annual Symposium, CPM 96, Laguna Beach, California, June 10-12, 1996 : proceedings / Dan Hirschberg, Gene Myers, (eds.) Berlin ; Tokyo : Springer , c1996
1052 1076 . Lecture notes in artificial intelligence Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds.) Berlin : Springer , c1996
1053 1077 Multimedia, hypermedia, and virtual reality : models, systems, and applications : First International Conference, MHVR '94, Moscow, Russia, September 14-16, 1994 : selected papers / Peter Brusilovsky, Piet Kommers, Norbert Streitz, (eds.) Berlin : Springer , c1996
1054 1078 Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers / David Alex Lamb, (ed.) Berlin : Springer , c1996
1055 1079 . Lecture notes in artificial intelligence Foundations of intelligent systems : 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings / Zbigniew W. Raś, Maciek Michalewicz, (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1996
1056 1080 Advanced information systems engineering : 8th International Conference, CAiSE '96, Heraklion, Crete, Greece, May 20-24, 1996 : proceedings / Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou, (eds.) Berlin : Springer , c1996
1057 1081 . Lecture notes in artificial intelligence Advances in artificial intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96, Tronto, Ontario, Canada, May 21-24, 1996 : proceedings / Gordon McCalla, (ed.) Berlin ; Tokyo : Springer , c1996
1058 1082 Digital libraries : research and technology advances, ADL '95 Forum, McLean, Virginia, USA, May 15-17, 1995 : selected papers / Nabil R. Adam ... [et al.] Berlin : Springer-Verlag , c1996
1059 1083 . Lecture notes in artificial intelligence Evaluating natural language processing systems : an analysis and review / Karen Sparck Jones, Julia R. Galliers Berlin : Springer , c1995
1060 1084 Integer programming and combinatorial optimization : 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996 : proceedings / William H. Cunningham, S. Thomas McCormick, Maurice Queyranne (eds.) Berlin ; New York : Springer , c1996
1061 1085 . Lecture notes in artificial intelligence Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.) Berlin : Springer , c1996
1062 1086 Intelligent tutoring systems : Third International Conference, ITS '96, Montréal, Canada, June 12-14, 1996 : proceedings / Claude Frasson, Gilles Gauthier, Alan Lesgold, (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
1063 1087 . Lecture notes in artificial intelligence Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings / Chengqi Zhang, Dickson Lukose, (eds.) Berlin : Springer , c1996
1064 1088 Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / Alfred Strohmeier (ed.) Berlin : Springer , c1996
1065 1089 Bounded incremental computation / G. Ramalingam Berlin : Springer , c1996
1066 1090 Computing and combinatorics : Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings / Jin-Yi Cai, Chak Kuen Wong, (eds.) Berlin ; Tokyo : Springer , c1996
1067 1091 Application and theory of Petri nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings / Jonathan Billington, Wolfgang Reisig (eds.) Berlin ; Tokyo : Springer , c1996
1068 1092 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.) Berlin ; Tokyo : Springer , c1996
1069 1093 . Lecture notes in artificial intelligence Reasoning with uncertainty in robotics : international workshop, RUR '95, Amsterdam, the Netherlands, December 4-6, 1995 : proceedings / Leo Dorst, Michiel van Lambalgen, Frans Voorbraak (eds.) Berlin : Springer , c1996
1070 1094 Advances in databases : 14th British National Conference on Databases, BNCOD 14, Edinburgh, United Kingdom, July 3-5 1996 : proceedings / Ron Morrison, Jessie Kennedy (eds.) Berlin ; Tokyo : Springer , c1996
1071 1095 . Lecture notes in artificial intelligence Automated deduction in equational logic and cubic curves / W. McCune, R. Padmanabhan Berlin ; Tokyo : Springer , c1996
1072 1096 Workflow management systems for process organisations / Thomas Schäl Berlin : Springer , c1996
1073 1097 Algorithm theory-SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson, Andrzej Lingas (eds.) Berlin ; Tokyo : Springer , c1996
1074 1098 ECOOP '96--object-oriented programming : 10th European Conference, Linz, Austria, July 8-12 1996 : proceedings / Pierre Cointe, (ed.) Berlin : Springer , c1996
1075 1099 Automata, languages and programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien, (eds.) Berlin ; Tokyo : Springer , c1996
1076 1100 Digital signature schemes : general framework and fail-stop signatures / Birgit Pfitzmann Berlin ; New York ; Tokyo : Springer-Verlag , c1996
1077 1101 Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat (eds.) Berlin : Springer , c1996
1078 1102 Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.) Berlin ; New York : Springer-Verlag , c1996
1079 1103 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.) Berlin ; Tokyo : Springer-Verlag , c1996
1080 1104 . Lecture notes in artificial intelligence Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.) Berlin ; New York : Springer , c1996
1081 1105 Computer aided systems theory - CAST '94 : 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers / Tuncer I. Ören, George J. Klir, (eds.) Berlin ; New York : Springer , c1996
1082 1106 Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher (eds.) Berlin ; New York : Springer , c1996
1083 1107 Object-based parallel and distributed computation : France-Japan workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers / Jean-Pierre Briot ... [et al.], (eds.) Berlin ; New York : Springer , c1996
1084 1108 Computer aided learning and instruction in science and engineering : Third International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996 : proceedings / A. Díaz de Ilarraza Sánchez, I. Fernández de Castro, (eds.) Berlin ; New York : Springer , c1996
1085 1109 Advances in cryptology, CRYPTO '96 : 16th annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 1996 : proceedings / Neal Koblitz (ed.) Berlin ; Tokyo : Springer , c1996
1086 1110 Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy, Robert Glück, Peter Thiemann (eds.) : gw. - Berlin : Springer , c1996
1087 1111 . Lecture notes in artificial intelligence Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira Berlin ; Tokyo : Springer , c1996
1088 1112 Artificial neural networks : ICANN 96 : 1996 International Conference, Bochum, Germany, July 16-19, 1996 : proceedings / C. von der Malsburg ... [et al.], (eds.) Berlin ; New York : Springer Verlag , c1996
1089 1113 Mathematical foundations of computer science 1996 : 21st International Symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings / Wojciech Penczek, Andrzej Szałas (eds.) Berlin ; Tokyo : Springer , c1996
1090 1114 . Lecture notes in artificial intelligence PRICAI '96 : topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996 : proceedings / Norman Foo, Randy Goebel, (eds.) Berlin : Springer , c1996
1091 1115 . Lecture notes in artificial intelligence Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / Peter W. Eklund, Gerard Ellis, Graham Mann, (eds.) Berlin : Springer , c1996
1092 1116 Management of telecommunication systems and services : modelling and implementing TMN-based multi-domain management / Jane Hall, (ed.) Berlin ; New York : Springer-Verlag , c1996
1093 1117 Parallel algorithms for irregularly structured problems : Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings / A. Ferreira ... [et al.], (eds.) Berlin ; Tokyo : Springer , c1996
1094 1118 Principles and practice of constraint programming -- CP 96 : Second International Conference, CP 96, Cambridge, MA, USA, August 19-22, 1996 : proceedings / Eugene C. Freuder (ed.) Berlin : Springer , c1996
1095 1119 CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari, Vladimiro Sassone, (eds.) Berlin : Springer , c1996
1096 1120 Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers / Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.) Berlin ; Tokyo : Springer , c1996
1097 1121 Advances in structural and syntactical pattern recognition : 6th International Workshop, SSPR '96, Leipzig, Germany, August 20-23, 1996 : proceedings / Petra Perner, Patrick Wang, Azriel Rosenfeld, (eds.) Berlin : Springer , c1996
1098 1122 Algorithmic number theory : Second International Symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings / Henri Cohen, (ed.) Berlin ; Tokyo : Springer , c1996
1099 1123-1124 Euro-Par'96 : parallel processing : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings / Luc Bougé ...[et al.] (eds.) v. 1,v. 2. - Berlin ; Tokyo : Springer , c1996
1100 1125 Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison, (eds.) Berlin ; Tokyo : Springer , c1996
1101 1126 . Lecture notes in artificial intelligence Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings / José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.) Berlin ; Tokyo : Springer , c1996
1102 1127 Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings / László Böszörményi (ed.) Berlin : Springer , c1996
1103 1128 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.) Berlin : Springer , c1996
1104 1129 Advanced functional programming : Second International School, Olympia, WA, USA, August 26-30, 1996 : tutorial text / John Launchbury, Erik Meijer, Tim Sheard, (eds.) Berlin ; Tokyo : Springer , c1996
1105 1130 Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.) Berlin ; Tokyo : Springer , c1996
1106 1131 Visualization in biomedical computing : 4th International Conference, VBC '96, Hamburg, Germany, September 22-25, 1996 : proceedings / Karl Heinz Höhne, Ron Kikinis (eds.) Berlin : Springer , c1996
1107 1132 The Data parallel programming model : foundations, HPF realization, and scientific applications / Guy-René Perrin, Alain Darte (eds.) Berlin : Springer , c1996
1108 1133 Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers / Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver (eds.) Berlin : Springer , c1996
1109 1134 Database and expert systems applications : 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996 : proceedings / Roland R. Wagner, Helmut Thoma (eds.) Berlin : Springer , c1996
1110 1135 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.) : gw. - Berlin : Springer , c1996
1111 1136 Algorithms--ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings / Josep Diaz, Maria Serna, (eds.) Berlin ; Tokyo : Springer , c1996
1112 1137 . Lecture notes in artificial intelligence KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings / Günther Görz, Steffen Hölldobler, (eds.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1996
1113 1138 Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings / Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.) Berlin ; Tokyo : Springer , c1996
1114 1139 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.) Berlin ; Tokyo : Springer , c1996
1115 1140 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen, S. Doaitse Swierstra (eds.) Berlin ; Tokyo : Springer , c1996
1116 1141 Parallel problem solving from nature-PPSN IV : International Conference on Evolutionary Computation, The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996 : proceedings / Hans-Michael Voigt ... [et al.], (eds.) Berlin : Springer , c1996
1117 1142 Field-programmable logic : smart applications, new paradigms, and compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23-25, 1996 : proceedings / Reiner W. Hartenstein, Manfred Glesner (eds.) Berlin ; Tokyo : Springer , c1996
1118 1143 Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers / Terence C. Fogarty (ed.) Berlin : Springer , c1996
1119 1144 Object representation in computer vision II : ECCV '96 International Workshop, Cambridge, U.K., April 13-14, 1996 : proceedings / Jean Ponce, Andrew Zisserman, Martial Hebert (eds.) Berlin : Springer , c1996
1120 1145 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.) Berlin : Springer , c1996
1121 1146 Computer security--ESORICS '96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings / Elisa Bertino ... [et al.], (eds.) Berlin : Springer , c1996
1122 1147 . Lecture notes in artificial intelligence Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings / Laurent Miclet, Colin de la Higuera (eds.) Berlin : Springer , c1996
1123 1148 Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers / Ming C. Lin, Dinesh Manocha (eds.) Berlin : Springer , c1996
1124 1149 Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.) Berlin : Springer , c1996
1125 1150 Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings / Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (eds.) Berlin : Springer , c1996
1126 1151 Distributed algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings / Özalp Babaoğlu, Keith Marzullo (eds.) Berlin : Springer , c1996
1127 1152 . Lecture notes in artificial intelligence Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers / Takeshi Furuhashi, Yoshiki Uchikawa, (eds.) Berlin : Springer-Verlag , c1996
1128 1153 Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-Septmber 1, 1995 : selected papers / Edmund Burke, Peter Ross, (eds.) Berlin : Springer , c1996
1129 1154 Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo (eds.) Berlin ; Tokyo : Springer , c1996
1130 1155 Broadband network traffic [i.e. teletraffic] : performance evaluation and design of broadband multiservice networks : final report of action COST 242 / James Roberts, Ugo Mocci, Jorma Virtamo (eds.) Berlin : Springer , c1996
1131 1156 Parallel virtual machine-EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings / Arndt Bode ... [et al.], (eds.) Berlin : Springer , c1996
1132 1157 Conceptual modeling-ER '96 : 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996 : proceedings / Bernhard Thalheim (ed.) Berlin : Springer , c1996
1133 1158 Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi, Mario Coppo, (eds.) Berlin ; New York : Springer , c1996
1134 1159 . Lecture notes in artificial intelligence Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings / Díbio L. Borges, Celso A.A. Kaestner, (eds.) Berlin ; New York : Springer , c1996
1135 1160 . Lecture notes in artificial intelligence Algorithmic learning theory : 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Setsuo Arikawa, Arun K. Sharma, (eds.) Berlin ; New York ; Tokyo : Springer , c1996
1136 1161 Trends in distributed systems : corba and beyond : International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996 : proceedings / Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer (eds.) Berlin : Springer , c1996
1137 1162 Job scheduling strategies for parallel processing : IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996 : proceedings / Dror G. Feitelson, Larry Rudolph, (eds.) Berlin : Springer , 1996
1138 1163 Advances in cryptology, ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996 : proceedings / Kwangjo Kim, Tsutomu Matsumoto (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
1139 1164 Managing information highways : the PRISM book: principles, methods, and case studies for designing telecommunications management systems / Kim Berquist, Andrew Berquist (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
1140 1165 Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (eds.) Berlin : Springer , c1996
1141 1166 Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.) Berlin : Springer , c1996
1142 1167 Software configuration management : ICSE '96 SCM-6 workshop, Berlin, Germany, March 25-26, 1996 : selected papers / Ian Sommerville (ed.) Berlin : Springer-Verlag , c1996
1143 1168 . Lecture notes in artificial intelligence Advances in case-based reasoning : Third European Workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings / Ian Smith, Boi Faltings, (eds.) Berlin : Springer-Verlag , c1996
1144 1169 Formal systems specification : the RPC-Memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.) Berlin : Springer , c1996
1145 1170 Building tightly integrated software development environments : the IPSEN approach / Manfred Nagl (ed.) Berlin : Springer , c1996
1146 1171 . Lecture notes in artificial intelligence Automatic ambiguity resolution in natural language processing : an empirical approach / Alexander Franz Berlin : Springer , c1996
1147 1172 Information security and privacy : First Australasian Conference, ACISP '96, Wollongong, NSW, Australia, June 24-26, 1996 : proceedings / Josef Pieprzyk, Jennifer Seberry (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
1148 1173 Efficient visual recognition using the Hausdorff distance / William Rucklidge Berlin ; Tokyo : Springer-Verlag , c1996
1149 1174 Information hiding : First International Workshop, Cambridge, U.K., May 30-June 1, 1996 : proceedings / Ross Anderson (ed.) Berlin : Springer-Verlag , c1996
1150 1175 SOFSEM '96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.) Berlin ; New York : Springer , c1996
1151 1176 Discrete geometry for computer imagery : 6th International Workshop, DGCI '96, Lyon, France, November 13-15, 1996 : proceedings / Serge Miguet, Annick Montanvert, Stéphane Ubéda (eds.) Berlin ; New York : Springer , c1996
1152 1177 . Lecture notes in artificial intelligence The design of intelligent agents : a layered approach / Jörg P. Müller Berlin : Springer , c1996
1153 1178 Algorithms and computation : 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996 : proceedings / Tetsuo Asano ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1996
1154 1179 Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, proceedings / Joxan Jaffar, Roland H.C. Yap (eds.) Berlin ; Tokyo : Springer , c1996
1155 1180 Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings / V. Chandru, V. Vinay (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
1156 1181 Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) Berlin : Springer-Verlag , c1996
1157 1182 Optimization of SQL queries for parallel machines / Waqar Hasan Berlin : Springer-Verlag , c1996
1158 1183 Database issues for data visualization : IEEE Visualization '95 Workshop, Atlanta, Georgia, USA, October 28, 1995 : proceedings / Andreas Wierse, Georges G. Grinstein, Ulrich Lang (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1996
1159 1184 Applied parallel computing : industrial computation and optimization : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996 : proceedings / Jerzy Waśniewski ... [et al.] (eds.) Berlin ; New York : Springer , c1996
1160 1185 Multimedia telecommunications and applications : Third International COST 237 Workshop, Barcelona, Spain, November 25-27, 1996 : proceedings / G. Ventre, J. Domingo-Pascual, A. Danthine (eds.) Berlin ; New York : Springer-Verlag , c1996
1161 1186 Database theory -- ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings / Foto Afrati, Phokion Kolaitis, (eds.) Berlin ; Tokyo : Springer , c1997
1162 1187 . Lecture notes in artificial intelligence Nonmonotonic logics : basic concepts, results, and techniques / Karl Schlechta Berlin : Springer , c1997
1163 1188 . Lecture notes in artificial intelligence Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers / Trevor P. Martin, Ance L. Ralescu (eds.) Berlin : Springer , c1997
1164 1189 Security protocols : International Workshop, Cambridge, United Kingdom, April 10-12, 1996, proceedings / Mark Lomas (ed.) Berlin : Springer , c1997
1165 1190 Graph drawing : Symposium on Graph Drawing, GD '96, Berkeley, California, USA, September 18-20, 1996, proceedings / Stephen North (ed.) Berlin : Springer , c1997
1166 1191 Constraint databases and applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, selected papers / V. Gaede ... [et al.], (eds.) Berlin : Springer , c1996
1167 1192 Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.) Berlin : Springer , c1997
1168 1193 . Lecture notes in artificial intelligence Intelligent agents III : agent theories, architectures, and languages : ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedings / Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings (eds.) Berlin : Springer , c1997
1169 1194 Evolution of parallel cellular machines : the cellular programming approach / Moshe Sipper Berlin ; Tokyo : Springer , c1997
1170 1195 . Lecture notes in artificial intelligence Creating personalities for synthetic actors : towards autonomous personality agents / Robert Trappl, Paolo Petta (eds.) Berlin ; New York : Springer-Verlag , c1997
1171 1196 Numerical analysis and its applications : first International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 : proceedings / Lubin Vulkov, Jerzy Waśniewski, Plamen Yalamov (eds.) Berlin : Springer-Verlag , c1997
1172 1197 Graph-theoretic concepts in computer science : 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996 : proceedings / Fabrizio d'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela (eds.) Berlin ; Tokyo : Springer , c1997
1173 1198 . Lecture notes in artificial intelligence Software agents and soft computing : towards enhancing machine intelligence : concepts and applications / Hyacinth S. Nwana, Nader Azarmi (eds.) Berlin ; Tokyo : Springer-Verlag , c1997
1174 1199 Communication and architectural support for network-based parallel computing : First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 : proceedings / Dhabaleswar K. Panda, Craig B. Stunkel, (eds.) Berlin ; Tokyo : Springer , c1997
1175 1200 STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings / Rüdiger Reischuk, Michel Morvan (eds.) Berlin ; Tokyo : Springer , c1997
1176 1201 Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler, (ed.) Berlin : Springer-Verlag , c1997
1177 1202 . Lecture notes in artificial intelligence Cooperative information agents : First International Workshop, CIA '97, Kiel, Germany, February 26-28, 1997 : proceedings / Peter Kandzia, Matthias Klusch, (eds.) Berlin ; Tokyo : Springer-Verlag , c1997
1178 1203 Algorithms and complexity : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997 : proceedings / Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Di Battista (eds.) Berlin : Springer-Verlag , c1997
1179 1204 Modular programming languages : Joint Modular Languages Conference JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings / Hanspeter Mössenböck, (ed.) Berlin : Springer-Verlag , c1997
1180 1205 CVRMed-MRCAS'97 : First Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery Grenoble, France, March 19-22, 1997, proceedings / Jocelyne Troccaz, Eric Grimson, Ralph Mösges (eds.) Berlin : Springer , c1997
1181 1206 Audio- and video-based biometric person authentication : first International Conference, AVBPA '97, Crans-Montana, Switzerland, March 12-14, 1997 : proceedings / Josef Bigün, Gérard Chollet, Gunilla Borgefors (eds.) Berlin ; Tokyo : Springer , c1997
1182 1207 Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.) Berlin ; Tokyo : Springer , c1997
1183 1208 . Lecture notes in artificial intelligence Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997, proceedings / Shai Ben-David (ed.) Berlin : Springer , c1997
1184 1209 . Lecture notes in artificial intelligence Intelligent agent systems : theoretical and practical issues : based on a workshop held at PRICAI '96, Cairns, Australia, August 26-30, 1996 / Lawrence Cavedon, Anand Rao, Wayne Wobcke, (eds.) Berlin : Springer , c1997
1185 1210 Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.) Berlin : Springer-Verlag , c1997
1186 1211 . Lecture notes in artificial intelligence Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings / Elpida Keravnou ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1997
1187 1212 ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.) Berlin ; New York : Springer , c1997
1188 1213 Evolutionary programming VI : 6th International Conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997 : proceedings / Peter J. Angeline ... [et al.] ; in cooperation with IEEE Neural Networks Council Berlin : Springer , c1997
1189 1214 TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit, Max Dauchet (eds.) Berlin ; New York ; Tokyo : Springer , c1997
1190 1215 Vector and parallel processing - VECPAR ʾ96 : Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25-27, 1996 : selected papers / José M.L.M. Palma, Jack Dongarra ,(eds.) Berlin ; Tokyo : Springer-Verlag , c1997
1191 1216 . Lecture notes in artificial intelligence Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.) : kart. - Berlin : Springer , c1997
1192 1217 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.) : pbk. - Berlin : Springer , c1997
1193 1218 New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa (eds.) : kart. - Berlin ; New York : Springer , c1997
1194 1219 Mobile agents : First International Workshop, MA '97, Berlin, Germany, April 7-8, 1997 : proceedings / Kurt Rothermel, Radu Popescu-Zeletin (eds.) : pbk. - Berlin : Springer , c1997
1195 1220 Input/output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems / Peter Brezany Berlin ; New York : Springer , c1997
1196 1221 . Lecture notes in artificial intelligence Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI '96 Workshop LDAIS, Budapest, Hungary, August 13, 1996 : ICMAS '96 Workshop LIOME, Kyoto, Japan, December 10, 1996 : selected papers / Gerhard Weiß (ed.) Berlin ; Heidelberg : Springer , c1997
1197 1222 Mobile object systems : towards the programmable internet : Second International Workshop, MOS '96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers / Jan Vitek, Christian Tschudin (eds.) Berlin ; New York : Springer , c1997
1198 1223 Energy minimization methods in computer vision and pattern recognition : International Workshop EMMCVPR '97, Venice, Italy, May 21-23, 1997 : proceedings / Marcello Pelillo, Edwin R. Hancock (eds.) : brosch. - Berlin : Springer , c1997
1199 1224 . Lecture notes in artificial intelligence Machine learning : ECML-97 : 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings / Maarten van Someren, Gerhard Widmer (eds.) : gw. - Berlin : Springer , c1997
1200 1225 High-performance computing and networking : International Conference and Exhibition, Vienna, Austria, April 28-30, 1997 : proceedings / Bob Hertzberger, Peter Sloot (eds.) : kart. - Berlin ; Tokyo : Springer , c1997
1201 1226 Computational intelligence : theory and applications : International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30 1997 : proceedings / Bernd Reusch (ed.) Berlin : Springer , c1997
1202 1227 . Lecture notes in artificial intelligence Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.) : kart. - Berlin ; Heidelberg : Springer , c1997
1203 1228 . Lecture notes in artificial intelligence Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf : kart. - Berlin ; Heidelberg : Springer , c1997
1204 1230 Information processing in medical imaging : 15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997 : proceedings / James Duncan, Gene Gindi, (eds.) Berlin ; New York : Springer-Verlag , c1997
1205 1231 Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings / Miquel Bertran, Teodor Rus, (eds.) Berlin ; New York : Springer , c1997
1206 1232 Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings / Hubert Comon (ed.) : pbk. - Berlin ; New York : Springer , c1997
1207 1233 Advances in cryptology, EUROCRYPT '97 : International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997 : proceedings / Walter Fumy (ed.) Berlin ; Tokyo : Springer , c1997
1208 1234 Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode, (eds.) Berlin ; New York : Springer-Verlag , c1997
1209 1235 Software configuration management : ICSE'97 SCM-7 workshops : Boston, MA, USA, May 18-19, 1997 proceedings / Reidar Conradi (ed.) Berlin : Springer-Verlag , c1997
1210 1237 . Lecture notes in artificial intelligence Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings / Magnus Boman, Walter Van de Velde (eds.) Berlin ; Tokyo : Springer , c1997
1211 1238 Intelligence in services and networks : technology for cooperative competition : Fourth International Conference on Intelligence in Services and Networks, IS&N '97, Cernobbio, Italy, May 27-29, 1997 : proceedings / Al Mullery ... [et al.] (eds.) Berlin ; New York : Springer-Verlag , c1997
1212 1240 Biological and artificial computation : from neurosciene to technology : International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997 : proceedings / José Mira, Roberto Moreno-Díaz, Joan Cabestany (eds.) Berlin ; New York : Springer-Verlag , c1997
1213 1241 ECOOP'97 - object-oriented programming : 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings / Mehmet Akşit, Satoshi Matsuoka (eds.) : pbk. - Berlin ; New York : Springer-Verlag , c1997
1214 1242 Multimedia applications, services, and techniques : ECMAST '97, Second European Conference, Milan, Italy, May 21-23, 1997 : proceedings / Serge Fdida, Michele Morganti (eds.) : pbk. - Berlin ; New York : Springer , c1997
1215 1244 . Lecture notes in artificial intelligence Qualitative and quantitative practical reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings / Dov M. Gabbay ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1997
1216 1245 Computer performance evaluation : modelling techniques and tools : 9th International Conference, St. Malo, France, June 3-6, 1997 : proceedings / Raymond Marie ... [et al.] (eds.) : pbk. - Berlin ; New York : Springer , c1997
1217 1251 Reliable software technologies, Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings / Keith Hardy, Jim Briggs, (eds.) Berlin ; New York : Springer , c1997
1218 1261 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.) Berlin : Springer , c1997
1219 1275 Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / Elsa L. Gunter, Amy Felty (eds.) Berlin ; Heidelberg : Springer , c1997
1220 1317. Lecture notes in artificial intelligence Music, gestalt, and computing : studies in cognitive and systematic musicology / Marc Leman (ed.) Berlin : Springer , c1997
1221 1333 Computer aided systems theory - EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997 : proceedings / Franz Pichler, Roberto Moreno-Díaz, (Eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1997
1222 1351-1352 Computer vision, ACCV '98 : Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, proceedings / Roland Chin, Ting-Chuen Pong (eds.) v. 1,v. 2. - Berlin ; New York : Springer , c1997
1223 1365 . Lecture notes in artificial intelligence Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings / Munindar P. Singh, Anand Rao, Michael J. Wooldridge (eds.) Berlin ; Tokyo : Springer , c1998
1224 1386 Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings / Thomas A. Henzinger, Shankar Sastry (eds.) Berlin ; New York : Springer-Verlag , c1998
1225 1395 . Lecture notes in artificial intelligence RoboCup-97 : robot soccer World Cup I / Hiroaki Kitano, ed : pbk. - Berlin ; Tokyo : Springer , c1998
1226 1400 . Lecture notes in artificial intelligence Case-based reasoning technology : from foundations to applications / Mario Lenz ... [et al.] eds Berlin ; Tokyo : Springer , c1998
1227 1412 Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings / Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (eds.) Berlin ; New York : Springer , c1998
1228 1414 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.) Berlin ; Tokyo : Springer , c1998
1229 1423 Algorithmic number theory : third international symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998 : proceedings / J.P. Buhler (ed.) Berlin : Springer , 1998
1230 1449 Computing and combinatorics : 4th Annual International Conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings / Wen-Lian Hsu, Ming-Yang Kao, (eds.) Berlin : Springer , c1998
1231 1450 Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS '98, Brno, Czech Republic, August 24-28, 1998 : proceedings / Luboš Brim, Jozef Gruska, Jiří Zlatuška (eds.) Berlin : Springer , c1998
1232 1555 . Lecture notes in artificial intelligence Intelligent agents V : agent theories, architectures, and languages : 5th International Workshop, ATAL'98 : Paris, France, July 4-7, 1998 : proceedings / Jörg P. Müller, Munindar P. Singh, Anand S. Rao (eds.) Berlin ; New York : Springer , c1999
1233 1589 Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.) Berlin ; New York : Springer , c1999
1234 1600 . Lecture notes in artificial intelligence Artificial intelligence today : recent trends and developments / Michael J. Wooldridge, Manuela Veloso, (eds.) Berlin ; New York : Springer , c1999
1235 1607 . International Work-Conference on Artificial and Natural Neural Networks, IWANN '99 : Alicante, Spain, June 2-4, 1999 : proceedings ; v. 2 Engineering applications of bio-inspired artificial neural networks / José Mira, Juan V. Sánchez-Andrés (eds.) Berlin : Springer , c1999
1236 1616 Meta-level architectures and reflection : Second International Conference, Reflection'99 : Saint-Malo, France, July 19-21, 1999 : proceedings / Pierre Cointe (ed.) Berlin ; Tokyo : Springer-Verlag , c1999
1237 1618 The unified modeling language : 《UML》 '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers / Jean Bézivin, Pierre-Alain Muller (eds.) Berlin ; Tokyo : Springer-Verlag , c1999
1238 1625 Computational intelligence : theory and applications : International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999 : proceedings / Bernd Reusch (ed.) Berlin ; New York : Springer , c1999
1239 1627 Computing and combinatorics : 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999 : proceedings / Takao Asano ... [et al.] (eds.) Berlin ; New York : Springer , c1999
1240 1631 Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.) Berlin ; New York : Springer , c1999
1241 1632 . Lecture notes in artificial intelligence Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.) Berlin ; New York : Springer , c1999
1242 1633 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.) Berlin ; Tokyo : Springer-Verlag , c1999
1243 1641 Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.] (eds.) Berlin : Springer , c1999
1244 1645 Combinatorial pattern matching : 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 : proceedings / Maxime Crochemore, Mike Paterson (eds.) Berlin ; Tokyo : Springer , c1999
1245 1664 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings / Jos C.M. Baeten, Sjouke Mauw (eds.) Berlin : Springer , c1999
1246 1666 Advances in cryptology, CRYPTO '99 : 19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999 : proceedings / Michael Wiener (ed.) Berlin ; Tokyo : Springer , c1999
1247 1672 Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS '99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.) Berlin : Springer , c1999
1248 1673 Field programmable logic and applications : 9th International Workshop, FPL '99, Glasgow, UK, August 30 - September 1, 1999 : proceedings / Patrick Lysaght, James Irvine, Reiner Hartenstein (eds.) Berlin : Springer-Verlag , c1999
1249 1678 Spatio-temporal database management : International Workshop STDBM '99, Edinburgh, Scotland, September 10-11, 1999 : proceedings / Michael H. Böhlen, Christian S. Jensen, Michel O. Scholl (eds.) Berlin : Springer , c1999
1250 1684 Fundamentals of computation theory : 12th International Symposium, FCT '99, Iaşi, Romania, August 30 - September 3, 1999 : proceedings / Gabriel Ciobanu, Gheorghe Păun (eds.) Berlin ; Tokyo : Springer , c1999
1251 1711 . Lecture notes in artificial intelligence New directions in rough sets, data mining, and granular-soft computing, 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 : proceedings / Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.) Berlin ; Tokyo : Springer , c1999
1252 1769 Performance evaluation : origins and directions / Günter Haring, Christoph Lindemann, Martin Reiser (eds.) Berlin : Springer , c2000
1253 1786 Computer performance evaluation : modelling techniques and tools : 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings / Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.) Berlin : Springer , c2000
1254 1806 Business process management : models, techniques, and empirical studies / Wil van der Aalst, Jörg Desel, Andreas Oberweis (eds.) Berlin : Springer , c2000
1255 1828 . Lecture notes in artificial intelligence Sequence learning : paradigms, algorithms, and applications / Ron Sun, C. Lee Giles (eds.) Berlin ; New York : Springer , c2001
1256 1916 . Lecture notes in artificial intelligence Issues in agent communication / Frank Dignum, Mark Greaves (eds.) Berlin : Springer , c2000
1257 1919 . Lecture notes in artificial intelligence Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego ... [et al.] (eds.) Berlin : Springer , c2000
1258 1979 . Lecture notes in artificial intelligence Multi-agent-based simulation : second international workshop, MABS 2000, Boston, MA, USA, July : revised and additional papers / Scott Moss, Paul Davidsson (eds.) Berlin ; New York : Springer , c2001
1259 2047 Performance engineering : state of the art and current trends / Reiner Dumke ... [et al.] (eds.) Berlin : Springer , c2001
1260 2198 . Lecture notes in artificial intelligence Web intelligence : research and development : First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001 : proceedings / Ning Zhong ... [et al.] (eds.) Berlin : Springer , c2001
1261 2251 Wavelet analysis and its applications : Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001 : proceedings / Yuan Y. Tang ... [et al.] (eds.) Berlin : Springer , c2001
1262 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.) Berlin : Springer , c2002
1263 2340 DNA computing : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001 : revised papers / Nataša Jonoska, Nadrian C. Seeman (eds.) Berlin : Springer , c2002
1264 2407-2408 . Lecture notes in artificial intelligence Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.) Part I,Part II. - Berlin : Springer , c2002
1265 2410 Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings / Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.) Berlin : Springer , c2002
1266 2420 Mathematical foundations of computer science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings / Krzysztof Diks, Wojciech Rytter (eds.) Berlin : Springer , c2002
1267 2452 Algorithms in bioinformatics : Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002 : proceedings / Roderic Guigó, Dan Gusfield (eds.) Berlin ; Tokyo : Springer , c2002
1268 2471 Computer science logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings / Julian Bradfield (ed.) Berlin ; Tokyo : Springer , c2002
1269 2509 Unconventional models of computation : Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings / Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper (eds.) Berlin ; Tokyo : Springer , c2002
1270 2685 . Lecture notes in artificial intelligence Spatial cognition III : routes and navigation, human memory and learning, spatial representation and spatial learning / Christian Freksa ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
1271 2770 Digital rights management : technological, economic, legal and political aspects / Eberhard Becker ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
1272 3146 Computational neuroscience : cortical dynamics : 8th International Summer School on Neural Nets Erice, Italy, October 31-November 6, 2003 : revised lectures / Péter Érdi ... [et al.] (eds.) Berlin : Springer , c2004
1273 3857 Applied algebra, algebraic algorithms and error-correcting codes : 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, proceedings / Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli (eds.) Berlin : Springer , c2006
1274 4012 . Lecture notes in artificial intelligence New frontiers in artificial intelligence : Joint JSAI 2005 Workshop post-proceedings / Takashi Washio ... [et al.] (eds.) Berlin : Springer , c2006
1275 4341 Progress in Cryptology - VIETCRYPT 2006 : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006 : revised selected papers / Phong Q. Nguyen (ed.) Berlin : Springer , c2006
1276 4512 Active conceptual modeling of learning : next generation learning-base system development / Peter P. Chen, Leah Y. Wong pbk.. - Berlin : Springer , c2007
1277 4845 . Lecture notes in artificial intelligence Web Intelligence Meets Brain Informatics : First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006 : revised selected and invited papers / Ning Zhong ... [et al.] (eds.) Berlin : Springer , c2007
1278 5000 25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.) Berlin : Springer , c2008
1279 . Lecture notes in artificial intelligence ; 5223 Diagrammatic representation and inference : 5th international conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008 : proceedings / Gem Stapleton, John Howse, John Lee (eds.) : [pbk.]. - Berlin : Springer , c2008
1280 5363 Formal theories of information : from Shannon to semantic information theory and general concepts of information / Giovanni Sommaruga (ed.) Berlin : Springer , c2009
1281 v. 6042 . Lecture notes in artificial intelligence Logic, language and meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009 : revised selected papers / Maria Aloni ... [et al.] (eds.) Berlin : Springer , c2010
1282 6245 . Lecture notes in artificial intelligence Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings / Jürgen Dix ... [et al. ] (eds.) Berlin : Springer , c2010
1283 6529 Human-computer interaction, tourism and cultural heritage : first international workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010 : revised selected papers / Francisco V. Cipolla Ficarra ... [et al.] (eds.) : pbk.. - Berlin ; Heidelberg : Springer , c2011
1284 . Lecture notes in artificial intelligence ; 6618 Logic, language and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers / Nick Bezhanishvili ... [et al.] (eds.) Heidelberg : Springer , c2011
1285 6953 . Lecture notes in artificial intelligence Logic, rationality, and interaction : Third international workshop, LORI 2011 Guangzhou, China, October 10-13, 2011 proceedings / Hans van Ditmarsch, Jerome Lang, Shier Ju pbk.. - Berlin : Springer , 2011
1286 7546 Human-computer interaction, tourism and cultural heritage : second international workshop, HCITOCH 2011, Córdoba, Argentina, September 14-15, 2011 : revised selected papers / Francisco Cipolla-Ficarra ... [et al.] (eds.) : [pbk]. - Heidelberg : Springer , c2012
1287 8196 Logic, rationality, and interaction : 4th international workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings / Davide Grossi, Olivier Roy, Huaxin Huang (eds.) Berlin ; Heidelberg : Springer , c2013
1288 10455 Logic, rationality, and interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings / Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada (eds.) Berlin : Springer , c2017

 Similar Items