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…
51.

電子ブック

ＥＢ
51. Mobile Response : First International Workshop on Mobile Information Technology for Emergency Response Mobile Response 2007 Sankt Augustin Germany February 22-232007 Revised Selected Papers
Loffler Jobst ; Klann Markus ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4458
オンライン: http://dx.doi.org/10.1007/978-3-540-75668-2
所蔵情報: loading…
52.

電子ブック

ＥＢ
52. Provable Security : First International Conference ProvSec 2007 Wollongong Australia November 1-2 2007. Proceedings
edited by Willy Susilo Joseph K. Liu Yi Mu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4784
オンライン: http://dx.doi.org/10.1007/978-3-540-75670-5
所蔵情報: loading…
53.

電子ブック

ＥＢ
53. Analysis and Modeling of Faces and Gestures : Third International Workshop AMFG 2007 Rio de Janeiro Brazil October 20 2007 Proceedings
edited by S. Kevin Zhou Wenyi Zhao Xiaoou Tang Shaogang Gong
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4778
オンライン: http://dx.doi.org/10.1007/978-3-540-75690-3
所蔵情報: loading…
54.

電子ブック

ＥＢ
54. Managing Virtualization of Networks and Services : 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management DSOM 2007 San Jose CA USA October 29-31 2007. Proceedings
Clemm Alexander ; Granville Lisandro Zambenedetti ; Stadler Rolf ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4785
オンライン: http://dx.doi.org/10.1007/978-3-540-75694-1
所蔵情報: loading…
55.

電子ブック

ＥＢ
55. Smart Sensing and Context : Second European Conference EuroSSC 2007 Kendal England October 23-25 2007. Proceedings
edited by Gerd Kortuem Joe Finney Rodger Lea Vasughi Sundramoorthy
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4793
オンライン: http://dx.doi.org/10.1007/978-3-540-75696-5
所蔵情報: loading…
56.

電子ブック

ＥＢ
56. International Symposium on Fundamentals of Software Engineering : International Symposium FSEN 2007 Tehran Iran April 17-19 2007. Proceedings
edited by Farhad Arbab Marjan Sirjani
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4767
オンライン: http://dx.doi.org/10.1007/978-3-540-75698-9
所蔵情報: loading…
57.

電子ブック

ＥＢ
57. Human Motion ?EUnderstanding Modeling Capture and Animation : Second Workshop Human Motion 2007 Rio de Janeiro Brazil October 20 2007. Proceedings
edited by Ahmed Elgammal Bodo Rosenhahn Reinhard Klette
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4814
オンライン: http://dx.doi.org/10.1007/978-3-540-75703-0
所蔵情報: loading…
58.

電子ブック

ＥＢ
58. Applied Parallel Computing. State of the Art in Scientific Computing : 8th International Workshop PARA 2006 Umea Sweden June 18-212006 Revised Selected Papers
edited by Bo Kagstrom Erik Elmroth Jack Dongarra Jerzy
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4699
オンライン: http://dx.doi.org/10.1007/978-3-540-75755-9
所蔵情報: loading…
59.

電子ブック

ＥＢ
59. Medical Image Computing and Computer-Assisted Intervention ?EMICCAI 2007 : 10th International Conference Brisbane Australia October 29 - November 22007 Proceedings Part I
edited by Nicholas Ayache
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4791
オンライン: http://dx.doi.org/10.1007/978-3-540-75757-3
所蔵情報: loading…
60.

電子ブック

ＥＢ
60. Medical Image Computing and Computer-Assisted Intervention ?EMICCAI 2007 : 10th International Conference Brisbane Australia October 29 - November 22007 Proceedings Part II
edited by Nicholas Ayache et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4792
オンライン: http://dx.doi.org/10.1007/978-3-540-75759-7
所蔵情報: loading…
61.

電子ブック

ＥＢ
61. Human?Computer Interaction : IEEE International Workshop HCI 2007 Rio de Janeiro Brazil October 20 2007 Proceedings
edited by Michael Lew Nicu Sebe Thomas S. Huang Erwin M. Bakker
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4796
オンライン: http://dx.doi.org/10.1007/978-3-540-75773-3
所蔵情報: loading…
62.

電子ブック

ＥＢ
62. IP Operations and Management : 7th IEEE International Workshop IPOM 2007 San Jose USA October 31 - November 2 2007 Proceedings
edited by Deep Medhi Jose Marcos Nogueira Tom Pfeifer S. Felix Wu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4786
オンライン: http://dx.doi.org/10.1007/978-3-540-75853-2
所蔵情報: loading…
63.

電子ブック

ＥＢ
63. Computer Aided Systems Theory EEUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory Las Palmas de Gran Canaria Spain February 12-162007 Revised Selected Papers
ed. by Roberto Moreno Diaz
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4739
オンライン: http://dx.doi.org/10.1007/978-3-540-75867-9
所蔵情報: loading…
64.

電子ブック

ＥＢ
64. Real-Time Mobile Multimedia Services : 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services MMNS 2007 San Jose USA October 31 - November 2 2007 Proceedings
Krishnaswamy Dilip ; Raz Danny ; Pfeifer Tom ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4787
オンライン: http://dx.doi.org/10.1007/978-3-540-75869-3
所蔵情報: loading…
65.

電子ブック

ＥＢ
65. Trends in Enterprise Application Architecture : 2nd International Conference TEAA 2006 Berlin Germany November 29 - December 12006 Revised Selected Papers
edited by Dirk Draheim Gerald Weber
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4473
オンライン: http://dx.doi.org/10.1007/978-3-540-75912-6
所蔵情報: loading…
66.

電子ブック

ＥＢ
66. Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
edited by Stefano Aguzzoli Agata Ciabattoni Brunella Gerla Corrado Manara
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4460
オンライン: http://dx.doi.org/10.1007/978-3-540-75939-3
所蔵情報: loading…
67.

電子ブック

ＥＢ
67. Advances in Rule Interchange and Applications : International Symposium RuleML 2007 Orlando Florida October 25-26 2007. Proceedings
edited by Adrian Paschke Yevgen Biletskiy
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4824
オンライン: http://dx.doi.org/10.1007/978-3-540-75975-1
所蔵情報: loading…
68.

電子ブック

ＥＢ
68. Database Programming Languages : 11th International Symposium DBPL 2007 Vienna Austria September 23-24 2007 Revised Selected Papers
edited by Marcelo Arenas Michael I. Schwartzbach
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4797
オンライン: http://dx.doi.org/10.1007/978-3-540-75987-4
所蔵情報: loading…
69.

電子ブック

ＥＢ
69. Annotating Extracting and Reasoning about Time and Events : International Seminar Dagstuhl Castle Germany April 10-15 2005. Revised Papers
edited by Frank Schilder Graham Katz James Pustejovsky
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4795
オンライン: http://dx.doi.org/10.1007/978-3-540-75989-8
所蔵情報: loading…
70.

電子ブック

ＥＢ
70. Advances in Conceptual Modeling-Foundations and Applications : ER 2007 Workshops CMLSA FP-UML ONISW QoIS RIGiMSeCoGIS Auckland New Zealand November 5-9 2007. Proceedings
edited by Jean-Luc Hainaut et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4802
オンライン: http://dx.doi.org/10.1007/978-3-540-76292-8
所蔵情報: loading…
71.

電子ブック

ＥＢ
71. Advances in Mass Data Analysis of Signals and Images in Medicine Biotechnology and Chemistry : International Conferences MDA 2006/2007 Leipzig Germany July 18 2007. Selected Papers
edited by Petra Perner et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4826
オンライン: http://dx.doi.org/10.1007/978-3-540-76300-0
所蔵情報: loading…
72.

電子ブック

ＥＢ
72. Implementation and Application of Automata : 12th International Conference CIAA 2007 Praque Czech Republic July 16-182007 Revised Selected Papers
edited by Jan Holub Jan ?darek
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4783
オンライン: http://dx.doi.org/10.1007/978-3-540-76336-9
所蔵情報: loading…
73.

電子ブック

ＥＢ
73. Computer Vision-ACCV 2007 : 8th Asian Conference on Computer Vision Tokyo Japan November 18-22 2007 Proceedings Part I
edited by Yasushi Yagi Sing Bing Kang In So Kweon Hongbin Zha
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4843
オンライン: http://dx.doi.org/10.1007/978-3-540-76386-4
所蔵情報: loading…
74.

電子ブック

ＥＢ
74. Computer Vision ?EACCV 2007 : 8th Asian Conference on Computer Vision Tokyo Japan November 18-22 2007 Proceedings Part II
edited by Yasushi Yagi Sing Bing Kang In So Kweon Hongbin Zha
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4844
オンライン: http://dx.doi.org/10.1007/978-3-540-76390-1
所蔵情報: loading…
75.

電子ブック

ＥＢ
75. Advances in Visual Information Systems : 9th International Conference VISUAL 2007 Shanghai China June 28-29 2007 Revised Selected Papers
edited by Guoping Qiu Clement Leung Xiangyang Xue Robert Laurini
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4781
オンライン: http://dx.doi.org/10.1007/978-3-540-76414-4
所蔵情報: loading…
76.

電子ブック

ＥＢ
76. Verbal and Nonverbal Communication Behaviours : COST Action 2102 International Workshop Vietri sul Mare Italy March 29-31 2007 Revised Selected and Invited Papers
ed. by Anna Esposito Marcos Faundez-Zanuy et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4775
オンライン: http://dx.doi.org/10.1007/978-3-540-76442-7
所蔵情報: loading…
77.

電子ブック

ＥＢ
77. Multi-Agent-Based Simulation VII : International Workshop MABS 2006 Hakodate Japan May 8 2006 Revised and Invited Papers
edited by Luis Antunes Keiki Takadama
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4442
オンライン: http://dx.doi.org/10.1007/978-3-540-76539-4
所蔵情報: loading…
78.

電子ブック

ＥＢ
78. Stabilization Safety and Security of Distributed Systems : 9th International Symposium SSS 2007 Paris France November 14-16 2007 Proceedings
edited by Toshimitsu Masuzawa Sebastien Tixeuil
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4838
オンライン: http://dx.doi.org/10.1007/978-3-540-76627-8
所蔵情報: loading…
79.

電子ブック

ＥＢ
79. MICAI 2007: Advances in Artificial Intelligence : 6th Mexican International Conference on Artificial Intelligence Aguascalientes Mexico November 4-10 2007. Proceedings
edited by Alexander Gelbukh et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4827
オンライン: http://dx.doi.org/10.1007/978-3-540-76631-5
所蔵情報: loading…
80.

電子ブック

ＥＢ
80. Programming Languages and Systems : 5th Asian Symposium APLAS 2007 Singapore November 29-December 1 2007. Proceedings
edited by Zhong Shao
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4807
オンライン: http://dx.doi.org/10.1007/978-3-540-76637-7
所蔵情報: loading…
81.

電子ブック

ＥＢ
81. Transactions on Computational Systems Biology VIII
edited by Corrado Priami
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4780
オンライン: http://dx.doi.org/10.1007/978-3-540-76639-1
所蔵情報: loading…
82.

電子ブック

ＥＢ
82. Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods ICFEM 2007 Boca Raton FL USA November 14-15 2007. Proceedings
Butler Michael ; Larrondo-Petrie Maria M. ; Hinchey Michael G. ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4789
オンライン: http://dx.doi.org/10.1007/978-3-540-76650-6
所蔵情報: loading…
83.

電子ブック

ＥＢ
83. Ambient Intelligence : European Conference AmI 2007 Darmstadt Germany November 7-10 2007. Proceedings
edited by Bernt Schiele Anind K. Dey Hans Gellersen Boris Ruyter Manfred Tscheligi et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4794
オンライン: http://dx.doi.org/10.1007/978-3-540-76652-0
所蔵情報: loading…
84.

電子ブック

ＥＢ
84. Haptic and Audio Interaction Design : Second International Workshop HAID 2007 Seoul South Korea November 29-30 2007 Proceedings
edited by Ian Oakley Stephen Brewster
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4813
オンライン: http://dx.doi.org/10.1007/978-3-540-76702-2
所蔵情報: loading…
85.

電子ブック

ＥＢ
85. Knowledge Science Engineering and Management : Second International Conference KSEM 2007 Melbourne Australia November 28-30 2007. Proceedings
edited by Zili Zhang Jorg Siekmann
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4798
オンライン: http://dx.doi.org/10.1007/978-3-540-76719-0
所蔵情報: loading…
86.

電子ブック

ＥＢ
86. Ubiquitous Computing Systems : 4th International Symposium UCS 2007 Tokyo Japan November 25-28 2007. Proceedings
edited by Haruhisa Ichikawa We-Duke Cho Ichiro Satoh Hee Yong Youn
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4836
オンライン: http://dx.doi.org/10.1007/978-3-540-76772-5
所蔵情報: loading…
87.

電子ブック

ＥＢ
87. Middleware 2007 : ACM/IFIP/USENIX 8th International Middleware Conference Newport Beach CA USA November 26-30 2007. Proceedings
edited by Renato Cerqueira Roy H. Campbell
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4834
オンライン: http://dx.doi.org/10.1007/978-3-540-76778-7
所蔵情報: loading…
88.

電子ブック

ＥＢ
88. Datatype-Generic Programming : International Spring School SSDGP 2006 Nottingham UK April 24-27 2006 Revised Lectures
edited by Roland Backhouse Jeremy Gibbons Ralf Hinze Johan Jeuring
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4719
オンライン: http://dx.doi.org/10.1007/978-3-540-76786-2
所蔵情報: loading…
89.

電子ブック

ＥＢ
89. Information Security and Cryptology - ICISC 2007 : 10th International Conference Seoul Korea November 29-30 2007. Proceedings
edited by Kil-Hyun Nam Gwangsoo Rhee
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4817
オンライン: http://dx.doi.org/10.1007/978-3-540-76788-6
所蔵情報: loading…
90.

電子ブック

ＥＢ
90. HCI and Usability for Medicine and Health Care : Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society USAB 2007 Graz Austria November22 2007. Proceedings
Holzinger Andreas ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4799
オンライン: http://dx.doi.org/10.1007/978-3-540-76805-0
所蔵情報: loading…
91.

電子ブック

ＥＢ
91. Sustainable Internet : Third Asian Internet Engineering Conference AINTEC 2007 Phuket Thailand November 27-29 2007. Proceedings
edited by Serge Fdida Kazunori Sugiura
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4866
オンライン: http://dx.doi.org/10.1007/978-3-540-76809-8
所蔵情報: loading…
92.

電子ブック

ＥＢ
92. Early Aspects: Current Challenges and Future Directions : 10th International Workshop Vancouver Canada March 13 2007 Revised Selected Papers
edited by Ana Moreira John Grundy
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4765
オンライン: http://dx.doi.org/10.1007/978-3-540-76811-1
所蔵情報: loading…
93.

電子ブック

ＥＢ
93. On the Move to Meaningful Internet Systems 2007: CoopIS DOA ODBASE GADA and IS : OTM Confederated International Conferences CoopIS DOA ODBASE GADA and IS 2007 Vilamoura Portugal November 25-302007 Proceedings
Meersman Robert ; Tari Zahir ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4804
オンライン: http://dx.doi.org/10.1007/978-3-540-76843-2
所蔵情報: loading…
94.

電子ブック

ＥＢ
94. Advanced Parallel Processing Technologies : 7th International Symposium APPT 2007 Guangzhou China November 22-23 2007 Proceedings
edited by Ming Xu Yinwei Zhan Jiannong Cao Yijun Liu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4847
オンライン: http://dx.doi.org/10.1007/978-3-540-76837-1
所蔵情報: loading…
95.

電子ブック

ＥＢ
95. On the Move to Meaningful Internet Systems 2007: CoopIS DOA ODBASE GADA and IS : OTM Confederated International Conferences CoopIS DOA ODBASE GADA and IS 2007 Vilamoura Portugal November 25-302007 Proceedings
Meersman Robert ; Tari Zahir ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4803
オンライン: http://dx.doi.org/10.1007/978-3-540-76848-7
所蔵情報: loading…
96.

電子ブック

ＥＢ
96. Advances in Visual Computing : Third International Symposium ISVC 2007 Lake Tahoe NV USA November 26-28 2007 Proceedings Part II
edited by George Bebis Richard Boyle Bahram Parvin Darko Koracin et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4842
オンライン: http://dx.doi.org/10.1007/978-3-540-76856-2
所蔵情報: loading…
97.

電子ブック

ＥＢ
97. Advances in Visual Computing : Third International Symposium ISVC 2007 Lake Tahoe NV USA November 26-28 2007 Proceedings Part I
edited by George Bebis Richard Boyle Bahram Parvin Darko Koracin et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4841
オンライン: http://dx.doi.org/10.1007/978-3-540-76858-6
所蔵情報: loading…
98.

電子ブック

ＥＢ
98. GeoSpatial Semantics : Second International Conference GeoS 2007 Mexico City Mexico November 29-30 2007. Proceedings
edited by Frederico Fonseca M. Andrea Rodriguez Sergei Levashkin
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4853
オンライン: http://dx.doi.org/10.1007/978-3-540-76876-0
所蔵情報: loading…
99.

電子ブック

ＥＢ
99. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops : OTM Confederated International Workshops and Posters AWeSOMe CAMS OTM Academy Doctoral Consortium MONET OnToContent ORM PerSys PPN RDDS SSWS
Meersman Robert ; Tari Zahir ; Herrero Pilar ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4805
オンライン: http://dx.doi.org/10.1007/978-3-540-76888-3
所蔵情報: loading…
100.

電子ブック

ＥＢ
100. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops : OTM Confederated International Workshops and Posters AWeSOMe CAMS OTM Academy Doctoral Consortium MONET OnToContent ORM PerSys PPN RDDS SSWS
Meersman Robert ; Herrero Pilar ; Tari Zahir ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4806
オンライン: http://dx.doi.org/10.1007/978-3-540-76890-6
所蔵情報: loading…