工学部OPAC

ようこそ  ゲスト さん

<図書>

Lecture notes in computer science

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
本文言語 und

子書誌情報を非表示

1 39 Data base systems : proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 24-26, 1975 / edited by H. Hasselmeier and W.G. Spruth : gw. - Berlin ; New York : Springer Verlag , 1976
2 98 Towards a formal description of Ada / edited by D. Bjorner and O.N. Oest : gw. - Berlin : Springer-Verlag , 1980
3 105 Distributed systems--architecture and implementation : an advanced course / D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert : us. - Berlin ; New York : Springer-Verlag , c1981
4 106 The Programming language Ada : reference manual / proposed standard document, United States Department of Defense : Berlin. - Berlin ; New York : Springer-Verlag , 1981
5 108 Graph theory and algorithms : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings / edited by N. Saito and T. Nishizeki : gw. - Berlin : Springer-Verlag , 1981
6 109 Digital image processing systems / edited by Leonard Bolc and Zenon Kulpa : gw. - Berlin ; New York : Springer-Verlag , 1981
7 191 A Survey of verification techniques for parallel programs / Howard Barringer : gw. - Berlin ; New York : Springer-Verlag , c1985
8 222 Advances in Petri nets 1985 / edited by G. Rozenberg : gw. - Berlin ; Tokyo : Springer-Verlag , c1986
9 224 Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg : gw. - Berlin ; New York : Springer-Verlag , c1986
10 228 Applied algebra, algorithmics and error-correcting codes : 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984, proceedings / edited by Alain Poli : gw. - Berlin ; Tokyo : Springer-Verlag , c1986
11 229 Algebraic algorithms and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings / edited by Jacques Calmet : gw. - Berlin ; Tokyo : Springer-Verlag , c1986
12 270 Computation theory and logic / Egon Borger (ed.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1987
13 295 Parallel computing in science and engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26, 1987 / R. Dierstein, D. Muller-Wichards, H.-M. Wacker (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1988
14 324 Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1988
15 353 . Lecture notes in artificial intelligence Foundations of equational logic programming / Steffen Hölldobler : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
16 359 High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987 : proceedings / D. Gawlick, M. Haynie, A. Reuter (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
17 365 . PARLE '89 : parallel architectures and languages Europe ; v. 1 Parallel architectures : Eindhoven, the Netherlands, June 12-16, 1989 : proceedings / E. Odijk, M. Rem, J.-C. Syre (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
18 366 . PARLE '89 : parallel architectures and languages Europe ; v. 2 Parallel languages : Eindhoven, the Netherlands, June 12-16, 1989 : proceedings / E. Odijk, M. Rem, J.-C. Syre (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
19 367 Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings /W. Litwin, H.-J. Schek, (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
20 382 Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings / F. Dehne, J.-R. Sack, N. Santoro (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
21 383 . Lecture notes in artificial intelligence Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
22 384 Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings / G.A. van Zee, J.G.G. van de Vorst (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
23 390 . Lecture notes in artificial intelligence EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, proceedings / J.P. Martins, E.M. Morgado (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
24 392 Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings / J.-C. Bermond, M. Raynal (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
25 396 Local area network security : Workshop LANSEC '89, European Institute for System Security (E.I.S.S.), Karlsruhe, FRG, April 3-6, 1989 :proceedings / T.A. Berson, T. Beth (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1989
26 452 Mathematical foundations of computer science, 1990 : Banska Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed : gw. - Berlin ; New York : Springer-Verlag , c1990
27 501 Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.) : Berlin. - Berlin ; Tokyo : Springer-Verlag , c1991
28 505 . PARLE '91 : parallel architectures and languages Europe ; v. 1 Parallel architectures and algorithms : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings / E.H.L. Aarts, J. van Leeuwen, M. Rem (eds.) : Berlin. - Berlin ; Tokyo : Springer-Verlag , c1991
29 506 . PARLE '91 : parallel architectures and languages Europe ; v. 2 Parallel languages : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings / E.H.L. Aarts, J. van Leeuwen, M. Rem, (eds.) : Berlin. - Berlin ; Tokyo : Springer-Verlag , c1991
30 507 Computing in the 90's : the first Great Lakes Computer Science Conference, Kalamazoo, Michigan, USA, October 18-20, 1989 : proceedings / N.A. Sherwani, E. de Doncker, J.A. Kapenga, (eds.) : Berlin. - Berlin ; New York : Springer-Verlag , c1991
31 512 ECOOP '91 : European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings / Pierre America, (ed.) : Berlin. - Berlin ; Tokyo : Springer-Verlag , c1991
32 550 ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fuggetta, (eds.) : Berlin. - Berlin ; New York : Springer-Verlag , c1991
33 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. - Berlin ; Tokyo : Springer-Verlag , c1991
34 569 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.) : Berlin. - Berlin ; New York : Springer-Verlag , c1991
35 586 Parallel execution of Parlog / A. Cheese : Berlin. - Berlin ; New York : Springer-Verlag , c1992
36 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. - Berlin ; New York : Springer-Verlag , c1992
37 590 . Lecture notes in artificial intelligence Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings / B. Fronhofer, G. Wrightson, eds : Berlin. - Berlin ; New York : Springer-Verlag , c1992
38 591 Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings / H.P. Zima (ed.) : Berlin. - Berlin ; New York : Springer , c1992
39 605 PARLE '92, parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992 : proceedings /D. Etiemble, J.-C. Syre (eds.) : Berlin. - Berlin ; New York : Springer-Verlag , c1992
40 615 ECOOP '92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.) : Berlin. - Berlin ; New York : Springer-Verlag , c1992
41 621 Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds : Berlin. - Berlin ; New York : Springer-Verlag , c1992
42 634 Parallel processing : CONPAR 92-VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 : proceedings / L. Bouge ... [et al.] (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1992
43 680 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann,Bernd Krieg-Bruckner, (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1993
44 . Lecture notes in artificial intelligence ; 695 Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings / E.P. Klement, W. Slany (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1993
45 . Lecture notes in artificial intelligence ; 766 The dynamics of concepts : a connectionist model / Philip R. Van Loocke : gw. - Berlin ; New York : Springer-Verlag , c1994
46 785 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1994
47 788 Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed : gw. - Berlin ; New York : Springer-Verlag , c1994
48 791 Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings / Rachid Guerraoui, OscarNierstrasz, Michel Riveill (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
49 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. - Berlin ; Tokyo : Springer-Verlag , c1994
50 820 Automata, languages and programming : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
51 821 Object-oriented programming : 8th European conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
52 833 . Lecture notes in artificial intelligence Fuzzy logic and fuzzy control : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991 : proceedings / Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu, (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
53 834 Algorithms and computation : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25-27, 1994 : proceedings / Ding-Zhu Du, Xiang-Sun Zhang (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1994
54 836 CONCUR '94: Concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings / Bengt Jonsson, Joachim Parrow, (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
55 847 . Lecture notes in artificial intelligence Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings / Anca L. Ralescu, (ed.) : gw. - Berlin ; New York : Springer-Verlag , c1994
56 853 Parallel computer routing and communication : First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994 : proceedings / Kevin Bolding, Lawrence Snyder (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
57 877 Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1994
58 879 Parallel scientific computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994 ; proceedings / Jack Dongarra, Jerzy Wasniewski, (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1994
59 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. - Berlin ; Tokyo : Springer-Verlag , c1995
60 895 Software engineering education : 8th SEI CSEE Conference, New Orleans, LA, USA, March 29-April 1, 1995 : proceedings / Rosalind Ibrahim, (ed.) Berlin ; New York : Springer-Verlag , c1995
61 896 Software engineering and human-computer interaction : ICSE '94 Workshop on SE-HCI : Joint Research Issues, Sorrento, Italy, May 16-17, 1994 : proceedings / Richard N. Taylor, Joelle Coutaz (eds.) : Berlin. - Berlin ; New York : Springer-Verlag , c1995
62 913 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schafer, (ed.) : Berlin. - Berlin : Springer-Verlag , c1995
63 915 TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.) Berlin ; New York ; Tokyo : Springer , c1995
64 924 Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings / Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (eds.) : gw. - Berlin ; New York : Springer-Verlag , c1995
65 932 Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyvaskyla, Finland, June 12-16, 1995 : proceedings / Juhani Iivari, Kalle Lyytinen, Matti Rossi (eds.) : gw. - Berlin ; Tokyo : Springer-Verlag , c1995
66 952 ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings / Walter Olthoff (ed.) Berlin ; New York : Springer , c1995
67 989 Software engineering--ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, proceedings / Wilhelm Schafer, Pere Botella, (eds.) : pbk. - Berlin : Springer , c1995
68 1005 Software configuration management : ICSE SCM-4 and SCM-5 workshops : selected papers / Jacky Estublier (ed.) Berlin : Springer-Verlag , c1995
69 1006 Information systems and data management : 6th International Conference, CISMOD '95, Bombay, India, November 15-17, 1995 : proceedings / Subhash Bhalla (ed.) Berlin ; New York : Springer , c1995
70 1107 Object-based parallel and distributed computation : France-Japan workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers / Jean-Pierre Briot ... [et al.], (eds.) Berlin ; New York : Springer , c1996
71 1179 Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, proceedings / Joxan Jaffar, Roland H.C. Yap (eds.) Berlin ; Tokyo : Springer , c1996
72 1184 Applied parallel computing : industrial computation and optimization : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996 : proceedings / Jerzy Wasniewski ... [et al.] (eds.) Berlin ; New York : Springer , c1996
73 1194 Evolution of parallel cellular machines : the cellular programming approach / Moshe Sipper Berlin ; Tokyo : Springer , c1997
74 1271 Advances in databases : 15th British National Conference on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997 : proceedings / Carol Small ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1997
75 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
76 1288 Spatial data types for database systems : finite resolution geometry for geographic information systems / Markus Schneider Berlin ; Tokyo : Springer-Verlag , c1997
77 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.) Berlin ; Tokyo : Springer , c1997
78 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
79 1312 Rules in database systems : Third International Workshop, RIDS '97, Skovde, Sweden, June 26-28, 1997 : proceedings / Andreas Geppert, Mikael Berndtsson, (eds.) Berlin ; Tokyo : Springer , 1997
80 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 Wasniewski, (eds.) Berlin : Springer , c1997
81 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 / Jose Rolim, ed Berlin ; New York : Springer , c1998
82 1395 . Lecture notes in artificial intelligence RoboCup-97 : robot soccer World Cup I / Hiroaki Kitano, ed Berlin ; Tokyo : Springer , 1998
83 1417 Parallel computer routing and communication : second International Workshop, PCRCW '97, Atlanta, Georgia, USA, June 26-27, 1997 : proceedings / Sudhakar Yalamanchili, Jose Duato (eds.) Berlin : Springer , c1998
84 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
85 1534 . Lecture notes in artificial intelligence Multi-agent systems and agent-based simulation : First International Workshop, MABS '98, Paris, France, July 4-6, 1998 : proceedings / Jaime S. Sichman, Rosaria Conte, Nigel Gilbert (eds.) Berlin : Springer , c1998
86 1541 Applied parallel computing : large scale scientific and industrial problems : 4th International Workshop, PARA '98, Umea, Sweden, June 14-17, 1998 : proceedings / Bo Kagstrom ... [et al.] Berlin : Springer , c1998
87 1586 Parallel and distributed processing : 11th IPPS/SPDP '99 workshops held in conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing,San Juan, Puerto Rico, USA, April 12-16, 1999 : proceedings / Jose Rolim, et al. (eds.) Berlin ; New York : Springer Verlag , c1999
88 1604 . Lecture notes in artificial intelligence RoboCup-98 : Robot Soccer World Cup II / Minoru Asada, Hiroaki Kitano (eds.) Berlin ; Tokyo : Springer , c1999
89 1647 . Lecture notes in artificial intelligence Multi-agent system engineering : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 : Valencia, Spain, June 30-July 2, 1999 : proceedings / Francisco J. Garijo, Magnus Boman (eds.) Berlin ; New York : Springer , c1999
90 1656 Languages and Compilers for Parallel Computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 : proceedings / Siddhartha Chatterjee [et al.] (eds.) Berlin ; Tokyo : Springer , c1999
91 1658 Mobile agents : control algorithms / Joachim Baumann Berlin : Springer , c2000
92 1662 Parallel computing technologies : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 : proceedings / Victor Malyshkin (ed.) Berlin ; Tokyo : Springer , c1999
93 1685 Euro-Par '99 Parallel Processing : 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999 : proceedings / Patrick Amestoy [et al.] (eds.) Berlin ; Tokyo : Springer , c1999
94 1797 Network-based parallel computing : communication, architecture, and applications : 4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000 : proceedings / Babak Falsafi, Mario Lauria (eds.) Berlin : Springer , c2000
95 1823 High performance computing and networking : 8th International Conference, HPCN Europe 2000, Amsterdam, the Netherlands, May 8-10, 2000 : proceedings / Marian Bubak ... [et al.] (eds.) Berlin : Springer , c2000
96 1863 Languages and compilers for parallel computing : 12th International Workshop, LCPC'99, La Jolla, CA, USA, August 4-6, 1999 : proceedings / Larry Carter, Jeanne Ferrante (eds.) Berlin : Springer , c2000
97 1900 Euro-Par 2000 parallel processing : 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000 : proceedings / Arndt Bode ... [et al.] (eds.) Berlin : Springer , c2000
98 1908 Recent advances in parallel virtual machine and message passing interface : 7th European PVM/MPI Users' Group Meeting, Balatonfured, Hungary, September 10-13, 2000 : proceedings /Jack Dongarra, Peter Kacsuk, Norbert Podhorszki (eds.) Berlin : Springer , c2000
99 1938 Next generation networks : networks and services for the information society : 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 : proceedings / Sathya Rao, Kaare Ingar Sletta (eds.) Berlin ; New York : Springer , c2000
100 1943 Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 : proceedings / Floor Koornneef, Meine van der Meulen (eds.) Berlin : Springer , c2000
101 1947 Applied parallel computing : new paradigms for HPC in industry and academia : 5th International Workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings / Tor Sorevik ... [et al.] (eds.) Berlin ; New York : Springer , c2001
102 1981 Vector and parallel processing - VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks / Jose M.L.M. Palma, Jack Dongarra, Vicente Hernandez (eds.) Berlin : Springer , c2001
103 1994 . Lecture notes in artificial intelligence Iterative software engineering for multiagent systems : the MASSIVE method / Jürgen Lind Berlin : Springer , c2001
104 2017 Languages and Compilers for Parallel Computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / Samuel P. Midkiff ... [et al.] (eds.) Berlin : Springer , c2001
105 2092 Quality of Service-IWQoS 2001 : 9th International Workshop, Karlsruhe, Germany, June 6-8, 2001 : proceedings / Lars Wolf, David Hutchison, Ralf Steinmetz (eds.) Berlin : Springer , c2001
106 2093-2094 Networking - ICN 2001 : first International Conference on Networking, Colmar, France, July 9-13, 2001 : proceedings / Pascal Lorenz (ed.) Part 2,Part 1. - Berlin : Springer , c2001
107 2095 Computer vision systems : second International Workshop, ICVS 2001, Vancouver, Canada, July 7-8, 2001 : proceedings / Bernt Schiele, Gerhard Sagerer (eds.) Berlin : Springer , c2001
108 2110 High-performance computing and networking : 9th International Conference, HPCN Europe 2001, Amsterdam, the Netherlands, June 25-27, 2001 : proceedings / Bob Hertzberger, Alfons Hoekstra, Roy Williams (eds.) Berlin ; Tokyo : Springer , c2001
109 2127 Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings / Victor Malyshkin (ed.) Berlin ; Tokyo : Springer , c2001
110 2150 Euro-Par 2001 parallel processing : 7th International Euro-Par Conference, Manchester, UK, August 28-31, 2001 : proceedings / Rizos Sakellariou ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2001
111 2170 Evolutionary trends of the internet : 2001 Tyrrhenian International Workshop on Digital Communications, IWDC 2001, Taormina, Italy, September 17-20, 2001 : proceedings / Sergio Palazzo (ed.) Berlin : Springer , c2001
112 2216 Management of multimedia on the internet : 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA, October 29-November 1, 2001 : proceedings / Ehab S. Al-Shaer, Giovanni Pacifici (eds.) Berlin ; Tokyo : Springer , c2001
113 2296 . Lecture notes in artificial intelligence From Theory to Practice in Multi-Agent Systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Cracow, Poland, September 26-29, 2001 : revised papers / Barbara Dunin-Kȩplicz, Edward Nawarecki (eds.) Berlin : Springer , c2002
114 2333 . Lecture notes in artificial intelligence Intelligent agents VIII : agent theories, architectures, and languages : 8th International Workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers / John-Jules Ch. Meyer, Milind Tambe (eds.) Berlin : Springer , c2002
115 2334 Protocols for High Speed Networks : 7th IFIP/IEEE International Workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings / Georg Carle, Martina Zitterbart (eds.) Berlin ; Tokyo : Springer , c2002
116 2400 Euro-Par 2002 parallel processing : 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002 : proceedings / Burkhard Monien, Rainer Feldmann (eds.) Berlin ; Tokyo : Springer , c2002
117 2429 Peer-to-peer systems : First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002 : revised papers / Peter Druschel, Frans Kaashoek, Antony Rowstron (eds.) Berlin ; Tokyo : Springer , c2002
118 2446 . Lecture notes in artificial intelligence Cooperative information agents VI : 6th International Workshop, CIA 2002, Madrid, Spain, September 18-20, 2002 : proceedings / Matthias Klusch, Sascha Ossowski, Onn Shehory (eds.) Berlin : Springer , c2002
119 2449 Pattern recognition : 24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002 : proceedings / Luc van Gool (ed.) Berlin ; Tokyo : Springer , c2002
120 2493 Cellular automata : 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002 : proceedings / Stefania Bandini, Bastien Chopard and Marco Tomassini (eds.) Berlin ; Tokyo : Springer , c2002
121 2511 From QoS provisioning to QoS charging : Third COST 263 International Workshop on Quality of Future Internet Services, QofIS 2002 and Second International Workshop on Internet Charging and QoS Technologies, ICQT 2002, Zurich, Switzerland, October 16-18, 2002 : proceedings / Burkhard Stiller ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2002
122 2603 Software engineering for large-scale multi-agent systems : research issues and practical applications / Alessandro Garcia ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
123 2672 Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003 : proceedings / Markus Endler, Douglas Schmidt (eds.) Berlin ; Tokyo : Springer , c2003
124 2691. Lecture notes in artificial intelligence Multi-agent systems and applications III : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003 : proceedings / Vladimir Marik, Jorg Muller, Michal Pechoucek (eds.) Berlin ; Tokyo : Springer , c2003
125 2707 Quality of Service - IWQoS 2003 : 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003 : proceedings / Kevin Jeffay, Ion Stoica, Klaus Wehrle (eds.) Berlin ; Tokyo : Springer , c2003
126 2714 Artificial neural networks and neural information processing - ICANN/ICONIP 2003 : joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003 : proceedings / Okyay Kaynak ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
127 2723-2724 Genetic and Evolutionary Computation-GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings / edited by Erick Cantu-Paz ... [et al.] (eds.) part 1. - Berlin ; Tokyo : Springer , c2003
128 2745 Parallel and distributed processing and applications : International Symposium, ISPA 2003, Aizu-Wakamatsu, Japan, July 2-4, 2003 : proceedings / Minyi Guo, Laurence Tianruo Yang (eds.) Berlin ; Tokyo : Springer , c2003
129 2763 Parallel computing technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003 : proceedings / Victor Malyshkin (ed.) Berlin ; Tokyo : Springer , c2003
130 2783 Advances in Web-based learning - ICWL 2003 : second International Conference, Melbourne, Australia, August 18-20, 2003 : proceedings / Wanlei Zhou ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
131 2790 Euro-Par 2003 parallel processing : 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003 : proceedings / Harald Kosch, László Böszörményi, Hermann Hellwagner (eds.) Berlin ; Tokyo : Springer , c2003
132 2801 . Lecture notes in artificial intelligence Advances in artificial life : 7th European Conference, ECAL 2003 Dortmund, Germany, September 14-17, 2003 : proceedings / Wolfgang Banzhaf ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2003
133 2823 Advances in computer systems architecture : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003 : proceedings / Amos Omondi, Stanislav Sedukhin (eds.) Berlin ; Tokyo : Springer , c2003
134 2872 . Lecture notes in artificial intelligence Agents and peer-to-peer computing : second international workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers / Gianluca Moro, Claudio Sartori, Munindar P.Singh (eds.) Berlin : Springer , c2004
135 2928 Wireless on-demand network systems : first IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004 : proceedings / Roberto Battiti, Marco Conti, Renato Lo Cigno (eds.) Berlin ; Tokyo : Springer , c2004
136 2957 Wired/wireless Internet communications : second International Conference, WWIC 2004 : Frankfurt(Oder), Germany, February 4-6, 2004 : proceedings / Peter Langendoerfer ... [et al.], (eds.) Berlin : Springer , c2004
137 3003 Genetic Programming : 7th European conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004 : proceedings / Maarten Keijzer ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2004
138 3149 Euro-Par 2004 parallel processing : 10th International Euro-Par Conference, Pisa, Italy, August 31- September 3, 2004 : proceedings / Marco Danelutto, Domenico Laforenza, Marco Vanneschi (eds.) Berlin ; Tokyo : Springer , c2004
139 3189 Advances in computer systems architecture : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004 : proceedings / Pen-Chung Yew, Jingling Xue (eds.) Berlin : Springer , c2004
140 3222 Network and parallel computing : IFIP Internatioal Conference, NPC 2004, Wuhan, China, October 18-20, 2004 : proceedings / Hai Jin ... [et al.] (eds.) Berlin : Springer , c2004
141 3279 Peer-to-peer systems III : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004 : revised selected papers / Geoffrey M. Voelker, Scott Shenker (eds.) Berlin : Springer , c2004
142 3302 Programming languages and systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / Wei-Ngan Chin (ed.) Berlin : Springer , c2004
143 3316 Neural information processing : 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004 : proceedings / Nikhil R. Pal ... [et al.] (eds.) Berlin : Springer , c2004
144 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
145 3420-3421 Networking - ICN 2005 : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005 : proceedings / Pascal Lorenz, Petre Dini (eds.) pt. 1,pt. 2. - Berlin : Springer , c2005
146 3449 Applications of evolutionary computing : EvoWorkshops 2005 : EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, March 30 - April 1, 2005 : proceedings / Franz Rothlauf et al. (eds.) Berlin ; Tokyo : Springer , c2005
147 3469 Foundations of genetic algorithms : 8th International Workshop, FOGA 2005 Aizu-Wakamatsu City, Japan, January 5-9, 2005 : revised selected papers / Alden H. Wright ... [et al.] (eds.) Berlin ; Tokyo : Springer , c2005
148 3475 Rapid integration of software engineering techniques : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers / Nicolas Guelfi (ed.) Berlin : Springer , c2005
149 3485 Peer-to-peer systems and applications / Ralf Steinmetz, Klaus Wehrle (eds.) Berlin : Springer , c2005
150 3489 Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 : proceedings / George T. Heineman ... [et al] (eds.) Berlin ; Tokyo : Springer , c2005
151 3606 Parallel computing technologies : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005 : proceedings / Victor Malyshkin (ed.) Berlin : Springer , c2005
152 3619 Networking and mobile computing : Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : proceedings / Xicheng Lu, Wei Zhao (eds.) Berlin : Springer , c2005
153 3626 . Lecture notes in artificial intelligence Formal concept analysis : foundations and applications / Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.) Berlin : Springer , c2005
154 3630 . Lecture notes in artificial intelligence Advances in artificial life : 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005 : proceedings / Mathieu S. Capcarrere ... [et al.] (eds.) Berlin : Springer , c2005
155 3640 Peer-to-peer systems IV : 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005 : revised selected papers / Miguel Castro, Robbert van Renesse (eds.) Berlin : Springer , c2005
156 3719 Distributed and parallel computing : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP Melbourne, Australia, October 2-3, 2005 : proceedings / Michael Hobbs, Andrzej M. Goscinski, Wanlei Zhou (eds.) Berlin : Springer , c2005
157 3732 Applied parallel computing : state of the art in scientific computing : 7th international workshop PARA 2004, Lyngby, Denmark, June 20-23, 2004 : revised selected papers / Jack Dongarra, Kaj Madsen, Jerzy Wasniewski (eds.) Berlin : Springer , c2006
158 3738 Ad-hoc, mobile, and wireless networks : 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005 : proceedings / Violet R. Syrotiuk, Edgar Chávez (eds.) Berlin : Springer , c2005
159 3779 Network and parallel computing : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005 : proceedings / Hai Jin, Daniel Reed, Wenbin Jiang (eds.) Berlin : Springer , c2005
160 3790 Middleware 2005 : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005 : proceedings / Gustavo Alonso (ed.) Berlin : Springer , c2005
161 3794 Mobile Ad-hoc and sensor networks : First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005 : proceedings / Xiaohua Jia, Jie Wu, Yanxiang He (eds.) Berlin : Springer , c2005
162 3808 . Lecture notes in artificial intelligence Progress in artificial intelligence : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005 : proceedings / Carlos Bento, Amílcar Cardoso, Gaël Dias (eds.) Berlin : Springer , c2005
163 4076 Algorithmic number theory : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006 : proceedings / Florian Hess, Sebastian Pauli, Michael Pohst (eds.) Berlin : Springer , c2006
164 4095 . Lecture notes in artificial intelligence From animals to animats 9 : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006 : proceedings / Stefano Nolfi ... [et al.] (eds.) Berlin : Springer , c2006
165 4128 Euro-Par 2006 Parallel Processing : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006 : proceedings / Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner (eds.) Berlin : Springer , c2006
166 4232-4234 Neural information processing : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, proceedings / Irwin King ... [et al.] (eds.) pt. 1,pt. 2,pt. 3. - Berlin : Springer , c2006
167 4422 Fundamental Approaches to Software Engineering : 10th International Conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings / Matthew B. Dwyer, Antónia Lopes (eds.) Berlin : Springer , c2007
168 4648 . Lecture notes in artificial intelligence Advances in artificial life : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007 : proceedings / Fernando Almeida e Costa ... [et al.] (eds.) Berlin : Springer , c2007
169 5931 Cloud computing : first International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings / Martin Gilje Jaatun, Gansen Zhao, Chunming Rong (eds.) Berlin : Springer , c2009

書誌詳細を非表示

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

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