OPAC

Lecture notes in computer science

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
本文言語	und
別書名	異なりアクセスタイトル:LNCS

子書誌情報を非表示


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

書誌詳細を非表示

書誌ID	1001001507
NCID	BA00009279

このページのリンク

他の検索サイト

Lecture notes in computer science

子書誌情報を非表示

書誌詳細を非表示

Amazon カスタマーレビュー レビューが表示されない場合

Amazon カスタマーレビューレビューが表示されない場合