close
1.

電子ブック
ＥＢ
1. Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
edited by Corrado Priami, Paola Quaglia
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3267
オンライン: http://dx.doi.org/10.1007/b103251
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Agent-Oriented Software Engineering V : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
edited by Paolo Giorgini, Jorg, P. Muller, James Odell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3382
オンライン: http://dx.doi.org/10.1007/b105022
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
edited by Gilles BartheLilian
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3362
オンライン: http://dx.doi.org/10.1007/b105030
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Practical Aspects of Declarative Languages (vol. # 3350) : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
edited by Daniel Cabeza, Manuel Hermenegildo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3350
オンライン: http://dx.doi.org/10.1007/b105205
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Software Engineering for Multi-Agent Systems III : Research Issues and Practical Applications
edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3390
オンライン: http://dx.doi.org/10.1007/b106347
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Scientific Engineering of Distributed Java Applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
edited by Nicolas Guelfi, Gianna Reggio, A
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3409
オンライン: http://dx.doi.org/10.1007/b106620
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Multiparadigm Programming in Mozart : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
edited by Peter Van Roy
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3389
オンライン: http://dx.doi.org/10.1007/b106627
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
edited by Franz Baader, Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3452
オンライン: http://dx.doi.org/10.1007/b106931
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Job Scheduling Strategies for Parallel Processing (vol. # 3277) : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3277
オンライン: http://dx.doi.org/10.1007/b107134
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Applications of Evolutionary Computing (vol. # 3449) : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
edited by Jurgen BrankeStefano Cagnoni, David W. Corne, Rolf Drechsler et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3449
オンライン: http://dx.doi.org/10.1007/b106856
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Programming Languages and Systems (vol. # 3444) : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8
Sagiv, Mooly ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3444
オンライン: http://dx.doi.org/10.1007/b107380
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Genetic Programming (vol. # 3447) : 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings
edited by Pierre ColletMaarten Keijzer, Andrea Tettamanzi, Marco Tomassini et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3447
オンライン: http://dx.doi.org/10.1007/b107383
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP
Bartenstein, Oskar ; Geske, Ulrich ; Seipel, Dietmar ; Hanus, Michael ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3392
オンライン: http://dx.doi.org/10.1007/b135595
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
edited by Pawel Urzyczyn
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3461
オンライン: http://dx.doi.org/10.1007/b135690
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Coordination Models and Languages (vol. # 3454) : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
edited by Jean-Marie Jacquet, Gian Pietro Picco
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3454
オンライン: http://dx.doi.org/10.1007/b135676
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3525
オンライン: http://dx.doi.org/10.1007/b136154
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Component-Based Software Engineering (vol. # 3489) : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
edited by Ivica CrnkovicGeorge Heineman, Heinz W. Schmidt, Judith A. Stafford et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3489
オンライン: http://dx.doi.org/10.1007/b136248
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Implementation and Application of Functional Languages (vol. # 3474) : 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers
edited by Clemens Grelck, Frank Huch, Greg Mich
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3474
オンライン: http://dx.doi.org/10.1007/b136772
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
edited by Henning Christiansen, Peter Rossen Skadhauge, Jo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3438
オンライン: http://dx.doi.org/10.1007/b136253
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Martin Steffen, Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005
シリーズ名: Lecture Notes in Computer Science ; 3535
オンライン: http://dx.doi.org/10.1007/b136996
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Distributed Applications and Interoperable Systems (vol. # 3543) : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Lea Kutvonen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3543
オンライン: http://dx.doi.org/10.1007/b137217
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
edited by Hubert Baumeister, Mike Holcombe, Michele Marc
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3556
オンライン: http://dx.doi.org/10.1007/b137278
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Reliable Software Technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
edited by Tullio Vardanega, Andy Wellings
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3555
オンライン: http://dx.doi.org/10.1007/b137344
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Logic Based Program Synthesis and Transformation (vol. # 3573) : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
edited by Sandro Etalle
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3573
オンライン: http://dx.doi.org/10.1007/b137785
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Advances in Grid Computing - EGC 2005 : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
edited by M. BubakA.G. Hoekstra, T. Priol, A. Reinefeld et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3470
オンライン: http://dx.doi.org/10.1007/b137919
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Principles of Distributed Systems (vol. # 3544) : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
edited by Teruo Higashino
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3544
オンライン: http://dx.doi.org/10.1007/b138689
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Metainformatics : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
edited by Uffe Kock Wiil
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3511
オンライン: http://dx.doi.org/10.1007/b138822
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3582
オンライン: http://dx.doi.org/10.1007/b27882
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
edited by Andrew Black
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3586
オンライン: http://dx.doi.org/10.1007/11531142
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Languages and Compilers for High Performance Computing : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. M
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3602
オンライン: http://dx.doi.org/10.1007/11532378
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Inductive Logic Programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
edited by Stefan Kramer, Bernhard Pfahringer
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3625
オンライン: http://dx.doi.org/10.1007/11536314
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
edited by Martin Abadi, Luca de Alfaro
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3653
オンライン: http://dx.doi.org/10.1007/11539452
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3662
オンライン: http://dx.doi.org/10.1007/11546207
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
edited by Tarmo Uustalu, Varmo Vene
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3622
オンライン: http://dx.doi.org/10.1007/11546382
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Static Analysis (vol. # 3672) : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
edited by Chris Hankin, Igor Siveroni
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3672
オンライン: http://dx.doi.org/10.1007/11547662
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Multiagent System Technologies (vol. # 3550) : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings
edited by Torsten EymannMichael N. Huhns, Franziska Klugl, Matthias Klusch et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3550
オンライン: http://dx.doi.org/10.1007/11550648
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Software Composition (vol. # 3628) : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
edited by Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3628
オンライン: http://dx.doi.org/10.1007/11550679
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
edited by Bernhard Beckert
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3702
オンライン: http://dx.doi.org/10.1007/11554554
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Computer Algebra in Scientific Computing (vol. # 3718) : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3718
オンライン: http://dx.doi.org/10.1007/11555964
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666) : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
edited by Beniamino Di Martino, Ja
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3666
オンライン: http://dx.doi.org/10.1007/11557265
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
edited by Bernhard Gramlich
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3717
オンライン: http://dx.doi.org/10.1007/11559306
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Generative Programming and Component Engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
edited by Robert Gluck, Michael Lowry
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3676
オンライン: http://dx.doi.org/10.1007/11561347
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Distributed Computing (vol. # 3724) : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
edited by Pierre Fraigniaud
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3724
オンライン: http://dx.doi.org/10.1007/11561927
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Logic Programming (vol. # 3668) : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
edited by Maurizio Gabbrielli, Gopal Gupta
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3668
オンライン: http://dx.doi.org/10.1007/11562931
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Principles and Practice of Constraint Programming - CP 2005 : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
edited by Peter van Beek
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3709
オンライン: http://dx.doi.org/10.1007/11564751
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Ambient Networks : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings
edited by Jurgen Schonwalder, Joan Serrat
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3775
オンライン: http://dx.doi.org/10.1007/11568285
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Programming Languages and Systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
edited by Kwangkeun Yi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3780
オンライン: http://dx.doi.org/10.1007/11575467
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
edited by Rocco De Nicola, Davide Sangiorgi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3705
オンライン: http://dx.doi.org/10.1007/11580850
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Middleware 2005 : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
edited by Gustavo Alonso
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3790
オンライン: http://dx.doi.org/10.1007/11587552
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3771
オンライン: http://dx.doi.org/10.1007/11589976
所蔵情報: loading…