close
1.

電子ブック
ＥＢ
1. Cooperative Information Agents XI : 11th International Workshop CIA 2007 Delft The Netherlands September 19-21 2007. Proceedings
edited by Matthias Klusch Koen V. Hindriks Mike P. Papazoglou Leon Sterling
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4676
オンライン: http://dx.doi.org/10.1007/978-3-540-75119-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Software Architecture : First European Conference ECSA 2007 Aranjuez Spain September 24-26 2007 Proceedings
edited by Flavio Oquendo
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4758
オンライン: http://dx.doi.org/10.1007/978-3-540-75132-8
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computational Methods in Systems Biology : International Conference CMSB 2007 Edinburgh Scotland September 20-21 2007. Proceedings
edited by Muffy Calder Stephen Gilmore
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4695
オンライン: http://dx.doi.org/10.1007/978-3-540-75140-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Distributed Computing : 21st International Symposium DISC 2007 Lemesos Cyprus September 24-26 2007. Proceedings
edited by Andrzej Pelc
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4731
オンライン: http://dx.doi.org/10.1007/978-3-540-75142-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Logic Language and Computation : 6th International Tbilisi Symposium on Logic Language and ComputationTbiLLC 2005 Batumi Georgia September 12-16 2005. Revised Selected Papers
edited by Balder D. Cate Henk W. Zeevat
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4363
オンライン: http://dx.doi.org/10.1007/978-3-540-75144-1
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Location- and Context-Awareness : Third International Symposium LoCA 2007 Oberpfaffenhofen Germany September 20-21 2007. Proceedings
edited by Jeffrey Hightower Bernt Schiele Thomas Strang
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4718
オンライン: http://dx.doi.org/10.1007/978-3-540-75160-1
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Transactions on Aspect-Oriented Software Development III
edited by Awais Rashid Mehmet Aksit
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4620
オンライン: http://dx.doi.org/10.1007/978-3-540-75162-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Business Process Management : 5th International Conference BPM 2007 Brisbane Australia September 24-28 2007. Proceedings
edited by Gustavo Alonso Peter Dadam Michael Rosemann
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4714
オンライン: http://dx.doi.org/10.1007/978-3-540-75183-0
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Advances in Databases and Information Systems : 11th East European Conference ADBIS 2007 Varna Bulgaria September 29-October 3 2007. Proceedings
edited by Yannis Ioannidis Boris Novikov Boris Rachev
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4690
オンライン: http://dx.doi.org/10.1007/978-3-540-75185-4
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Computer Algebra in Scientific Computing : 10th International Workshop CASC 2007 Bonn Germany September 16-20 2007. Proceedings
edited by Victor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4770
オンライン: http://dx.doi.org/10.1007/978-3-540-75187-8
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Creating New Learning Experiences on a Global Scale : Second European Conference on Technology Enhanced Learning EC-TEL 2007 Crete Greece September 17-20 2007. Proceedings
edited by Erik Duval Ralf Klamma Martin Wolpe
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4753
オンライン: http://dx.doi.org/10.1007/978-3-540-75195-3
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Model Driven Engineering Languages and Systems : 10th International Conference MoDELS 2007 Nashville USA September 30 - October 5 2007. Proceedings
edited by Gregor Engels Bill Opdyke Douglas C. Schmidt Frank Weil
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4735
オンライン: http://dx.doi.org/10.1007/978-3-540-75209-7
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop EPEW 2007 Berlin Germany September 27-28 2007. Proceedings
edited by Katinka Wolter
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4748
オンライン: http://dx.doi.org/10.1007/978-3-540-75211-0
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays
edited by Cliff B. Jones Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4700
オンライン: http://dx.doi.org/10.1007/978-3-540-75221-9
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Algorithmic Learning Theory : 18th International Conference ALT 2007 Sendai Japan October 1-4 2007. Proceedings
edited by Marcus Hutter Rocco A. Servedio Eiji Takimoto
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4754
オンライン: http://dx.doi.org/10.1007/978-3-540-75225-7
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Formal Aspects in Security and Trust : Fourth International Workshop FAST 2006 Hamilton Ontario Canada August 26-272006 Revised Selected Papers
edited by Theo Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve Sch
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4691
オンライン: http://dx.doi.org/10.1007/978-3-540-75227-1
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Secure Data Management : 4th VLDB Workshop SDM 2007 Vienna Austria September 23-24 2007. Proceedings
edited by Willem Jonker Milan Petkovi?E
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4721
オンライン: http://dx.doi.org/10.1007/978-3-540-75248-6
所蔵情報: loading…
18.

電子ブック

ＥＢ
18. Multi-Agent Systems and Applications V : 5th International Central and Eastern European Conference on Multi-Agent Systems CEEMAS 2007 Leipzig Germany September 25-27 2007. Proceedings
edited by Hans-Dieter Burkhard Gab
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4696
オンライン: http://dx.doi.org/10.1007/978-3-540-75254-7
所蔵情報: loading…
19.

電子ブック

ＥＢ
19. Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 9th European Conference ECSQARU 2007 Hammamet Tunisia October 31 - November 2 2007. Proceedings
edited by Khaled Mellouli
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4724
オンライン: http://dx.doi.org/10.1007/978-3-540-75256-1
所蔵情報: loading…
20.

電子ブック

ＥＢ
20. Current Topics in Artificial Intelligence : 12th Conference of the Spanish Association for Artificial Intelligence CAEPIA 2007 Salamanca Spain November 12-16 2007. Selected Papers
Borrajo Daniel ; Corchado Juan Manuel ; Castillo Luis ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4788
オンライン: http://dx.doi.org/10.1007/978-3-540-75271-4
所蔵情報: loading…
21.

電子ブック

ＥＢ
21. Pattern Recognition in Bioinformatics : Second IAPR International Workshop PRIB 2007 Singapore October 1-2 2007. Proceedings
edited by Jagath C. Rajapakse Bertil Schmidt Gwenn Volkert
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4774
オンライン: http://dx.doi.org/10.1007/978-3-540-75286-8
所蔵情報: loading…
22.

電子ブック

ＥＢ
22. Database and XMLTechnologies : 5th International XML Database Symposium XSym 2007 Vienna Austria September 23-24 2007. Proceedings
edited by Denilson Barbosa Angela Bonifati Zohra Bellahsene Ela Hunt Rainer Unland
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4704
オンライン: http://dx.doi.org/10.1007/978-3-540-75288-2
所蔵情報: loading…
23.

電子ブック

ＥＢ
23. Theoretical Aspects of Computing ?EICTAC 2007 : 4th International Colloquium Macau China September 26-28 2007. Proceedings
edited by Cliff B. Jones Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4711
オンライン: http://dx.doi.org/10.1007/978-3-540-75292-9
所蔵情報: loading…
24.

電子ブック

ＥＢ
24. Dependable Computing : Third Latin-American Symposium LADC 2007 Morella Mexico September 26-28 2007. Proceedings
edited by Andrea Bondavalli Francisco Brasileiro Sergio Rajsbaum
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4746
オンライン: http://dx.doi.org/10.1007/978-3-540-75294-3
所蔵情報: loading…
25.

電子ブック

ＥＢ
25. Trustworthy Global Computing : Second Symposium TGC 2006 Lucca Italy November 7-92006 Revised Selected Papers
edited by Ugo Montanari Donald Sannella Roberto Bruni
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4661
オンライン: http://dx.doi.org/10.1007/978-3-540-75336-0
所蔵情報: loading…
26.

電子ブック

ＥＢ
26. Scalable Uncertainty Management : First International Conference SUM 2007 WashingtonDC USA October 10-12 2007. Proceedings
edited by Henri Prade V. S. Subrahmanian
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4772
オンライン: http://dx.doi.org/10.1007/978-3-540-75410-7
所蔵情報: loading…
27.

電子ブック

ＥＢ
27. Algebraic Informatics : Second International Conference CAI 2007 Thessaloniki Greece May 21-252007 Revised Selected and Invited Papers
edited by Symeon Bozapalidis George Rahonis
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4728
オンライン: http://dx.doi.org/10.1007/978-3-540-75414-5
所蔵情報: loading…
28.

電子ブック

ＥＢ
28. Recent Advances in Parallel Virtual Machine and Message Passing Interface : 14th European PVM/MPI User’s Group Meeting Paris France September 30 - October 3 2007. Proceedings
edited by Franck Cappello Thomas Herault Ja
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4757
オンライン: http://dx.doi.org/10.1007/978-3-540-75416-9
所蔵情報: loading…
29.

電子ブック

ＥＢ
29. High Performance Computing and Communications : Third International Conference HPCC 2007 Houston USA September 26-28 2007. Proceedings
edited by Ronald Perrott Barbara M. Chapman Jaspal Subhlok Rodrigo Fernandes Mell
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4782
オンライン: http://dx.doi.org/10.1007/978-3-540-75444-2
所蔵情報: loading…
30.

電子ブック

ＥＢ
30. Formal Modeling and Analysis of Timed Systems : 5th International Conference FORMATS 2007 Salzburg Austria October 3-5 2007. Proceedings
edited by Jean-Francois Raskin P. S. Thiagarajan
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4763
オンライン: http://dx.doi.org/10.1007/978-3-540-75454-1
所蔵情報: loading…
31.

電子ブック

ＥＢ
31. Ontologies-Based Databases and Information Systems : First and Second VLDB Workshops ODBIS 2005/2006 Trondheim Norway September 2-3 2005 Seoul Korea September 11 2006 Revised Papers
edited by Martine Collard
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4623
オンライン: http://dx.doi.org/10.1007/978-3-540-75474-9
所蔵情報: loading…
32.

電子ブック

ＥＢ
32. Managing Next Generation Networks and Services : 10th Asia-Pacific Network Operations and Management Symposium APNOMS 2007 Sapporo Japan October 10-12 2007. Proceedings
edited by Shingo Ata Choong Seon Hong
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4773
オンライン: http://dx.doi.org/10.1007/978-3-540-75476-3
所蔵情報: loading…
33.

電子ブック

ＥＢ
33. Discovery Science : 10th International Conference DS 2007 Sendai Japan October 1-4 2007. Proceedings
edited by Vincent Corruble Masayuki Takeda Einoshin Suzuki
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4755
オンライン: http://dx.doi.org/10.1007/978-3-540-75488-6
所蔵情報: loading…
34.

電子ブック

ＥＢ
34. Service-Oriented Computing ICSOC 2006 : 4th International Conference Chicago IL USA December 4-72006 Workshops Proceedings
edited by Dimitrios Georgakopoulos Norbert Ritter Boualem Benatallah Christian Zirpins Geo
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4652
オンライン: http://dx.doi.org/10.1007/978-3-540-75492-3
所蔵情報: loading…
35.

電子ブック

ＥＢ
35. Information Security : 10th International Conference ISC 2007 Valparaiso Chile October 9-12 2007. Proceedings
edited by Juan A. Garay Arjen K. Lenstra Masahiro Mambo Rene Peralta
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4779
オンライン: http://dx.doi.org/10.1007/978-3-540-75496-1
所蔵情報: loading…
36.

電子ブック

ＥＢ
36. Databases in Networked Information Systems : 5th International Workshop DNIS 2007 Aizu-Wakamatsu Japan October 17-19 2007. Proceedings
edited by Subhash Bhalla
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4777
オンライン: http://dx.doi.org/10.1007/978-3-540-75512-8
所蔵情報: loading…
37.

電子ブック

ＥＢ
37. Hybrid Metaheuristics : 4th International Workshop HM 2007 Dortmund Germany October 8-9 2007. Proceedings
edited by Thomas Bartz-Beielstein Maria Jose Blesa Aguilera Christian Blum Boris Naujoks Andrea Roli Gunter
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4771
オンライン: http://dx.doi.org/10.1007/978-3-540-75514-2
所蔵情報: loading…
38.

電子ブック

ＥＢ
38. Algorithms ?EESA 2007 : 15th Annual European Symposium Eilat Israel October 8-10 2007. Proceedings
edited by Lars Arge Michael Hoffmann Emo Welzl
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4698
オンライン: http://dx.doi.org/10.1007/978-3-540-75520-3
所蔵情報: loading…
39.

電子ブック

ＥＢ
39. Engineering Societies in the Agents World VII : 7th International Workshop ESAW 2006 Dublin Ireland September 6-8 2006 Revised Selected and Invited Papers
edited by Gregory M. P. O’Hare Alessandro Ricci Michael J. O’Gr
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4457
オンライン: http://dx.doi.org/10.1007/978-3-540-75524-1
所蔵情報: loading…
40.

電子ブック

ＥＢ
40. Argumentation in Multi-Agent Systems : Third International Workshop ArgMAS 2006 Hakodate Japan May 8 2006 Revised Selected and Invited Papers
edited by Nicolas Maudet Simon Parsons Iyad Rahwan
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4766
オンライン: http://dx.doi.org/10.1007/978-3-540-75526-5
所蔵情報: loading…
41.

電子ブック

ＥＢ
41. String Processing and Information Retrieval : 14th International Symposium SPIRE 2007 Santiago Chile October 29-31 2007 Proceedings
edited by Nivio Ziviani Ricardo Baeza-Yates
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4726
オンライン: http://dx.doi.org/10.1007/978-3-540-75530-2
所蔵情報: loading…
42.

電子ブック

ＥＢ
42. Computers and Games : 5th International Conference CG 2006 Turin Italy May 29-31 2006. Revised Papers
edited by H. Jaap Herik Paolo Ciancarini H. H. L. M. (Jeroen) Donkers
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4630
オンライン: http://dx.doi.org/10.1007/978-3-540-75538-8
所蔵情報: loading…
43.

電子ブック

ＥＢ
43. Software Engineering Approaches for Offshore and Outsourced Development : First International Conference SEAFOOD 2007 Zurich Switzerland February 5-6 2007. Revised Papers
edited by Bertrand Meyer Mathai Joseph
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4716
オンライン: http://dx.doi.org/10.1007/978-3-540-75542-5
所蔵情報: loading…
44.

電子ブック

ＥＢ
44. Knowledge Discovery in Inductive Databases : 5th International Workshop KDID 2006 Berlin Germany September 18 2006 Revised Selected and Invited Papers
edited by Sa?o D?eroski Jan Struyf
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4747
オンライン: http://dx.doi.org/10.1007/978-3-540-75549-4
所蔵情報: loading…
45.

電子ブック

ＥＢ
45. Privacy Enhancing Technologies : 7th International Symposium PET 2007 Ottawa Canada June 20-22 2007 Revised Selected Papers
edited by Nikita Borisov Philippe Golle
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4776
オンライン: http://dx.doi.org/10.1007/978-3-540-75551-7
所蔵情報: loading…
46.

電子ブック

ＥＢ
46. Advances in Brain Vision and Artificial Intelligence : Second International Symposium BVAI 2007 Naples Italy October 10-12 2007. Proceedings
edited by Francesco Mele Giuliana Ramella Silvia Santillo Francesco Ventr
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4729
オンライン: http://dx.doi.org/10.1007/978-3-540-75555-5
所蔵情報: loading…
47.

電子ブック

ＥＢ
47. Logic for Programming Artificial Intelligence and Reasoning : 14th International Conference LPAR 2007 Yerevan Armenia October 15-19 2007. Proceedings
edited by Nachum Dershowitz Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4790
オンライン: http://dx.doi.org/10.1007/978-3-540-75560-9
所蔵情報: loading…
48.

電子ブック

ＥＢ
48. Automated Technology for Verification and Analysis : 5th International Symposium ATVA 2007 Tokyo Japan October 22?E5 2007 Proceedings
edited by Kedar S. Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4762
オンライン: http://dx.doi.org/10.1007/978-3-540-75596-8
所蔵情報: loading…
49.

電子ブック

ＥＢ
49. Advances in Information and Computer Security : Second International Workshop on Security IWSEC 2007 Nara Japan October 29-31 2007. Proceedings
edited by Atsuko Miyaji Hiroaki Kikuchi Kai Rannenberg
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4752
オンライン: http://dx.doi.org/10.1007/978-3-540-75651-4
所蔵情報: loading…
50.

電子ブック

ＥＢ
50. Software Technologies for Embedded and Ubiquitous Systems : 5th IFIP WG 10.2 International Workshop SEUS 2007 Santorini Island Greece May 2007. Revised Papers
edited by Roman Obermaisser Yunmook Nah Peter Puschner Fra
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4761
オンライン: http://dx.doi.org/10.1007/978-3-540-75664-4
所蔵情報: loading…