このページのURL

この文献を取り寄せる

<図書>
Lecture notes in computer science

出版者 Berlin ; Tokyo : Springer-Verlag
本文言語 Undetermined〔言語名不明〕
書誌ID 1000000927
NCID BA00009279 WCLINK

子書誌情報を非表示

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 1 GI : Gesellschaft für Informatik e. V. 3. Jahrestagung, Hamburg, 8-10. Oktober 1973. Hrsg. im Auftrag der Gesellscahft für Informatik von Wilfried Brauer/ G. Goos and J. Hartmanis Berlin : Springer , 1973
3 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
4 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
5 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
6 6 Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.] : Berlin,: New York. - 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
7 6 Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
8 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
9 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
10 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
11 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
12 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
13 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
14 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
15 15 L systems / edited by Grzegorz Rozenberg and Arto Salomaa : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
16 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
17 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
18 18 PASCAL : user manual and report / Kathleen Jensen, Niklaus Wirth : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
19 18 PASCAL : user manual and report / Kathleen Jensen, Niklaus Wirth : gw,: us. - Corr. reprint of the 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
20 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
21 20 Simple program schemes and formal languages / Joost Engelfriet : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
22 21 Compiler construction : an advanced course / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and J. Eickel : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
23 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
24 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
25 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
26 24 Parallel processing : proceedings of the Sagamore Computer Conference, August 20-23, 1974 / edited by Tse-yun Feng : gw,: us. - Berlin : Springer-Verlag , 1975
27 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
28 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
29 27 Optimization techniques : IFIP Technical Conference, Novosibirsk, July 1-7, 1974 / edited by G.I. Marchuk : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
30 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
31 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
32 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
33 31 Analysis of drum and disk storage units / Samuel H. Fuller : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
34 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
35 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
36 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
37 35 Exercises in computer systems analysis / W. Everling : gw,: us. - Corrected reprint of the 1st ed. - Berlin ; New York : Springer-Verlag , 1975
38 36 Theory of program structures : schemes, semantics, verification / Sheila A. Greibach : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
39 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
40 38 An Optimized translation process and its application to ALGOL 68 / P. Branquart ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
41 39 Data base systems : proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 24-26, 1975 / edited by H. Hasselmeier and W.G. Spruth : gw,: us. - Berlin ; New York : Springer Verlag , 1976
42 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
43 42 Complementary definitions of programming language semantics / James E. Donahue : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
44 43 Komplexität von Entscheidungsproblemen : ein Seminar / Ernst Specker, Volker Strassen : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
45 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
46 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
47 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
48 47 Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
49 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
50 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
51 50 A Concurrent Pascal compiler for minicomputers / Alfred C. Hartmann : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
52 51 Matrix eigensystem routines : EISPACK guide extension / B.S. Garbow ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
53 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
54 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
55 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
56 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
57 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
58 57 Portability of numerical software : workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell : gw,: us. - Berlin : Springer-Verlag , 1977
59 58 Computing in systems described by equations / Michael J. O'Donnell : gw,: us. - Berlin ; New York : Springer-Verlag , 1977
60 59 A comparative study of very large data bases / Edward Hill, Jr : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
61 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
62 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
63 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
64 63 Natural language communication with computers / edited by Leonard Bolc : gw,: us. - Berlin ; New York : Springer-Verlag , 1978
65 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
66 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
67 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
68 67 Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
69 68 First-order dynamic logic / David Harel : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1979
70 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
71 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
72 71 Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer : gw,: us. - Berlin : Springer-Verlag , 1980
73 71 Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer : gw,: us. - Berlin : Springer-Verlag , 1979
74 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
75 73 Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
76 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
77 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
78 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
79 77 Architecture of distributed computer systems / Gregor v. Bochmann : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
80 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
81 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
82 80 Pictorial information systems / edited by S.K. Chang and K.S. Fu : gw,: us. - Berlin : Springer-Verlag , c1980
83 81 Data base techniques for pictorial applications, Florence, June 20-22, 1979 / edited by A. Blaser : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
84 82 A relational theory of computing / John G. Sanderson : gw,: us. - Berlin : Springer-Verlag , 1980
85 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
86 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
87 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
88 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
89 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
90 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
91 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
92 90 Using sophisticated models in resolution theorem proving / David M. Sandford : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
93 91 Grammar and L forms : an introduction / Derick Wood : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
94 92 A calculus of communicating systems / Robin Milner : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
95 93 Context-free grammars : covers, normal forms, and parsing / Anton Nijholt : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
96 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
97 95 Coroutines : a programming methodology, a language design and an implementation / Christopher D. Marlin : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
98 96 Computer programs for spelling correction : an experiment in program design / James L. Peterson : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
99 97 Reliability evaluation of some fault-tolerant computer architectures / Shunji Osaki, Toshihiko Nishio : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
100 98 Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest : gw,: us. - Berlin : Springer-Verlag , 1980
101 99 Algebraic semantics / Irène Guessarian : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
102 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
103 101 Boolean calculus of differences / André Thayse : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
104 102 On the integration of algebraic functions / James Harold Davenport : gw,: us. - Berlin ; New York : Springer , 1981
105 103 Directions in human factors for interactive systems / Henry Ledgard, Andrew Singer, John Whiteside : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
106 104 Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
107 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
108 106 The Programming language Ada : reference manual / proposed standard document, United States Department of Defense : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981
109 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
110 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
111 109 Digital image processing systems / edited by Leonard Bolc and Zenon Kulpa : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
112 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
113 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
114 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
115 113 Stochastic automata : stability, nondeterminism, and prediction / Ernst-Erich Doberkat : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
116 114 CLU reference manual / Barbara Liskov ... [et al.] : gw,: us. - Berlin ; New York : Springer , 1981
117 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
118 116 The concurrency control problem for database systems / Marco Antonio Casanova : Berlin,: New York. - Berlin ; New York : Springer , 1981
119 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
120 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
121 119 Anaphora in natural language understanding : a survey / Graeme Hirst : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
122 120 Automatic differentiation : techniques and applications / Louis B. Rall : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
123 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
124 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
125 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
126 124 Compiler specification and verification / Wolfgang Polak : gw,: us. - Berlin ; New York : Springer-Verlag , 1981
127 125 Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler : gw,: us. - Berlin ; Tokyo : Springer , 1981
128 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
129 126 Microcomputer system design : an advanced course / M.J. Flynn ... [et al.] ; edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy : U.S.,: Germany. - Berlin ; New York : Springer-Verlag , 1984
130 127 Alternating sequential/parallel processing / Y. Wallach : gw,: us. - Berlin ; New York : Springer , 1982
131 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
132 129 Verifying concurrent processes using temporal logic / Brent T. Hailpern : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
133 130 Axiomatising the logic of computer programming / Robert Goldblatt : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
134 131 Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen : gw,: us. - Berlin : Springer-Verlag , 1982
135 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
136 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
137 134 Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup : gw,: us. - Berlin : Springer-Verlag , 1982
138 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
139 136 Group-theoretic algorithms and graph isomorphism / Christoph M. Hoffmann : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
140 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
141 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
142 139 An Attribute grammar for the semantic analysis of ADA / J. Uhl ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1982
143 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
144 141 GAG, a practical compiler generator / Uwe Kastens, Brigitte Hutt, Erich Zimmermann : gw,: us. - Berlin ; New York : Springer , 1982
145 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
146 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 U.S.,Ger.. - Berlin ; New York : Springer-Verlag , 1982
147 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
148 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
149 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
150 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
151 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
152 148 Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki : gw,: us. - Berlin : Springer-Verlag , 1983
153 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
154 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
155 151 CONLAN report / R. Piloty ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
156 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
157 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
158 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
159 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
160 156 The design of dynamic data structures / Mark H. Overmars : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
161 157 Direct methods for sparse matrices / Ole Østerby, Zahari Zlatev : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
162 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
163 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
164 160 The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa : gw,: us. - Berlin ; New York : Springer-Verlag , 1983
165 161 DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.] : gw,: us. - Rev. version. - Berlin ; New York : Springer-Verlag , 1983
166 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
167 163 VLSI engineering : beyond software engineering / edited by Tosiyasu L. Kunii : gw,: us,: ja. - Berlin ; Tokyo : Springer-Verlag , 1984
168 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
169 165 Large sparse numerical optimization / Thomas F. Coleman : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
170 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
171 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
172 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
173 169 Feedback shift registers / Christian Ronse : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
174 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
175 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
176 172 Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 / edited by Jan Paredaens : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
177 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
178 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
179 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
180 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
181 177 Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
182 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
183 179 How to multiply matrices faster / Victor Pan : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
184 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
185 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
186 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
187 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
188 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
189 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
190 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
191 187 Time series package (TSPACK) / François S. Chaghaghi : gw,: us. - Berlin ; New York : Springer , 1985
192 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
193 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
194 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
195 191 A Survey of verification techniques for parallel programs / Howard Barringer : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
196 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
197 193 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
198 194 Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
199 195 A hierarchical associative processing system / Heinrich J. Stüttgen : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
200 196 Advances in cryptology : proceedings of CRYPTO 84 / edited by G.R. Blakley and David Chaum : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
201 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
202 198 PORTAL language description / Arnold Businger : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
203 198 PORTAL language description / Arnold Businger : gw,: us. - 2nd extended ed. - Berlin ; Tokyo : Springer-Verlag , c1988
204 199 Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 / edited by Lothar Budach : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
205 200 Trace theory and VLSI design / Jan L.A. van de Snepscheut : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
206 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
207 202 Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
208 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
209 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
210 205 A study in string processing languages / Paul Klint : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
211 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
212 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
213 208 Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
214 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
215 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
216 211 Complexity and structure / Uwe Schöning : gw,: us. - Berlin ; New York : Springer-Verlag , c1986
217 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
218 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
219 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
220 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
221 216 LUCAS associative array processor : design, programming, and application studies / Christer Fernstrom, Ivan Kruzela, Bertil Svensson : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
222 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
223 218 Advances in cryptology -- CRYPTO '85 : proceedings / edited by Hugh C. Williams : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
224 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
225 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
226 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
227 222 Advances in Petri nets 1985 / edited by G. Rozenberg : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
228 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
229 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
230 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
231 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
232 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
233 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
234 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
235 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
236 231 NEWCAT : parsing natural language using left-associative grammar / Roland Hausser : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
237 232 Fundamentals of artificial intelligence : an advanced course / edited by W. Bibel and Ph. Jorrand : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
238 232 Fundamentals of artificial intelligence : an advanced course / W. Bibel ... [et al.] ; edited by W. Bibel and Ph. Jorrand : U.S.,: Germany. - Springer study edition. - Berlin ; Tokyo : Springer-Verlag , c1987
239 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
240 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
241 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
242 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
243 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
244 238 Negation and control in Prolog / Lee Naish : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
245 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
246 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
247 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
248 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
249 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
250 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
251 245 Lectures on the complexity of bilinear problems / H.F. de Groote : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
252 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
253 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
254 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
255 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
256 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
257 251 Unobstructed shortest paths in polyhedral environments / Varol Akman : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
258 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
259 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
260 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
261 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
262 256 Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
263 257 Database machine performance : modeling methodologies and evaluation strategies / edited by Francesca Cesarini and Silvio Salza : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
264 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
265 260 ANNA : a language for annotating Ada programs : reference manual / David C. Luckham ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
266 261 Translating relational queries into iterative programs / Johann Christoph Freytag : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
267 262 A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
268 263 Advances in cryptology -- CRYPTO '86 : proceedings / A.M. Odlyzko (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
269 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
270 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
271 266 Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
272 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
273 268 Constrained global optimization : algorithms and applications / P.M. Pardalos, J.B. Rosen : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
274 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
275 270 Computation theory and logic / Egon Börger (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
276 271 From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
277 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
278 273 A connotational theory of program structure / James S. Royer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
279 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
280 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
281 276 ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings / J. Bézivin ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
282 277 Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
283 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
284 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
285 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
286 281 Trends, techniques, and problems in theoretical computer science : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 : selected contributions / Alica Kelemenová, Jozef Kelemen (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
287 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
288 283 Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
289 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
290 285 Semantics of digital circuits / Carlos Delgado Kloos : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
291 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
292 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
293 288 MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
294 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
295 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
296 291 Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 / H. Ehrig ... [et al.] (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
297 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
298 293 Advances in cryptology -- CRYPTO '87 : proceedings / Carl Pomerance (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
299 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
300 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
301 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
302 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
303 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
304 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
305 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
306 301 Pattern recognition : 4th international conference, Cambridge, U.K., March 28-30, 1988 : proceedings / J. Kittler (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
307 302 Attribute grammar inversion and source-to-source translation / Daniel M. Yellin : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
308 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
309 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
310 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
311 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
312 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
313 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
314 309 Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings / J. Nehmer (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
315 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
316 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
317 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
318 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
319 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
320 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
321 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
322 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
323 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
324 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
325 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
326 321 Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
327 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
328 323 Attribute grammars : definitions, systems and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
329 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
330 325 Modern cryptology : a tutorial / Gilles Brassard : gw,: us. - New York ; Tokyo : Springer-Verlag , c1988
331 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
332 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
333 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
334 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
335 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
336 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
337 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
338 333 Computational geometry and its applications : CG '88, International Workshop on Computational Geometry, Würzburg, FRG, March 24-25, 1988 : proceedings / Hartmut Noltemeier (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
339 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
340 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
341 336 Error detection and recovery in robotics / Bruce R. Donald : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
342 337 Efficient structures for geometric data management / Oliver Günther : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
343 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
344 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
345 340 Advances in Petri nets 1988 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
346 341 Software reliability modelling and identification / Sergio Bittanti (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
347 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
348 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
349 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
350 345 . Lecture notes in artificial intelligence Advanced topics in artificial intelligence : 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28-August 7, 1987 / Rolf T. Nossum (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
351 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
352 347 . Lecture notes in artificial intelligence Knowledge representation and organization in machine learning / K. Morik (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
353 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
354 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
355 350 Global optimization / Aimo Törn, Antanas Žilinskas : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
356 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
357 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
358 353 . Lecture notes in artificial intelligence Foundations of equational logic programming / Steffen Hölldobler : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
359 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
360 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
361 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
362 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
363 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
364 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
365 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
366 361 Nested relations and complex objects in databases / S. Abiteboul, P.C. Fischer, H.-J. Schek (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
367 362 Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
368 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
369 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
370 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
371 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
372 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
373 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
374 369 Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
375 370 Modified branching programs and their computational power / Christoph Meinel : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
376 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
377 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
378 373 Algorithms for parallel polygon rendering / T. Theoharis : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
379 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
380 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
381 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
382 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
383 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
384 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
385 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
386 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
387 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
388 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
389 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
390 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
391 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
392 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
393 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
394 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
395 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
396 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
397 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
398 393 Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.], (eds.) : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1989
399 394, 490 Algebraic methods : theory, tools and applications / M. Wirsing, J.A. Bergstra, eds [1] : gw - 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1989-c1991
400 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
401 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
402 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
403 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
404 399 Recent issues in pattern analysis and recognition / V. Cantoni ... [et al.], (eds.) : gw,: us. - New York ; Berlin ; Tokyo : Springer-Verlag , c1989
405 400 Concrete and abstract Voronoi diagrams / Rolf Klein : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
406 401 Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2, 1989 : proceedings / H. Djidjev (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
407 402 Interactive relational database design : a logic programming implementation / Tapan P. Bagchi, Vinay K. Chaudhri : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
408 403 Advances in cryptology--CRYPTO '88, proceedings / S. Goldwasser (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
409 404 Concepts, design, and performance analysis of a parallel Prolog machine / Joachim Beer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
410 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
411 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
412 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
413 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
414 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
415 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
416 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
417 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
418 413 Group theoretical methods in image processing / Reiner Lenz : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
419 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
420 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
421 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
422 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
423 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
424 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
425 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
426 421 A formal model of visualization in computer graphics systems / Tamiya Onodera, Satoru Kawai : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
427 422 . Lecture notes in artificial intelligence Reasoning and revision in hybrid representation systems / Bernhard Nebel : gw,: us. - Berlin ; Tokyo : Springer Verlag , c1990
428 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
429 424 Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
430 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
431 426 SIL, a simulation language : user's guide / Niels Houbak : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
432 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
433 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
434 429 Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
435 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
436 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
437 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
438 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
439 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
440 435 Advances in cryptology--CRYPTO '89 : proceedings / G. Brassard (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
441 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
442 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
443 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
444 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
445 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
446 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
447 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
448 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
449 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
450 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
451 446 . Lecture notes in artificial intelligence Termination proofs for logic programs / Lutz Plümer : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
452 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
453 448 Fault-tolerant distributed computing / B. Simons, A. Spector (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
454 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
455 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
456 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
457 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
458 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
459 454 Combinatorics on traces / Volker Diekert : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
460 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
461 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
462 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
463 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
464 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
465 460 A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
466 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
467 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
468 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
469 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
470 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
471 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
472 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
473 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
474 469 Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
475 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
476 471 Efficient query processing in geographic information systems / Beng Chin Ooi : gw,: us. - Berlin ; New York : Springer-Verlag , c1990
477 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
478 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
479 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
480 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
481 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
482 483 Advances in Petri nets 1990 / Grzegorz Rozenberg, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
483 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
484 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
485 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
486 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
487 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
488 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
489 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
490 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
491 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
492 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
493 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
494 500 On the computational geometry of pocket machining / Martin Held : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
495 502 Baltic computer science : selected papers / J. Bārzdiṇš, D. Bjørner, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
496 503 Parallel database systems : PRISMA workshop, Noordwijk, The Netherlands, September 24-26, 1990 : proceedings / Pierre America, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
497 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
498 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
499 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
500 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
501 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
502 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
503 513 . Lecture notes in artificial intelligence An approach to knowledge base management / Nelson Mendonça Mattos : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
504 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
505 517 . Lecture notes in artificial intelligence Temporally distributed symptoms in technical diagnosis / K. Nökel : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
506 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
507 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
508 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
509 524 Advances in Petri nets 1991 / G. Rozenberg, (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
510 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
511 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
512 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
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 530 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings / D.H. Pitt ... [et al.], (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
515 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
516 532 Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
517 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
518 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
519 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
520 537 Advances in cryptology--CRYPTO '90 : proceedings / A.J. Menezes, S.A. Vanstone, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
521 538 A Unified approach to interior point algorithms for linear complementarity problems / M. Kojima ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
522 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
523 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
524 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
525 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
526 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
527 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
528 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
529 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
530 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
531 559 Fundamental algorithms for permutation groups / G. Butler : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
532 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
533 561 The stability theory of stream ciphers / C. Ding, G. Xiao, W. Shan : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
534 562 Algebraic specification techniques in object oriented programming environments / R. Breu : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
535 564 The use of projective geometry in computer graphics / I. Herman : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
536 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
537 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
538 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
539 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
540 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
541 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
542 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
543 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
544 576 Advances in cryptology--CRYPTO '91 : proceedings / J. Feigenbaum (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992
545 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
546 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
547 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
548 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
549 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
550 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
551 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
552 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
553 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
554 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
555 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
556 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
557 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
558 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
559 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
560 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
561 606 Axioms and hulls / D.E. Knuth : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
562 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
563 609 Advances in Petri nets 1992 / G. Rozenberg, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
564 610 . Lecture notes in artificial intelligence Coordinating plans of autonomous agents / F. von Martial : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
565 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
566 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
567 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
568 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
569 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
570 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
571 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
572 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
573 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
574 625 Modular construction and partial order semantics of Petri Nets / W. Vogler : us,: gw. - Berlin ; New York : Springer-Verlag , c1992
575 628 Relational matching / G. Vosselman : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
576 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
577 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
578 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
579 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
580 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
581 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
582 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
583 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
584 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
585 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
586 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
587 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
588 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
589 656 Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.) : gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1993
590 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
591 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
592 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
593 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
594 662 Filtering, segmentation, and depth / M. Nitzberg, D. Mumford, T. Shiota : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
595 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
596 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
597 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
598 674 Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
599 675 Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
600 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
601 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
602 681 . Lecture notes in artificial intelligence The logic of information structures / Heinrich Wansing : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
603 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
604 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
605 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
606 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
607 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
608 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
609 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
610 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
611 704 The design of an extendible graph editor / Frances Newbery Paulisch : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
612 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
613 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
614 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
615 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
616 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
617 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
618 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
619 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
620 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
621 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
622 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
623 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
624 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
625 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
626 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
627 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
628 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
629 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
630 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
631 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
632 732 Parallel computer architectures : theory, hardware, software, applications / Arndt Bode, Mario Dal Cin (eds.) : us,: gw. - Berlin ; New York : Springer-Verlag , c1993
633 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
634 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
635 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
636 738 The generic development language Deva : presentation and case studies / Matthias Weber, Martin Simons, Christine Lafontaine : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
637 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
638 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
639 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
640 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
641 746 . Lecture notes in artifical intelligence Artificial perception and music recognition / Andranick S. Tanguiane : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
642 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
643 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
644 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
645 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
646 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
647 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
648 756 Design of hashing algorithms / Josef Pieprzyk, Babak Sadeghiyan : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
649 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
650 758 Towards dynamic randomized algorithms in computational geometry / Monique Teillaud : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1993
651 759 Advanced database systems / Nabil R. Adam, Bharat K. Bhargava, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
652 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
653 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
654 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
655 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
656 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
657 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
658 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
659 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
660 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
661 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
662 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
663 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
664 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
665 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
666 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
667 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
668 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
669 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
670 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
671 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
672 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
673 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
674 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
675 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
676 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
677 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
678 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
679 840 The traveling salesman : computational solutions for TSP applications / Gerhard Reinelt : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
680 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
681 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
682 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
683 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
684 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
685 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
686 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
687 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
688 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
689 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
690 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
691 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
692 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
693 891 Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner (eds.) Berlin ; Tokyo : Springer-Verlag , c1995
694 899 Evolution and biocomputation : computational models of evolution / Wolfgang Banzhaf, Frank H. Eeckman (eds.) Berlin : Springer , c1995
695 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
696 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
697 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
698 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
699 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
700 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
701 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
702 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
703 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
704 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
705 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
706 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
707 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
708 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
709 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
710 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
711 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
712 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
713 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
714 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
715 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
716 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
717 979 Algorithms -- ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings / Paul Spirakis (ed.) Berlin ; Tokyo : Springer , c1995
718 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
719 993 Evolutionary computing : AISB Workshop, Sheffield, U.K., April 3-4, 1995 : selected papers / Terence C. Fogarty, (ed.) Berlin : Springer, 1995
720 999, 1273, 1567 Hybrid systems / Panos Antsaklis [et al.] (eds.) 2,4,5. - Berlin : Springer , c1995-
721 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
722 1016 Active visual inference of surface shape / Roberto Cipolla Berlin ; New York : Springer-Verlag , c1996
723 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
724 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
725 1032 Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid Berlin : Springer , c1996
726 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
727 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
728 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
729 1043 Logics for concurrency : structure versus automata / Faron Moller, Graham Birtwistle, (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1996
730 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
731 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
732 1053 . Lecture notes in artificial intelligence Term indexing / Peter Graf Berlin ; New York ; Tokyo : Springer-Verlag , c1995
733 1054 Solving combinatorial optimization problems in parallel : methods and techniques / Afonso Ferreira, Panos Pardalos, (eds.) Berlin ; New York : Springer-Verlag , c1996
734 1056 . Lecture notes in artificial intelligence Communication and cooperation in agent systems : a pragmatic theory / Afsaneh Haddadi Berlin ; New York : Springer , c1995
735 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
736 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
737 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
738 1062 Towards evolvable hardware : the evolutionary engineering approach / Eduardo Sanchez, Marco Tomassini, (eds.) Berlin : Springer , c1996
739 1063 Artificial evolution : European Conference, AE 95, Brest, France, September 4-6, 1995 : selected papers / J.-M. Alliot ... [et al.], (eds.) Berlin : Springer , c1996
740 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
741 1066 Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.) Berlin : Springer , c1996
742 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
743 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
744 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
745 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
746 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
747 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
748 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
749 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
750 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
751 1083 . Lecture notes in artificial intelligence Evaluating natural language processing systems : an analysis and review / Karen Sparck Jones, Julia R. Galliers Berlin : Springer , c1995
752 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
753 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
754 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
755 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
756 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
757 1095 . Lecture notes in artificial intelligence Automated deduction in equational logic and cubic curves / W. McCune, R. Padmanabhan Berlin ; Tokyo : Springer , c1996
758 1096 Workflow management systems for process organisations / Thomas Schäl Berlin : Springer , c1996
759 1098 ECOOP '96--object-oriented programming : 10th European Conference, Linz, Austria, July 8-12 1996 : proceedings / Pierre Cointe, (ed.) Berlin : Springer , c1996
760 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
761 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
762 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
763 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
764 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
765 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
766 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
767 1119 CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari, Vladimiro Sassone, (eds.) Berlin : Springer , c1996
768 1122 Algorithmic number theory : Second International Symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings / Henri Cohen, (ed.) Berlin ; Tokyo : Springer , c1996
769 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
770 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
771 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
772 1145 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.) Berlin : Springer , c1996
773 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
774 1151 Distributed algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings / Özalp Babaoğlu, Keith Marzullo (eds.) Berlin : Springer , c1996
775 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
776 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
777 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
778 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
779 1173 Efficient visual recognition using the Hausdorff distance / William Rucklidge Berlin ; Tokyo : Springer-Verlag , c1996
780 1174 Information hiding : First International Workshop, Cambridge, U.K., May 30-June 1, 1996 : proceedings / Ross Anderson (ed.) Berlin : Springer-Verlag , c1996
781 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
782 1186 Database theory -- ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings / Foto Afrati, Phokion Kolaitis, (eds.) Berlin ; Tokyo : Springer , c1997
783 1187 . Lecture notes in artificial intelligence Nonmonotonic logics : basic concepts, results, and techniques / Karl Schlechta Berlin : Springer , c1997
784 1190 Graph drawing : Symposium on Graph Drawing, GD '96, Berkeley, California, USA, September 18-20, 1996, proceedings / Stephen North (ed.) Berlin : Springer , c1997
785 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
786 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
787 1201 Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler, (ed.) Berlin : Springer-Verlag , c1997
788 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
789 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
790 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
791 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
792 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
793 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
794 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
795 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
796 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
797 1228 . Lecture notes in artificial intelligence Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf : kart. - Berlin ; Heidelberg : Springer , c1997
798 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
799 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
800 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
801 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
802 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
803 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
804 1263 . Lecture notes in artificial intelligence Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings / Jan Komorowski, Jan Zytkow (eds.) Berlin ; Tokyo : Springer , c1997
805 1264 Combinatorial pattern matching : 8th Annual Symposium, CPM 97, Aarhus, Denmark, June 30-July 2, 1997 : proceedings / Alberto Apostolico, Jotun Hein (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1997
806 1269 Randomization and approximation techniques in computer science : International Workshop RANDOM '97, Bologna, Italy, July 11-12, 1997 : proceedings / José Rolim (ed.) Berlin ; Tokyo : Springer , c1997
807 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
808 1278 Bioinformatics : German Conference on Bioinformatics, GCB'96 Leipzig, Germany, September 30-October 2, 1996, selected papers / Ralf Hofestädt ... [et al.] (eds.) Berlin : Springer , c1997
809 1282 Coordination languages and models : Second International Conference COORDINATION '97, Berlin, Germany, September 1-3 1997 : proceedings / David Garlan, Daniel Le Métayer (eds.) Berlin : Springer , c1997
810 1286 . Lecture notes in artificial intelligence Multi-agent systems : methodologies and applications : Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996 : selected papers / Chengqi Zhang, Dickson Lukose, (eds.) Berlin : Springer , c1997
811 1294 Advances in cryptology, CRYPTO '97 : 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997 : proceedings / Burton S. Kaliski Jr. (ed.) Berlin ; Tokyo : Springer , c1997
812 1310, 1311 Image analysis and processing : 9th International Confernece, ICIAP '97 Florence, Italy, September 17-19, 1997 : proceedings / Alberto Del Bimbo, (ed.) 1,2. - Berlin ; New York : Springer , c1997
813 1329 Spatial information theory : a theoretical basis for GIS : International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997 : proceedings / Stephen C. Hirtle, Andrew U. Frank (eds.) Berlin ; Tokyo : Springer , c1997
814 1335 Graph-theoretic concepts in computer science : 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997 : proceedings / Rolf H. Möhring (ed.) Berlin ; Tokyo : Springer , c1997
815 1339 Advances in document image analysis : First Brazilian Symposium, BSDIAʾ97, Curitiba, Brazil, November 2-5, 1997 : proceedings / Nabeel A. Murshed, Flávio Bortolozzi, (eds.) Berlin ; New York : Springer , c1997
816 1340 Algorithmic foundations of geographic information systems / Marc van Kreveld ... [et al.] (eds.) Berlin ; New York : Springer , c1997
817 1356 From multimedia services to network services : 4th International COST 237 Workshop, Lisboa, Portugal, December 15-19, 1997 : proceedings / André Danthine, Christophe Diot, eds Berlin ; New York : Springer , c1997
818 1357 Object-oriented technology : ECOOP'97 workshop reader : ECOOP'97 Workshops Jyväskylä, Finland, June 9-13, 1997 : proceedings / Jan Bosch, Stuart Mitchell (eds.) Berlin : Springer , c1998
819 1359 . Lecture notes in artificial intelligence Learning and reasoning with complex representations : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996 : selected papers / Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczyński, eds Berlin ; Tokyo : Springer , c1998
820 1363 Artificial evolution : Third European Conference, AE'97, Nîmes, France, October 22-24, 1997 : selected papers / J.-K. Hao ... [et al.], (eds.) Berlin ; Tokyo : Springer , c1998
821 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
822 1377 Advances in database technology, EDBT '98 : 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998 : proceedings / Hans-Jörg Schek ... [et al.] (eds.) Berlin ; New York : Springer , c1998
823 1385 Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97, selected papers / Tiziana Margaria ... [et al.], eds Berlin ; New York : Springer , c1998
824 1387 . Lecture notes in artificial intelligence Adaptive processing of sequences and data structures : International Summer School on Neural Networks "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, tutorial lectures / C. Lee Giles, Marco Gori, eds Berlin ; New York : Springer , c1998
825 1389 Graphics recognition : algorithms and systems : Second International Workshop, GREC ʾ97, Nancy, France, August 22-23, 1997 : selected papers / Karl Tombre, Atul K. Chhabra (eds.) Berlin ; New York : Springer Verlag , c1998
826 1390 Universal routing strategies for interconnection networks / Christian Scheideler Berlin : Springer , c1998
827 1394 . Lecture notes in artificial intelligence Research and development in knowledge discovery and data mining : Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15-17, 1998 : proceedings / Xindong Wu, Ramamohanarao Kotagiri, Kevin B. Korb, (eds.) Berlin ; New York : Springer , c1998
828 1397 . Lecture notes in artificial intelligence Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.) Berlin ; Tokyo : Springer , c1998
829 1398 . Lecture notes in artificial intelligence Machine learning: ECML-98 : 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998 : proceedings / Claire Nédellec, Céline Rouveirol (eds.) : pbk. - Berlin ; New York : Springer , c1998
830 1399 Temporal databases : research and practice / Opher Etzion, Sushil Jajodia, Suryanarayana Sripada, eds Berlin ; Tokyo : Springer , c1998
831 1401 High-performance computing and networking : international conference and exhibition, Amsterdam, The Netherlands, April 21-23, 1998 proceedings / Peter Sloot, Marian Bubak, Bob Hertzberger (eds.) Berlin : Springer , c1998
832 1404 . Lecture notes in artificial intelligence Spatial cognition : an interdisciplinary approach to representing and processing spatial knowledge / Christian Freksa, Christopher Habel , Karl F. Wender (eds.) Berlin : Springer , c1998
833 1405 Advances in databases : 16th British National Conference on Databases, BNCOD 16, Cardiff, Wales, UK, July 6-8, 1998 : proceedings / Suzanne M. Embury ... [et al.], (eds.) : pbk. - Berlin ; New York : Springer , c1998
834 1406-1407 Computer vision -- ECCV '98 : 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998 : proceedings / Hans Burkhardt, Bernd Neumann, (eds.) v. 1,v. 2. - Berlin : Springer , c1998
835 1409 . Lecture notes in artificial intelligence The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub : pbk. - Berlin ; New York : Springer , c1997
836 1423 Algorithmic number theory : third international symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998 : proceedings / J.P. Buhler (ed.) Berlin : Springer , 1998
837 1425 Multimedia applications, services and techniques - ECMAST '98 : third European Conferece, Berlin, Germany, May 26-28, 1998, : proceedings / David Hutchison, Ralf Schäfer (eds.) Berlin : Springer , c1998
838 1433 . Lecture notes in artificial intelligence Grammatical inference : 4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.) Berlin ; London : Springer , c1998
839 1440 Advances in cryptology 1981-1997 : electronic proceedings and index of the CRYPTO and EUROCRYPT Conferences 1981-1997 / Kevin S. McCurley , Claus Dieter Ziegler (eds.) Berlin ; Tokyo : Springer , c1998
840 1445 ECOOP '98 -- object-oriented programming : 12th European Conference, Brussels, Belgium, July 20-24 1998 : proceedings / Eric Jul (ed.) Berlin : Springer , c1998
841 1448 Combinatorial pattern matching : 9th Annual Symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings / Martin Farach-Colton (ed.) Berlin : Springer , c1998
842 1458 . Lecture notes in artificial intelligence Assistive technology and artificial intelligence : applications in robotics, user interfaces, and natural language processing / Vibhu O. Mittal ... [et al.], eds Berlin : Springer , 1998
843 1460 Database and expert systems applications : 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998 : proceedings / Gerald Quirchmayr, Erich Schweighofer, Trevor J.M. Bench-Capon (eds.) Berlin : Springer , c1998
844 1469 Computer performance evaluation : modelling techniques and tools : 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.) Berlin ; New York : Springer , c1998
845 1475 Advances in databases and information systems : Second East European Symposium, ADBIS'98, Poznań, Poland, September 7-10, 1998 : proceedings / Witold Litwin, Tadeusz Morzy, Gottfried Vossen (eds.) Berlin : Springer , c1998
846 1507 Conceptual modeling - ER '98 : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998 : proceedings / Tok Wang Ling, Sudha Ram, Mong Li Lee, (eds.) Berlin ; New York : Springer , c1998
847 1510 . Lecture notes in artificial intelligence Principles of data mining and knowledge discovery : Second European Symposium, PKDD '98, Nantes, France, September 23-26, 1998 : proceedings / Jan M. Żytkow, Mohamed Quafafou (eds.) Berlin : Springer , c1998
848 1514 Advances in cryptology, ASIACRYPT '98 : International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October 18-22, 1998 : proceedings / Kazuo Ohta, Dingyi Pei (eds.) Berlin ; Tokyo : Springer , c1998
849 1517 Graph-theoretic concepts in computer science : 24th International Workshop, WG '98, Smolenice Castle, Slovak Republic, June 18-20, 1998 : proceedings / Juraj Hromkovic̆, Ondrej Sýkora (eds.) Berlin ; Tokyo : Springer , c1998
850 1524 Neural networks : tricks of the trade / Genevieve B. Orr, Klaus-Robert Müller (eds.) Berlin : Springer , c1998
851 1528 State of the art in applied cryptography : course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 3-6, 1997 : revised lectures / Bart Preneel, Vincent Rijmen (eds.) Berlin ; Tokyo : Springer-Verlag , c1998
852 1531 . Lecture notes in artificial intelligence PRICAI'98 : topics in artificial intelligence : 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998 : proceedings / Hing-Yan Lee, Hiroshi Motoda (eds.) Berlin : Springer , c1998
853 1533 Algorithms and computation : 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998 : proceedings / Kyung-Yong Chwa, Oscar H. Ibarra (eds.) Berlin ; Tokyo : Springer , c1998
854 1535 . Lecture notes in artificial intelligence Co-ordination in artificial agent societies : social structures and its implications for autonomous problem-solving agents / Sascha Ossowski : pbk. - Berlin : Springer , c1999
855 1538 Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings / Jieh Hsiang, Atsushi Ohori (eds.) Berlin : Springer , c1998
856 1540 Database theory -- ICDT'99 : 7th International Conference, Jerusalem, Israel, January 10-12, 1999 : proceedings / Catriel Beeri, Peter Buneman (eds.) Berlin : Springer , c1999
857 1543 Object-oriented technology : ECOOP'98 workshop reader : ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998 : proceedings / Serge Demeyer, Jan Bosch (eds.) Berlin : Springer , c1998
858 1544 . Lecture notes in artificial intelligence Multi-agent systems : theories, languages, and applications : 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Qld, Australia, July 13, 1998 : selected papers / Chengqi Zhang, Dickson Lukose (eds.) : pbk. - Berlin ; New York : Springer , c1998
859 1547 Graph drawing : 6th International Symposium, GD'98, Montréal, Canada, August 13-15, 1998 : proceedings / Sue H. Whitesides (ed.) Berlin : Springer Verlag , c1998
860 1552 Advances in database technologies : ER '98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-Temporal Data Management, Singapore, November 19-20, 1998 : proceedings / Yahiko Kambayashi [et al.] (eds.) Berlin ; Tokyo : Springer , c1999
861 1560 Public key cryptography : Second International Workshop on Practice and Theory in Public Key Cryptography, PKC '99, Kamakura, Japan, March 1-3, 1999 : proceedings / Hideki Imai, Yuliang Zheng (eds.) Berlin : Springer , c1999
862 1561 Lectures on data security : modern cryptology in theory and practice / Ivan Damgård (ed.) Berlin ; Tokyo : Springer , c1999
863 1562 . Lecture notes in aritificial intelligence Computation for metaphors, analogy, and agents / Chrystopher L. Nehaniv (ed.) Berlin ; New York : Springer , c1999
864 1569 Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings / Frits W. Vaandrager, Jan H. van Schuppen (eds.) Berlin ; New York : Springer , c1999
865 1570 . Lecture notes in artificial intelligence XPS-99 : Knowledge-based systems : survey and future directions : 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999 : proceedings / Frank Puppe (ed.) Berlin ; Tokyo : Springer , c1999
866 1574 . Lecture notes in artificial intelligence Methodologies for knowledge discovery and data mining : Third Pacific-Asia Conference, PAKDD-99, Beijing, China, April 26-28, 1999 : proceedings / Ning Zhong, Lizhu Zhou, eds Berlin ; Tokyo : Springer , c1999
867 1581 Typed lambda calculi and applications : 4th International Conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings / Jean-Yves Girard (ed.) Berlin ; Tokyo : Springer-Verlag , c1999
868 1582 . Lecture notes in artificial intelligence Logical aspects of computational linguistics : second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers / Alain Lecomte, François Lamarche, Guy Perrier (eds.) Berlin ; Tokyo : Springer , c1999
869 1591 PREMO: a framework for multimedia middleware : specification, rationale, and Java binding / David J. Duke, Ivan Herman, M. Scott Marshall Berlin : Springer , c1999
870 1592 Advances in cryptology-EUROCRYPT '99 : International Conference on the Theory and Application of Cryptographic Techniques, Prague, Czech Republic, May 2-6, 1999 : proceedings / Jacques Stern (ed.) Berlin ; Tokyo : Springer , c1999
871 1593 High-performance computing and networking : 7th international conference, HPCN Europe, 1999, Amsterdam, The Netherlands, April 12-14, 1999 : proceedings / Peter Sloot [et al.] (eds.) Berlin ; Tokyo : Springer-Verlag , c1999
872 1606 . International Work-Conference on Artificial and Natural Neural Networks, IWANN '99 : Alicante, Spain, June 2-4, 1999 : proceedings ; v. 1 Foundations and tools for neural modeling / José Mira, Juan V. Sánchez-Andrés (eds.) Berlin : Springer , c1999
873 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
874 1613 Information processing in medical imaging : 16th International Conference, IPMI'99, Visegrád, Hungary, June 28-July 2, 1999 ; proceedings / Attila Kuba, Martin Šámal, Andrew Todd-Pokropek, (eds.) Berlin ; Tokyo : Springer , c1999
875 1624 . Lecture notes in artificial intelligence Collaboration between human and artificial societies : coordination and agent-based distributed computing / Julian A. Padget (ed.) Berlin ; Tokyo : Springer , c1999
876 1628 ECOOP '99 : object oriented programming : 13th European Conference, Lisbon, Portugal, June 14-18, 1999 : proceedings / Rachid Guerraoui (ed.) Berlin ; Tokyo : Springer , c1999
877 1634 . Lecture notes in artificial intelligence Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings / Sašo Džeroski, Peter Flach (eds.) Berlin ; Tokyo : Springer , c1999
878 1639 Application and theory of Petri Nets 1999 : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / Susanna Donatelli, Jetty Kleijn (eds.) Berlin : Springer , c1999
879 1642 Advances in intelligent data analysis : Third International Symposium, IDA-99, Amsterdam, the Netherlands, August 9-11, 1999 : proceedings / David J. Hand, Joost N. Kok, Michael R. Berthold (Eds.) Berlin ; Tokyo : Springer , c1999
880 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
881 1649 Next generation information technologies and systems : 4th International Workshop, NGITS'99, Zikhron-Yaakov, Israel, July 5-7, 1999 : proceedings / Ron Y. Pinter, Shalom Tsur (eds.) Berlin ; New York : Springer , c1999
882 1651 Advances in spatial databases : 6th International Symposium, SSD'99, Hong Kong, China, July 20-23, 1999 : proceedings / Ralf Hartmut Güting, Dimitris Papadias, Fred Lochovsky (eds.) Berlin ; New York : Springer , c1999
883 1653 Active networks : First International Working Conference, IWAN'99, Berlin, Germany, June 30-July 2, 1999 : proceedings / Stefan Covaci (ed.) Berlin ; New York : Springer , c1999
884 1654 Energy minimization methods in computer vision and pattern recognition : Second International Workshop EMMCVPR '99, York, UK, July 26-29, 1999 : proceedings / Edwin R. Hancock, Marcello Pelillo (eds.) Berlin ; Tokyo : Springer , c1999
885 1676 Data warehousing and knowledge discovery : First International Conference, DaWak '99, Florence, Italy, August 30 - September 1, 1999 : proceedings / Mukesh Mohania, A. Min Tjoa (eds.) Berlin ; Tokyo : Springer , c1999
886 1679 Medical image computing and computer-assisted intervention - MICCAI '99 : Second International Conference, Cambridge, UK, September 19-22, 1999 : proceedings / Chris Taylor, Alan Colchester (eds.) Berlin : Springer , c1999
887 1700 Active technologies for network and service management : 10th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999 : proceedings / Rolf Stadler, Burkhard Stiller (eds.) Berlin ; Tokyo : Springer , c1999
888 1704 . Lecture notes in artificial intelligence Principles of data mining and knowledge discovery : Third European Conference, PKDD '99, Prague, Czech Republic, September 15-18, 1999 : proceedings / Jan M. Żytkow, Jan Rauch (eds.) Berlin ; Tokyo : Springer , c1999
889 1730 . Lecture notes in artificial intelligence Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.) Berlin : Springer , c1999
890 1739 . Lecture notes in artificial intelligence Gesture-based communication in human-computer interaction : International Gesture Workshop, GW '99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings / Annelies Braffort ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1999
891 1743 Object-oriented technology : ECOOP '99 Workshop Reader : ECOOP '99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 : proceedings / Ana Moreira, Serge Demeyer (eds.) Berlin ; Tokyo : Springer , c1999
892 1750 MMIXware : a RISC computer for the third millennium / Donald E. Knuth Berlin ; Tokyo : Springer , c1999
893 1751 Public key cryptography : third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000 : proceedings / Hideki Imai, Yuliang Zheng (eds.) Berlin : Springer , c2000
894 1761 . Lecture notes in artificial intelligence Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.) Berlin : Springer , c2000
895 1773 Transactions and database dynamics : 8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27-30, 1999 : selected papers / Gunter Saake, Kerstin Schwarz, Can Türker (eds.) Berlin : Springer , c2000
896 1775 . Lecture notes in artificial intelligence Challenges for action theories / Michael Thielscher Berlin : Springer , c2000
897 1777 Advances in database technology - EDBT 2000 : 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000 : proceedings / Carlo Zaniolo ... [et al.] (eds.) Berlin : Springer , c2000
898 1778 . Lecture notes in artificial intelligence Hybrid neural systems / Stefan Wermter, Ron Sun (eds.) Berlin : Springer , c2000
899 1794 . Lecture notes in artificial intelligence Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings / Hélène Kirchner, Christophe Ringeissen (eds.) Berlin ; Heidelberg : Springer-Verlag , c2000
900 1805 . Lecture notes in artificial intelligence Knowledge discovery and data mining : current issues and new applications : 4th Pacific-Asia Conference, PAKDD 2000, Kyoto, Japan, April 18-20, 2000 : proceedings / Takao Terano, Huan Liu, Arbee L.P. Chen (eds.) Berlin : Springer , c2000
901 1810 . Lecture notes in artificial intelligence Machine learning : ECML 2000 : 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31-June 2, 2000 : proceedings / Ramon López de Mántaras, Enric Plaza (eds.) Berlin : Springer , c2000
902 1811 Biologically motivated computer vision : first IEEE International Workshop, BMCV 2000, Seoul, Korea, May 15-17, 2000 : proceedings / Seong-Whan Lee, Heinrich H. Bülthoff, Tomaso Poggio (eds.) Berlin : Springer , c2000
903 1815 Networking 2000 : Broadband Communications, High Performance Networking, and Performance of Communication Networks : IFIP-TC6/European Commission International Conference, Paris, France, May 14-19, 2000 : proceedings / Guy Pujolle ... [et al.] (eds.) Berlin : Springer , c2000
904 1829 Artificial evolution : 4th European Conference, AE '99, Dunkerque, France, November 3-5, 1999 : selected papers / Cyril Fonlupt ... [et al.] (eds.) Berlin : Springer , c2000
905 1832 Advances in databases : 17th British National Conference on Databases, BNCOD 17, Exeter, UK, July 3-5, 2000 : proceedings / Brian Lings, Keith Jeffery (eds.) Berlin : Springer , c2000
906 1835 . Lecture notes in artificial intelligence Natural language processing - NLP 2000 : second International Conference, Patras, Greece, June 2-4, 2000 : proceedings / Dimitris N. Christodoulakis (ed.) Berlin : Springer , c2000
907 1842-1843 Computer vision - ECCV 2000 : 6th European Conference on Computer Vision, Dublin, Ireland, June 26-July 1, 2000 : proceedings / David Vernon (ed.) Part 1,Part 2. - Berlin : Springer , c2000
908 1847 . Lecture notes in artificial intelligence Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.) Berlin : Springer , c2000
909 1849 . Lecture notes in artificial intelligence Spatial cognition II : integrating abstract theories, empirical studies, formal methods, and practical applications / Christian Freksa ... [et al.] (eds.) Berlin : Springer , c2000
910 1850 ECOOP 2000 - object-oriented programming : 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings / Elisa Bertino (ed.) Berlin : Springer , c2000
911 1855 Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings / E. Allen Emerson, A. Prasad Sistla (eds.) Berlin : Springer , c2000
912 1866 . Lecture notes in artificial intelligence Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.) Berlin : Springer , c2000
913 1883 Vision algorithms : theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings / Bill Triggs, Andrew Zisserman, Richard Szeliski (eds.) Berlin : Springer , c2000
914 1886 . Lecture notes in artificial intelligence PRICAI 2000 : topics in artificial intelligence : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 : proceedings / Riichiro Mizoguchi, John Slaney (eds.) Berlin : Springer , c2000
915 1891 . Lecture notes in artificial intelligence Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / Arlindo L. Oliveira (ed.) Berlin : Springer , c2000
916 1898. Lecture notes in artificial intelligence Advances in case-based reasoning : 5th European Workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 : proceedings / Enrico Blanzieri, Luigi Portinale (eds.) Berlin : Springer-Verlag , c2000
917 1910 . Lecture notes in artificial intelligence Principles of data mining and knowledge discovery : 4th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000 : proceedings / Djamel A. Zighed, Jan Komorowski, Jan Żytkow (eds.) Berlin ; Tokyo : Springer , c2000
918 1911 Job scheduling strategies for parallel processing : IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 : proceedings / Dror G. Feitelson, Larry Rudolph (eds.) Berlin : Springer , c2000
919 1913 Approximation algorithms for combinatorial optimization : Third International Workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings / Klaus Jansen, Samir Khuller (eds.) Berlin : Springer , c2000
920 1956 Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.) Berlin ; New York : Springer , c2000
921 1973 Database theory -- ICDT 2001 : 8th international conference, London, UK, January 4-6, 2001 : proceedings / Jan van den Bussche, Victor Vianu (eds.) Berlin ; New York : Springer , c2001
922 1977 Progress in cryptology - INDOCRYPT 2000 : First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000 : proceedings / Bimal Roy, Eiji Okamoto (eds.) Berlin : Springer , c2000
923 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
924 1991 . Lecture notes in artificial intelligence Agent mediated electronic commerce : the European agentlink perspective / Frank Dignum, Carles Sierra (eds.) Berlin ; New York : Springer , c2001
925 1993 Evolutionary multi-criterion optimization : first International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 : proceedings / Eckart Zitzler ... [et al.] (eds.) Berlin ; New York : Springer , c2001
926 2003 . Lecture notes in artificial intelligence Agent-mediated electronic commerce III : current issues in agent-based electronic commerce systems / Frank Dignum, Ulises Cortés (eds.) Berlin ; New York : Springer , c2001
927 2019 . Lecture notes in artificial intelligence RoboCup 2000 : Robot Soccer World Cup IV / Peter Stone, Tucker Balch, Gerhard Kraetzschmar (eds.) Berlin : Springer , c2001
928 2033 . Lecture notes in artificial intelligence E-commerce agents : marketplace solutions, security issues, and supply and demand / Jiming Liu, Yiming Ye (eds.) Berlin : Springer , c2001
929 2035 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 5th Pacific-Asia Conference, PAKDD 2001, Hong Kong, China, April 16-18, 2001 : proceedings / David Cheung, Graham J. Williams, Qing Li (eds.) Berlin : Springer , c2001
930 2044 Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.) Berlin ; Tokyo : Springer-Verlag , c2001
931 2066 Computational biology : First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, Montpellier, France, May 3-5, 2000 : selected papers / Olivier Gascuel, Marie-France Sagot (eds.) Berlin : Springer , c2001
932 2072 ECOOP 2001 -- object-oriented programming : 15th European Conference, Budapest, Hungary, June 18-22, 2001 : proceedings / Jørgen Lindskov Knudsen (ed.) Berlin : Springer , c2001
933 2097 Advances in databases : 18th British National Conference on Databases, BNCOD 18, Chilton, UK, July 9-11, 2001 : proceedings / Brian Read (ed.) Berlin : Springer , c2001
934 2101 . Lecture notes in artificial intelligence Artificial intelligence in medicine : 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001 : proceedings / Silvana Quaglini, Pedro Barahona, Steen Andreassen (eds.) Berlin ; Tokyo : Springer , c2001
935 2102 Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.) Berlin : Springer , c2001
936 2105 The human society and the internet : internet-related socio-economic issues : first International Conference, Human.Society@Internet2001, Seoul, Korea, July 4-6, 2001 : proceedings / Won Kim ... [et al.] (eds.) Berlin : Springer , c2001
937 2111 . Lecture notes in artificial intelligence Computational learning theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings / David Helmbold, Bob Williamson (eds.) Berlin ; Tokyo : Springer , c2001
938 2113 Database and expert systems applications : 12th International Conference, DEXA 2001, Munich, Germany, September 3-5, 2001 : proceedings / Heinrich C. Mayr ... [et al.] (eds.) Berlin : Springer , c2001
939 2114 Data warehousing and knowledge discovery : Third International Conference, DaWak 2001, Munich, Germany, September 5-7, 2001 : proceedings / Yahiko Kambayashi, Werner Winiwarter, Masatoshi Arikawa (eds.) Berlin ; Tokyo : Springer , c2001
940 2115 Electronic commerce and web technologies : Second International Conference, EC-Web 2001, Munich, Germany, September 4-6, 2001 : proceedings / Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (eds.) Berlin ; Tokyo : Springer , c2001
941 2121 Advances in spatial and temporal databases : 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 : proceedings / Christian S. Jensen ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2001
942 2149 Algorithms in bioinformatics : First International Workshop, WABI 2001, Århus, Denmark, August 28-31, 2001 : proceedings / Olivier Gascuel, Bernard M.E. Moret (eds.) Berlin ; Tokyo : Springer , c2001
943 2157 . Lecture notes in artificial intelligence Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Michèle Sebag (eds.) Berlin : Springer , c2001
944 2160 . Lecture notes in artificial intelligence Automatic generation of computer animation : using AI for movie animation / Ruqian Lu, Songmao Zhang Berlin : Springer , c2002
945 2164 Mobile agents for telecommunication applications : Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001 : proceedings / Samuel Pierre, Roch Glitho (eds.) Berlin ; Tokyo : Springer , c2001
946 2167 . Lecture notes in artificial intelligence Machine Learning : ECML 2001 : 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001 : proceedings / Luc De Raedt, Peter Flach (eds.) Berlin ; Tokyo : Springer , c2001
947 2168 . Lecture notes in artificial intelligence Principles of data mining and knowledge discovery : 5th European Conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001 : proceedings / Luc De Raedt, Arno Siebes (eds.) Berlin ; Tokyo : Springer , c2001
948 2197 Virtual storytelling : using virtual reality technologies for storytelling : International Conference ICVS 2001, Avignon, France, September 27-28, 2001 : proceedings / Olivier Balet, Gérard Subsol, Patrice Torguet (eds.) Berlin : Springer , c2001
949 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
950 2243 Digital and image geometry : advanced lectures / Gilles Bertrand, Atsushi Imiya, Reinhard Klette (eds.) Berlin ; New York : Springer , c2001
951 2254 Engineering for Human-Computer Interaction : 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 : revised papers / Murray Reed Little, Laurence Nigay (eds.) Berlin ; Tokyo : Springer , c2001
952 2260 Cryptography and coding : 8th IMA International Conference, Cirencester, UK, December 17-19, 2001 : proceedings / Bahram Honary (ed.) Berlin ; Tokyo : Springer , c2001
953 2279 Applications of Evolutionary Computing : EvoWorkshops 2002 : EvoCOP, EvoIASP, EvoSTIM/EvoPlan, Kinsale, Ireland, April 3-4, 2002 : proceedings / Stefano Cagnoni ... [et al.] (eds.) Berlin : Springer , c2002
954 2293 . Lecture notes in artificial intelligence Qualitative spatial reasoning with topological information / Jochen Renz Berlin ; Tokyo : Springer , c2002
955 2301 Discrete Geometry for Computer Imagery : 10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002 : proceedings / Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.) Berlin : Springer , c2002
956 2307 . Lecture notes in artificial intelligence Association rule mining : models and algorithms / Chengqi Zhang, Shichao Zhang Berlin : Springer , c2002
957 2310 Artificial Evolution : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 : selected papers / Pierre Collet ... [et al.] (eds.) Berlin : Springer , c2002
958 2316 Inference control in statistical databases : from theory to practice / Josep Domingo-Ferrer (ed.) Berlin ; Tokyo : Springer , c2002
959 2317 . Lecture notes in artificial intelligence Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002 : proceedings / Mary Hegarty, Bernd Meyer, N. Hari Narayanan (eds.) Berlin : Springer , c2002
960 2336 . Lecture notes in artificial intelligence Advances in Knowledge Discovery and Data Mining : 6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002 : proceedings / Ming-Syan Chen, Philip S. Yu, Bing Liu (eds.) Berlin : Springer , c2002
961 2350-2353 Computer vision -- ECCV 2002 : 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002 : proceedings / Anders Heyden ... [et al.] (eds.) Part 1 - Part 4. - Berlin : Springer , c2002
962 2359 Biometric authentication : International ECCV 2002 Workshop, Copenhagen, Denmark, June 1, 2002 : proceedings / Massimo Tistarelli, Josef Bigun, Anil K. Jain (eds.) Berlin : Springer , c2002
963 2375 . Lecture notes in artificial intelligence Computational learning theory : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002 : proceedings / Jyrki Kivinen, Robert H. Sloan (eds.) Berlin : Springer , c2002
964 2377 . Lecture notes in artificial intelligence RoboCup 2001 : Robot Soccer World Cup V / Andreas Birk, Silvia Coradeschi, Satoshi Tadokoro (eds.) Berlin : Springer , c2002
965 2385 . Lecture notes in artificial intelligence Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet ... [et al.] (eds.) Berlin : Springer , c2002
966 2417 . Lecture notes in artificial intelligence PRICAI 2002 : trends in artificial intelligence : 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002 : proceedings / Mitsuru Ishizuka, Abdul Sattar (eds.) Berlin : Springer , c2002
967 2430 . Lecture notes in artificial intelligence Machine learning : ECML 2002 : 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002 : proceedings / Tapio Elomaa, Heikki Mannila, Hannu Toivonen (eds.) Berlin ; Tokyo : Springer , c2002
968 2431 . Lecture notes in artificial intelligence Principles of data mining and knowledge discovery : 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002 : proceedings / Tapio Elomaa, Heikki Mannila, Hannu Toivonen (eds.) Berlin ; Tokyo : Springer , c2002
969 2444 Technologies for E-Services : Third International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002 : proceedings / Alejandro Buchmann ... [et al.](eds.) Berlin ; Tokyo : Springer , c2002
970 2466 . Lecture notes in artificial intelligence Advances in plan-based control of robotic agents : international seminar, Dagstuhl Castle, Germany, October 21-26, 2001 : revised papers / Michael Beetz ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2002
971 2475 . Lecture notes in artificial intelligence Rough sets and current trends in computing : Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002 : proceedings / James J. Alpigini ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2002
972 2500 Automata logics, and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.) Berlin ; Tokyo : Springer , c2002
973 2512 Web services, e-business, and the semantic web : CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002 : revised papers / Christoph Bussler ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2002
974 2531 . Lecture notes in artificial intelligence Agent-mediated electronic commerce IV : designing mechanisms and systems : AAMAS 2002 Workshop on Agent-Mediated Electronic Commerce, Bologna, Italy, July 16, 2002 : revised papers / Julian Padget ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2002
975 2549 Concurrency and hardware design : advances in petri nets / Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg (eds.) Berlin ; Tokyo : Springer , c2002
976 2583 . Lecture notes in artificial intelligence Inductive logic programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / Stan Matwin, Claude Sammut (eds.) Berlin ; Tokyo : Springer , c2003
977 2592 . Lecture notes in artificial intelligence Agent technologies, infrastructures, tools, and applications for e-services : NODe 2002 Agent-Related Workshops, Erfurt, Germany, October 7-10, 2002 : revised papers / Ryszard Kowalczyk ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
978 2610 Genetic Programming : 6th European conference, EuroGP 2003, Essex, UK, April 14-16, 2003 : proceedings / Conor Ryan ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
979 2611 Applications of evolutionary computing : EvoWorkshops 2003 : EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedings / Günther Raidl et al. (eds.) Berlin ; Tokyo : Springer , c2003
980 2612 Topics in Cryptology - CT-RSA 2003 : the Cryptographers' Track at the RSA conference 2003, San Francisco, CA, USA, April 13-17, 2003 : proceedings / Mark Joye (ed.) Berlin ; Tokyo : Springer , c2003
981 2625 Algorithms for memory hierarchies : advanced lectures / Ulrich Meyer, Peter Sanders, Jop Sibeyn (eds.) Berlin ; Tokyo : Springer , c2003
982 2637 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 7th Pacific-Asia Conference, PAKDD 2003, Seoul, Korea, April 30 - May 2, 2003 : proceedings / Kyu-Young Whang ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
983 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
984 2688 Audio- and video-based biometric person authentication : 4th International Conference, AVBPA 2003, Guildford, UK, June 9-11, 2003 : proceedings / Josef Kittler, Mark S. Nixon (eds.) Berlin ; Tokyo : Springer , c2003
985 2702 . Lecture notes in artificial intelligence User modeling 2003 : 9th International Conference, UM 2003, Johnstown, PA, USA, June 22-26, 2003 : proceedings / Peter Brusilovsky, Albert Corbett, Fiorella de Rosis (eds.) Berlin ; Tokyo : Springer , c2003
986 2752 . Lecture notes in artificial intelligence RoboCup 2002 : Robot Soccer World Cup VI / Gal A. Kaminka, Pedro U. Lima, Raul Rojas (eds.) Berlin ; Tokyo : Springer , c2003
987 2768 Mathematics of surfaces : 10th IMA International Conference, Leeds, UK, September 15-17, 2003 : proceedings / Michael J. Wilson, Ralph R. Martin (eds.) Berlin ; Tokyo : Springer , c2003
988 2777 . Lecture notes in artificial intelligence Learning theory and Kernel machines : 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003 : proceedings / Bernhard Schölkopf, Manfred K. Warmuth (eds.) Berlin ; Tokyo : Springer , c2003
989 2835 . Lecture notes in artificial intelligence Inductive logic programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings / Tamás Horváth, Akihiro Yamamoto (eds.) Berlin ; Tokyo : Springer , c2003
990 2837 . Lecture notes in artificial intelligence Machine learning : ECML 2003 : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003 : proceedings / Nada Lavrač ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
991 2838 . Lecture notes in artificial intelligence Knowledge discovery in databases : PKDD 2003 : 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003 : proceedings / Nada Lavrač ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
992 2872 . Lecture notes in artificial intelligence Agents and peer-to-peer computing : second international workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers / Gianluca Moro, Claudio Sartori, Munindar P. Singh (eds.) Berlin : Springer , c2004
993 2906 Algorithms and computation : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings / Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (eds.) Berlin ; Tokyo : Springer , c2003
994 2938 . Lecture notes in artificial intelligence Agent-based hybrid intelligent systems : an agent-based framework for complex problem solving / Zili Zhang, Chengqi Zhang Berlin : Springer , c2004
995 2939 Digitial watermarking : second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003 : revised papers / Ton Kalker, Ingemar J. Cox, Yong Man Ro (eds.) Berlin ; Tokyo : Springer , c2004
996 2947 Public key cryptography - PKC 2004 : 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004 : proceedings / Feng Bao, Robert Deng, Jianying Zhou (eds.) Berlin ; Tokyo : Springer , c2004
997 2948 Finite fields and applications : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003 : revised papers / Gary L. Mullen, Alain Poli, Henning Stichtenoth (eds.) Berlin ; Tokyo : Springer , c2004
998 2951 Theory of cryptography : first Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004 : proceedings / Moni Naor (Ed.) Berlin : Springer , c2004
999 2964 Topics in cryptology - CT-RSA 2004 : the Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004 : proceedings / Tatsuaki Okamoto (ed.) Berlin ; Tokyo : Springer , c2004
1000 3000 Primality testing in polynomial time : from randomized algorithms to"primes is in P" / Martin Dietzfelbinger Berlin : Springer , 2004
1001 3004 Evolutionary computation in combinatorial optimization : 4th European Coference, EvoCOP 2004 Coimbra, Portugal, April 5-7, 2004 : proceedings / Jens Gottlieb, Günther R. Raidl (eds.) Berlin ; Tokyo : Springer , c2004
1002 3021-3024 Computer vision -- ECCV 2004 : 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004 : proceedings / Tomáš Pajdla, Jiří Matas (eds.) pt. 1 - pt. 4. - Berlin ; Tokyo : Springer , c2004
1003 3056 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 8th Pacific-Asia conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004 : proceedings / Honghua Dai, Ramakrishnan Srikant, Chengqi Zhang [eds.] Berlin ; Tokyo : Springer , c2004
1004 3058 Computer vision in human-computer interaction : ECCV 2004 Workshop on HCI, Prague, Czech Republic, May 16, 2004 : proceedings / Nicu Sebe, Michael S. Lew, Thomas S. Huang (eds.) Berlin ; Tokyo : Springer , c2004
1005 3120 . Lecture notes in artificial intelligence Learning theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004 : proceedings / John Shawe-Taylor, Yoram Singer (eds.) Berlin : Springer , c2004
1006 3151 Least squares orthogonal distance fitting of curves and surfaces in space / Sung Joon Ahn Berlin : Springer , c2004
1007 3157 . Lecture notes in artificial intelligence PRICAI 2004 : trends in artificial intelligence : 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004 : proceedings / Chengqi Zhang, Hans W. Guesgen, Wai K. Yeap (eds.) Berlin : Springer , c2004
1008 3194 . Lecture notes in artificial intelligence Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings / Rui Camacho, Ross King, Ashwin Srinivasan (eds.) Berlin ; Tokyo : Springer , c2004
1009 3201 . Lecture notes in artificial intelligence Machine learning : ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004 : proceedings / Jean-François Boulicaut ... [et al.] (eds.) Berlin : Springer , c2004
1010 3202 . Lecture notes in artificial intelligence Knowledge discovery in databases : PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004 : proceedings / Jean-François Boulicaut ... [et al.] (eds.) Berlin : Springer , c2004
1011 3257 . Lecture notes in artificial intelligence Engineering knowledge in the age of the semantic web : 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004 ; proceedings / Enrico Motta ... [et al.] (eds.) Berlin : Springer , c2004
1012 3518 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 9th Pacific-Asia conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005 : proceedings / Tu Bao Ho, David Cheung, Huan Liu [eds.] Berlin ; Tokyo : Springer , c2005
1013 3559 . Lecture notes in artificial intelligence Learning theory : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005 : proceedings / Peter Auer, Ron Meir (eds.) Berlin : Springer , c2005
1014 3565 Information processing in medical imaging : 19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005 : proceedings / Gary E. Christensen, Milan Sonka (eds.) Berlin : Springer , c2005
1015 3609 . Lecture notes in artificial intelligence New Frontiers in Artificial Intelligence : JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31-June 4, 2004 : revised selected papers / Akito Sakurai, Kôiti Hasida, Katsumi Nitta (eds.) Berlin : Springer , c2007
1016 3625 . Lecture notes in artificial intelligence Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings / Stefan Kramer, Bernhard Pfahringer (eds.) Berlin : Springer , c2005
1017 3634 Computer science logic : 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings / Luke Ong (ed.) Berlin : Springer , c2005
1018 3720 . Lecture notes in artificial intelligence Machine learning : ECML 2005 : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005 : proceedings / João Gama ... [et al.] (eds.) Berlin : Springer , c2005
1019 3721 . Lecture notes in artificial intelligence Knowledge discovery in databases : PKDD 2005 : 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005 : proceedings / Alípio Jorge ... [et al.] (eds.) Berlin : Springer , c2005
1020 3742 Discrete and computational geometry : Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 : revised selected papers / Jin Akiyama, Mikio Kano, Xuehou Tan (eds.) Berlin : Springer , c2005
1021 3891 . Lecture notes in artificial intelligence Multi-agent-based simulation VI : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers / Jaime S. Sichman, Luis Antunes (eds.) Berlin : Springer , c2006
1022 3918 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 10th Pacific-Asia conference, PAKDD 2006, Singapore, April 9-12, 2006 : proceedings / Wee Keong Ng ... [et al.] (eds.) Berlin : Springer , c2006
1023 3948 Cognitive vision systems : sampling the spectrum of approaches / Henrik I. Christensen, Hans-Hellmut Nagel (eds.) Berlin : Springer , c2006
1024 3951-3954 Computer vision -- ECCV 2006 : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006 : proceedings / Aleš Leonardis, Horst Bischof, Axel Pinz (eds.) pt. 1 - pt. 4. - Berlin : Springer , c2006
1025 4005 . Lecture notes in artificial intelligence Learning theory : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006 : proceedings / Gabor Lugosi, Hans Ulrich Simon (eds.) Berlin : Springer , c2006
1026 4011 The semantic web : research and applications : 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 : proceedings / York Sure, John Domingue (eds.) Berlin : Springer , c2006
1027 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
1028 4099 . Lecture notes in artificial intelligence PRICAI 2006: trends in artificial intelligence : 9th Pacific Rim international conference on artificial intelligence, Guilin, China, August 7-11, 2006, Proceedings / ed. Qiang Yang, Geoff Webb Berlin : Springer , 2006
1029 4170 Toward category-level object recognition / Jean Ponce ... [et al.] (eds.) Berlin : Springer , c2006
1030 4212 . Lecture notes in artificial intelligence Machine Learning : ECML 2006 : 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006 : proceedings / Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou (eds.) Berlin : Springer , c2006
1031 4213 . Lecture notes in artificial intelligence Knowledge Discovery in Databases : PKDD 2006 : 10th European Conference on Principle and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006 : proceedings / Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou (eds.) Berlin : Springer , c2006
1032 4248 . Lecture notes in artificial intelligence Managing knowledge in a world of networks : 15th International Conference, EKAW 2006, Poděbrady, Czech Republic, October 2-6, 2006, proceedings / Steffen Staab, Vojtěch Svátek (eds.) Berlin : Springer , c2006
1033 4273 The Semantic Web - ISWC 2006 : 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006 : Proceedings / Isabel Cruz ... [et al.] (eds.) Berlin : Springer , c2006
1034 4381 Discrete Geometry, Combinatorics and Graph Theory : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi'an, China, November 22-24, 2005 : revised selected papers / Jin Akiyama ... [et al.] (eds.) Berlin : Springer , c2007
1035 4403 Evolutionary Multi-Criterion Optimization : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007 : proceedings / Shigeru Obayashi ... [et al.] (eds.) Berlin : Springer , c2007
1036 4426 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 11th Pacific-Asia conference, PAKDD 2007, Nanjing, China, May 22-25, 2007 : proceedings / Zhi-Hua Zhou, Hang Li, Qiang Yang (eds.) Berlin : Springer , c2007
1037 4455 . Lecture notes in artificial intelligence Inductive logic programming : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers / Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad (eds.) Berlin : Springer , c2007
1038 4519 The semantic web : research and applications : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007 : proceedings / Enrico Franconi, Michael Kifer, Wolfgang May (eds.) Berlin : Springer , c2007
1039 4539 . Lecture notes in artificial intelligence Learning theory : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007 : proceedings / Nader H. Bshouty, Claudio Gentile (eds.) Berlin : Springer , c2007
1040 4701 . Lecture notes in artificial intelligence Machine learning: ECML 2007 : 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007 : proceedings / Joost N. Kok ... [et al.] (eds.) Berlin : Springer , c2007
1041 4702 . Lecture notes in artificial intelligence Knowledge discovery in databases : PKDD 2007 : 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007 : proceedings / Joost N. Kok ... [et al.] (eds.) Berlin : Springer , c2007
1042 4760 . Lecture notes in artificial intelligence Towards affordance-based robot control : international seminar, Dagstuhl Castle, Germany, June 5-9, 2006 : revised papers / Erich Rome, Joachim Hertzberg, Georg Dorffner (eds.) Berlin : Springer , c2008
1043 4825 The Semantic Web : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : Proceedings / Karl Aberer ... [et al.] (eds.) Berlin : Springer , c2007
1044 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
1045 4891 . Advances in web semantics ; 1 Ontologies, web services and applied semantic web / Tharam S. Dillon ... [et al.] (eds.) : pbk. - Berlin : Springer , c2008
1046 4894 . Lecture notes in artificial intelligence Inductive logic programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers / Hendrick Blockeel ... [et al.] (eds.) Berlin : Springer , c2008
1047 5012 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 12th Pacific-Asia conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 : proceedings / Takashi Washio ... [et al.] (eds.) Berlin : Springer , c2008
1048 5021 The semantic web : research and applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 : proceedings / Sean Bechhofer ... [et al.] (eds.) Berlin : Springer , c2008
1049 5194 . Lecture notes in artificial intelligence Inductive logic programming : 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : proceedings / Filip Železný, Nada Lavrač (eds.) Berlin : Springer , c2008
1050 5211-5212 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008 : proceedings / Walter Daelemans, Bart Goethals, Katharina Morik (eds.) pt. 1,pt. 2. - Berlin : Springer , c2008
1051 5268 . Lecture notes in artificial intelligence Knowledge engineering : practice and patterns :16th International Conference, EKAW 2008, Acitrezza, Italy, September 29 - October 2, 2008 : proceedings / Aldo Gangemi, Jérôme Euzenat (eds.) Berlin : Springer , c2008
1052 5269 . Lecture Notes in Artificial Intelligence Multi-agent-based simulation IX : international workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008 : revised and invited papers / Nuno David, Jaime Simão Sichman (eds.) Berlin : Springer , c2009
1053 5302-5305 Computer vision -- ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008 : proceedings / David Forsyth, Philip Torr, Andrew Zisserman (eds.) pt. 1 - pt. 4. - Berlin : Springer , c2008
1054 5318 The Semantic Web - ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 : Proceedings / Amit Sheth ... [et al.] (eds.) Berlin : Springer , c2008
1055 5351 . Lecture notes in artificial intelligence PRICAI 2008 : trends in artificial intelligence : 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008 : proceedings / Tu-Bao Ho, Zhi-Hua Zhou (eds.) Berlin : Springer , c2008
1056 5436 . Lecture notes in artificial intelligence Creating brain-like intelligence : from basic principles to complex intelligent systems / Bernhard Sendhoff ... [et al.] (Eds.) : pbk. - Berlin : Springer , c2009
1057 5445 Modular ontologies : concepts, theories and techniques for knowledge modularization : State-of-the-art survey / Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra (eds.) Berlin : Springer , c2009
1058 5476 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009 : proceedings / Thanaruk Theeramunkong ... [et al.] (eds.) Berlin : Springer , c2009
1059 5554 The semantic web : research and applications : 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009 : proceedings / Lora Aroyo ... [et al.] (eds.) Berlin : Springer , c2009
1060 5669 . Lecture notes in artificial intelligence New frontiers in applied data mining : PAKDD 2009 International Workshops, Bangkok, Thailand, April 27 - 30, 2009 : revised selected papers / Thanaruk Theeramunkong ... [et al.] (eds.) Berlin : Springer , c2010
1061 5681 Energy minimization methods in computer vision and pattern recognition : 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009 : proceedings / Daniel Cremers ... [et al.] (eds.) Berlin : Springer , c2009
1062 5781-5782 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009 : proceedings / Wray Buntine ... [et al.] (eds) pt. 1,pt. 2. - Berlin : Springer , c2009
1063 5823 The Semantic Web - ISWC 2009 : 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009 : Proceedings / Abraham Bernstein ... [et al.] (eds.) Berlin : Springer , c2009
1064 5862 Mathematical methods for curves and surfaces : 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008 : revised selected papers / Morten Dæhlen・・・[et al.] Berlin : Springer , c2010
1065 5989 . Lecture notes in artificial intelligence Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / Luc De Raedt (ed.) Berlin : Springer , c2010
1066 6088-6089 The semantic Web : research and applications : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30-June 3, 2010 : proceedings / Lora Aroyo ... [et al.] (eds.) Pt. 1,Pt. 2. - Berlin : Springer , c2010
1067 6118-6119. Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 14th Pacific-Asia conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010 : proceedings / Mohammed J. Zaki ... [et al.] (eds.) part1,part2. - Berlin : Springer , c2010
1068 6230 . Lecture notes in artificial intelligence PRICAI 2010 : trends in artificial intelligence : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010 : proceedings / Byoung-Tak Zhang, Mehmet A. Orgun (eds.) Berlin : Springer , c2010
1069 6311-6316 Computer vision -- ECCV 2010 : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5 - 11, 2010 : proceedings / Kostas Daniilidis, Petros Maragos, Nikos Paragios (eds.) pt. 1 - pt. 6. - Berlin : Springer , c2010
1070 6317 . Lecture notes in artificial intelligence Knowledge engineering and management by the masses : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11 - 15, 2010 : proceedings / Philipp Cimiano, H. Sofia Pinto (eds.) Berlin : Springer , c2010
1071 6321-6323 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010 : proceedings / José Luis Balcázar ... [et al.] (eds.) pt. 1,pt. 2,pt. 3. - Berlin : Springer , c2010
1072 6489. Lecture notes in artificial intelligence Inductive logic programming : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers / Paolo Frasconi, Francesca A. Lisi (eds.) Berlin : Springer , c2011
1073 6496-6497 The Semantic Web - ISWC 2010 : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010 : revised selected papers / Peter F. Patel-Schneider ... [et al.] (eds.) pt. 1,pt. 2. - Berlin : Springer , c2010
1074 6634, 6635 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 15th Pacific-Asia conference, PAKDD 2011 : Shenzhen, China, May 24-27, 2011 : proceedings / Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava (eds.) pt. 1,pt. 2. - Heidelberg : Springer , c2011
1075 6643-6644 The semantic web : research and applications : 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011 : proceedings / Grigoris Antoniou ... [et al.] (eds.) pt.1,pt.2. - Berlin : Springer , c2011
1076 6738 . Lecture notes in artificial intelligence Artificial Intelligence in Education : 15th International Conference, AIED 2011, Auckland, New Zealand, June 28-July 1, 2011 / Gautam Biswas ... [et al.] (eds.) : [pbk.]. - Heidelberg : Springer , c2011
1077 6805 . LNCS sublibrary ; SL 4. Security and cryptology . Festschrift Cryptography and security : from theory to applications : essays dedicated to Jean-Jacques Quisquater on the occasion of his 65th birthday / David Naccache (ed.) : [paperback]. - Heidelberg : Springer , c2012
1078 6859 Algebra and coalgebra in computer science : 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011 : proceedings / Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.) Berlin : Springer , c2011
1079 6911-6913 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings / Dimitrios Gunopulos ... [et al.] (eds.) pt. 1,pt. 2,pt. 3. - Heidelberg : Springer , c2011
1080 7031-7032 . LNCS sublibrary ; SL 3 . Information systems and application, incl. Internet/Web and HCI The Semantic Web - ISWC 2011 : 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, proceedings / Lora Aroyo ... [et al.] (eds.) pt. 1,pt. 2. - Berlin : Springer , c2011
1081 7034 . LNCS sublibrary : SL 1 . Theoretical computer science and general issues Graph drawing : 19th International Symposium, GD 2011, Eindhoven, the Netherlands, September 21-23, 2011: revised selected papers / Marc van Kreveld, Bettina Speckmann (eds.) pbk.. - Heidelberg : Springer , c2012
1082 7207. Lecture notes in artificial intelligence Inductive logic programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31-August 3, 2011 : revised selected papers / Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.) : pbk. - Heidelberg : Springer , c2012
1083 7237 . LNCS sublibrary ; SL 4. Security and cryptology Advances in Cryptology : EUROCRYPT 2012 : 31st annual international conference on the theory and applications of cryptographic techniques, Cambridge, UK, April 15-19, 2012 : Proceedings / David Pointcheval, Thomas Johansson (eds.) Heidelberg : Springer , c2012
1084 7249 . Lecture notes in artificial intelligence Computational issues in fluid construction grammar : a new formalism for the representation of lexicons and grammars / Luc Steels (ed.) : pbk.. - Heidelberg : Springer , c2012
1085 7295 The semantic Web : research and applications : 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012 : proceedings / Elena Simperl ... [et al.] (eds.) : pbk. - Heidelberg : Springer , c2012
1086 7301-7302 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012 : proceedings / Pang-Ning Tan ... [et al.], (eds.) pt. 1,pt. 2. - Heidelberg : Springer , c2012
1087 7458 . Lecture notes in artificial intelligence PRICAI 2012 : Trends in artificial intelligence : 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012 : Proceedings / Patricia Anthony, Mitsuru Ishizuka, Dickson Lukose (eds.) Heidelberg : Springer , c2012
1088 7523-7524 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings / Peter A. Flach, Tijl de Bie, Nello Cristianini (eds.) pt. 1,pt. 2. - Heidelberg : Springer , c2012
1089 7572-7578 Computer vision -- ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings / Andrew Fitzgibbon ... [et al.] (eds.) pt. 1 - pt. 7. - Berlin : Springer , c2012
1090 7603 . Lecture notes in artifical intelligence Knowledge engineering and knowledge management : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012 : proceedings / Annette ten Teije ... [et al.] (eds.) Heidelberg : Springer , c2012
1091 7649-7650 . LNCS sublibrary ; SL 3 . Information systems and application, incl. Internet/Web and HCI The semantic web - ISWC 2012 : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, proceedings / Philippe Cudré-Mauroux ... [et al.] (eds.) Pt. 1,Pt. 2. - Berlin : Springer , c2012
1092 7750 ; FoLLI publications on logic, language and information Logic and its applications : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings / Kamal Lodaya (ed.) pbk. - Berlin : Springer , c2013
1093 7818-7819 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013 : proceedings / Jian Pei ... [et al.] (eds.) pt. 1,pt. 2. - Heidelberg : Springer , c2013
1094 7842. Lecture notes in artificial intelligence Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.) : pbk. - Berlin : Springer , c2013
1095 7882 The semantic web : semantics and big data : 10th international conference, ESWC 2013, Montpellier, France, May 26-30, 2013 : proceedings / Philipp Cimiano ... [et al.] (eds.) Berlin : Springer , c2013
1096 7926 . Lecture notes in artificial intelligence Artificial Intelligence in Education : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013 : proceedings / H. Chad Lane ... [et al.] (eds.) Heidelberg : Springer , c2013
1097 7993 . Lecture notes in artificial intelligence Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers / Tetsuo Ida, Jacques Fleuriot (eds.) Heidelberg : Springer , c2013
1098 8188-8190 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013 : proceedings / Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný (eds.) pt. 1,pt. 2,pt. 3. - Heidelberg : Springer , c2013
1099 8218-8219 The semantic Web - ISWC 2013 : 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013 : proceedings / Harith Alani ... [et al.] (eds.) pt. 1 : [pbk.],pt. 2 : [pbk.]. - Heidelberg : Springer , c2013
1100 8260 . LNCS sublibrary. SL 1, Theoretical computer science and general issues Number theory and cryptography : papers in honor of Johannes Buchmann on the occasion of his 60th birthday / Marc Fischlin, Stefan Katzenbeisser (Eds.) paperback. - Berlin : Springer-Verlag , c2013
1101 8296 . LNCS sublibrary Computational geometry and graphs : Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, revised selected papers / Jin Akiyama, Mikio Kano, Toshinori Sakai (eds.) Heidelberg : Springer , c2013
1102 8372 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues Algebraic and algorithmic aspects of differential and integral operators : 5th international meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, selected and invited papers / Moulay Barkatou ... [et al.] (eds.) Heidelberg : Springer , c2014
1103 8417 . Lecture notes in artificial intelligence New frontiers in artificial intelligence : JSAI-isAI 2013 workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27 - 28, 2013, revised selected papers / Yukiko Nakano, Ken Satoh, Daisuke Bekki (eds.) Cham : Springer , c2014
1104 8443-8444 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 13-16, 2014 : proceedings / Vincent S. Tseng ... [et al.] (eds.) pt. 1 : [pbk.],pt. 2 : [pbk.]. - Cham : Springer , c2014
1105 8689-8695 Computer vision -- ECCV 2014 : 13th European conference Zurich, Switzerland, September 6-12, 2014 : proceedings / David Fleet ... [et al.] (eds.) pt. 1 - pt. 7. - Cham : Springer , c2014
1106 8724-8726 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014 : proceedings / Toon Calders ... [et al.] (eds.) pt. 1 : [pbk.],pt. 2 : [pbk.],pt. 3 : [pbk.]. - Heidelberg : Springer , c2014
1107 8796-8797 The semantic web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014 : proceedings / Peter Mika ... [et al.] (eds.) pt. 1 : [pbk.],pt. 2 : [pbk.]. - Cham : Springer , c2014
1108 8798 The Semantic web : ESWC 2014 satellite events, Anissaras, Crete, Greece, May 25-29, 2014, revised selected papers / Valentina Presutti ... [et al.] (eds.) Cham : Springer , c2014
1109 8812. Lecture notes in artificial intelligence Inductive logic programming : 23rd international conference, ILP 2013 Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers / Gerson Zaverucha, Vítor Santos Costa, Aline Paes (eds.) pbk. - Heidelberg : Springer , c2014
1110 8845 Discrete and computational geometry and graphs : 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, revised selected papers / Jin Akiyama, Hiro Ito, Toshinori Sakai (eds.) Cham : Springer , c2014
1111 8862 . Lecture notes in artificial intelligence PRICAI 2014 : Trends in artificial intelligence : 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings / Duc-Nghia Pham, Seong-Bae Park (eds.) Cham : Springer , c2014
1112 8876 . Lecture notes in artifical intelligence Knowledge engineering and knowledge management : 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014, proceedings / Krzysztof Janowicz ... [et al.] (eds.) Cham : Springer , c2014
1113 9046 . Lecture notes in artificial intelligence Inductive logic programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers / Jesse Davis, Jan Ramon (eds.) Cham : Springer , c2015
1114 9067 . Lecture notes in artificial intelligence New frontiers in artificial intelligence : JSAI-isAI 2014 workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, revised selected papers / Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (eds.) Berlin : Springer , c2015
1115 9077-9078 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, proceedings / Tru Cao ... [et al.] (eds.) pt. 1,pt. 2. - cham : Springer , c2015
1116 9088 The semantic web : latest advances and new domains : 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31-June 4, 2015. Proceedings / Fabien Gandon...[et al.](Eds.) Cham : Springer , c2015
1117 9112 . Lecture notes in artificial intelligence Artificial Intelligence in Education : 17th International Conference, AIED 2015 : Madrid, Spain, June 22-26, 2015 : proceedings / Cristina Conati ... [et al.] (eds.) Cham : Springer , c2015
1118 9284-9286 . LNCS sublibrary ; SL 7 . Artificial intelligence Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015 : proceedings / Annalisa Appice ... [et al.] (eds.) pt. 1,pt. 2,pt. 3. - Cham : Springer , c2015
1119 9366-9367 The Semantic Web - ISWC 2015 : 14th International Semantic Web Conference, Bethlehem, Pa, USA, October 11-15, 2015 : proceedings / Marcelo Arenas...[et al.] (eds.) pt. 1,pt. 2. - Cham : Springer , c2015
1120 9575 . Lecture notes in artificial intelligence Inductive logic programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers / Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (eds.) [Cham] : Springer , c2016
1121 9606 . LNCS sublibrary ; SL 4 . Security and cryptology Post-quantum cryptography : 7th International Workshop, PQCrypto 2016 Fukuoka, Japan, February 24-26, 2016 : proceedings / Tsuyoshi Takagi (ed.) [Cham] : Springer , c2016
1122 9651-9652 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 20th Pacific-Asia Conference, PAKDD 2016 Auckland, New Zealand, April 19-22, 2016, proceedings / James Bailey ... [et al.] (eds.) pt. 1,pt. 2. - [Cham] : Springer , c2016
1123 9678 The semantic web : latest advances and new domains : 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016. Proceedings / Herald Sack ... [et al.](eds.) [Cham] : Springer , c2016
1124 9810 . Lecture notes in artificial intelligence PRICAI 2016 : Trends in artificial intelligence : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / Richard Booth, Min-Ling Zhang (eds.) Switzerland : Springer , c2016
1125 9851-9853 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016 : proceedings / Paolo Frasconi ...[et al.](eds.) pt. 1,pt. 2,pt. 3. - Cham : Springer , c2016
1126 9905-9912 Computer vision -- ECCV 2016 : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016 : Proceedings / Bastian Leibe ... [et al.] (eds.) pt. 1 - pt. 8. - Cham : Springer , c2016
1127 9943 Discrete and computational geometry and graphs : 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, revised selected papers / Jin Akiyama ... [et al.] (eds.) Cham : Springer , c2016
1128 9981-9982 The Semantic Web - ISWC 2016 : 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016 : proceedings / Paul Groth ... [et al.] (eds.) : pt. 1,: pt. 2. - Cham : Springer , c2016
1129 10024 . Lecture notes in artificial intelligence Knowledge engineering and knowledge management : 20th international conference, EKAW 2016 Bologna, Italy, November 19-23, 2016 : Proceedings / Eva Blomqvist ... [et al.] (eds.) Cham : Springer , c2016
1130 10234-10235 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 21st Pacific-Asia Conference, PAKDD 2017 Jeju, South Korea, May 23-26, 2017, Proceedings / Jinho Kim ... [et al.] (eds.) pt. 1,pt. 2. - [Cham] : Springer , c2017
1131 10249-10250 The semantic web : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28-June 1, 2017, proceedings / Eva Blomqvist [et al.](eds.) :pt.1,:pt.2. - Cham : Springer , c2017
1132 10326 . Lecture notes in artificial intelligence Inductive logic programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers / James Cussens, Alessandra Russo (eds.) [Cham] : Springer , c2017
1133 10331. Lecture notes in artificial intelligence Artificial intelligence in education : 18th International Conference, AIED 2017, Wuhan, China, June 28-July 1, 2017, proceedings / Elisabeth André ... [et al.] (eds.) : pbk. - Cham : Springer , c2017
1134 10534-10536 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18-22, 2017 : proceedings / Ceci, Michelangelo ... [et al.](Eds.) pt. 1,pt. 2,pt. 3. - Cham : Springer , c2017
1135 10587-10588 The Semantic Web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings / Claudia d'Amato ... [et al.] (eds.) pt. 1,pt. 2. - Cham : Springer , c2017
1136 10759 . Lecture notes in artificial intelligence Inductive logic programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017 : revised selected papers / Nicolas Lachiche, Christel Vrain (eds.) [Cham] : Springer , c2018
1137 10843 The semantic web : 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, proceedings / Aldo Gangemi [et al.](eds.) Cham : Springer , c2018
1138 10937-10939 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings / Dinh Phung ... [et al.] (eds.) pt. 1,pt. 2,pt. 3. - [Cham] : Springer , c2018
1139 10947-10948. Lecture notes in artificial intelligence Artificial intelligence in education : 19th International Conference, AIED 2018, London, UK, June 27-30, 2018, proceedings / Carolyn Penstein Rosé ... [et al.] (eds.) pt. 1,pt. 2. - Cham : Springer , c2018
1140 11012-11013 . Lecture notes in artificial intelligence PRICAI 2018 : Trends in artificial intelligence : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings / Xin Geng, Byeong-Ho Kang (eds.) part 1,part 2. - Cham : Springer , c2018
1141 11051-11053 . Lecture notes in artificial intelligence Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018 : proceedings / Michele Berlingerio ... [et al.](Eds.) pt. 1,pt. 2,pt. 3. - Cham : Springer , c2019
1142 11105 . Lecture notes in artificial intelligence Inductive logic programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings / Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese (eds.) Cham : Springer , c2018
1143 11136-11137 The Semantic Web – ISWC 2018 : 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings / Denny Vrandečić ... [et al.] (eds.) pt. 1,pt. 2. - Cham : Springer , c2018
1144 11205-11220 Computer vision -- ECCV 2018 : 15th European Conference, Munich, Germany, September 8-14, 2018 : Proceedings / Vittorio Ferrari ... [et al.] (eds.) : pt. 1 - : pt. 16. - Cham : Springer , c2018
1145 11313 . Lecture notes in artificial intelligence Knowledge engineering and knowledge management : 21st international conference, EKAW 2018 Nancy, France, November 12-16, 2018 : Proceedings / Catherine Faron Zucker ... [et al.] (eds.) Cham : Springer , c2018
1146 11340 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues Distributed computing by mobile entities : current research in moving and computing / Paola Flocchini, Giuseppe Prencipe, Nicola Santoro (eds.) : [pbk.]. - [Cham] : Springer , c2019
1147 11439-11441 . Lecture notes in artificial intelligence Advances in knowledge discovery and data mining : 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings / Qiang Yang ... [et al.] (eds.) pt. 1,pt. 2,pt. 3. - [Cham] : Springer , c2019
1148 11503 The Semantic Web : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings / Pascal Hitzler ... [et al.] (eds.) Cham : Springer , c2019
1149 11625-11626. Lecture notes in artificial intelligence Artificial intelligence in education : 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, proceedings / Seiji Isotani ... [et al.] (eds.) pt. 1,pt. 2. - Cham : Springer , c2019
1150 11670-11672 . Lecture notes in artificial intelligence PRICAI 2019 : Trends in artificial intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019 : Proceedings / Abhaya C. Nayak, Alok Sharma (eds.) part 1,part 2,part 3. - Cham : Springer , c2019
1151 11778-11779 The Semantic Web – ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings / Chiara Ghidini ... [et al.] (eds.) pt. 1,pt. 2. - Cham : Springer , c2019

書誌詳細を非表示

別書名 異なりアクセスタイトル:LNCS
巻冊次 volumes 1-100 index