1 |
6
Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.]
: Berlin,: New York. - 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
|
2 |
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
|
3 |
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
|
4 |
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
|
5 |
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
|
6 |
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
|
7 |
27
Optimization techniques : IFIP Technical Conference, Novosibirsk, July 1-7, 1974 / edited by G.I. Marchuk
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
8 |
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
|
9 |
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
|
10 |
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
|
11 |
35
Exercises in computer systems analysis / W. Everling
: gw,: us. - Corrected reprint of the 1st ed. - Berlin ; New York : Springer-Verlag , 1975
|
12 |
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
|
13 |
43
Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen
Berlin ; New York : Springer-Verlag , 1976
|
14 |
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
|
15 |
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
|
16 |
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
|
17 |
47
Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
18 |
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
|
19 |
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
|
20 |
50
A Concurrent Pascal compiler for minicomputers / Alfred C. Hartmann
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
21 |
51
Matrix eigensystem routines : EISPACK guide extension / B.S. Garbow ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
22 |
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
|
23 |
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
|
24 |
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
|
25 |
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
|
26 |
57
Portability of numerical software : workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell
: gw,: us. - Berlin : Springer-Verlag , 1977
|
27 |
58
Computing in systems described by equations / Michael J. O'Donnell
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
28 |
59
A comparative study of very large data bases / Edward Hill, Jr
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978
|
29 |
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
|
30 |
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
|
31 |
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
|
32 |
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
|
33 |
67
Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
34 |
68
First-order dynamic logic / David Harel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1979
|
35 |
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
|
36 |
71
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer
: gw,: us. - Berlin : Springer-Verlag , 1979
|
37 |
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
|
38 |
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
|
39 |
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
|
40 |
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
|
41 |
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
|
42 |
82
A relational theory of computing / John G. Sanderson
: gw,: us. - Berlin : Springer-Verlag , 1980
|
43 |
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
|
44 |
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
|
45 |
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
|
46 |
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
|
47 |
90
Using sophisticated models in resolution theorem proving / David M. Sandford
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
48 |
91
Grammar and L forms : an introduction / Derick Wood
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
49 |
93
Context-free grammars : covers, normal forms, and parsing / Anton Nijholt
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
50 |
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
|
51 |
95
Coroutines : a programming methodology, a language design and an implementation / Christopher D. Marlin
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
52 |
97
Reliability evaluation of some fault-tolerant computer architectures / Shunji Osaki, Toshihiko Nishio
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
53 |
98
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest
: gw,: us. - Berlin : Springer-Verlag , 1980
|
54 |
99
Algebraic semantics / Irène Guessarian
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
55 |
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
|
56 |
101
Boolean calculus of differences / André Thayse
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
57 |
102
On the integration of algebraic functions / James Harold Davenport
: gw,: us. - Berlin ; New York : Springer , 1981
|
58 |
103
Directions in human factors for interactive systems / Henry Ledgard, Andrew Singer, John Whiteside
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
59 |
104
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
60 |
106
The Programming language Ada : reference manual / proposed standard document, United States Department of Defense
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981
|
61 |
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
|
62 |
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
|
63 |
109
Digital image processing systems / edited by Leonard Bolc and Zenon Kulpa
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
64 |
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
|
65 |
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
|
66 |
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
|
67 |
113
Stochastic automata : stability, nondeterminism, and prediction / Ernst-Erich Doberkat
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
68 |
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
|
69 |
116
The concurrency control problem for database systems / Marco Antonio Casanova
: Berlin,: New York. - Berlin ; New York : Springer , 1981
|
70 |
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
|
71 |
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
|
72 |
119
Anaphora in natural language understanding : a survey / Graeme Hirst
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
73 |
120
Automatic differentiation : techniques and applications / Louis B. Rall
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
74 |
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
|
75 |
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
|
76 |
124
Compiler specification and verification / Wolfgang Polak
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
77 |
125
Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler
: gw,: us. - Berlin ; Tokyo : Springer , 1981
|
78 |
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
|
79 |
127
Alternating sequential/parallel processing / Y. Wallach
: gw,: us. - Berlin ; New York : Springer , 1982
|
80 |
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
|
81 |
129
Verifying concurrent processes using temporal logic / Brent T. Hailpern
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982
|
82 |
131
Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
: gw,: us. - Berlin : Springer-Verlag , 1982
|
83 |
134
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup
: gw,: us. - Berlin : Springer-Verlag , 1982
|
84 |
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
|
85 |
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
|
86 |
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
|
87 |
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
|
88 |
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
|
89 |
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
|
90 |
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
|
91 |
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
|
92 |
151
CONLAN report / R. Piloty ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983
|
93 |
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
|
94 |
156
The design of dynamic data structures / Mark H. Overmars
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
|
95 |
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
|
96 |
160
The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983
|
97 |
161
DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.]
: gw,: us. - Rev. version. - Berlin ; New York : Springer-Verlag , 1983
|
98 |
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
|
99 |
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
|
100 |
169
Feedback shift registers / Christian Ronse
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
|
101 |
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
|
102 |
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
|
103 |
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
|
104 |
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
|
105 |
177
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
|
106 |
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
|
107 |
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
|
108 |
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
|
109 |
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
|
110 |
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
|
111 |
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
|
112 |
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
|
113 |
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
|
114 |
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
|
115 |
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
|
116 |
193
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
117 |
194
Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
118 |
195
A hierarchical associative processing system / Heinrich J. Stüttgen
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
119 |
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
|
120 |
198
PORTAL language description / Arnold Businger
: gw,: us. - 2nd extended ed. - Berlin ; Tokyo : Springer-Verlag , c1988
|
121 |
200
Trace theory and VLSI design / Jan L.A. van de Snepscheut
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
122 |
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
|
123 |
202
Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
124 |
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
|
125 |
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
|
126 |
205
A study in string processing languages / Paul Klint
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
|
127 |
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
|
128 |
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
|
129 |
208
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
130 |
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
|
131 |
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
|
132 |
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
|
133 |
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
|
134 |
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
|
135 |
216
LUCAS associative array processor : design, programming, and application studies / Christer Fernstrom, Ivan Kruzela, Bertil Svensson
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
|
136 |
218
Advances in cryptology -- CRYPTO '85 : proceedings / edited by Hugh C. Williams
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
|
137 |
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
|
138 |
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
|
139 |
222
Advances in Petri nets 1985 / edited by G. Rozenberg
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
|
140 |
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
|
141 |
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
|
142 |
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
|
143 |
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
|
144 |
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
|
145 |
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
|
146 |
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
|
147 |
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
|
148 |
231
NEWCAT : parsing natural language using left-associative grammar / Roland Hausser
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
|
149 |
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
|
150 |
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
|
151 |
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
|
152 |
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
|
153 |
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
|
154 |
238
Negation and control in Prolog / Lee Naish
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
|
155 |
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
|
156 |
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
|
157 |
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
|
158 |
245
Lectures on the complexity of bilinear problems / H.F. de Groote
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
159 |
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
|
160 |
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
|
161 |
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
|
162 |
251
Unobstructed shortest paths in polyhedral environments / Varol Akman
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
163 |
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
|
164 |
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
|
165 |
256
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
166 |
257
Database machine performance : modeling methodologies and evaluation strategies / edited by Francesca Cesarini and Silvio Salza
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
167 |
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
|
168 |
260
ANNA : a language for annotating Ada programs : reference manual / David C. Luckham ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
169 |
261
Translating relational queries into iterative programs / Johann Christoph Freytag
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
170 |
262
A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
171 |
263
Advances in cryptology -- CRYPTO '86 : proceedings / A.M. Odlyzko (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
172 |
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
|
173 |
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
|
174 |
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
|
175 |
268
Constrained global optimization : algorithms and applications / P.M. Pardalos, J.B. Rosen
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
176 |
270
Computation theory and logic / Egon Börger (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
177 |
271
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
178 |
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
|
179 |
273
A connotational theory of program structure / James S. Royer
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
180 |
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
|
181 |
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
|
182 |
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
|
183 |
277
Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
184 |
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
|
185 |
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
|
186 |
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
|
187 |
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
|
188 |
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
|
189 |
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
|
190 |
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
|
191 |
285
Semantics of digital circuits / Carlos Delgado Kloos
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
192 |
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
|
193 |
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
|
194 |
288
MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
195 |
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
|
196 |
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
|
197 |
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
|
198 |
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
|
199 |
293
Advances in cryptology -- CRYPTO '87 : proceedings / Carl Pomerance (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
200 |
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
|
201 |
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
|
202 |
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
|
203 |
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
|
204 |
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
|
205 |
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
|
206 |
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
|
207 |
301
Pattern recognition : 4th international conference, Cambridge, U.K., March 28-30, 1988 : proceedings / J. Kittler (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
208 |
302
Attribute grammar inversion and source-to-source translation / Daniel M. Yellin
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
209 |
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
|
210 |
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
|
211 |
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
|
212 |
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
|
213 |
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
|
214 |
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
|
215 |
309
Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings / J. Nehmer (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
216 |
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
|
217 |
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
|
218 |
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
|
219 |
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
|
220 |
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
|
221 |
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
|
222 |
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
|
223 |
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
|
224 |
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
|
225 |
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
|
226 |
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
|
227 |
321
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
228 |
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
|
229 |
323
Attribute grammars : definitions, systems and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
230 |
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
|
231 |
325
Modern cryptology : a tutorial / Gilles Brassard
: gw,: us. - New York ; Tokyo : Springer-Verlag , c1988
|
232 |
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
|
233 |
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
|
234 |
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
|
235 |
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
|
236 |
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
|
237 |
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
|
238 |
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
|
239 |
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
|
240 |
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
|
241 |
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
|
242 |
336
Error detection and recovery in robotics / Bruce R. Donald
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
243 |
337
Efficient structures for geometric data management / Oliver Günther
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
244 |
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
|
245 |
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
|
246 |
341
Software reliability modelling and identification / Sergio Bittanti (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
247 |
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
|
248 |
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
|
249 |
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
|
250 |
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
|
251 |
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
|
252 |
347 . Lecture notes in artificial intelligence
Knowledge representation and organization in machine learning / K. Morik (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
253 |
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
|
254 |
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
|
255 |
350
Global optimization / Aimo Törn, Antanas Žilinskas
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
256 |
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
|
257 |
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
|
258 |
353 . Lecture notes in artificial intelligence
Foundations of equational logic programming / Steffen Hölldobler
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
259 |
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
|
260 |
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
|
261 |
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
|
262 |
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
|
263 |
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
|
264 |
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
|
265 |
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
|
266 |
361
Nested relations and complex objects in databases / S. Abiteboul, P.C. Fischer, H.-J. Schek (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
267 |
362
Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
268 |
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
|
269 |
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
|
270 |
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
|
271 |
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
|
272 |
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
|
273 |
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
|
274 |
369
Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
275 |
370
Modified branching programs and their computational power / Christoph Meinel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
276 |
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
|
277 |
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
|
278 |
373
Algorithms for parallel polygon rendering / T. Theoharis
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
279 |
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
|
280 |
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
|
281 |
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
|
282 |
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
|
283 |
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
|
284 |
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
|
285 |
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
|
286 |
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
|
287 |
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
|
288 |
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
|
289 |
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
|
290 |
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
|
291 |
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
|
292 |
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
|
293 |
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
|
294 |
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
|
295 |
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
|
296 |
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
|
297 |
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
|
298 |
393
Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.], (eds.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1989
|
299 |
394, 490
Algebraic methods : theory, tools and applications / M. Wirsing, J.A. Bergstra, eds
[1] : gw - 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1989-c1991
|
300 |
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
|
301 |
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
|
302 |
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
|
303 |
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
|
304 |
399
Recent issues in pattern analysis and recognition / V. Cantoni ... [et al.], (eds.)
: gw,: us. - New York ; Berlin ; Tokyo : Springer-Verlag , c1989
|
305 |
400
Concrete and abstract Voronoi diagrams / Rolf Klein
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
306 |
401
Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2, 1989 : proceedings / H. Djidjev (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
307 |
402
Interactive relational database design : a logic programming implementation / Tapan P. Bagchi, Vinay K. Chaudhri
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
308 |
403
Advances in cryptology--CRYPTO '88, proceedings / S. Goldwasser (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
|
309 |
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
|
310 |
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
|
311 |
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
|
312 |
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
|
313 |
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
|
314 |
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
|
315 |
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
|
316 |
413
Group theoretical methods in image processing / Reiner Lenz
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
|
317 |
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
|
318 |
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
|
319 |
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
|
320 |
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
|
321 |
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
|
322 |
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
|
323 |
421
A formal model of visualization in computer graphics systems / Tamiya Onodera, Satoru Kawai
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
|
324 |
422 . Lecture notes in artificial intelligence
Reasoning and revision in hybrid representation systems / Bernhard Nebel
: gw,: us. - Berlin ; Tokyo : Springer Verlag , c1990
|
325 |
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
|
326 |
424
Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
|
327 |
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
|
328 |
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
|
329 |
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
|
330 |
537
Advances in cryptology--CRYPTO '90 : proceedings / A.J. Menezes, S.A. Vanstone, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
|
331 |
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
|
332 |
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
|
333 |
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
|
334 |
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
|
335 |
650
Algorithms and computation : Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992 : proceedings / T. Ibaraki ... [et al.] (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992
|
336 |
674
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993
|
337 |
716
Spatial information theory : a theoretical basis for GIS : European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993 : proceedings / Andrew U. Frank, Irene Campari (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993
|
338 |
728 . Lecture notes in artificial intelligence
Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93, Torino, Italy, October 26-28, 1993 : proceedings / Pietro Torasso, (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993
|
339 |
737
Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)
: us,: gw. - Berlin ; Heidelberg ; New York : Springer-Verlag , c1993
|
340 |
750
Software engineering education : 7th SEI CSEE Conference, San Antonio, Texas, USA, January, 5-7, 1994 : proceedings / Jorge L. Díaz-Herrera, (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
341 |
762
Algorithms and computation : 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993 : proceedings / K.W. Ng ... [et al.] (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
|
342 |
766 . Lecture notes in artificial intelligence
The dynamics of concepts : a connectionist model / Philip R. Van Loocke
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
343 |
767
An extended entity-relationship model : fundamentals and pragmatics / Martin Gogolla
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994
|
344 |
769
The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization / J.L. Nazareth
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
345 |
772
Software process technology : Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994 : proceedings / Brian C. Warboys, (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994
|
346 |
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
|
347 |
791
Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings / Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
348 |
795 . Lecture notes in artificial intelligence
FM8501 : a verified microprocessor / Warren A. Hunt, Jr
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
|
349 |
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
|
350 |
798 . Lecture notes in artificial intelligence
Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
|
351 |
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
|
352 |
808 . Lecture notes in artificial intelligence
Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
353 |
811
Advanced information systems engineering : 6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6-10, 1994 : proceedings / Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
|
354 |
812
Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg (eds.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994
|
355 |
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
|
356 |
823
Entity-relationship approach--ER '93 : 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15-17, 1993 : proceedings / Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
|
357 |
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
|
358 |
832
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
359 |
833 . Lecture notes in artificial intelligence
Fuzzy logic and fuzzy control : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991 : proceedings / Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
360 |
847 . Lecture notes in artificial intelligence
Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings / Anca L. Ralescu, (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
361 |
855
Algorithms -- ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994 : proceedings / Jan van Leeuwen (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
362 |
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
|
363 |
861 . Lecture notes in artificial intelligence
KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings / Bernhard Nebel, Leonie Dreschler-Fischer, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
364 |
870
Distributed programming paradigms with cryptography applications / Jonathan S. Greenfield
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
365 |
871
Database issues for data visualization : IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993 : proceedings / John P. Lee, Georges G. Grinstein, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
|
366 |
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
|
367 |
897 . Lecture notes in artificial intelligence
Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.)
Berlin ; New York : Springer-Verlag , c1995
|
368 |
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
|
369 |
931
Artificial neural networks : an introduction to ANN theory and practice / P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters, (eds.)
: gw,: us. - Berlin ; New York : Springer , c1995
|
370 |
988
Spatial information theory : a theoretical basis for GIS : International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995 : proceedings / Andrew U. Frank, Werner Kuhn (eds.)
Berlin ; New York : Springer , c1995
|
371 |
992 . Lecture notes in artificial intelligence
Topics in artificial intelligence : 4th Congress of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings / Marco Gori, Giovanni Soda (eds.)
Berlin : Springer-Verlag , c1995
|
372 |
999, 1273, 1567
Hybrid systems / Panos Antsaklis [et al.] (eds.)
2,4,5. - Berlin : Springer , c1995-
|
373 |
1000
Computer science today : recent trends and developments / Jan van Leeuwen, (ed.)
Berlin ; New York ; Tokyo : Springer , c1995
|
374 |
1006
Information systems and data management : 6th International Conference, CISMOD '95, Bombay, India, November 15-17, 1995 : proceedings / Subhash Bhalla (ed.)
Berlin ; New York : Springer , c1995
|
375 |
1015
Human-computer interaction : 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995 : selected papers / Brad Blumenthal, Juri Gornostaev, Claus Unger (eds.)
Berlin ; New York : Springer-Verlag , c1995
|
376 |
1019
Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.)
Berlin ; New York : Springer , c1995
|
377 |
1021
OOER '95: Object-oriented and entity-relationship modelling : 14th international conference, Gold Coast, Australia, December 13-15, 1995 : proceedings / Michael P. Papazoglou (ed.)
: gw. - Berlin : Springer-Verlag , c1995
|
378 |
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
|
379 |
1081 . Lecture notes in artificial intelligence
Advances in artificial intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96, Tronto, Ontario, Canada, May 21-24, 1996 : proceedings / Gordon McCalla, (ed.)
Berlin ; Tokyo : Springer , c1996
|
380 |
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
|
381 |
1108
Computer aided learning and instruction in science and engineering : Third International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996 : proceedings / A. Díaz de Ilarraza Sánchez, I. Fernández de Castro, (eds.)
Berlin ; New York : Springer , c1996
|
382 |
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
|
383 |
1115 . Lecture notes in artificial intelligence
Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / Peter W. Eklund, Gerard Ellis, Graham Mann, (eds.)
Berlin : Springer , c1996
|
384 |
1120
Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers / Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.)
Berlin ; Tokyo : Springer , c1996
|
385 |
1123-1124
Euro-Par'96 : parallel processing : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings / Luc Bougé ...[et al.] (eds.)
v. 1,v. 2. - Berlin ; Tokyo : Springer , c1996
|
386 |
1125
Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison, (eds.)
Berlin ; Tokyo : Springer , c1996
|
387 |
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
|
388 |
1130
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
Berlin ; Tokyo : Springer , c1996
|
389 |
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
|
390 |
1132
The Data parallel programming model : foundations, HPF realization, and scientific applications / Guy-René Perrin, Alain Darte (eds.)
Berlin : Springer , c1996
|
391 |
1133
Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers / Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver (eds.)
Berlin : Springer , c1996
|
392 |
1143
Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers / Terence C. Fogarty (ed.)
Berlin : Springer , c1996
|
393 |
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
|
394 |
1153
Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-Septmber 1, 1995 : selected papers / Edmund Burke, Peter Ross, (eds.)
Berlin : Springer , c1996
|
395 |
1160 . Lecture notes in artificial intelligence
Algorithmic learning theory : 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Setsuo Arikawa, Arun K. Sharma, (eds.)
Berlin ; New York ; Tokyo : Springer , c1996
|
396 |
1166
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.)
Berlin : Springer , c1996
|
397 |
1167
Software configuration management : ICSE '96 SCM-6 workshop, Berlin, Germany, March 25-26, 1996 : selected papers / Ian Sommerville (ed.)
Berlin : Springer-Verlag , c1996
|
398 |
1170
Building tightly integrated software development environments : the IPSEN approach / Manfred Nagl (ed.)
Berlin : Springer , c1996
|
399 |
1172
Information security and privacy : First Australasian Conference, ACISP '96, Wollongong, NSW, Australia, June 24-26, 1996 : proceedings / Josef Pieprzyk, Jennifer Seberry (eds.)
Berlin ; Tokyo : Springer-Verlag , c1996
|
400 |
1174
Information hiding : First International Workshop, Cambridge, U.K., May 30-June 1, 1996 : proceedings / Ross Anderson (ed.)
Berlin : Springer-Verlag , c1996
|
401 |
1183
Database issues for data visualization : IEEE Visualization '95 Workshop, Atlanta, Georgia, USA, October 28, 1995 : proceedings / Andreas Wierse, Georges G. Grinstein, Ulrich Lang (eds.)
: gw. - Berlin ; Tokyo : Springer-Verlag , c1996
|
402 |
1188 . Lecture notes in artificial intelligence
Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers / Trevor P. Martin, Ance L. Ralescu (eds.)
Berlin : Springer , c1997
|
403 |
1190
Graph drawing : Symposium on Graph Drawing, GD '96, Berkeley, California, USA, September 18-20, 1996, proceedings / Stephen North (ed.)
Berlin : Springer , c1997
|
404 |
1194
Evolution of parallel cellular machines : the cellular programming approach / Moshe Sipper
Berlin ; Tokyo : Springer , c1997
|
405 |
1205
CVRMed-MRCAS'97 : First Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery Grenoble, France, March 19-22, 1997, proceedings / Jocelyne Troccaz, Eric Grimson, Ralph Mösges (eds.)
Berlin : Springer , c1997
|
406 |
1208 . Lecture notes in artificial intelligence
Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997, proceedings / Shai Ben-David (ed.)
Berlin : Springer , c1997
|
407 |
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
|
408 |
1215
Vector and parallel processing - VECPAR ʾ96 : Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25-27, 1996 : selected papers / José M.L.M. Palma, Jack Dongarra ,(eds.)
Berlin ; Tokyo : Springer-Verlag , c1997
|
409 |
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
|
410 |
1227 . Lecture notes in artificial intelligence
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.)
: kart. - Berlin ; Heidelberg : Springer , c1997
|
411 |
1235
Software configuration management : ICSE'97 SCM-7 workshops : Boston, MA, USA, May 18-19, 1997 proceedings / Reidar Conradi (ed.)
Berlin : Springer-Verlag , c1997
|
412 |
1236 . Lecture notes in artificial intelligence
Dialogue processing in spoken language systems : ECAI '96 Workshop, Budapest, Hungary, August 13, 1996 : revised papers / Elisabeth Maier, Marion Mast, Susann LuperFoy (eds.)
Berlin ; Heidelberg : Springer , c1997
|
413 |
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
|
414 |
1242
Multimedia applications, services, and techniques : ECMAST '97, Second European Conference, Milan, Italy, May 21-23, 1997 : proceedings / Serge Fdida, Michele Morganti (eds.)
: pbk. - Berlin ; New York : Springer , c1997
|
415 |
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
|
416 |
1257 . Lecture notes in artificial intelligence
Conceptual structures : fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997 : proceedings / Dickson Lukose ... [et al.] (Eds.)
Berlin : Springer , c1997
|
417 |
1258
Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.)
Berlin ; Tokyo : Springer , c1997
|
418 |
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
|
419 |
1274
Worldwide computing and its applications : International Conference, WWCA '97 Tsukuba, Japan, March 10-11, 1997 proceedings / Takashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto (eds.)
Berlin : Springer , c1997
|
420 |
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
|
421 |
1280
Advances in intelligent data analysis reasoning about data : second International Symposium, IDA-97 London, UK, August 4-6, 1997 : proceedings / Xiaohui Liu, Paul Cohen, Michael Berthold (Eds.)
Berlin : Springer , c1997
|
422 |
1281
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
Berlin : Springer , c1997
|
423 |
1292
Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
: pbk. - Berlin ; Tokyo : Springer , c1997
|
424 |
1301
Software engineering - ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997 : proceedings / Mehdi Jazayeri, Helmut Schauer (eds.)
Berlin ; Tokyo : Springer , c1997
|
425 |
1306
Visual information systems / Clement Leung (ed.)
Berlin ; Tokyo : Springer-Verlag , c1997
|
426 |
1317. Lecture notes in artificial intelligence
Music, gestalt, and computing : studies in cognitive and systematic musicology / Marc Leman (ed.)
Berlin : Springer , c1997
|
427 |
1321 . Lecture notes in artificial intelligence
AI*IA 97, advances in artificial intelligence : 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997 proceedings / Maurizio Lenzerini (ed.)
Berlin : Springer-Verlag , c1997
|
428 |
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
|
429 |
1342 . Lecture notes in artificial intelligence
Advanced topics in artificial intelligence : 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30- December 4, 1997 : proceedings / Abdul Sattar, (ed.)
Berlin ; New York : Springer Verlag , c1997
|
430 |
1351-1352
Computer vision, ACCV '98 : Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, proceedings / Roland Chin, Ting-Chuen Pong (eds.)
v. 1,v. 2. - Berlin ; New York : Springer , c1997
|
431 |
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
|
432 |
1360 . Lecture notes in artificial intelligence
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers / Dongming Wang (ed.)
Berlin ; New York : Springer , c1997
|
433 |
1361
Security protocols : 5th International Workshop, Paris, France, April 7-9, 1997 : proceedings / Bruce Christianson ... [et al.] (eds.)
Berlin : Springer , c1998
|
434 |
1410
Audio system for technical readings / T.V. Raman
Berlin ; Tokyo : Springer-Verlag , c1998
|
435 |
1429
Development and evolution of software architectures for product families : Second international ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings / Frank van der Linden (ed.)
: gw. - Berlin : Springer-Verlag , c1998
|
436 |
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
|
437 |
1444
Approximation algorithms for combinatorial optimization : international workshop APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings / Klaus Jansen, José Rolim (eds.)
Berlin : Springer , c1998
|
438 |
1491-1492
Lectures on Petri nets : advances in Petri nets / Wolfgang Reisig, Grzegorz Rozenberg (eds.)
1,2. - Berlin ; New York : Springer , c1998
|
439 |
1500
Software process : principles, methodology, and technology / Jean-Claude Derniame, Badara Ali Kaba, David Wastell (eds.)
Berlin ; New York : Springer , c1999
|
440 |
1502 . Lecture notes in artificial intelligence
Advanced topics in artificial intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998 : selected papers / Grigoris Antoniou, John Slaney (eds.)
Berlin ; Tokyo : Springer , c1998
|
441 |
1521
SOFSEM '98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998 : proceedings / Branislav Rovan (ed.)
Berlin ; Tokyo : Springer-Verlag , c1998
|
442 |
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
|
443 |
1534 . Lecture notes in artificial intelligence
Multi-agent systems and agent-based simulation : First International Workshop, MABS '98, Paris, France, July 4-6, 1998 : proceedings / Jaime S. Sichman, Rosaria Conte, Nigel Gilbert (eds.)
Berlin : Springer , c1998
|
444 |
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
|
445 |
1564
Interactive multimedia documents : modeling, authoring, and implementation experiences / Michalis Vazirgiannis
Berlin : Springer , c1999
|
446 |
1566 . Lecture notes in artificial intelligence
Fuzzy logic in artificial intelligence : IJCAI '97 Workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers / Anca L. Ralescu, James G. Shanahan (eds.)
Berlin : Springer , c1999
|
447 |
1584
Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
Berlin ; New York : Springer , c1999
|
448 |
1591
PREMO: a framework for multimedia middleware : specification, rationale, and Java binding / David J. Duke, Ivan Herman, M. Scott Marshall
Berlin : Springer , c1999
|
449 |
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
|
450 |
1597
Intelligence in services and networks : paving the way for an open service market : 6th International Conference on Intelligence in Services and Networks, IS&N'99, Barcelona, Spain, April 27-29, 1999 : proceedings / Han Zuidweg ... [et al.] (eds.)
Berlin ; Tokyo : Springer , c1999
|
451 |
1604 . Lecture notes in artificial intelligence
RoboCup-98 : Robot Soccer World Cup II / Minoru Asada, Hiroaki Kitano (eds.)
Berlin ; Tokyo : Springer , c1999
|
452 |
1609 . Lecture notes in artificial intelligence
Foundations of intelligent systems : 11th International Symposium, ISMIS'99, Warsaw, Poland, June 8-11, 1999 : proceedings / Zbigniew W. Raś, Andrzej Skowron (eds.)
Berlin ; New York : Springer , c1999
|
453 |
1612 . Lecture notes in artificial intelligence
Developing industrial case-based reasoning applications : the INRECA methodology / Ralph Bergmann ...[et al.]
Berlin ; Tokyo : Springer , c1999
|
454 |
1622
Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / Michael González Harbour, Juan A. de la Puente (eds.)
Berlin ; New York : Springer , c1999
|
455 |
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
|
456 |
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
|
457 |
1646
Models and tools for managing development processes / Bernhard Westfechtel
Berlin ; Tokyo : Springer , c1999
|
458 |
1655
Document analysis systems : theory and practice : third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998 : selected papers / Seong-Whan Lee, Yasuaki Nakano (eds.)
Berlin ; New York : Springer Verlag , c1999
|
459 |
1659
Job scheduling strategies for parallel processing : IPPS/SPDP '99 Workshop, JSSPP '99, San Juan, Puerto Rico, April 16, 1999 : proceedings / Dror G. Feitelson, Larry Rudolph (eds.)
Berlin : Springer , c1999
|
460 |
1667
Dependable computing--EDCC-3 : third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings / Jan Hlavička, Erik Maehle, András Pataricza (eds.)
Berlin : Springer , c1999
|
461 |
1669 . Lecture notes in artificial intelligence
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Berlin : Springer , c1999
|
462 |
1680
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.)
Berlin ; Tokyo : Springer , c1999
|
463 |
1681
Shape, contour and grouping in computer vision / David A. Forsyth ... [et al.] (eds.)
Berlin : Springer , c1999
|
464 |
1688 . Lecture notes in artificial intelligence
Modeling and using context : Second International and Interdisciplinary Conference, CONTEXT '99, Trento, Italy, September 9-11, 1999 : proceedings / Paolo Bouquet ... [et al.] (eds.)
Berlin : Springer , c1999
|
465 |
1693
Distributed computing : 13th International Symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings / Prasad Jayanti (ed.)
Berlin ; Tokyo : Springer , c1999
|
466 |
1699 . Lecture notes in artificial intelligence
Intelligent agents for telecommunication applications : Third International Workshop, IATA '99, Stockholm, Sweden, August 9-10, 1999 : proceedings / Sahin Albayrak (ed.)
Berlin ; Tokyo : Springer , c1999
|
467 |
1701 . Lecture notes in artificial intelligence
KI-99 : advances in artificial intelligence : 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 : proceedings / Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.)
Berlin ; Tokyo : Springer , c1999
|
468 |
1707
Handheld and ubiquitous computing : First International Symposium, HUC '99, Karlsruhe, Germany, September 27-29, 1999 : proceedings / Hans-W. Gellersen (ed.)
Berlin ; Tokyo : Springer , c1999
|
469 |
1711 . Lecture notes in artificial intelligence
New directions in rough sets, data mining, and granular-soft computing, 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 : proceedings / Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.)
Berlin ; Tokyo : Springer , c1999
|
470 |
1712 . Lecture notes in artificial intelligence
A tight, practical integration of relations and functions / Harold Boley
Berlin : Springer , c1999
|
471 |
1714 . Lecture notes in artificial intelligence
Information extraction : towards scalable, adaptable systems / Maria Teresa Pazienza (ed.)
Berlin : Springer , c1999
|
472 |
1721 . Lecture notes in artificial intelligence
Discovery science : second International Conference, DS '99, Tokyo, Japan, December 6-8, 1999 : proceedings / Setsuo Arikawa, Koichi Furukawa (eds.)
Berlin ; Tokyo : Springer , c1999
|
473 |
1724 . Lecture notes in artificial intelligence
Sensor based intelligent robots : International Workshop, Dagstuhl Castle, Germany, September 28-October 2, 1998 : selected papers / Henrik I. Christensen, Horst Bunke, Hartmut Noltemeier (eds.)
Berlin : Springer , c1999
|
474 |
1725
SOFSEM '99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
Berlin : Springer , c1999
|
475 |
1728
Conceptual modeling - ER '99 : 18th International Conference on Conceptual Modeling, Paris, France, November 15-18, 1999 : proceedings / Jacky Akoka ... [et al.] (eds.)
Berlin : Springer , c1999
|
476 |
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
|
477 |
1732
Computing in object-oriented parallel environments : third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 : proceedings / Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn (eds.)
Berlin : Springer , c1999
|
478 |
1734
SCI: scalable coherent interface : architecture and software for high-performance compute clusters / Hermann Hellwagner, Alexander Reinefeld (eds.)
Berlin : Springer , c1999
|
479 |
1735 . Lecture notes in artificial intelligence
Incremental speech translation / Jan Willers Amtrup
Berlin : Springer , c1999
|
480 |
1736
Networked group communication : first International COST264 Workshop, NGC '99, Pisa, Italy, November 17-20, 1999 : proceedings / Luigi Rizzo, Serge Fdida (eds.)
Berlin : Springer , c1999
|
481 |
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
|
482 |
1742
Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / P.S. Thiagarajan, R. Yap (eds.)
Berlin : Springer , c1999
|
483 |
1744 . Lecture notes in artificial intelligence
Grading knowledge : extracting degree information from texts / Steffen Staab
Berlin ; Tokyo : Springer , c1999
|
484 |
1745
High performance computing - HiPC '99 : 6th International Conference, Calcutta, India, December 17-20, 1999 : proceedings / Prith Banerjee, Viktor K. Prasanna, Bhabani P. Sinha (eds.)
Berlin : Springer , c1999
|
485 |
1747 . Lecture notes in aritificial intelligence
Advanced topics in artificial intelligence : 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999 : proceedings / Norman Foo (ed.)
Berlin : Springer , c1999
|
486 |
1748
Mobile data access : first International Conference, MDA '99, Hong Kong, China, December 16-17, 1999 : proceedings / Hong Va Leong ... [et al.] (eds.)
Berlin : Springer , c1999
|
487 |
1749
Internet applications : 5th International Computer Science Conference, ICSC '99, Hong Kong, China, December 13-15, 1999 : proceedings / Lucas Chi-Kwong Hui, Dik Lun Lee (eds.)
Berlin ; Tokyo : Springer , c1999
|
488 |
1750
MMIXware : a RISC computer for the third millennium / Donald E. Knuth
Berlin ; Tokyo : Springer , c1999
|
489 |
1755
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2000
|
490 |
1757 . Lecture notes in artificial intelligence
Intelligent agents VI : agent theories, architectures, and languages : 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999 : proceedings / Nicholas R. Jennings, Yves Lespérance (eds.)
Berlin : Springer , c2000
|
491 |
1758
Selected areas in cryptography : 6th Annual International Workshop, SAC '99, Kingston, Ontario, Canada, August 9-10, 1999 : proceedings / Howard Heys, Carlisle Adams (eds.)
Berlin : Springer , c2000
|
492 |
1759 . Lecture notes in artificial intelligence
Large-scale parallel data mining / Mohammed J. Zaki, Ching-Tien Ho (eds.)
Berlin : Springer , c2000
|
493 |
1760 . Lecture notes in artificial intelligence
Formal models of agents : ESPRIT Project Model Age final Workshop : selected papers / John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
Berlin ; Tokyo : Springer , c1999
|
494 |
1762
Foundations of information and knowledge systems : first International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 : proceedings / Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Berlin : Springer , c2000
|
495 |
1766
Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers / Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.)
Berlin : Springer , c2000
|
496 |
1771 . Lecture notes in artificial intelligence
Part-whole reasoning in an object-centered framework / Patrick Lambrix
Berlin : Springer , c2000
|
497 |
1772 . Lecture notes in artificial intelligence
Concurrent reactive plans : anticipating and forestalling execution failures / Michael Beetz
Berlin : Springer , 2000
|
498 |
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
|
499 |
1774
Telecommunications and IT convergence towards service E-volution : 7th International Conference on Intelligence in Services and Networks, IS&N 2000, Athens, Greece, February 23-25, 2000 : proceedings / Jaime Delgado ... [et al.] (eds.)
Berlin : Springer , c2000
|
500 |
1775 . Lecture notes in artificial intelligence
Challenges for action theories / Michael Thielscher
Berlin : Springer , c2000
|
501 |
1776
LATIN 2000 : theoretical informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 : proceedings / Gastón H. Gonnet, Daniel Panario, Alfredo Viola (eds.)
Berlin : Springer , c2000
|
502 |
1778 . Lecture notes in artificial intelligence
Hybrid neural systems / Stefan Wermter, Ron Sun (eds.)
Berlin : Springer , c2000
|
503 |
1779
Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
Berlin : Springer , c2000
|
504 |
1786
Computer performance evaluation : modelling techniques and tools : 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings / Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.)
Berlin : Springer , c2000
|
505 |
1789
Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 : proceedings / Benkt Wangler, Lars Bergman (eds.)
Berlin : Springer , c2000
|
506 |
1791 . Lecture notes in artificial intelligence
Problem-solving methods : understanding, description, development, and reuse / Dieter Fensel
Berlin : Springer , c2000
|
507 |
1792 . Lecture notes in artificial intelligence
AI*IA 99: advances in artificial intelligence : 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 : selected papers / Evelina Lamma, Paola Mello (eds.)
Berlin ; Heidelberg : Springer-Verlag , c2000
|
508 |
1793 . Lecture notes in artificial intelligence
MICAI 2000 : advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000 : proceedings / Osvaldo Cairo, L. Enrique Sucar, Francisco J. Cantu (eds.)
Berlin : Springer , c2000
|
509 |
1795
Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, New York, NY, USA, April 4-7, 2000 : proceedings / Joseph Sventek, Geoffrey Coulson (eds.)
Berlin : Springer , c2000
|
510 |
1797
Network-based parallel computing : communication, architecture, and applications : 4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000 : proceedings / Babak Falsafi, Mario Lauria (eds.)
Berlin : Springer , c2000
|
511 |
1798
Computer aided systems theory - EUROCAST '99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings / Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)
Berlin : Springer , c2000
|
512 |
1799
Generative and component-based software engineering : first International Symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers / Krzysztof Czarnecki, Ulrich W. Eisenecker (eds.)
Berlin : Springer , c2000
|
513 |
1800
Parallel and distributed processing : 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000 : proceedings / José Rolim et al. (eds.)
Berlin : Springer , c2000
|
514 |
1804 . Lecture notes in artificial intelligence
Intelligent systems and soft computing : prospects, tools and applications / Behnam Azvine, Nader Azarmi, Detlef D. Nauck (eds.)
Berlin : Springer , c2000
|
515 |
1809 . Lecture notes in artificial intelligence
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.)
Berlin : Springer , c2000
|
516 |
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
|
517 |
1813 . Lecture notes in artificial intelligence
Learning classifier systems : from foundations to applications / Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (eds.)
Berlin : Springer , c2000
|
518 |
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
|
519 |
1817
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.)
Berlin : Springer , c2000
|
520 |
1818
Mobile and wireless communications networks : IFIP-TC6/European Commission NETWORKING 2000, International Workshop, MWCN 2000, Paris, France, May 16-17, 2000 : proceedings / Cambyse Guy Omidyar (ed.)
Berlin : Springer , c2000
|
521 |
1819
Databases in telecommunications : International Workshop Co-located with VLDB-99, Edinburgh, Scotland, UK, September 6th, 1999 : proceedings / Willem Jonker (ed.)
Berlin : Springer , c2000
|
522 |
1821 . Lecture notes in artificial intelligence
Intelligent problem solving : methodologies and approaches : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000 : proceedings / Rasiah Loganantharaj, Günther Palm, Moonis Ali (eds.)
Berlin : Springer , c2000
|
523 |
1822 . Lecture notes in artificial intelligence
Advances in artificial intelligence : 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montéal, Quebec, Canada, May 14-17, 2000 : proceedings / Howard J. Hamilton
Berlin : Springer , c2000
|
524 |
1823
High performance computing and networking : 8th International Conference, HPCN Europe 2000, Amsterdam, the Netherlands, May 8-10, 2000 : proceedings / Marian Bubak ... [et al.] (eds.)
Berlin : Springer , c2000
|
525 |
1825
Application and theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings / Mogens Nielsen, Dan Simpson (eds.)
Berlin : Springer , c2000
|
526 |
1826
Reflection and software engineering / Walter Cazzola, Robert J. Stroud, Francesco Tisato (eds.)
Berlin : Springer , c2000
|
527 |
1829
Artificial evolution : 4th European Conference, AE '99, Dunkerque, France, November 3-5, 1999 : selected papers / Cyril Fonlupt ... [et al.] (eds.)
Berlin : Springer , c2000
|
528 |
1830
Distributed communities on the web : third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000 : proceedings / Peter Kropf ... [et al.] (eds.)
Berlin : Springer , c2000
|
529 |
1831 . Lecture notes in artificial intelligence
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.)
Berlin : Springer , c2000
|
530 |
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
|
531 |
1834 . Lecture notes in artificial intelligence
Virtual worlds : second International Conference, VW 2000, Paris, France, July 5-7, 2000 : proceedings / Jean-Claude Heudin (ed.)
Berlin : Springer , c2000
|
532 |
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
|
533 |
1836 . Lecture notes in artificial intelligence
Web usage analysis and user profiling : International WEBKDD'99 Workshop, San Diego, CA, USA, August 15, 1999 : revised papers / Brij Masand, Myra Spiliopoulou (eds.)
Berlin : Springer , c2000
|
534 |
1839
Intelligent tutoring systems : 5th International Conference, ITS 2000, Montréal, Canada, June 19-23, 2000 : proceedings / Gilles Gauthier, Glaude Frasson, Kurt VanLehn (eds.)
Berlin : Springer , c2000
|
535 |
1840
Product focused software process improvement : second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings / Frank Bomarius, Markku Oivo (eds.)
Berlin : Springer , c2000
|
536 |
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
|
537 |
1845
Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings / Hubert B. Keller, Erhard Plödereder (eds.)
Berlin : Springer , c2000
|
538 |
1846
Web-age information management : first International Conference, WAIM 2000, Shanghai, China, June 21-23, 2000 : proceedings / Hongjun Lu, Aoying Zhou (eds.)
Berlin : Springer , c2000
|
539 |
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
|
540 |
1848
Combinatorial pattern matching : 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000 : proceedings / Raffaele Giancarlo, David Sankoff (eds.)
Berlin : Springer , c2000
|
541 |
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
|
542 |
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
|
543 |
1854
SEMPER - secure electronic marketplace for Europe / Gérard Lacoste ... [et al.] (eds.)
Berlin : Springer , c2000
|
544 |
1856 . Lecture notes in artificial intelligence
RoboCup-99 : Robot Soccer World Cup III / Manuela Veloso, Enrico Pagello, Hiroaki Kitano (eds.)
Berlin : Springer , c2000
|
545 |
1857
Multiple classifier systems : first International Workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000 : proceedings / Josef Kittler, Fabio Roli (eds.)
Berlin ; Tokyo : Springer , c2000
|
546 |
1858
Computing and combinatorics : 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings / Ding-Zhu Du ... [et al.] (eds.)
Berlin : Springer , c2000
|
547 |
1860 . Lecture notes in artificial intelligence
Cooperative information agents IV : the future of information agents in cyberspace : 4th International Workshop, CIA 2000, Boston, MA, USA, July 7-9, 2000 : proceedings / Matthias Klusch, Larry Kerschberg (eds.)
Berlin : Springer , c2000
|
548 |
1864 . Lecture notes in artificial intelligence
Abstraction, reformulation, and approximation : 4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings / Berthe Y. Choueiry, Toby Walsh (eds.)
Berlin : Springer , c2000
|
549 |
1865 . Lecture notes in artificial intelligence
New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / Krzysztof R. Apt ... [et al.]
Berlin : Springer , c2000
|
550 |
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
|
551 |
1867 . Lecture notes in artificial intelligence
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings / Bernhard Ganter, Guy W. Mineau (eds.)
Berlin : Springer , c2000
|
552 |
1870
Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszyński (eds.)
Berlin : Springer , c2000
|
553 |
1875
Electronic commerce and web technologies : first International Conference, EC-Web 2000, London, UK, September 4-6, 2000 : proceedings / Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (eds.)
Berlin : Springer , c2000
|
554 |
1881 . Lecture notes in artificial intelligence
Design and applications of intelligent agents : third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Melbourne, Australia, August 28-29, 2000 : proceedings / Chengqi Zhang, Von-Wun Soo (eds.)
Berlin : Springer , c2000
|
555 |
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
|
556 |
1888
Algebraic frames for the perception-action cycle : second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 : proceedings / Gerald Sommer, Yehoshua Y. Zeevi (eds.)
Berlin : Springer , c2000
|
557 |
1889 . Lecture notes in artificial intelligence
Theory and application of diagrams : first International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 : proceedings / Michael Anderson, Peter Cheng, Volker Haarslev (eds.)
Berlin : Springer , c2000
|
558 |
1890
Trends in distributed systems : towards a universal service market : third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings / Claudia Linnhoff-Popien, Heinz-Gerd Hegering (eds.)
Berlin : Springer , c2000
|
559 |
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
|
560 |
1892
Adaptive hypermedia and adaptive web-based systems : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 : proceedings / Peter Brusilovsky, Oliviero Stock, Carlo Strapparava (eds.)
Berlin : Springer , c2000
|
561 |
1894
Principles and practice of constraint programming - CP 2000 : 6th International Conference, CP2000, Singapore, September 18-21, 2000 : proceedings / Rina Dechter (ed.)
Berlin : Springer , c2000
|
562 |
1895
Computer security - ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings / Frédéric Cuppens ... [et al.]
Berlin : Springer , c2000
|
563 |
1897
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.)
Berlin : Springer-Verlag , c2000
|
564 |
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
|
565 |
1899
Articulated motion and deformable objects : first International Workshop, AMDO 2000, Palma de Mallorca, Spain, September 7-9, 2000 : proceedings / Hans-Hellmut Nagel, Francisco J. Perales López (eds.)
Berlin : Springer-Verlag , c2000
|
566 |
1901
Cooperative information systems : 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000 : proceedings / Opher Etzion, Peter Scheuermann (eds.)
Berlin : Springer-Verlag , c2000
|
567 |
1902 . Lecture notes in artificial intelligence
Text, speech and dialogue : third International Workshop, TSD 2000, Brno, Czech Republic, September 13-16, 2000 : proceedings / Petr Sojka, Ivan Kopeček, Karel Pala (eds.)
Berlin : Springer , c2000
|
568 |
1903
Open hypermedia systems and structural computing : 6th International Workshop, OHS-6 : 2nd International Workshop, SC-2, San Antonio, Texas, USA, May 30-June 3, 2000 : proceedings / Siegfried Reich, Kenneth M. Anderson (eds.)
Berlin : Springer , c2000
|
569 |
1904 . Lecture notes in artificial intelligence
Artificial intelligence : methodology, systems, and applications : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 : proceedings / Stefano A. Cerri, Danail Dochev (eds.)
Berlin ; Tokyo : Springer , c2000
|
570 |
1905
Interactive distributed multimedia systems and telecommunication services : 7th International Workshop, IDMS 2000, Enschede, the Netherlands, October 17-20, 2000 : proceedings / Hans Scholten, Marten J. van Sinderen (eds.)
Berlin : Springer , c2000
|
571 |
1907
Recent advances in intrusion detection : third International Workshop, RAID 2000, Toulouse, France, October 2-4, 2000 : proceedings / Hervé Debar, Ludovic Mé, S. Felix Wu (eds.)
Berlin : Springer , c2000
|
572 |
1908
Recent advances in parallel virtual machine and message passing interface : 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 10-13, 2000 : proceedings / Jack Dongarra, Peter Kacsuk, Norbert Podhorszki (eds.)
Berlin : Springer , c2000
|
573 |
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
|
574 |
1912
Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.)
Berlin : Springer-Verlag , c2000
|
575 |
1914
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings / Maurice Herlihy (ed.)
Berlin : Springer , c2000
|
576 |
1916 . Lecture notes in artificial intelligence
Issues in agent communication / Frank Dignum, Mark Greaves (eds.)
Berlin : Springer , c2000
|
577 |
1919 . Lecture notes in artificial intelligence
Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego ... [et al.] (eds.)
Berlin : Springer , c2000
|
578 |
1920
Conceptual modeling - ER 2000 : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 : proceedings / Alberto H.F. Laender, Stephen W. Liddle, Veda C. Storey (eds.)
Berlin : Springer , c2000
|
579 |
1921
Conceptual modeling for E-business and the Web : ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 : proceedings / Stephen W. Liddle, Heinrich C. Mayr, Bernhard Thalheim (eds.)
Berlin : Springer , c2000
|
580 |
1922
Quality of future Internet services : first COST 263 international workshop, QofIS 2000, Berlin, Germany, September 25-26, 2000 : proceedings / Jon Crowcroft, James Roberts, Mikhail I. Smirnov (eds.)
Berlin : Springer , c2000
|
581 |
1927
Handheld and ubiquitous computing : second International Symposium, HUC 2000, Bristol, UK, September 25-27, 2000 : proceedings / Peter Thomas, Hans-W. Gellersen (eds.)
Berlin : Springer , c2000
|
582 |
1929
Advances in visual information systems : 4th International Conference, VISUAL 2000, Lyon, France, November 2-4, 2000 : proceedings / Robert Laurini (ed.)
Berlin : Springer , c2000
|
583 |
1932 . Lecture notes in artificial intelligence
Foundations of intelligent systems : 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000 : proceedings / Zbigniew W. Raś, Setsuo Ohsuga (eds.)
Berlin : Springer , c2000
|
584 |
1933
Medical data analysis : First International Symposium, ISMDA 2000, Frankfurt, Germany, September 29-30, 2000 : proceedings / Rüdiger W. Brause, Ernst Hanisch (eds.)
Berlin ; Tokyo : Springer , c2000
|
585 |
1934 . Lecture notes in artificial intelligence
Envisioning machine translation in the information future : 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, October 10-14, 2000 : Proceedings / John S. White (ed.)
Berlin : Springer , c2000
|
586 |
1935
Medical image computing and computer-assisted intervention - MICCAI 2000 : third International Conference, Pittsburgh, PA, USA, October 11-14, 2000 : proceedings / Scott L. Delp, Anthony M. DiGioia, Branislav Jaramaz (eds.)
Berlin : Springer , c2000
|
587 |
1937 . Lecture notes in artificial intelligence
Knowledge engineering and knowledge management : methods, models, and tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (eds.)
Berlin ; New York : Springer , c2000
|
588 |
1938
Next generation networks : networks and services for the information society : 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 : proceedings / Sathya Rao, Kaare Ingar Sletta (eds.)
Berlin ; New York : Springer , c2000
|
589 |
1942
Active networks : Second International Working Conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000 : proceedings / Hiroshi Yasuda (ed.)
Berlin : Springer , c2000
|
590 |
1948
Advances in multimodal interfaces - ICMI 2000 : third International Conference, Beijing, China, October 14-16, 2000 : proceedings / Tieniu Tan, Yuanchun Shi, Wen Gao (eds.)
Berlin : Springer , c2000
|
591 |
1952 . Lecture notes in artificial intelligence
Advances in artificial intelligence : International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000 : proceedings / Maria Carolina Monard, Jaime Simão Sichman (eds.)
Berlin ; New York : Springer , c2000
|
592 |
1955 . Lecture notes in artificial intelligence
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.)
Berlin ; New York : Springer-Verlag , c2000
|
593 |
1998
Robot vision : International Workshop RobVis 2001, Auckland, New Zealand, February 16-18, 2001 : proceedings / Reinhard Klette, Shmuel Peleg, Gerald Sommer (eds.)
Berlin ; New York : Springer , c2001
|
594 |
2073-2074
Computational science - ICCS 2001 : International Conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings / Vassil N. Alexandrov ... [et al.] (eds.)
pt. 1,pt. 2. - Berlin : Springer , c2001
|
595 |
2093-2094
Networking - ICN 2001 : first International Conference on Networking, Colmar, France, July 9-13, 2001 : proceedings / Pascal Lorenz (ed.)
pt. 1,pt. 2. - Berlin : Springer , c2001
|
596 |
2329-2331
Computational Science - ICCS 2002 : International Conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings / Peter M.A. Sloot ... [et al.] (eds.)
pt. 1,pt. 2,pt. 3. - Berlin : Springer , c2002
|
597 |
2343-2344
Information networking : wired communications and management : international conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002 : revised papers / Ilyoung Chong (ed.)
Part1,Part2. - Berlin ; Tokyo : Springer , c2002
|
598 |
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
|
599 |
2657-2660
Computational science - ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings / Peter M.A. Sloot ... [et al.] (eds.)
pt. 1 - pt. 4. - Berlin ; Tokyo : Springer , c2003
|
600 |
2667-2669
Computational science and its applications - ICCSA 2003 : International Conference, Montreal, Canada, May 18-21, 2003 : proceedings / Vipin Kumar ... [et al.] (eds.)
pt. 1,pt. 2,pt. 3. - Berlin ; Tokyo : Springer , c2003
|
601 |
2723-2724
Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings / Erick Cantú-Paz ... [et al.] (eds.)
pt. 1,pt. 2. - Berlin ; Tokyo : Springer , c2003
|
602 |
2728
Image and video retrieval : second International Conference, CIVR 2003, Urbana-Champaign, IL, USA, July 24-25, 2003 : proceedings / Erwin M. Bakker ... [et al.] (eds.)
Berlin ; Tokyo : Springer , c2003
|
603 |
2900
CASL user manual : introduction to using the Common Algebraic Specification Language / Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
Berlin ; Tokyo : Springer , c2004
|
604 |
2908
Information security applications : 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003 : revised papers / Kijoon Chae, Moti Yung (eds.)
Berlin ; Tokyo : Springer , c2004
|
605 |
2960
CASL reference manual : the complete documentation of the Common Algebraic Specification Language / Peter D. Mosses (ed.)
Berlin ; Tokyo : Springer , c2004
|
606 |
3032-3033
Grid and cooperative computing : second International Workshop, GCC 2003, Shan[g]hai, China, December 7-10, 2003 : revised papers / Minglu Li ... [et al.], (eds.)
pt. 1,pt. 2. - Berlin ; Tokyo : Springer , c2004
|
607 |
3522-3523
Pattern recognition and image analysis : Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005 : proceedings / Jorge S. Marques, Nicolás Pérez de la Blanca, Pedro Pina (eds.)
pt. 1,pt. 2. - Berlin : Springer , c2005
|
608 |
3687
Pattern recognition and image analysis : Third International Conference on Advances in Pattern Recognition, ICAPR 2005 Bath, UK, August 22-25, 2005 : proceedings, part II / Sameer Singh ... [et al.] (eds.)
Berlin : Springer , c2005
|
609 |
3691
Computer analysis of images and patterns : 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005 : proceedings / André Gagalowicz, Wilfried Philips (eds.)
Berlin : Springer , c2005
|
610 |
4563
Virtual reality : Second International Conference, ICVR 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Randall Shumaker (ed.)
Berlin : Springer , c2007
|
611 |
5394
Hardware and Software : Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Proceedings / Hana Chockler, Alan J. Hu (Eds.)
pbk.,pbk.. - Berlin ; New York : Springer, c2009
|
612 |
5421
Models in software engineering : workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008, reports and revised selected papers / Michel R.V. Chaudron (ed.)
pbk.,pbk.. - Berlin : Springer , 2009
|
613 |
5492
Numerical validation in current hardware architectures : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers / Annie Cuyt ... [et al.] (eds.)
softcover : alk. paper,softcover : alk. paper. - Berlin : Springer , c2009
|
614 |
5525
Software engineering for self-adaptive systems / Betty H.C. Cheng ... [et al.] (eds.)
softcover : alk. paper,softcover : alk. paper. - Berlin : Springer , c2009
|
615 |
5539
Network Economics for Next Generation Networks : 6th International Workshop on Internet Charging and QoS Technologies, ICQT 2009, Aachen, Germany, May 11-15, 2009, Proceedings / Peter Reichl, Burkhard Stiller, Bruno Tuffin (eds.)
pbk.,pbk.. - Berlin : Springer , c2009
|
616 |
5546
Wired/wireless internet communications : 7th international conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009, proceedings / Hans van den Berg ... [et al.] (eds.).
pbk.,pbk.. - Berlin ; New York : Springer , c2009
|
617 |
5564
Algorithmic aspects in information and management : 5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, proceedings / Andrew V. Goldberg, Yunhong Zhou (eds.)
pbk.,pbk.. - Berin ; New York : Springer , c2009
|
618 |
5747
Cryptographic hardware and embedded systems : CHES 2009 : 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings / Christophe Clavier, Kris Gaj (eds.)
Berlin : Springer , c2009
|
619 |
5756
Spatial information theory : 9th international conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, proceedings / Kathleen Stewart Hornsby ... [et al.]
: pbk.. - Berlin : Springer , 2009
|
620 |
6222 . Lecture notes in artificial intelligence
Spatial cognition VII : International Conference Spatial Cognition 2010, Mt. Hood/Portland, OR, USA, August 15-19, 2010, proceedings / Christoph Hölscher ... [et al.] (eds.)
Berlin : Springer , c2010
|
621 |
6225
Cryptographic hardware and embedded systems : CHES 2010 : 12th international workshop, Santa Barbara, USA, August 17-20, 2010 : proceedings / Stefan Mangard, François-Xavier Standaert (eds.)
Berlin : Springer , c2010
|
622 |
6917 . LNCS sublibrary ; SL 4 . Security and cryptology
Cryptographic hardware and embedded systems : CHES 2011 : 13th International Workshop, Nara, Japan, September 28-October 1, 2011 : proceedings / Bart Preneel, Tsuyoshi Takagi (eds.)
Heidelberg : Springer , c2011
|
623 |
7428 . LNCS sublibrary ; SL 4 . Security and cryptology
Cryptographic hardware and embedded systems : CHES 2012 : 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings / Emmanuel Prouff, Patrick Schaumont (eds.)
: pbk. - Heidelberg : Springer , c2012
|
624 |
8575. Lecture notes in artificial intelligence
From animals to animats 13 : 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014 : proceedings / Angel P. del Pobil ... [et al.] (eds.)
: [pbk]. - Cham : Springer , c2014
|
625 |
8804 . LNCS sublibrary ; SL 4 . Security and cryptology
Security, privacy, and applied cryptography engineering : 4th international conference, SPACE 2014 Pune, India, October 18-22, 2014 : proceedings / Rajat Subhra Chakraborty, Vashek Matyas, Patrick Schaumont (eds.)
Cham : Springer , c2014
|
626 |
9389 . LNCS sublibrary ; SL 6 . Image processing, computer vision, pattern recognition, and graphics
Geometric science of information : second international conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings / Frank Nielsen, Frédéric Barbaresco, (eds.)
: [pbk.]. - Cham : Springer , c2015
|
627 |
10589 . LNCS sublibrary ; SL 6 . Image processing, computer vision, pattern recognition, and graphics
Geometric science of information : third international conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings / Frank Nielsen, Frédéric Barbaresco, (eds.)
: [pbk.]. - Cham : Springer , c2017
|
628 |
12829 . LNCS sublibrary ; SL 6 . Image processing, computer vision, pattern recognition, and graphics
Geometric science of information 5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings / Frank Nielsen, Frédéric Barbaresco, (eds.)
Cham : Springer , c2021
|