close
1.

電子ブック
ＥＢ
1. Transactions on Computational Systems Biology I : Subseries of Lecture Notes in Computer Science
edited by Corrado Priami
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Bioinformatics ; 3380
オンライン: http://dx.doi.org/10.1007/b107357
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Data Mining and Knowledge Management : Chinese Academy of Sciences Symposium CASDMKD 2004, Beijing, China, July 12-14, 2004, Revised Paper
edited by Zhengxin Chen, Yong Shi, Weixuan Xu
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3327
オンライン: http://dx.doi.org/10.1007/b104156
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Object-Oriented Technology. ECOOP 2004 Workshop Reader : ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
edited by Jacques Malenfant, Bjarte M. AEtvold
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3344
オンライン: http://dx.doi.org/10.1007/b104146
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Information Security Applications (vol. # 3325) : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers
edited by Chae Hoon Lim, Moti Yung
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3325
オンライン: http://dx.doi.org/10.1007/b103174
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. 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…
6.

電子ブック
ＥＢ
6. Journal on Data Semantics II
edited by Elisa BertinoSushil Jajodia, Roger B. King, Dennis McLeod et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3360
オンライン: http://dx.doi.org/10.1007/b104761
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Peer-to-Peer Systems III : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers
edited by Scott Shenker, Geoffrey M. Voelker
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3279
オンライン: http://dx.doi.org/10.1007/b104020
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Inconsistency Tolerance
edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3300
オンライン: http://dx.doi.org/10.1007/b104925
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. 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…
10.

電子ブック
ＥＢ
10. 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…
11.

電子ブック
ＥＢ
11. Swarm Robotics : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers
edited by Erol Sahin, William M. Spears
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3342
オンライン: http://dx.doi.org/10.1007/b105069
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
edited by Radhia Cousot
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3385
オンライン: http://dx.doi.org/10.1007/b105073
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Security in Communication Networks : 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers
edited by Carlo Blundo, Stelvio Cimato
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3352
オンライン: http://dx.doi.org/10.1007/b105083
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. SOFSEM 2005: Theory and Practice of Computer Science : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings
edited by Maria Bielikova, C
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3381
オンライン: http://dx.doi.org/10.1007/b105088
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Implementation and Application of Automata (vol. # 3317) : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3317
オンライン: http://dx.doi.org/10.1007/b105090
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Semantic Web Services and Web Process Composition : First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers
edited by Jorge Cardoso, Amit Sheth
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3387
オンライン: http://dx.doi.org/10.1007/b105145
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. 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…
18.

電子ブック
ＥＢ
18. Security in Ad-hoc and Sensor Networks : First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers
edited by Claude Castelluccia, Hannes Hartenstein, Christof Paar, Dirk Westhoff
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3313
オンライン: http://dx.doi.org/10.1007/b105219
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Topics in Cryptology -- CT-RSA 2005 : The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings
edited by Alfred John Menezes
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3376
オンライン: http://dx.doi.org/10.1007/b105222
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Combinatorial Geometry and Graph Theory : Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers
edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3330
オンライン: http://dx.doi.org/10.1007/b105263
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Service Availability (vol. # 3335) : First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers
edited by Jorg Kaiser, Miroslaw Malek, Manfred ReitenspieAE
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3335
オンライン: http://dx.doi.org/10.1007/b105309
所蔵情報: loading…
22.

電子ブック

ＥＢ
22. Attention and Performance in Computational Vision : Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers
edited by Glyn Humphreys, Lucas Paletta, Erich Rome, John K. Ts
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3368
オンライン: http://dx.doi.org/10.1007/b105311
所蔵情報: loading…
23.

電子ブック

ＥＢ
23. Public Key Cryptography - PKC 2005 : 8th International Workshop on Theory and Practice in Public Key Cryptography
edited by Serge Vaudenay
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3386
オンライン: http://dx.doi.org/10.1007/b105124
所蔵情報: loading…
24.

電子ブック

ＥＢ
24. Comparative Genomics (vol. # 3388) : RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers
edited by Jens Lagergren
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3388
オンライン: http://dx.doi.org/10.1007/b105486
所蔵情報: loading…
25.

電子ブック

ＥＢ
25. Regulatory Genomics : RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers
edited by Eleazar Eskin, Chris Workman
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3318
オンライン: http://dx.doi.org/10.1007/b105490
所蔵情報: loading…
26.

電子ブック

ＥＢ
26. Switching and Learning in Feedback Systems : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers
edited by Roderick Murray-Smith, Robert Shorten
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3355
オンライン: http://dx.doi.org/10.1007/b105497
所蔵情報: loading…
27.

電子ブック

ＥＢ
27. Computer Music Modeling and Retrieval (vol. # 3310) : Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers
edited by Uffe Kock Wiil
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3310
オンライン: http://dx.doi.org/10.1007/b105507
所蔵情報: loading…
28.

電子ブック

ＥＢ
28. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets : International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers
edited by Gunter Grieser, Yuzuru Tanaka
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3359
オンライン: http://dx.doi.org/10.1007/b104697
所蔵情報: loading…
29.

電子ブック

ＥＢ
29. Ambient Intelligence for Scientific Discovery : Foundations, Theories, and Systems
edited by Yang Cai
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3345
オンライン: http://dx.doi.org/10.1007/b105582
所蔵情報: loading…
30.

電子ブック

ＥＢ
30. Information Networking : Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings
edited by Cheeha Kim
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3391
オンライン: http://dx.doi.org/10.1007/b105584
所蔵情報: loading…
31.

電子ブック

ＥＢ
31. Natural Language Processing - IJCNLP 2004 : First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers
edited by Oi Yee Kwong, Jong-Hyeok Lee, Keh-Yih Su, Jun'ichi Tsujii
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3248
オンライン: http://dx.doi.org/10.1007/b105612
所蔵情報: loading…
32.

電子ブック

ＥＢ
32. Artificial Intelligence and Simulation : 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
edited by Tag G. K
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3397
オンライン: http://dx.doi.org/10.1007/b105609
所蔵情報: loading…
33.

電子ブック

ＥＢ
33. Systems Modeling and Simulation: Theory and Applications : Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
edited by Doo-Kwon Baik
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3398
オンライン: http://dx.doi.org/10.1007/b105611
所蔵情報: loading…
34.

電子ブック

ＥＢ
34. Machine Learning for Multimodal Interaction (vol. # 3361) : First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers
edited by Samy Bengio, Herve Bourlard
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3361
オンライン: http://dx.doi.org/10.1007/b105752
所蔵情報: loading…
35.

電子ブック

ＥＢ
35. Computational Linguistics and Intelligent Text Processing (vol. # 3406) : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
edited by Alexander Gelbukh
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3406
オンライン: http://dx.doi.org/10.1007/b105772
所蔵情報: loading…
36.

電子ブック

ＥＢ
36. Formal Concept Analysis (vol. # 3403) : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
edited by Bernhard Ganter, Robert Godin
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3403
オンライン: http://dx.doi.org/10.1007/b105806
所蔵情報: loading…
37.

電子ブック

ＥＢ
37. Argumentation in Multi-Agent Systems (vol. # 3366) : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
edited by Pavlos Moraitis, Iyad Rahwan, Chris Reed
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3366
オンライン: http://dx.doi.org/10.1007/b105815
所蔵情報: loading…
38.

電子ブック

ＥＢ
38. Graph Drawing (vol. # 3383) : 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers
edited by Janos Pach
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3383
オンライン: http://dx.doi.org/10.1007/b105810
所蔵情報: loading…
39.

電子ブック

ＥＢ
39. COTS-Based Software Systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings
edited by Xavier Franch, Dan Port
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3412
オンライン: http://dx.doi.org/10.1007/b105900
所蔵情報: loading…
40.

電子ブック

ＥＢ
40. From Integrated Publication and Information Systems to Information and Knowledge Environments : Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday
edited by Matthias Hemmje, Claudia Niederee, Thoma
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3379
オンライン: http://dx.doi.org/10.1007/b105978
所蔵情報: loading…
41.

電子ブック

ＥＢ
41. Quality of Service in Multiservice IP Networks : Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005
edited by Giuseppe Bianchi, Marco Ajmone Marsan, Marco Listanti, Michaela Meo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3375
オンライン: http://dx.doi.org/10.1007/b105169
所蔵情報: loading…
42.

電子ブック

ＥＢ
42. Programming Multi-Agent Systems (vol. # 3346) : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
edited by Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3346
オンライン: http://dx.doi.org/10.1007/b105887
所蔵情報: loading…
43.

電子ブック

ＥＢ
43. Shared Memory Parallel Programming with Open MP : 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004
edited by Barbara M. Chapman
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3349
オンライン: http://dx.doi.org/10.1007/b105895
所蔵情報: loading…
44.

電子ブック

ＥＢ
44. System Analysis and Modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
edited by Daniel Amyot, Alan W. Williams
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3319
オンライン: http://dx.doi.org/10.1007/b105884
所蔵情報: loading…
45.

電子ブック

ＥＢ
45. Theory of Cryptography (vol. # 3378) : Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings
edited by Joe Kilian
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3378
オンライン: http://dx.doi.org/10.1007/b106171
所蔵情報: loading…
46.

電子ブック

ＥＢ
46. Approximation and Online Algorithms (vol. # 3351) : Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
edited by Giuseppe Persiano, Roberto Solis-Oba
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3351
オンライン: http://dx.doi.org/10.1007/b106130
所蔵情報: loading…
47.

電子ブック

ＥＢ
47. Environments for Multi-Agent Systems : First International Workshop, E4MAS, 2004, New York, NY, July 19, 2004, Revised Selected Papers
edited by Fabien Michel, H. Van Dyke Parunak, Danny Weyns
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3374
オンライン: http://dx.doi.org/10.1007/b106134
所蔵情報: loading…
48.

電子ブック

ＥＢ
48. Semantic Web and Databases : Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
edited by Christoph Bussler, Irini Fundulaki, Val Tannen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3372
オンライン: http://dx.doi.org/10.1007/b106149
所蔵情報: loading…
49.

電子ブック

ＥＢ
49. Digital Watermarking (vol. # 3304) : Third International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers
edited by Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3304
オンライン: http://dx.doi.org/10.1007/b106346
所蔵情報: loading…
50.

電子ブック

ＥＢ
50. 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…
51.

電子ブック

ＥＢ
51. Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
edited by Hans-Jorg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3393
オンライン: http://dx.doi.org/10.1007/b106390
所蔵情報: loading…
52.

電子ブック

ＥＢ
52. Numerical Analysis and Its Applications : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers
edited by Zhilin Li, Lubin Vulkov, Jerzy Wasniewski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3401
オンライン: http://dx.doi.org/10.1007/b106395
所蔵情報: loading…
53.

電子ブック

ＥＢ
53. Network Analysis : Methodological Foundations
edited by Ulrik Brandes, Thomas Erlebach
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3418
オンライン: http://dx.doi.org/10.1007/b106453
所蔵情報: loading…
54.

電子ブック

ＥＢ
54. Evolutionary Multi-Criterion Optimization : Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings
edited by Carlos A. Coello Coello, Arturo Hernandez Aguirre, Eckart Zitzler
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3410
オンライン: http://dx.doi.org/10.1007/b106458
所蔵情報: loading…
55.

電子ブック

ＥＢ
55. STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings
edited by Volker Diekert, Bruno Durand
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3404
オンライン: http://dx.doi.org/10.1007/b106485
所蔵情報: loading…
56.

電子ブック

ＥＢ
56. Agent Communication : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3396
オンライン: http://dx.doi.org/10.1007/b106468
所蔵情報: loading…
57.

電子ブック

ＥＢ
57. E-Government: Towards Electronic Democracy : International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings
edited by Michael Bohlen, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3416
オンライン: http://dx.doi.org/10.1007/b106542
所蔵情報: loading…
58.

電子ブック

ＥＢ
58. RoboCup 2004: Robot Soccer World Cup VIII
edited by Daniele Nardi, Martin Riedmiller, Claude Sammut, Jose Santos-Victor
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3276
オンライン: http://dx.doi.org/10.1007/b106671
所蔵情報: loading…
59.

電子ブック

ＥＢ
59. Spatial Cognition IV Reasoning, Action, Interaction : International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
edited by Thomas BarkowskyChristian Freksa, Markus Knauff
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3343
オンライン: http://dx.doi.org/10.1007/b106616
所蔵情報: loading…
60.

電子ブック

ＥＢ
60. Technologies for E-Services (vol. # 3324) : 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
edited by Umeshwar Dayal, Meichun Hsu, Ming-Chien Shan
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3324
オンライン: http://dx.doi.org/10.1007/b106626
所蔵情報: loading…
61.

電子ブック

ＥＢ
61. Mechanizing Mathematical Reasoning : Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
edited by Dieter Hutter, Werner Stephan
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 2605
オンライン: http://dx.doi.org/10.1007/b106663
所蔵情報: loading…
62.

電子ブック

ＥＢ
62. 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…
63.

電子ブック

ＥＢ
63. Law and the Semantic Web : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications
edited by Bran Selic, Richard Benjamins, Pompeu Casanovas, Aldo Gangemi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3369
オンライン: http://dx.doi.org/10.1007/b106624
所蔵情報: loading…
64.

電子ブック

ＥＢ
64. Information Retrieval Technology (vol. # 3411) : Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers
edited by Sung Hyon Myaeng, Kam-Fai Wong, Hong-Jiang Zhang, M
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3411
オンライン: http://dx.doi.org/10.1007/b106653
所蔵情報: loading…
65.

電子ブック

ＥＢ
65. 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…
66.

電子ブック

ＥＢ
66. Membrane Computing (vol. # 3365) : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
edited by Giancarlo MauriGheorghe Paun, Mario J. Perez-Jimenez, Grzegorz Rozenb
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3365
オンライン: http://dx.doi.org/10.1007/b106721
所蔵情報: loading…
67.

電子ブック

ＥＢ
67. UML Modeling Languages and Applications : <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
edited by Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Tov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3297
オンライン: http://dx.doi.org/10.1007/b106725
所蔵情報: loading…
68.

電子ブック

ＥＢ
68. Knowledge Discovery in Inductive Databases (vol. # 3377) : Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers
edited by Bart Goethals, Arno Siebes
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3377
オンライン: http://dx.doi.org/10.1007/b106731
所蔵情報: loading…
69.

電子ブック

ＥＢ
69. Embedded Systems Design : The ARTIST Roadmap for Research and Development
edited by Bruno Bouyssounouse, Joseph Sifakis
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3436
オンライン: http://dx.doi.org/10.1007/b106761
所蔵情報: loading…
70.

電子ブック

ＥＢ
70. Hybrid Systems: Computation and Control (vol. # 3414) : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
edited by Manfred Morari, Francesca Rossi, Lothar Thiele
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3414
オンライン: http://dx.doi.org/10.1007/b106766
所蔵情報: loading…
71.

電子ブック

ＥＢ
71. Formal Approaches to Software Testing (vol. # 3395) : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
edited by Jens Grabowski, Brian Nielsen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3395
オンライン: http://dx.doi.org/10.1007/b106767
所蔵情報: loading…
72.

電子ブック

ＥＢ
72. Recent Advances in Constraints (vol. # 3419) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
Fages, Francois ; Petcu, Adrian ; Faltings, Boi ; Rossi, Francesca ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3419
オンライン: http://dx.doi.org/10.1007/b106890
所蔵情報: loading…
73.

電子ブック

ＥＢ
73. Web Technologies Research and Development - APWeb 2005 : 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings
edited by Minglu LiKatsumi Tanaka, Shan Wang, Jeffrey Xu Yu et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3399
オンライン: http://dx.doi.org/10.1007/b106936
所蔵情報: loading…
74.

電子ブック

ＥＢ
74. Grid Computing in Life Science : First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
edited by Akihiko Konagaya
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3370
オンライン: http://dx.doi.org/10.1007/b106923
所蔵情報: loading…
75.

電子ブック

ＥＢ
75. Databases, Information Systems, and Peer-to-Peer Computing : Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
edited by Wee Siong Ng, Beng Chin Ooi, Aris Ouksel, C
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3367
オンライン: http://dx.doi.org/10.1007/b106971
所蔵情報: loading…
76.

電子ブック

ＥＢ
76. 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…
77.

電子ブック

ＥＢ
77. Adaptive Agents and Multi-Agent Systems II : Adaptation and Multi-Agent Learning
edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3394
オンライン: http://dx.doi.org/10.1007/b106974
所蔵情報: loading…
78.

電子ブック

ＥＢ
78. Machines, Computations, and Universality : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
edited by Maurice Margenstern
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3354
オンライン: http://dx.doi.org/10.1007/b106980
所蔵情報: loading…
79.

電子ブック

ＥＢ
79. Multi-Agent and Multi-Agent-Based Simulation : Joint Workshop MABS 2004
edited by Paul Davidsson, Brian Logan, Keiki Takadama
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3415
オンライン: http://dx.doi.org/10.1007/b106991
所蔵情報: loading…
80.

電子ブック

ＥＢ
80. Graph-Based Representations in Pattern Recognition : 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings
edited by Luc Brun, Mario Vento
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3434
オンライン: http://dx.doi.org/10.1007/b107037
所蔵情報: loading…
81.

電子ブック

ＥＢ
81. Systems Aspects in Organic and Pervasive Computing - ARCS 2005 : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings
edited by Michael Beigl, Paul Lukowi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3432
オンライン: http://dx.doi.org/10.1007/b106632
所蔵情報: loading…
82.

電子ブック

ＥＢ
82. Advances in Information Retrieval (vol. # 3408) : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005, Proceedings
edited by Juan M. Fernandez-Luna, David E. Losada
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3408
オンライン: http://dx.doi.org/10.1007/b107096
所蔵情報: loading…
83.

電子ブック

ＥＢ
83. Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
edited by Keijiro Araki, Zhiming Liu
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3407
オンライン: http://dx.doi.org/10.1007/b107116
所蔵情報: loading…
84.

電子ブック

ＥＢ
84. Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
edited by Jose Luiz Fiadeiro, Peter Mosses, Fernando Orejas
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3423
オンライン: http://dx.doi.org/10.1007/b107129
所蔵情報: loading…
85.

電子ブック

ＥＢ
85. Software Engineering and Middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
edited by Thomas Gschwind, Cecilia Mascolo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3437
オンライン: http://dx.doi.org/10.1007/b107130
所蔵情報: loading…
86.

電子ブック

ＥＢ
86. Wireless Systems and Mobility in Next Generation Internet : First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004, Revised Selected Papers
edited by Gabriele Kotsis
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3427
オンライン: http://dx.doi.org/10.1007/b107131
所蔵情報: loading…
87.

電子ブック

ＥＢ
87. 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…
88.

電子ブック

ＥＢ
88. Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives : Third International Digital Cities Workshop, Amsterdam, The Netherlands, September 18-19, 2003, Revised Selected Papers
edite
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3081
オンライン: http://dx.doi.org/10.1007/b107136
所蔵情報: loading…
89.

電子ブック

ＥＢ
89. Conditionals, Information, and Inference : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
edited by Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm Rodder
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3301
オンライン: http://dx.doi.org/10.1007/b107184
所蔵情報: loading…
90.

電子ブック

ＥＢ
90. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed
Halbwachs, Nicolas ; Zuck, Lenore ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3440
オンライン: http://dx.doi.org/10.1007/b107194
所蔵情報: loading…
91.

電子ブック

ＥＢ
91. Database Systems for Advanced Applications (vol. # 3453) : 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings
edited by Xiaofeng Meng, Beng Chin Ooi, Lizhu Zhou
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3453
オンライン: http://dx.doi.org/10.1007/b107189
所蔵情報: loading…
92.

電子ブック

ＥＢ
92. From Computer Literacy to Informatics Fundamentals : International Conference on Informatics in Secondary Schools -- Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings
edited
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3422
オンライン: http://dx.doi.org/10.1007/b107112
所蔵情報: loading…
93.

電子ブック

ＥＢ
93. Evolutionary Computation in Combinatorial Optimization (vol. # 3448) : 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings
edited by Jens Gottlieb, Gunther R. Raidl
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3448
オンライン: http://dx.doi.org/10.1007/b107115
所蔵情報: loading…
94.

電子ブック

ＥＢ
94. Networking -- ICN 2005 (vol. # 3420) : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I
edited by Petre Dini, Pascal Lorenz
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3420
オンライン: http://dx.doi.org/10.1007/b107117
所蔵情報: loading…
95.

電子ブック

ＥＢ
95. Intelligent Agents and Multi-Agent Systems : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
edited by Michael Wayne Barley, Nik Kasab
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3371
オンライン: http://dx.doi.org/10.1007/b107183
所蔵情報: loading…
96.

電子ブック

ＥＢ
96. Databases in Networked Information Systems : 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005, Proceedings
edited by Subhash Bhalla
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3433
オンライン: http://dx.doi.org/10.1007/b106805
所蔵情報: loading…
97.

電子ブック

ＥＢ
97. Computational Methods in Systems Biology (vol. # 3082) : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
edited by Vincent Danos, Vincent Schachter
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3082
オンライン: http://dx.doi.org/10.1007/b107287
所蔵情報: loading…
98.

電子ブック

ＥＢ
98. Foundations of Software Science and Computational Structures (vol. # 3441) : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
edite
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3441
オンライン: http://dx.doi.org/10.1007/b106850
所蔵情報: loading…
99.

電子ブック

ＥＢ
99. 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…
100.

電子ブック

ＥＢ
100. Compiler Construction (vol. # 3443) : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
edited by Rastislav Bodik
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3443
オンライン: http://dx.doi.org/10.1007/b107108
所蔵情報: loading…