文理学部OPAC

ようこそ  ゲスト さん

<図書>

Lecture notes in computer science

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag

子書誌情報を非表示

1 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
2 232 Fundamentals of artificial intelligence : an advanced course / edited by W. Bibel and Ph. Jorrand : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
3 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
4 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
5 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
6 301 Pattern recognition : 4th international conference, Cambridge, U.K., March 28-30, 1988 : proceedings / J. Kittler (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
7 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
8 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
9 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
10 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
11 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
12 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
13 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
14 532 Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
15 550 ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fugetta, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1991
16 553 Computational geometry : methods, algorithms and applications : International Workshop on Computational Geometry CG '91, Bern, Switzerland, March 21-22, 1991 : proceedings / H. Bieri, H. Noltemeier, (eds.) : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991
17 554 The problem of incomplete information in relational databases / G. Grahne : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991
18 555 New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings / H. Maurer (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
19 556 Conclog : a methodological approach to concurrent logic programming / J.-M. Jacquet : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991
20 557 ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings / W.L. Hsu, R.C.T. Lee, (eds.) : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991
21 559 Fundamental algorithms for permutation groups / G. Butler : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991
22 561 The stability theory of stream ciphers / C. Ding, G. Xiao, W. Shan : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991
23 567 . Lecture notes in artificial intelligence Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter, (eds.) : Berlin,: New York. - Berlin ; New York : Springer Verlag , c1991
24 568 . Lecture notes in artificial intelligence A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert : Berlin,: New York. - Berlin ; New York : Springer Verlag , c1991
25 569 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991
26 570 Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings / G. Schmidt, R. Berghammer (eds.) : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992
27 571 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings / J. Vytopil (ed.) : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991
28 572 Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings / K.U. Schulz, (ed.) : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992
29 573 Algebraic coding : first French-Soviet workshop, Paris, July 22-24, 1991 : proceedings / G. Cohen ... [et al.], (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
30 574 Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings / J.B. [i.e. P.] Banâtre, D. Le Métayer, eds : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
31 575 Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
32 576 Advances in cryptology--CRYPTO '91 : proceedings / J. Feigenbaum (ed.) : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992
33 577 STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings / A. Finkel, M. Jantzen (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
34 578 Public-key cryptography : state of the art and future directions : E.I.S.S. workshop, Oberwolfach, Germany, July 3-6, 1991 : final report / Th. Beth, M. Frisch, G.J. Simmons, eds : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
35 579 Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings / S. Toueg, P.G. Spirakis, L. Kirousis, (eds) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
36 581 CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings / J.-C. Raoult (ed.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
37 582 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
38 583 LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings / I. Simon (ed.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
39 584 Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings / R.E. Zippel (ed.) : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992
40 585 Computer aided systems theory--EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings / F. Pichler, R. Moreno Díaz (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1992
41 587 . Lecture notes in artificial intelligence Aspects of automated natural language generation : 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 : proceedings / R. Dale ... [et al.] (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
42 588 Computer vision--ECCV '92 : Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 19-22, 1992 : proceedings / G. Sandini (ed.) : New York,: Berlin. - Berlin ; Tokyo : Springer-verlag, c1992
43 589 Languages and compilers for parallel computing : fourth international workshop, Santa Clara, California, USA, August 7-9, 1991 : proceedings / U. Banerjee ... [et al.], eds : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
44 590 . Lecture notes in artificial intelligence Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings / B. Fronhöfer, G. Wrightson, eds : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
45 591 Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings / H.P. Zima (ed.) : New York,: Berlin. - Berlin ; New York : Springer , c1992
46 592 . Lecture notes in artificial intelligence Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
47 593 Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings / P. Loucopoulos, (ed.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
48 601 Theory of computing and systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.) : New York,: Berlin. - New York : Springer-Verlag , c1992
49 613 Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
50 620 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.) : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
51 626 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings / E. Börger ... [et al.], eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992
52 644 Combinatorial pattern matching : third annual symposium, Tucson, Arizona, USA, April 29-May 1, 1992, proceedings / A. Apostolico ... [et al.](eds.) : Berlin,: New York. - Berlin ; New York ; Tokyo : Springer-Verlag , c1992
53 705 Field-programmable gate arrays : architectures and tools for rapid prototyping : second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31-September 2, 1992 : selected papers / Herbert Grünbacher, Reiner W. Hartenstein (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
54 711 Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings / Andrzej M. Borzyszkowski, Stefan Sokołowski, (eds.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
55 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
56 842 Treewidth : computations and approximations / Ton Kloks : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
57 849 Field-programmable logic : architectures, synthesis and applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL '94, Prague, Czech Republic, September 7-9, 1994 : proceedings / Reiner W. Hartenstein, Michal Z. Servít (eds.) Berlin ; New York : Springer-Verlag , c1994
58 870 Distributed programming paradigms with cryptography applications / Jonathan S. Greenfield : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
59 875 Computer security - ESORICS 94 : Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7-9, 1994 : proceedings / Dieter Gollmann (ed.) : gw. - Berlin : Springer , c1994
60 878 . Lecture notes in artificial intelligence Parallel, distributed and multiagent production systems / Toru Ishida : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
61 880 Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan (ed.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994
62 890 . Lecture notes in artificial intelligence Intelligent agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8-9, 1994 : proceedings / Michael J. Wooldridge, Nicholas R. Jennings : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995
63 905 Computer vision, virtual reality and robotics in medicine : First International Conference, CVR Med '95, Nice, France, April 3-6, 1995 : proceedings / Nicholas Ayache (ed.) : gw. - Berlin : Springer , c1995
64 933 Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995
65 965 Fundamentals of computation theory : 10th International Conference, FCT '95, Dresden, Germany, August 22-25, 1995 : proceedings / Horst Reichel (ed.) : gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995
66 969 Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings / Jiří Wiedermann, Petr Hájek (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
67 970 Computer analysis of images and patterns : 6th International Conference, CAIP '95, Prague, Czech Republic, September 6-8, 1995 : proceedings / Václav Hlaváč, Radim Šára (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1995
68 979 Algorithms -- ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings / Paul Spirakis (ed.) Berlin ; Tokyo : Springer , c1995
69 980 Parallel algorithms for irregularly structured problems : Second International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 : proceedings / Afonso Ferreira, José Rolim (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
70 984 . Lecture notes in artificial intelligence Advances in case-based reasoning : Second European Workshop, EWCBR-94, Chantilly, France, November 7-10, 1994 : selected papers / Jean-Paul Haton, Mark Keane, Michel Manago (eds.) Berlin : Springer-Verlag , c1995
71 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
72 989 Software engineering--ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, proceedings / Wilhelm Schäfer, Pere Botella, (eds.) : pbk. - Berlin : Springer , c1995
73 993 Evolutionary computing : AISB Workshop, Sheffield, U.K., April 3-4, 1995 : selected papers / Terence C. Fogarty, (ed.) Berlin : Springer, 1995
74 996 Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith (eds.) : gw. - Berlin : Springer-Verlag , c1995
75 997 . Lecture notes in artificial intelligence Algorithmic learning theory : 6th International Workshop, ALT '95, Fukuoka, Japan, October 18-20, 1995 : proceedings / Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann, (eds.) Berlin ; Tokyo : Springer , c1995
76 1004 Algorithms and computations : 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995 : proceedings / John Staples ... [et al.] (eds.) : alk. paper. - Berlin ; Tokyo : Springer , c1995
77 1009 KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.) Berlin ; New York : Springer , c1995
78 1010 . Lecture notes in artificial intelligence Case-based reasoning research and development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings / Manuela Veloso, Agnar Aamodt (eds.) Berlin : Springer-Verlag , c1995
79 1023 Algorithms, concurrency and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings / Kanchana Kanchanasut, Jean-Jacques Lévy (eds.) Berlin ; Tokyo : Springer , c1995
80 1024 Image analysis applications and computer graphics : third international computer science conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings / Roland T. Chin ... [et al.] : gw. - Berlin : Springer-Verlag , c1995
81 1025 Cryptography and coding : 5th IMA Conference Cirencester, UK, December 18-20, 1995 : proceedings / Colin Boyd (ed.) Berlin ; Tokyo : Springer , c1995
82 1026 Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings / P.S. Thiagarajan (ed.) Berlin ; Tokyo : Springer-Verlag , c1995
83 1027 Graph drawing : Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995 : proceedings / Franz J. Brandenburg (ed.) Berlin ; New York : Springer , c1996
84 1028 Electronic commerce : current research issues and applications / Nabil R. Adam, Yelena Yesha, (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
85 1029 Cryptography : policy and algorithms : International Conference, Brisbane, Queensland, Australia, July 3-5, 1995 : proceedings / Ed Dawson, Jovan Golić (eds.) Berlin ; New York ; Tokyo : Springer , c1996
86 1037 . Lecture notes in artificial intelligence Intelligent agents II : agent theories, architectures, and languages : IJCAI '95 Workshop (ATAL) : Montréal, Canada, August 19-20, 1995 : proceedings / M. Wooldridge, J.P. Müller, M. Tambe (eds.) : gw. - Berlin : Springer-Verlag , c1996
87 1046 STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / Claude Puech, Rüdiger Reischuk (eds.) Berlin ; New York : Tokyo : Springer , c1996
88 1054 Solving combinatorial optimization problems in parallel : methods and techniques / Afonso Ferreira, Panos Pardalos, (eds.) Berlin ; New York : Springer-Verlag , c1996
89 1059 Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings / Hélène Kirchner, (ed.) Berlin : Springer , c1996
90 1069 . Lecture notes in artificial intelligence Distributed software agents and applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 3-5, 1994 : proceedings / John W. Perram, Jean-Pierre Müller, (eds.) Berlin : Springer , c1996
91 1070 Advances in cryptology-EUROCRYPT '96 : International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12-16, 1996 : proceedings / Ueli Maurer, (ed.) Berlin ; Tokyo : Springer , c1996
92 1072 Graphics recognition : methods and applications : First International Workshop, University Park, PA, USA, August 10-11, 1995 : selected papers / Rangachar Kasturi, Karl Tombre, (eds.) Berlin : Springer , c1996
93 1073 Graph grammars and their application to computer science : 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers / J. Cuny ... [et al.], (eds.) Berlin ; Tokyo : Springer , c1996
94 1075 Combinatorial pattern matching : 7th Annual Symposium, CPM 96, Laguna Beach, California, June 10-12, 1996 : proceedings / Dan Hirschberg, Gene Myers, (eds.) Berlin ; Tokyo : Springer , c1996
95 1079 . Lecture notes in artificial intelligence Foundations of intelligent systems : 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings / Zbigniew W. Raś, Maciek Michalewicz, (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1996
96 1082 Digital libraries : research and technology advances, ADL '95 Forum, McLean, Virginia, USA, May 15-17, 1995 : selected papers / Nabil R. Adam ... [et al.] Berlin : Springer-Verlag , c1996
97 1084 Integer programming and combinatorial optimization : 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996 : proceedings / William H. Cunningham, S. Thomas McCormick, Maurice Queyranne (eds.) Berlin ; New York : Springer , c1996
98 1089 Bounded incremental computation / G. Ramalingam Berlin : Springer , c1996
99 1090 Computing and combinatorics : Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings / Jin-Yi Cai, Chak Kuen Wong, (eds.) Berlin ; Tokyo : Springer , c1996
100 1101 Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat (eds.) Berlin : Springer , c1996
101 1109 Advances in cryptology, CRYPTO '96 : 16th annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 1996 : proceedings / Neal Koblitz (ed.) Berlin ; Tokyo : Springer , c1996
102 1112 Artificial neural networks : ICANN 96 : 1996 International Conference, Bochum, Germany, July 16-19, 1996 : proceedings / C. von der Malsburg ... [et al.], (eds.) Berlin ; New York : Springer Verlag , c1996
103 1116 Management of telecommunication systems and services : modelling and implementing TMN-based multi-domain management / Jane Hall, (ed.) Berlin ; New York : Springer-Verlag , c1996
104 1121 Advances in structural and syntactical pattern recognition : 6th International Workshop, SSPR '96, Leipzig, Germany, August 20-23, 1996 : proceedings / Petra Perner, Patrick Wang, Azriel Rosenfeld, (eds.) Berlin : Springer , c1996
105 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
106 1128 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.) Berlin : Springer , c1996
107 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
108 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
109 1132 The Data parallel programming model : foundations, HPF realization, and scientific applications / Guy-René Perrin, Alain Darte (eds.) Berlin : Springer , c1996
110 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
111 1134 Database and expert systems applications : 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996 : proceedings / Roland R. Wagner, Helmut Thoma (eds.) Berlin : Springer , c1996
112 1136 Algorithms--ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings / Josep Diaz, Maria Serna, (eds.) Berlin ; Tokyo : Springer , c1996
113 1143 Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers / Terence C. Fogarty (ed.) Berlin : Springer , c1996
114 1146 Computer security--ESORICS '96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings / Elisa Bertino ... [et al.], (eds.) Berlin : Springer , c1996
115 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
116 1148 Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers / Ming C. Lin, Dinesh Manocha (eds.) Berlin : Springer , c1996
117 1149 Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.) Berlin : Springer , c1996
118 1150 Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings / Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (eds.) Berlin : Springer , c1996
119 1151 Distributed algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings / Özalp Babaoğlu, Keith Marzullo (eds.) Berlin : Springer , c1996
120 1152 . Lecture notes in artificial intelligence Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers / Takeshi Furuhashi, Yoshiki Uchikawa, (eds.) Berlin : Springer-Verlag , c1996
121 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.) New York : Springer , c1996
122 1157 Conceptual modeling-ER '96 : 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996 : proceedings / Bernhard Thalheim (ed.) Berlin : Springer , c1996
123 1159 . Lecture notes in artificial intelligence Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings / Díbio L. Borges, Celso A.A. Kaestner, (eds.) Berlin ; New York : Springer , c1996
124 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
125 1162 Job scheduling strategies for parallel processing : IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996 : proceedings / Dror G. Feitelson, Larry Rudolph, (eds.) Berlin : Springer , 1996
126 1163 Advances in cryptology, ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996 : proceedings / Kwangjo Kim, Tsutomu Matsumoto (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
127 1164 Managing information highways : the PRISM book: principles, methods, and case studies for designing telecommunications management systems / Kim Berquist, Andrew Berquist (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
128 1165 Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (eds.) Berlin : Springer , c1996
129 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
130 1167 Software configuration management : ICSE '96 SCM-6 workshop, Berlin, Germany, March 25-26, 1996 : selected papers / Ian Sommerville (ed.) Berlin : Springer-Verlag , c1996
131 1169 Formal systems specification : the RPC-Memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.) Berlin : Springer , c1996
132 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
133 1173 Efficient visual recognition using the Hausdorff distance / William Rucklidge Berlin ; Tokyo : Springer-Verlag , c1996
134 1174 Information hiding : First International Workshop, Cambridge, U.K., May 30-June 1, 1996 : proceedings / Ross Anderson (ed.) Berlin : Springer-Verlag , c1996
135 1175 SOFSEM '96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.) Berlin ; New York : Springer , c1996
136 1176 Discrete geometry for computer imagery : 6th International Workshop, DGCI '96, Lyon, France, November 13-15, 1996 : proceedings / Serge Miguet, Annick Montanvert, Stéphane Ubéda (eds.) Berlin ; New York : Springer , c1996
137 1177 . Lecture notes in artificial intelligence The design of intelligent agents : a layered approach / Jörg P. Müller Berlin : Springer , c1996
138 1178 Algorithms and computation : 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996 : proceedings / Tetsuo Asano ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1996
139 1180 Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings / V. Chandru, V. Vinay (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
140 1182 Optimization of SQL queries for parallel machines / Waqar Hasan Berlin : Springer-Verlag , c1996
141 1184 Applied parallel computing : industrial computation and optimization : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996 : proceedings / Jerzy Waśniewski ... [et al.] (eds.) Berlin ; New York : Springer , c1996
142 1185 Multimedia telecommunications and applications : Third International COST 237 Workshop, Barcelona, Spain, November 25-27, 1996 : proceedings / G. Ventre, J. Domingo-Pascual, A. Danthine (eds.) Berlin ; New York : Springer-Verlag , c1996
143 1190 Graph drawing : Symposium on Graph Drawing, GD '96, Berkeley, California, USA, September 18-20, 1996, proceedings / Stephen North (ed.) Berlin : Springer , c1997
144 1192 Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.) Berlin : Springer , c1997
145 1194 Evolution of parallel cellular machines : the cellular programming approach / Moshe Sipper Berlin ; Tokyo : Springer , c1997
146 1195 . Lecture notes in artificial intelligence Creating personalities for synthetic actors : towards autonomous personality agents / Robert Trappl, Paolo Petta (eds.) Berlin ; New York : Springer-Verlag , c1997
147 1196 Numerical analysis and its applications : first International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 : proceedings / Lubin Vulkov, Jerzy Waśniewski, Plamen Yalamov (eds.) Berlin : Springer-Verlag , c1997
148 1197 Graph-theoretic concepts in computer science : 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996 : proceedings / Fabrizio d'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela (eds.) Berlin ; Tokyo : Springer , c1997
149 1198 . Lecture notes in artificial intelligence Software agents and soft computing : towards enhancing machine intelligence : concepts and applications / Hyacinth S. Nwana, Nader Azarmi (eds.) Berlin ; Tokyo : Springer-Verlag , c1997
150 1209 . Lecture notes in artificial intelligence Intelligent agent systems : theoretical and practical issues : based on a workshop held at PRICAI '96, Cairns, Australia, August 26-30, 1996 / Lawrence Cavedon, Anand Rao, Wayne Wobcke, (eds.) Berlin : Springer , c1997
151 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
152 1216 . Lecture notes in artificial intelligence Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.) : kart. - Berlin : Springer , c1997
153 1218 New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa (eds.) : kart. - Berlin ; New York : Springer , c1997
154 1220 Input/output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems / Peter Brezany Berlin ; New York : Springer , c1997
155 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
156 1224 . Lecture notes in artificial intelligence Machine learning : ECML-97 : 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings / Maarten van Someren, Gerhard Widmer (eds.) : gw. - Berlin : Springer , c1997
157 1225 High-performance computing and networking : International Conference and Exhibition, Vienna, Austria, April 28-30, 1997 : proceedings / Bob Hertzberger, Peter Sloot (eds.) : kart. - Berlin ; Tokyo : Springer , c1997
158 1229 . Lecture notes in artificial intelligence Distributed reason maintenance for multiagent systems / Gerhard K. Kraetzschmar Berlin ; Tokyo : Springer , c1997
159 1234 Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode, (eds.) Berlin ; New York : Springer-Verlag , c1997
160 1235 Software configuration management : ICSE'97 SCM-7 workshops : Boston, MA, USA, May 18-19, 1997 proceedings / Reidar Conradi (ed.) Berlin : Springer-Verlag , c1997
161 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
162 1238 Intelligence in services and networks : technology for cooperative competition : Fourth International Conference on Intelligence in Services and Networks, IS&N '97, Cernobbio, Italy, May 27-29, 1997 : proceedings / Al Mullery ... [et al.] (eds.) Berlin ; New York : Springer-Verlag , c1997
163 1240 Biological and artificial computation : from neurosciene to technology : International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997 : proceedings / José Mira, Roberto Moreno-Díaz, Joan Cabestany (eds.) Berlin ; New York : Springer-Verlag , c1997
164 1242 Multimedia applications, services, and techniques : ECMAST '97, Second European Conference, Milan, Italy, May 21-23, 1997 : proceedings / Serge Fdida, Michele Morganti (eds.) : pbk : alk. paper. - Berlin ; New York : Springer , c1997
165 1244 . Lecture notes in artificial intelligence Qualitative and quantitative practical reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings / Dov M. Gabbay ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1997
166 1248 Application and theory of Petri nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings / Pierre Azéma, Gianfranco Balbo (eds.) Berlin ; Tokyo : Springer , c1997
167 1256 Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.) Berlin ; Tokyo : Springer , c1997
168 1262 Advances in spatial databases : 5th International Symposium, SSD '97, Berlin, Germany, July 15-18, 1997 : proceedings / Michel Scholl, Agnès Voisard (eds.) Berlin ; New York : Springer , c1997
169 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
170 1267 Fast software encryption : 4th International Workshop, FSE '97, Haifa, Israel, January 20-22, 1997 : proceedings / Eli Biham (ed.) Berlin ; New York : Springer , c1997
171 1269 Randomization and approximation techniques in computer science : International Workshop RANDOM '97, Bologna, Italy, July 11-12, 1997 : proceedings / José Rolim (ed.) Berlin ; Tokyo : Springer , c1997
172 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
173 1276 Computing and combinatorics : Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings / Tao Jiang, D.T. Lee (eds.) Berlin ; Tokyo : Springer , c1997
174 1277 Parallel computing technologies : 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997 : proceedings / Victor Malyshkin (ed.) Berlin ; Heidelberg ; New York : Springer , c1997
175 1278 Bioinformatics : German Conference on Bioinformatics, GCB'96 Leipzig, Germany, September 30-October 2, 1996, selected papers / Ralf Hofestädt ... [et al.] (eds.) Berlin : Springer , c1997
176 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
177 1282 Coordination languages and models : Second International Conference COORDINATION '97, Berlin, Germany, September 1-3 1997 : proceedings / David Garlan, Daniel Le Métayer (eds.) Berlin : Springer , c1997
178 1283 Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm Berlin ; Heidelberg : Springer , c1997
179 1284 Algorithms - ESA '97 : 5th Annual European Symposium, Graz, Austria, September 15-17, 1997 : proceedings / Rainer Burkard, Gerhard Woeginger (eds.) Berlin ; Tokyo : Springer , c1997
180 1285 . Lecture notes in artificial intelligence Simulated evolution and learning : First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996 : selected papers / Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi, (eds.) Berlin ; Tokyo : Springer , c1997
181 1286 . Lecture notes in artificial intelligence Multi-agent systems : methodologies and applications : Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996 : selected papers / Chengqi Zhang, Dickson Lukose, (eds.) Berlin : Springer , c1997
182 1287 Formal hardware verification : methods and systems in comparison / Thomas Kropf (ed.) Berlin : Springer , c1997
183 1288 Spatial data types for database systems : finite resolution geometry for geographic information systems / Markus Schneider Berlin ; Tokyo : Springer-Verlag , c1997
184 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
185 1293 Principles of document processing : Third International Workshop, PODP '96, Palo Alto, California, USA, September 23, 1996 : proceedings / Charles Nicholas, Derick Wood (eds.) Berlin ; Tokyo : Springer , c1997
186 1294 Advances in cryptology, CRYPTO '97 : 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997 : proceedings / Burton S. Kaliski Jr. (ed.) Berlin ; Tokyo : Springer , c1997
187 1296 Computer analysis of images and patterns : 7th International Conference, CAIP '97 : Kiel, Germany, September 10-12, 1997 : proceedings / Gerald Sommer, Kostas Daniilidis, Josef Pauli, (eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1997
188 1297 . Lecture notes in artificial intelligence Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings / Nada Lavrač, Sašo Džeroski, (eds.) Berlin ; New York : Springer , c1997
189 1298 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, (eds.) Berlin ; Tokyo : Springer-Verlag , c1997
190 1299 . Lecture notes in artificial intelligence Information extraction : a multidisciplinary approach to an emerging information technology : internationl summer school, SCIE-97, Frascati, Italy, July 14-18, 1997 / Maria Teresa Pazienza, ed : pbk. - New York : Springer , c1997
191 1300 Euro-Par'97, parallel processing : Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997 : proceedings / Christian Lengauer, Martin Griebl, Sergei Gorlatch, (eds.) : pbk. - Berlin ; Tokyo : Springer , c1997
192 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
193 1302 Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck (ed.) Berlin ; New York : Springer , c1997
194 1303 . Lecture notes in artificial intelligence KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings / Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.) Berlin ; New York : Springer , c1997
195 1304 Field-programmable logic and applications : 7th International Workshop, FPL '97, London, UK, September 1-3, 1997 : proceedings / Wayne Luk, Peter Y.K. Cheung, Manfred Glesner (eds.) Berlin ; Tokyo : Springer-Verlag , c1997
196 1305 Evolutionary computing : AISB International Workshop, Manchester, UK, April 7-8, 1997 : selected papers / David Corne, Jonathan L. Shapiro, (eds.) Berlin ; Tokyo : Springer , c1997
197 1306 Visual information systems / Clement Leung (ed.) Berlin ; Tokyo : Springer-Verlag , c1997
198 1307 . Lecture notes in artificial intelligence Prosody in speech understanding systems / Ralf Kompe Berlin ; New York : Springer , c1997
199 1308 Database and expert systems applications : 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997 : proceedings / Abdelkader Hameurlain, A Min Tjoa (eds.) Berlin : Springer , c1997
200 1309 Interactive distributed multimedia systems and telecommunication services : 4th International Workshop IDMS '97, Darmstadt, Germany, September 10-12, 1997 : proceedings / Ralf Steinmetz, Lars C. Wolf, (eds.) Berlin ; New York : Springer , c1997
201 1310, 1311 Image analysis and processing : 9th International Confernece, ICIAP '97 Florence, Italy, September 17-19, 1997 : proceedings / Alberto Del Bimbo, (ed.) 1,2. - Berlin ; New York : Springer , c1997
202 1312 Rules in database systems : Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 : proceedings / Andreas Geppert, Mikael Berndtsson, (eds.) Berlin ; Tokyo : Springer , 1997
203 1313 FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.) : pbk. - Berlin ; New York : Springer , c1997
204 1314 . Lecture notes in artificial intelligence Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / Stephen Muggleton, (ed.) Berlin ; New York : Springer , c1997
205 1315 Algebraic frames for the perception-action cycle : international workshop, AFPAC '97, Kiel, Germany, September 8-9, 1997 : proceedings / Gerald Sommer, Jan J. Koenderink, (eds.) Berlin ; New York : Springer , c1997
206 1316 . Lecture notes in artificial intelligence Algorithmic learning theory : 8th international workshop, ALT '97, Sendai, Japan, October 6-8, 1997 : proceedings / Ming Li, Akira Maruoka (eds.) Berlin : Springer , c1997
207 1317. Lecture notes in artificial intelligence Music, gestalt, and computing : studies in cognitive and systematic musicology / Marc Leman (ed.) Berlin : Springer , c1997
208 1319 . Lecture notes in artificial intelligence Knowledge acquisition, modeling and management : 10th European Workshop, EKAW '97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997 : proceedings / Enric Plaza, Richard Benjamins (eds.) Berlin : Springer , c1997
209 1320 Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997 : proceedings / Marios Mavronicolas, Philippas Tsigas (eds.) Berlin ; New York : Springer , c1997
210 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
211 1322 Formal foundations for software engineering methods / Heinrich Hußmann Berlin ; Tokyo : Springer , c1997
212 1323. Lecture notes in artificial intelligence Progress in artificial intelligence : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings / Ernesto Costa, Amilcar Cardoso (eds.) : pbk. : alk. paper. - Berlin : Springer , 1997
213 1324 Research and advanced technology for digital libraries : First European Conference, ECDL '97, Pisa, Italy, September 1-3, 1997 : proceedings / Carol Peters, Costantino Thanos, eds Berlin ; Tokyo : Springer , c1997
214 1325 . Lecture notes in artificial intelligence Foundations of intelligent systems : 10th international symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997 : proceedings / Zbigniew W. Raś, Andrzej Skowron, (eds.) Berlin ; New York : Springer , c1997
215 1326 Intelligent hypertext : advanced techniques for the World Wide Web / Charles Nicholas, James Mayfield (eds.) : alk. paper. - Berlin : Springer , c1997
216 1327 Artificial neural networks : ICANN '97 : 7th International Conference, Lausanne, Switzerland, October 8-10, 1997 : proceedings / Wulfram Gerstner ... [et al.], (eds.) Berlin ; New York : Springer , c1997
217 1328 . Lecture notes in artificial intelligence Logical aspects of computational linguistics : First International Conference, LACL '96, Nancy, France, September 23-25, 1996 : selected papers / Christian Retoré (ed.) Berlin ; New York : Springer , c1997
218 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
219 1330 Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997 : proceedings / Gert Smolka (ed.) Berlin : Springer , c1997
220 1331 Conceptual modeling - ER '97 : 16th International Conference on Conceptual Modeling, Los Angeles, California, USA, November 3-5, 1997 : proceedings / David W. Embley, Robert C. Goldstein (eds.) : alk. paper. - Berlin : Springer , c1997
221 1332 Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997 : proceedings / Marian Bubak, Jack Dongarra, Jerzy Waśniewski, (eds.) : softcover. - Berlin : Springer , c1997
222 1333 Computer aided systems theory--EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997 : proceedings / Franz Pichler, Roberto Moreno-Díaz, (Eds.) Berlin ; New York ; Tokyo : Springer-Verlag , c1997
223 1336 High performance computing : International Symposium, ISHPC '97, Fukuoka, Japan, November 4-6, 1997 : proceedings / Constantine Polychronopoulos ... [et al.], (eds.) Berlin ; New York : Springer , c1997
224 1338 SOFSEM '97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997 : proceedings / František Plášil, Keith G. Jeffery, (eds.) Berlin ; New York : Springer-Verlag ,c1997
225 1339 Advances in document image analysis : First Brazilian Symposium, BSDIAʾ97, Curitiba, Brazil, November 2-5, 1997 : proceedings / Nabeel A. Murshed, Flávio Bortolozzi, (eds.) Berlin ; New York : Springer , c1997
226 1340 Algorithmic foundations of geographic information systems / Marc van Kreveld ... [et al.] (eds.) Berlin ; New York : Springer , c1997
227 1341 Deductive and object-oriented databases : 5th International Conference, DOOD '97, Montreux, Switzerland, December 8-12, 1997 : proceedings / François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao, (eds.) Berlin ; New York : Springer , c1997
228 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
229 1343 Scientific computing in object-oriented parallel environments : first International Conference, ISCOPE 97, Marina del Rey, California, USA, December 8-11, 1997, proceedings / Yutaka Ishikawa ... [et al.] (eds.) Berlin : Springer , c1997
230 1344 Ada 95 quality and style / Christine Ausnit-Hood ... [et al.], (eds.) Berlin ; New York : Springer , c1995
231 1345 Advances in computing science-ASIAN ʾ97 : third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997 : proceedings / R.K. Shyamasundar, K. Ueda (eds.) Berlin ; Tokyo : Springer , c1997
232 1346 Foundations of software technology and theoretical computer science : 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings / S. Ramesh, G. Sivakumar (eds.) Berlin ; Tokyo : Springer-Verlag , c1997
233 1347 Discrete geometry for computer imagery : 7th International Workshop, DGCI '97, Montpellier, France, December 3-5, 1997 : proceedings / Ehoud Ahronovitz, Christophe Fiorio (eds.) Berlin ; New York : Springer , c1997
234 1348 . Lecture notes in artificial intelligence Recent advances in AI planning : 4th European Conference on Planning, ECP '97, Toulouse, France, September 24-26, 1997 : proceedings / Sam Steel, Rachid Alami, (eds.) New York : Springer , c1997
235 1349 Algebraic methodology and software technology : 6th international conference, AMASTʾ97, Sydney, Australia, December 13-17, 1997 : proceedings / Michael Johnson (ed.) Berlin ; Tokyo : Springer-Verlag , c1997
236 1350 Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings / Hon Wai Leong, Hiroshi Imai, Sanjay Jain (eds.) Berlin ; Tokyo : Springer , c1997
237 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
238 1353 Graph drawing : 5th International Symposium, GD'97, Rome, Italy, September 18-20, 1997 : proceedings / Giuseppe DiBattista (ed.) Berlin : Springer Verlag , c1997
239 1354 Automatic verification of sequential infinite-state processes / Olaf Burkart Berlin : Springer , c1997
240 1356 From multimedia services to network services : 4th International COST 237 Workshop, Lisboa, Portugal, December 15-19, 1997 : proceedings / André Danthine, Christophe Diot, eds Berlin ; New York : Springer , c1997
241 1358 Semantics in databases / Bernhard Thalheim, Leonid Libkin (eds.) Berlin ; Tokyo : Springer , c1998
242 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
243 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
244 1363 Artificial evolution : Third European Conference, AE'97, Nîmes, France, October 22-24, 1997 : selected papers / J.-K. Hao ... [et al.], (eds.) Berlin ; Tokyo : Springer , c1998
245 1364 Coordination technology for collaborative applications : organizations, processes, and agents / Wolfram Conen, Gustaf Neumann (eds.) Berlin ; New York : Springer , c1998
246 1365 . Lecture notes in artificial intelligence Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings / Munindar P. Singh, Anand Rao, Michael J. Wooldridge (eds.) Berlin ; Tokyo : Springer , c1998
247 1366 Languages and compilers for parallel computing : 10th International Workshop, LCPC '97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings / Zhiyuan Li ... [et al.] (eds.) : gw. - Berlin : Springer , c1998
248 1367 Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.) Berlin ; Tokyo : Springer , c1998
249 1368 Worldwide computing and its applications -- WWCA '98 : Second International Conference Tsukuba, Japan, March 4-5, 1998 : proceedings / Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto (eds.) Berlin : Springer , c1998
250 1369 Database programming languages : 6th International Workshop DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings / Sophie Cluet, Rick Hull (eds.) : pbk. - Berlin ; Tokyo : Springer , c1998
251 1370 Cooperative buildings : integrating information, organization, and architecture : first International Workshop, CoBuild'98, Darmstadt, Germany, February 25-26, 1998 : proceedings / Norbert A. Streitz, Shin'ichi Konomi, Heinz-Jürgen Burkhardt (eds.) Berlin ; Tokyo : Springer , c1998
252 1371 . lecture notes in artificial intelligence Gesture and sign language in human-computer interaction : International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997 : proceedings / Ipke Wachsmuth, Martin Fröhlich (eds.) Berlin ; Tokyo : Springer , c1998
253 1372 Fast software encryption : 5th International Workshop, FSE '98, Paris, France, March 23-25, 1998 : proceedings / Serge Vaudenay, (ed.) : pbk. - Berlin ; New York : Springer , c1998
254 1374 . Lecture notes in artificial intelligence Multimodal human-computer communication : systems, techniques, and experiments / Harry Bunt, Robbert-Jan Beun, Tijn Borghuis (eds.) Berlin ; New York : Springer , c1998
255 1375 Electronic publishing, artistic imaging, and digital typography : 7th International Conference on Electronic Publishing, EP'98 held jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT'98, St. Malo, France, March 30-April 3, 1998, proceedings / Roger D. Hersch, Jacques André, Heather Brown, eds. Berlin ; New York : Springer , c1998
256 1376 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.) Berlin ; New York : Springer , c1998
257 1377 Advances in database technology, EDBT '98 : 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998 : proceedings / Hans-Jörg Schek ... [et al.] (eds.) Berlin ; New York : Springer , c1998
258 1378 Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Maurice Nivat (ed.) Berlin ; New York : Springer , c1998
259 1379 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.) Berlin ; New York : Springer , c1998
260 1380 Latin'98, theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 : proceedings / Cláudio L. Lucchesi, Arnaldo V. Moura (eds.) Berlin ; New York : Springer , c1998
261 1381 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Chris Hankin (ed.) Berlin : Springer-Verlag , c1998
262 1382 Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Egidio Astesiano, ed Berlin ; New York : Springer , c1998
263 1383 Compiler construction : 7th International Conference, CC '98, held as part of the Joint European Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Kai Koskimies, ed Berlin ; New York : Springer , 1998
264 1384 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings / Bernhard Steffen, ed. Berlin ; New York : Springer , c1998
265 1385 Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97, selected papers / Tiziana Margaria ... [et al.], eds Berlin ; New York : Springer , c1998
266 v. 1386 Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings / Thomas A. Henzinger, Shankar Sastry (eds.) Berlin ; New York : Springer-Verlag , c1998
267 1387 . Lecture notes in artificial intelligence Adaptive processing of sequences and data structures : International Summer School on Neural Networks "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, tutorial lectures / C. Lee Giles, Marco Gori, eds Berlin ; New York : Springer , c1998
268 1388 Parallel and distributed processing : 10 IPPS/SPDP'98 Workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distrubuted Processing, Orlando, Florida, USA, March 30-April 3, 1998, proceedings / José Rolim, ed Berlin ; New York : Springer , c1998
269 1389 Graphics recognition : algorithms and systems : Second International Workshop, GREC ʾ97, Nancy, France, August 22-23, 1997 : selected papers / Karl Tombre, Atul K. Chhabra (eds.) Berlin ; New York : Springer Verlag , c1998
270 1390 Universal routing strategies for interconnection networks / Christian Scheideler Berlin : Springer , c1998
271 1391 Genetic programming : First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998 : proceedings / Wolfgang Banzhaf ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1998
272 1392 Digital libraries in computer science : The MeDoc approach / Andreas Barth ... [et al.] eds. Berlin ; Tokyo : Springer , c1998
273 1393 B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings / Didier Bert (ed.) Berlin : Springer , c1998
274 1394 . Lecture notes in artificial intelligence Research and development in knowledge discovery and data mining : Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15-17, 1998 : proceedings / Xindong Wu, Ramamohanarao Kotagiri, Kevin B. Korb, (eds.) Berlin ; New York : Springer , c1998
275 1395 . Lecture notes in artificial intelligence RoboCup-97 : robot soccer World Cup I / Hiroaki Kitano, ed : pbk. - Berlin ; Tokyo : Springer , 1998
276 1396 Information security : First International Workshop, ISW '97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997 : proceedings / Eiji Okamoto, George Davida, Masahiro Mambo, (eds.) :pbk.. - Berlin ; New York : Springer , c1998
277 1397 . Lecture notes in artificial intelligence Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.) Berlin ; Tokyo : Springer , c1998
278 1398 . Lecture notes in artificial intelligence Machine learning: ECML-98 : 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998 : proceedings / Claire Nédellec, Céline Rouveirol (eds.) : pbk. - Berlin ; New York : Springer , c1998
279 1399 Temporal databases : research and practice / Opher Etzion, Sushil Jajodia, Suryanarayana Sripada, eds Berlin ; Tokyo : Springer , c1998
280 1400 . Lecture notes in artificial intelligence Case-based reasoning technology : from foundations to applications / Mario Lenz ... [et al.] eds Berlin ; Tokyo : Springer , c1998
281 1401 High-performance computing and networking : international conference and exhibition, Amsterdam, The Netherlands, April 21-23, 1998 proceedings / Peter Sloot, Marian Bubak, Bob Hertzberger (eds.) Berlin : Springer , c1998
282 1402 Trends in distributed systems for electronic commerce : International IFIP/GI Working Conference, TREC'98, Hamburg, Germany, June 3-5, 1998 proceedings / Winfried Lamersdorf, Michael Merz, (eds.) Berlin : Springer , 1998
283 1404 . Lecture notes in artificial intelligence Spatial cognition : an interdisciplinary approach to representing and processing spatial knowledge / Christian Freksa, Christopher Habel , Karl F. Wender (eds.) Berlin : Springer , c1998
284 1405 Advances in databases : 16th British National Conference on Databases, BNCOD 16, Cardiff, Wales, UK, July 6-8, 1998 : proceedings / Suzanne M. Embury ... [et al.], (eds.) : pbk. - Berlin ; New York : Springer , c1998
285 1406-1407 Computer vision -- ECCV '98 : 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998 : proceedings / Hans Burkhardt, Bernd Neumann, (eds.) v. 1,v. 2. - Berlin : Springer , c1998
286 1408 Practice and theory of automated timetabling II : second International Conference, PATAT '97, Toronto, Canada, August 20-22, 1997 : selected papers / Edmund Burke, Michael Carter (eds.) Berlin : Springer , c1998
287 1409 . Lecture notes in artificial intelligence The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub : pbk. - Berlin ; New York : Springer , c1997
288 1410 Audio system for technical readings / T.V.Raman Berlin : Springer , c1998
289 1411 Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / Lars Asplund, (ed.) Berlin : Springer , c1998
290 1412 Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings / Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (eds.) Berlin ; New York : Springer , c1998
291 1413 Advanced information systems engineering : 10th International Conference, CAiSE '98, Pisa, Italy, June 8-12, 1998, proceedings / Barbara Pernici, Costantino Thanos (eds.) Berlin : Springer-Verlag , c1998
292 1415 . Lecture notes in artificial intelligence . 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert systems, IEA-98-AIE, Benicàssim, Castellón, Spain, June 1-4, 1998 : proceedings ; vol. 1 Methodology and tools in knowledge-based systems / José Mira, Angel Pasqual del Pobil, Moonis Ali (eds.) Berlin : Springer , c1998
293 1416 . Lecture notes in artificial intelligence . 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert systems, IEA-98-AIE, Benicàssim, Castellón, Spain, June 1-4, 1998 : proceedings ; vol. 2 Tasks and methods in applied artificial intelligence / Angel Pasqual del Pobil, José Mira, Moonis Ali (eds.) Berlin : Springer , c1998
294 1417 Parallel computer routing and communication : second International Workshop, PCRCW '97, Atlanta, Georgia, USA, June 26-27, 1997 : proceedings / Sudhakar Yalamanchili, José Duato (eds.) Berlin : Springer , c1998
295 1418 . Lecture notes in artificial intelligence Advances in artificial intelligence : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '98, Vancouver, BC, Canada, June 18-20, 1998 : proceedings / Robert E. Mercer, Eric Neufeld (eds.) Berlin ; Tokyo : Springer , c1998
296 1420 Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings / Jörg Desel, Manuel Silva (eds.) Berlin : Springer , c1998
297 1421 . Lecture notes in artificial intelligence Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (eds.) : pbk. - Berlin : Springer , c1998
298 1422 Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring (ed.) Berlin : Springer , c1998
299 1424 . Lecture notes in artificial intelligence Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / Lech Polkowski, Andrzej Skowron, eds Berlin ; New York : Springer , c1998
300 1425 Multimedia applications, services and techniques - ECMAST '98 : third European Conferece, Berlin, Germany, May 26-28, 1998, : proceedings / David Hutchison, Ralf Schäfer (eds.) Berlin : Springer , c1998
301 1426 Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts Berlin : Springer , c1998
302 1427 Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.) Berlin : Springer-Verlag , c1998
303 1428 Optimal interprocedural program optimization : a new framework and its application / Jens Knoop Berlin ; Tokyo : Springer , c1998
304 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
305 1430 Intelligence in services and networks : technology for ubiquitous telecom services : 5th International Conference on Intelligence in Services and Networks, IS&N '98, Antwerp, Belgium, May 25-28, 1998, proceedings / Sebastiano Trigila ... [et al.] Berlin ; New York : Springer , c1998
306 1431 Public key cryptography : First International Workshop on Practice and Theory in Public Key Cryptography, PKC '98, Pacifico Yokohama, Japan, February 5-6, 1998 : proceedings / Hideki Imai, Yuliang Zheng (eds.) Berlin : Springer , c1998
307 1432 Algorithm theory-SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings / Stefan Arnborg, Lars Ivansson (eds.) Berlin ; Tokyo : Springer , c1998
308 1433 . Lecture notes in artificial intelligence Grammatical inference : 4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.) Berlin ; London : Springer , c1998
309 1434 . Lecture notes in artificial intelligence Virtual worlds : first International Conference, VW'98, Paris, France, July 1-3, 1998 : proceedings / Jean-Claude Heudin (ed.) Berlin : Springer , c1998
310 1435 . Lecture notes in artificial intelligence Cooperative information agents II : learning, mobility, and electronic commerce for information discovery on the Internet : Second International Workshop, CIA '98, Paris, France, July 4-7, 1998 : proceedings / Matthias Klusch, Gerhard Weiß (eds.) Berlin ; New York : Springer , c1998
311 1436 Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers / Derick Wood, Sheng Yu (eds.) Berlin : Springer , c1998
312 1437 . Lecture notes in artificial intelligence Intelligent agents for telecommunication applications : second international workshop, IATA '98, Paris, France, July 4-7, 1998 : proceedings / Sahin Albayrak, Francisco J. Garijo (eds.) Berlin : Springer , c1998
313 1438 Information security and privacy : Third Australasian Conference, ACISP'98, Brisbane, Australia, July 13-15, 1998 : proceedings / Colin Boyd, Ed Dawson (eds.) Berlin : Springer , c1998
314 1439 System configuration management : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings / Boris Magnusson (ed.) Berlin ; New York : Springer , c1998
315 1441 . Lecture notes in artificial intelligence Agents and multi-agent systems : formalisms, methodologies and applications : based on the AI '97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 / Wayne Wobcke, Maurice Pagnucco, Chen[g]qi Zhang, eds Berlin : Springer , c1998
316 1442 Online algorithms : The state of the art / Amos Fiat, Gerhard J. Woeginger (eds.) Berlin ; New York : Springer , c1998
317 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
318 1445 ECOOP '98 -- object-oriented programming : 12th European Conference, Brussels, Belgium, July 20-24 1998 : proceedings / Eric Jul (ed.) Berlin : Springer , c1998
319 1446 . Lecture notes in artificial intelligence Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.) Berlin : Springer , c1998
320 1448 Combinatorial pattern matching : 9th Annual Symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings / Martin Farach-Colton (ed.) Berlin : Springer , c1998
321 1449 Computing and combinatorics : 4th Annual International Conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings / Wen-Lian Hsu, Ming-Yang Kao, (eds.) Berlin : Springer , c1998
322 1451 Advances in pattern recognition : joint IAPR International Workshops, SSPR '98 and SPR '98, Sydney, Australia, August 11-13, 1998 : proceedings / Adnan Amin ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1998
323 1452 Intelligent tutoring systems : 4th International Conference, ITS'98, San Antonio, Texas, USA, August 1998 : proceedings / Barry P. Goettl ... [et al.], (eds.) Berlin ; New York : Springer , c1998
324 1453 . Lecture notes in artificial intelligence Conceptual structures : theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 10-12, 1998 : proceedings / Marie-Laure Mugnier, Michel Chein, (eds.) Berlin ; New York : Springer Verlag , c1998
325 1454 . Lecture notes in artificial intelligence Artificial intelligence in structural engineering : information technology for design, collaboration, maintenance, and monitoring / Ian Smith, (ed.) Berlin ; New York : Springer , c1998
326 1455 . Lecture notes in artificial intelligence Applications of uncertainty formalisms / Anthony Hunter, Simon Parsons (eds.) Berlin : Springer , c1998
327 1456 . Lecture notes in artificial intelligence Collective Robotics : First International Workshop, CRW'98, Paris, France, July 4-5, 1998 : proceedings / Alexis Drogoul, Milind Tambe, Toshio Fukuda (eds.) Berlin ; London : Springer , c1998
328 1457 Solving irregularly structured problems in parallel : 5th International Symposium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998 : proceedings / A. Ferreira ... [et al.], eds. Berlin : Springer , c1998
329 1458 . Lecture notes in artificial intelligence Assistive technology and artificial intelligence : applications in robotics, user interfaces, and natural language processing / Vibhu O. Mittal ... [et al.], eds Berlin : Springer , 1998
330 1459 Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida, USA, March 30, 1998 : proceedings / Dror G. Feitelson, Larry Rudolph (eds.) Berlin ; New York : Springer , c1998
331 1460 Database and expert systems applications : 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998 : proceedings / Gerald Quirchmayr, Erich Schweighofer, Trevor J.M. Bench-Capon (eds.) Berlin : Springer , c1998
332 1461 Algorit[h]ms -- ESA '98 : 6th annual European symposium, Venice, Italy, August 24-26, 1998 : proceedings / Gianfranco Bilardi ... [et al.] (eds.) Berlin ; London : Springer , c1998
333 1463 Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / Norbert E. Fuchs (ed.) Berlin ; Tokyo : Springer , c1998
334 1464 Multimedia information analysis and retrieval : IAPR International Workshop MINAR'98, Hong Kong, China, August 1998, proceedings / Horace H.S. Ip, Arnold W.M. Smeulders, (eds.) Berlin ; New York : Springer Verlag , c1998
335 1465 Financial cryptography : Second International Conference, FC '98, Anguilla, British West Indies, February 23-25, 1998 : proceedings / Rafael Hirschfeld (ed.) Berlin ; New York : Springer , c1998
336 1466 CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings / Davide Sangiorgi, Robert de Simone (eds.) Berlin ; Tokyo : Springer , c1998
337 1467 Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers / Chris Clack, Kevin Hammond, Tony Davie (eds.) Berlin : Springer , c1998
338 1468 Evolutionary Robotics : First European Workshop, EvoRobot98 Paris, France, April 16-17, 1998 : proceedings / Philip Husbands, Jean-Arcady Meyer (eds.) Berlin : Springer , c1998
339 1469 Computer performance evaluation : modelling techniques and tools : 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.) Berlin ; New York : Springer , c1998
340 1470 Euro-Par '98 parallel processing : 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998, proceedings / David Pritchard , Jeff Reeve (eds.) Berlin ; Tokyo : Springer , c1998
341 1471 . Lecture notes in artificial intelligence Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds Berlin : Springer , c1998
342 1472 Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag ... [et al.], ed. Berlin ; New York : Springer , c1998
343 1473 Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings / Xavier Leroy, Atsushi Ohori (eds.) Berlin ; New York : Springer , c1998
344 1474 Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 19-20, 1998 : proceedings / Frank Mueller, Azer Bestavros (eds.) Berlin ; Tokyo : Springer , c1998
345 1475 Advances in databases and information systems : Second East European Symposium, ADBIS'98, Poznań, Poland, September 7-10, 1998 : proceedings / Witold Litwin, Tadeusz Morzy, Gottfried Vossen (eds.) Berlin : Springer , c1998
346 1477 Mobile agents : Second International Workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 : proceedings / Kurt Rothermel, Fritz Hohl (eds.) Berlin : Springer , c1998
347 1478 Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998 : proceedings / Moshe Sipper, Daniel Mange, Andrés Pérez-Uribe (eds.) Berlin : Springer , c1998
348 1479 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey (eds.) Berlin ; Tokyo : Springer , c1998
349 1480 . Lecture notes in artificial intelligence Artificial intelligence : methodology, systems, and applications : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998 : proceedings / Fausto Giunchiglia (ed.) Berlin : Springer , c1998
350 1481 Principles of digital document processing : 4th International Workshop, PODDP'98, Saint Malo, France, March 29-30, 1998 : proceedings / Ethan V. Munson, Charles Nicholas, Derick Wood (eds.) Berlin ; Tokyo : springer , c1998
351 1482 Field-programmable logic and applications : from FPGAs to computing paradigm : 8th international workshop, FPL '98, Tallinn, Estonia, August 31- September 3, 1998, proceedings / Reiner W.Hartenstein , Andres Keevallik (eds.) Berlin ; Tokyo : Springer-Verlag , c1998
352 1483 Interactive distributed multimedia systems and telecommunication services : 5th International Workshop IDMS '98, Oslo, Norway, September 8-11, 1998 : proceedings / Thomas Plagemann, Vera Goebel (eds.) Berlin ; New York : Springer , c1998
353 1484. Lecture notes in artificial intelligence Progress in artificial intelligence -- IBERAMIA 98 : 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998 : proceedings / Helder Coelho (ed.) Berlin ; Tokyo : Springer , c1998
354 1486 Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings / Anders P. Ravn, Hans Rischel (eds.) Berlin : Springer , c1998
355 1487 Software process technology : 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / Volker Gruhn (ed.) Berlin : Springer , c1998
356 1488. Lecture notes in artificial intelligence Advances in case-based reasoning : 4th European Workshop, EWCBR-98, Dublin, Ireland, September 23-25, 1998 : proceedings / Barry Smyth, Pádraig Cunningham (eds.) Berlin : Springer-Verlag , c1998
357 1489 . Lecture notes in artificial intelligence Logics in artificial intelligence : European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings / Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.) Berlin : Springer , c1998
358 1490 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings / Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.) Berlin ; Tokyo : Springer , c1998
359 1491-1492 Lectures on Petri nets : advances in Petri nets / Wolfgang Reisig, Grzegorz Rozenberg (eds.) 1 : alk. paper,2 : Applications,2 : alk. paper. - New York : Springer , 1998
360 1493 ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings / Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.) Berlin ; New York : Springer , c1998
361 1494 Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / Grzegorz Rozenberg, Frits Vaandrager (eds.) Berlin ; Tokyo : Springer , c1998
362 1495 . Lecture notes in artificial intelligence Flexible query answering systems : Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998 : proceedings / Troels Andreasen, Henning Christiansen, Henrik L. Larsen (eds.) Berlin ; Tokyo : Spriner , c1998
363 1496 Medical image computing and computer-assisted intervention - MICCAI '98 : first International Conference, Cambridge, MA, USA, October 11-13, 1998 : proceedings / William M. Wells, Alan Colchester, Scott Delp (eds.) Berlin ; Tokyo : Springer , c1998
364 1497 Recent advances in parallel virtual machine and message passing interface : 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998 : proceedings / Vassil Alexandrov, Jack Dongarra (eds.) Berlin : Springer , c1998
365 1498 Parallel problem solving from nature-PPSN V : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998 : proceedings / Agoston E. Eiben ... [et al.], (eds.) Berlin : Springer , c1998
366 1499 Distributed computing : 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings / Shay Kutten (ed.) Berlin : Springer , c1998
367 1501. Lecture notes in artificial intelligence Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings / Michael M. Richter... [et al.], (eds.) Berlin ; Tokyo : Springer , c1998
368 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
369 1503 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi (ed.) Berlin ; New York : Springer , c1998
370 1504 . Lecture notes in artificial intelligence KI-98 : advances in artificial intelligence : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998 : proceedings / Otthein Herzog, Andreas Günter (eds.) Berlin ; Tokyo : Springer , c1998
371 1505 Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998 : proceedings / Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn (eds.) Berlin : Springer , c1998
372 1506 3D structure from multiple images of large-scale environments : European Workshop, SMILE'98, Freiburg, Germany, June 6-7, 1998 : proceedings / Reinhard Koch, Luc Van Gool (eds.) Berlin : Springer , c1998
373 1507 Conceptual modeling - ER '98 : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998 : proceedings / Tok Wang Ling, Sudha Ram, Mong Li Lee, (eds.) Berlin ; New York : Springer , c1998
374 1508 Advances in multimedia information systems : 4th International Workshop, MIS'98, Istanbul, Turkey, September 24-26, 1998 : proceedings / Sushil Jajodia, M. Tamer Özsu, Asuman Dogac (eds.) Berlin ; Tokyo : Springer , c1998
375 1511 Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers / David O'Hallaron (ed.) Berlin ; Tokyo : Springer , c1998
376 1512 Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.) Berlin ; Tokyo : Springer , c1998
377 1513 Research and advanced technology for digital libraries : Second European Conference, ECDL '98, Heraklion, Crete, Greece, September 21-23, 1998 : proceedings / Christos Nikolaou, Constantine Stephanidis (eds.) Berlin : Springer , c1998
378 1516 Computer safety, reliability and security : 17th International Conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings / Wolfgang Ehrenberger (ed.) Berlin : Springer , c1998
379 1518 Randomization and approximation techniques in computer science : Second International Workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 : proceedings / Michael Luby, José Rolim, Maria Serna (eds.) Berlin : Springer , c1998
380 1519 Community computing and support systems : social interaction in networked communities / Toru Ishida (ed.) Berlin : Springer , c1998
381 1520 Principles and practice of constraint programming - CP98 : 4th International Conference, CP 98, Pisa, Italy, October 26-30, 1998 : proceedings / Michael Maher, Jean-Francois Puget (eds.) Berlin : Springer , c1998
382 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
383 1525 Information hiding : Second International Workshop, IH'98 : Portland, Oregon, USA, April 14-17, 1998 : proceedings / David Aucsmith (ed.) Berlin : Springer , c1998
384 1526 Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy, Bernhard Rumpe (eds.) Berlin : Springer , c1998
385 Lecture Notes in artificial intelligence 1527 Theory reasoning in connection calculi / Peter Baumgartner Berlin : Springer , c1998
386 1528 State of the art in applied cryptography : course on computer security and industrial cryptography, Leuven, Belgium, June 3-6, 1997 : revised lectures / Bart Preneel, Vincent Rijmen (eds.) Berlin : Springer , 1998
387 1529 . Lecture notes in artificial intelligence Machine translation and the information soup : Third Conference of the Association for Machine Translation in the Americas, AMTA'98, Langhorne, PA, USA, October 28-31, 1998 : proceedings / David Farwell, Laurie Gerber, Eduard Hovy (eds.) Berlin : Springer , c1998
388 1530 Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / V. Arvind, R. Ramanujam (eds.) Berlin : Springer-Verlag, c1998
389 1532 . Lecture notes in artificial intelligence Discovery science : first International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998 : proceedings / Setsuo Arikawa, Hiroshi Motoda (eds.) Berlin ; Tokyo : Springer , c1998
390 1534 . Lecture notes in artificial intelligence Multi-agent systems and agent-based simulation : First International Workshop, MABS '98, Paris, France, July 1998 : proceedings / Jaime S. Sichman, Rosaria Conte, Nigel Gilbert (eds.) Berlin ; New York : Springer , c1998
391 1535 . Lecture notes in artificial intelligence Co-ordination in artificial agent societies : social structures and its implications for autonomous problem-solving agents / Sascha Ossowski Berlin : Springer , c1999
392 1536 Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.) Berlin ; New York : Springer , c1998
393 1537 . Lecture notes in artificial intelligence Modelling and motion capture techniques for virtual environments : International Workshop, CAPTECH'98, Geneva, Switzerland, November 26-27, 1998 : proceedings / Nadia Magnenat-Thalmann, Daniel Thalmann (eds.) Berlin : Springer-Verlag , c1998
394 1538 Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings / Jieh Hsiang, Atsushi Ohori (eds.) Berlin : Springer , c1998
395 1540 Database theory--ICDT'99 : 7th International Conference, Jerusalem, Israel, January 10-12, 1999 : proceedings / Catriel Beeri, Peter Buneman (eds.) Berlin : Springer , c1999
396 1541 Applied parallel computing : large scale scientific and industrial problem : 4th International Workshop, PARA '98, Umeå, Sweden, June 1998 : proceedings / Bo Kågström ... [et al.] Berlin : Springer , 1998
397 1542 Computer vision systems : First International Conference, ICVS '99, Las Palmas, Gran Canaria, Spain, January 13-15, 1999 : proceedings / Henrik I. Christensen, (ed.) Berlin ; London : Springer , c1999
398 1543 Object-oriented technology : ECOOP'98 workshop reader : ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, June 20-24, 1998 : proceedings / Serge Demeyer, Jan Bosch (eds.) Berlin : Springer , c1998
399 1544 . Lecture notes in artificial intelligence Multi-agent systems : theories, languages, and applications : 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Qld, Australia, July 13, 1998 : selected papers / Chengqi Zhang, Dickson Lukose, (eds.) :pbk,: pbk. - Berlin ; New York : Springer , c1998
400 1545 . Lecture notes in artificial intelligence Learning robots : 6th European Workshop, EWLR--6, Brighton, England, August 1-2, 1997 : proceedings / Andreas Birk, John Demiris (eds.) Berlin ; New York : Springer , c1998
401 1546 Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters / Bernhard Möller, John V. Tucker, eds Berlin ; New York : Springer , c1998
402 1548 Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings / Armando Martín Haeberer (eds.) Berlin : Springer , c1999
403 1636 Fast software encryption : 6th International Workshop, FSE'99, Rome, Italy, March 24-26, 1999 : proceedings / Lars Knudsen (ed.) Berlin ; New York : Springer , c1999
404 1687 Software engineering - ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 : proceedings / Oscar Nierstrasz, Michel Lemoine (eds.) Berlin : Springer , c1999
405 1716 Advances in cryptology - ASIACRYPT '99 : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 : proceedings / Kwok Yan Lam, Eiji Okamoto, Chaoping Xing (eds.) Berlin : Springer , c1999
406 1764 Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers / Hartmut Ehrig ... [et al.] (eds.) Berlin : Springer , c2000
407 1784 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.) Berlin : Springer , c2000
408 1851 Algorithm theory - SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings / Magnús M. Halldórsson (ed.) Berlin : Springer , c2000
409 1855 Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings / E. Allen Emerson, A. Prasad Sistla (eds.) Berlin : Springer , c2000
410 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
411 1978 Fast software encryption : 7th International Workshop, FSE 2000, New York, NY, USA, April 10-12, 2000 : proceedings / Bruce Schneier (ed.) Berlin : Springer , c2001
412 2317 . Lecture notes in artificial intelligence Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002 : proceedings / Mary Hegarty, Bernd Meyer, N. Hari Narayanan (eds.) Berlin : Springer , c2002
413 2355 Fast software encryption : 8th International Workshop, FSE 2001, Yokohama, Japan, April 2-4, 2001 : revised papers / Mitsuru Matsui (ed.) Berlin : Springer , c2002
414 2365 Fast software encryption : 9th International Workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002 : revised papers / Joan Daemen, Vincent Rijmen (eds.) Berlin : Springer , c2002
415 2380 Automata, languages and programming : 29th International Colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings / Peter Widmayer ... [et al.] (eds.) Berlin : Springer , c2002
416 2387 Computing and combinatorics : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 : proceedings / Oscar H. Ibarra, Louxin Zhang (eds.) Berlin ; Tokyo : Springer , c2002
417 2461 Algorithms - ESA 2002 : 10th Annual European Symposium, Rome, Italy, September 17-21, 2002 : proceedings / Rolf Möhring, Rajeev Raman (eds.) Berlin : Springer , c2002
418 2505 Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings / Andrea Corradini ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2002
419 2518 Algorithms and computation : 13th International Symposium, ISAAC 2002, Vancouver, BC, Canada, November 21-23, 2002 : proceedings / Prosenjit Bose, Pat Morin (eds.) Berlin ; Tokyo : Springer , c2002
420 2573 Graph-theoretic concepts in computer science : 28th International Workshop, WG 2002, C̆eský Krumlov, Czech Republic, June 13-15, 2002 : revised papers / Ludĕk Kuc̆era (ed.) Berlin ; Tokyo : Springer , c2002
421 2607 STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003 : proceedings / Helmut Alt, Michel Habib (eds.) Berlin ; Tokyo : Springer , c2003
422 2647 Experimental and efficient algorithms : second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003 : proceedings / Klaus Jansen ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
423 2697 Computing and combinatorics : 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003 : proceedings / Tandy Warnow, Binhai Zhu (eds.) Berlin ; Tokyo : Springer , c2003
424 2719 Automata, languages and programming : 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
425 2747 Mathematical foundations of computer science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings / Branislav Rovan, Peter Vojtáš (eds.) Berlin ; Tokyo : Springer , c2003
426 2832 Algorithms -- ESA 2003 : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003 : proceedings / Giuseppe Di Battista, Uri Zwick (eds.) Berlin ; Tokyo : Springer , c2003
427 2880 Graph-theoretic concepts in computer science : 29th International Workshop, WG 2003, Elspeet, the Netherlands, June 19-21, 2003 : revised papers / Hans L. Bodlaender (ed.) Berlin ; Tokyo : Springer , c2003
428 2887 Fast software encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : revised papers / Thomas Johansson (ed.) Berlin ; Tokyo : Springer , c2003
429 2906 Algorithms and computation : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings / Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (eds.) Berlin ; Tokyo : Springer , c2003
430 2909 Approximation and online algorithms : first International Workshop, WAOA 2003, Budapest, Hungary, September 16-18 2003 : revised papers / Klaus Jansen, Roberto Solis-Oba (eds.) Berlin ; Tokyo : Springer , c2004
431 2919 Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.) Berlin : Springer , c2004
432 2980 . Lecture notes in artificial intelligence Diagrammatic representation and inference : third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004 : proceedings / Alan Blackwell, Kim Marriott, Atsushi Shimojima (eds.) Berlin ; Tokyo : Springer , c2004
433 2996 STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004 : proceedings / Volker Diekert, Michel Habib (eds.) Berlin ; Tokyo : Springer , c2004
434 3017 Fast software encryption : 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004 : revised papers / Bimal Roy, Willi Meier (eds.) Berlin ; Tokyo : Springer , c2004
435 3059 Experimental and efficient algorithms : third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / Celso C. Ribeiro, Simone L. Martins (eds.) Berlin ; Tokyo : Springer , c2004
436 3106 Computing and combinatorics : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004 : proceedings / Kyung-Yong Chwa, J. Ian Munro (eds.) Berlin ; Tokyo : Springer , c2004
437 3111 Algorithm theory -- SWAT 2004 : 9th Scandinavian Workshop on Algorithm Theory, Humlebæk, Denmark, July 8-10, 2004 : proceedings / Torben Hagerup, Jyrki Katajainen (eds.) Berlin : Springer , c2004
438 3142 Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / Josep Díaz ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2004
439 3153 Mathematical foundations of computer science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / Jiří Fiala, Václav Koubek, Jan Kratochvíl (eds.) Berlin ; Tokyo : Springer , c2004
440 3162 Parameterized and exact computation : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings / Rod Downey, Michael Fellows, Frank Dehne (eds.) Berlin : Springer , c2004
441 3221 Algorithms -- ESA 2004 : 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004 : proceedings / Susanne Albers, Tomasz Radzik (eds.) Berlin : Springer , c2004
442 3256 Graph transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 : proceedings / Hartmut Ehrig ... [et al.] (eds.) Berlin : Springer , c2004
443 3341 Algorithms and computation : 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004 : proceedings / Rudolf Fleischer, Gerhard Trippen (eds.) Berlin : Springer , c2004
444 3351 Approximation and online algorithms : second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004 : revised selected papers / Giuseppe Persiano, Roberto Solis-Oba (eds.) Berlin : Springer , c2005
445 3353 Graph-theoretic concepts in computer science : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004 : revised papers / Juraj Hromkovič, Manfred Nagl, Bernhard Westfechtel (eds.) Berlin : Springer , c2004
446 3404 STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 : proceedings / Volker Diekert, Bruno Durand (eds.) Berlin : Springer , c2005
447 3503 Experimental and efficient algorithms : 4th International Workshop, WEA 2005, Santorini Island, Greece, May10-13, 2005 : proceedings / Sotiris E. Nikoletseas (ed.) Berlin ; Tokyo : Springer , c2005
448 3542 Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.) Berlin : Springer , c2005
449 3557 Fast software encryption : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005 : revised selected papers / Henri Gilbert, Helena Handschuh (eds.) Berlin : Springer , c2005
450 3569 Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.) Berlin : Springer , c2005
451 3580 Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings / Luís Caires ... [et al.] (eds.) Berlin : Springer , c2005
452 3595 Computing and combinatorics : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005 : proceedings / Lusheng Wang (ed.) Berlin ; Tokyo : Springer , c2005
453 3618 Mathematical foundations of computer science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : proceedings / Joanna Jędrzejowicz, Andrzej Szepietowski (eds.) Berlin : Springer , c2005
454 3669 Algorithms -- ESA 2005 : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005 : proceedings / Gerth Stølting Brodal, Stefano Leonardi (eds.) Berlin : Springer , c2005
455 3787 Graph-theoretic concepts in computer science : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005 : revised selected papers / Dieter Kratsch (ed.) Berlin : Springer , c2005
456 3827 Algorithms and computation : 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005 : proceedings / Xiaotie Deng, Dingzhu Du (eds.) Berlin : Springer , c2005
457 3879 Approximation and online algorithms : third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005 : revised papers / Thomas Erlebach, Giuseppe Persiano (eds.) Berlin : Springer , c2006
458 3884 STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings / Bruno Durand, Wolfgang Thomas (eds.) Berlin : Springer , c2006
459 4007 Experimental algorithms : 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006 : proceedings / Carme Àlvarez, Maria Serna (eds.) Berlin : Springer , c2006
460 4045 . Lecture notes in artificial intelligence Diagrammatic representation and inference : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006 : proceedings / Dave Barker-Plummer, Richard Cox, Nik Swoboda (eds.) Berlin : Springer , c2006
461 4047 Fast software encryption : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006 : revised selected papers / Matthew Robshaw (ed.) Berlin : Springer , c2006
462 4051-4052 Automata, languages and programming : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings / Michele Bugliesi ... [et al.] (eds.) pt. 1,pt. 2. - Berlin : Springer , c2006
463 4059 Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings / Lars Arge, Rusins Freivalds (eds.) Berlin : Springer , c2006
464 4112 Computing and combinatorics : 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006 : Proceedings / Danny Z. Chen, D.T. Lee (eds.) Berlin : Springer , 2006
465 4121 Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings / ed. Armin Biere, Carla P. Gomes Berlin : Springer , 2006
466 4162 Mathematical foundations of computer science 2006 : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006 : proceedings / Rastislav Královič, Paweł Urzyczyn (eds.) Berlin : Springer , c2006
467 4168 Algorithms - ESA 2006 : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006 : proceedings / Yossi Azar, Thomas Erlebach (eds.) Berlin : Springer , c2006
468 4169 Parameterized and Exact Computation : Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006 : proceedings / Hans L. Bodlaender, Michael A. Langston (eds.) Berlin : Springer , c2006
469 4178 Graph transformations : Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings / Andrea Corradini ... [et al.] (eds.) Berlin : Springer , c2006
470 4271 Graph-theoretic concepts in computer science : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 : revised papers / Fedor V. Fomin (ed.) Berlin : Springer , c2006
471 4288 Algorithms and computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006 : proceedings / Tetsuo Asano (ed.) Berlin : Springer , c2006
472 4368 Approximation and Online Algorithms : 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006 : revised papers / Thomas Erlebach, Christos Kaklamanis (eds.) Berlin : Springer , c2006
473 4393 STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings / Wolfgang Thomas, Pascal Weil (eds.) Berlin : Springer , c2007
474 4501 Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / João Marques-Silva, Karem A. Sakallah (eds.) Berlin : Springer , c2007
475 4525 Experimental algorithms : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007 : proceedings / Camil Demetrescu (ed.) Berlin : Springer , c2007
476 4596 Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.) Berlin : Springer , c2007
477 6562 . Lecture notes in artificial intelligence Human language technology : challenges for computer science and linguistics : 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009 : revised selected papers / Zygmunt Vetulani (ed.) Heidelberg : Springer , c2011
478 6608-6609 Computational linguistics and intelligent text processing : 12th international conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011 : proceedings / Alexander Gelbukh (ed.) pt. 1,pt. 2. - Berlin : Springer , c2011

書誌詳細を非表示

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

検索結果一覧に戻る ページトップ