close
1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
23. Advances in Cryptology - ASIACRYPT 2007 : 13th International Conference on the Theory and Application of Cryptology and Information Security Kuching Malaysia December 2-6 2007. Proceedings
edited by Kaoru Kurosawa
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4833
オンライン: http://dx.doi.org/10.1007/978-3-540-76900-2
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Advances in Computer Science - ASIAN 2007. Computer and Network Security : 12th Asian Computing Science Conference Doha Qatar December 9-11 2007. Proceedings
edited by Iliano Cervesato
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4846
オンライン: http://dx.doi.org/10.1007/978-3-540-76929-3
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Cryptology and Network Security : 6th International Conference CANS 2007 Singapore December 8-10 2007. Proceedings
edited by Feng Bao San Ling Tatsuaki Okamoto Huaxiong Wang Chaoping Xing
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4856
オンライン: http://dx.doi.org/10.1007/978-3-540-76969-9
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Algorithms and Models for the Web-Graph : 5th International Workshop WAW 2007 San Diego CA USA December 11-12 2007. Proceedings
edited by Anthony Bonato Fan R. K. Chung
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4863
オンライン: http://dx.doi.org/10.1007/978-3-540-77004-6
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Progress in Cryptology - INDOCRYPT 2007 : 8th International Conference on Cryptology in India Chennai India December 9-13 2007. Proceedings
edited by K. Srinathan C. Pandu Rangan Moti Yung
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4859
オンライン: http://dx.doi.org/10.1007/978-3-540-77026-8
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference New Delhi India December 12-14 2007. Proceedings
edited by V. Arvind Sanjiva Prasad
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4855
オンライン: http://dx.doi.org/10.1007/978-3-540-77050-3
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Distributed Computing and Internet Technology : 4th International Conference ICDCIT 2007 Bangalore India December 17-20. Proceedings
edited by Tomasz Janowski Hrushikesha Mohanty
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4882
オンライン: http://dx.doi.org/10.1007/978-3-540-77115-9
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Algorithms and Computation : 18th International Symposium ISAAC 2007 Sendai Japan December 17-19 2007. Proceedings
edited by Takeshi Tokuyama
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4835
オンライン: http://dx.doi.org/10.1007/978-3-540-77120-3
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Security Protocols : 13th International Workshop Cambridge UK April 20-22 2005 Revised Selected Papers
edited by Bruce Christianson Bruno Crispo James A. Malcolm Michael Roe
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4631
オンライン: http://dx.doi.org/10.1007/978-3-540-77156-2
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. High Performance Computing - HiPC 2007 : 14th International Conference Goa India December 18-21 2007. Proceedings
edited by Srinivas Aluru Manish Parashar Ramamurthy Badrinath Viktor K. Prasanna
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4873
オンライン: http://dx.doi.org/10.1007/978-3-540-77220-0
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Applied Algebra Algebraic Algorithms and Error-Correcting Codes : 17th International Symposium AAECC-17 Bangalore India December 16-20 2007. Proceedings
edited by Serdar Bozta?E Hsiao-Feng (Francis) Lu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4851
オンライン: http://dx.doi.org/10.1007/978-3-540-77224-8
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Intelligent Data Engineering and Automated Learning - IDEAL 2007 : 8th International Conference Birmingham UK December 16-19 2007. Proceedings
edited by Hujun Yin Peter Tino Emilio Corchado Will Byrne Xin Yao
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4881
オンライン: http://dx.doi.org/10.1007/978-3-540-77226-2
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Combinatorial and Algorithmic Aspects of Networking : 4th Workshop CAAN 2007 Halifax Canada August 14 2007. Revised Papers
edited by Jeannette Janssen Pawe?EPra?at
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4852
オンライン: http://dx.doi.org/10.1007/978-3-540-77294-1
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Practice and Theory of Automated Timetabling VI : 6th International Conference PATAT 2006 Brno Czech Republic August 30 September 1 2006 Revised Selected Papers
edited by Edmund K. Burke Hana Rudova
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 3867
オンライン: http://dx.doi.org/10.1007/978-3-540-77345-0
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Selected Areas in Cryptography : 14th International Workshop SAC 2007 Ottawa Canada August 16-17 2007 Revised Selected Papers
edited by Carlisle Adams Ali Miri Michael Wiener
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4876
オンライン: http://dx.doi.org/10.1007/978-3-540-77360-3
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Approximation and Online Algorithms : 4th International Workshop WAOA 2006 Zurich Switzerland September 14-152006 Revised Papers
edited by Thomas Erlebach Christos Kaklamanis
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4368
オンライン: http://dx.doi.org/10.1007/11970125
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Multimodal Technologies for Perception of Humans : First International Evaluation Workshop on Classification of Events Activities and Relationships CLEAR 2006 Southampton UK April 6-72006 Revised Selected Papers
edited by Rainer Stiefelhagen John Garofolo
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4122
オンライン: http://dx.doi.org/10.1007/978-3-540-69568-4
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Wireless Sensor Networks : 4th European Conference EWSN 2007 Delft The Netherlands January 29-31 2007. Proceedings
edited by Koen Langendoen Thiemo Voigt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4373
オンライン: http://dx.doi.org/10.1007/978-3-540-69830-2
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Distributed High-Performance and Grid Computing in Computational Biology : International Workshop GCCB 2006 Eilat Israel January 21 2007. Proceedings
edited by Werner Dubitzky Assaf Schuster Peter M. A. Sloot Michael Schroeder Mathilde Romberg
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4360
オンライン: http://dx.doi.org/10.1007/978-3-540-69968-2
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Complex Motion : First International Workshop IWCM 2004 Gunzburg Germany October 12-14 2004. Revised Papers
edited by Bernd Jahne Rudolf Mester Erhardt Barth Hanno Scharr
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 3417
オンライン: http://dx.doi.org/10.1007/978-3-540-69866-1
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Discrete Geometry Combinatorics and Graph Theory : 7th China-Japan Conference CJCDGCGT 2005 Tianjin China November 18-202005 and Xi'an China November 22-242005 Revised Selected Papers
edited by Jin AkiyamaWi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4381
オンライン: http://dx.doi.org/10.1007/978-3-540-70666-3
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Graph Drawing : 14th International Symposium GD 2006 Karlsruhe Germany September 18-20 2006. Revised Papers
edited by Michael Kaufmann Dorothea Wagner
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4372
オンライン: http://dx.doi.org/10.1007/978-3-540-70904-6
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science Aachen Germany February 22-24 2007. Proceedings
edited by Wolfgang Thomas Pascal Weil
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4393
オンライン: http://dx.doi.org/10.1007/978-3-540-70918-3
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Evolutionary Multi-Criterion Optimization : 4th International Conference EMO 2007 Matsushima Japan March 5-8 2007. Proceedings
edited by Shigeru Obayashi Kalyanmoy Deb Carlo Poloni Tomoyuki Hiroyasu Tadahiko Murata
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4403
オンライン: http://dx.doi.org/10.1007/978-3-540-70928-2
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Theory of Cryptography : 4th Theory of Cryptography Conference TCC 2007 Amsterdam The Netherlands February 21-24 2007. Proceedings
edited by Salil P. Vadhan
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4392
オンライン: http://dx.doi.org/10.1007/978-3-540-70936-7
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Numerical Methods and Applications : 6th International Conference NMA 2006 Borovets Bulgaria August 20-24 2006. Revised Papers
edited by Todor Boyanov Stefka Dimova Krassimir Georgiev Geno Nikolov
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4310
オンライン: http://dx.doi.org/10.1007/978-3-540-70942-8
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Pixelization Paradigm : First Visual Information Expert Workshop VIEW 2006 Paris France April 24-252006 Revised Selected Papers
edited by Pierre P Levy Benedicte Grand Francois Poulet Michel Soto Laszlo Darago Laurent Toubiana Jean-Francois Vibert
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4370
オンライン: http://dx.doi.org/10.1007/978-3-540-71027-1
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Job Scheduling Strategies for Parallel Processing : 12th International Workshop JSSPP 2006 Saint-Malo France June 262006 Revised Selected Papers
edited by Eitan Frachtenberg Uwe Schwiegelshohn
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4376
オンライン: http://dx.doi.org/10.1007/978-3-540-71035-6
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Information Security Applications : 7th International Workshop WISA 2006 Jeju Island Korea August 28-302006 Revised Selected Papers
edited by Jae Kwang Lee Okyeon Yi Moti Yung
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4298
オンライン: http://dx.doi.org/10.1007/978-3-540-71093-6
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2007 Braga Portugal
Grumberg Orna ; Huth Michael ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4424
オンライン: http://dx.doi.org/10.1007/978-3-540-71209-1
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Computer Vision/Computer Graphics Collaboration Techniques : Third International Conference MIRAGE 2007 Rocquencourt France March 28-30 2007. Proceedings
edited by Andre Gagalowicz Wilfried Philips
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4418
オンライン: http://dx.doi.org/10.1007/978-3-540-71457-6
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Swarm Robotics : Second International Workshop SAB 2006 Rome Italy September 30-October 12006 Revised Selected Papers
edited by Erol Sahin William M. Spears Alan F. T. Winfield
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4433
オンライン: http://dx.doi.org/10.1007/978-3-540-71541-2
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Adaptive and Natural Computing Algorithms : 8th International Conference ICANNGA 2007 Warsaw Poland April 11-142007 Proceedings Part I
edited by Bartlomiej Beliczynski Andrzej Dzielinski et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4431
オンライン: http://dx.doi.org/10.1007/978-3-540-71618-1
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Adaptive and Natural Computing Algorithms : 8th International Conference ICANNGA 2007 Warsaw Poland April 11-142007 Proceedings Part II
edited by Bartlomiej Beliczynski Andrzej Dzielinski et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4432
オンライン: http://dx.doi.org/10.1007/978-3-540-71629-7
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Genetic Programming : 10th European Conference EuroGP 2007 Valencia Spain April 11-13 2007. Proceedings
edited by Marc Ebner Michael O’Neill Aniko Ekart Leonardo Vanneschi Anna Isabel Esparcia-Alcazar
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4445
オンライン: http://dx.doi.org/10.1007/978-3-540-71605-1
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Evolutionary Computation in Combinatorial Optimization : 7th European Conference EvoCOP 2007 Valencia Spain April 11-13 2007. Proceedings
edited by Carlos Cotta Jano Hemert
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4446
オンライン: http://dx.doi.org/10.1007/978-3-540-71615-0
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Public Key Cryptography ?EPKC 2007 : 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing China April 16-20 2007. Proceedings
edited by Tatsuaki Okamoto Xiaoyun Wang
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4450
オンライン: http://dx.doi.org/10.1007/978-3-540-71677-8
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Research in Computational Molecular Biology : 11th Annual International Conference RECOMB 2007 Oakland CA USA April 21-25 2007. Proceedings
edited by Terry Speed Haiyan Huang
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4453
オンライン: http://dx.doi.org/10.1007/978-3-540-71681-5
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Evolutionary ComputationMachine Learning and Data Mining in Bioinformatics : 5th European Conference EvoBIO 2007 Valencia Spain April 11-13 2007. Proceedings
edited by Elena Marchiori Jason H. Moore Jagath C. Rajapakse
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4447
オンライン: http://dx.doi.org/10.1007/978-3-540-71783-6
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
by Ben Liblit
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4440
オンライン: http://dx.doi.org/10.1007/978-3-540-71878-9
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Advances in Grid and Pervasive Computing : Second International Conference GPC 2007 Paris France May 2-4 2007. Proceedings
edited by Christophe Cerin Kuan-Ching Li
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4459
オンライン: http://dx.doi.org/10.1007/978-3-540-72360-8
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Advances in Neural Networks ?EISNN 2007 : 4th International Symposium on Neural Networks ISNN 2007 Nanjing China June 3-72007 Proceedings Part I
edited by Derong Liu Shumin Fei Zeng-Guang Hou et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4491
オンライン: http://dx.doi.org/10.1007/978-3-540-72383-7
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Advances in Neural Networks ?EISNN 2007 : 4th International Symposium on Neural Networks ISNN 2007 Nanjing China June 3-72007 Proceedings Part II
edited by Derong Liu Shumin Fei Zengguang Hou et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4492
オンライン: http://dx.doi.org/10.1007/978-3-540-72393-6
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Advances in Neural Networks ?EISNN 2007 : 4th International Symposium on Neural Networks ISNN 2007 Nanjing China June 3-72007 Proceedings Part III
edited by Derong Liu Shumin Fei Zengguang Hou et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4493
オンライン: http://dx.doi.org/10.1007/978-3-540-72395-0
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 4th International Conference CPAIOR 2007 Brussels Belgium May 23-26 2007. Proceedings
edited by Pascal Hentenryck Laurence Wolsey
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4510
オンライン: http://dx.doi.org/10.1007/978-3-540-72397-4
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Theory and Applications of Models of Computation : 4th International Conference TAMC 2007 Shanghai China May 22-25 2007. Proceedings
edited by Jin-Yi Cai S. Barry Cooper Hong Zhu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4484
オンライン: http://dx.doi.org/10.1007/978-3-540-72504-6
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Advances in Cryptology - EUROCRYPT 2007 : 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques Barcelona Spain May 20-24 2007. Proceedings
edited by Moni Naor
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4515
オンライン: http://dx.doi.org/10.1007/978-3-540-72540-4
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Network Control and Optimization : First EuroFGI International Conference NET-COOP 2007 Avignon France June 5-7 2007. Proceedings
edited by Tijani Chahed Bruno Tuffin
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4465
オンライン: http://dx.doi.org/10.1007/978-3-540-72709-5
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference SAT 2007 Lisbon Portugal May 28-31 2007 Proceedings
edited by Joao Marques-Silva Karem A. Sakallah
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4501
オンライン: http://dx.doi.org/10.1007/978-3-540-72788-0
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Integer Programming and Combinatorial Optimization : 12th International IPCO Conference Ithaca NY USA June 25-272007 Proceedings
edited by Matteo Fischetti David P. Williamson
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4513
オンライン: http://dx.doi.org/10.1007/978-3-540-72792-7
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Scale Space and Variational Methods in Computer Vision : First International Conference SSVM 2007 Ischia Italy May 30 - June 2 2007. Proceedings
edited by Fiorella Sgallari Almerico Murli Nikos Paragios
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4485
オンライン: http://dx.doi.org/10.1007/978-3-540-72823-8
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Experimental Algorithms : 6th International Workshop WEA 2007 Rome Italy June 6-82007 Proceedings
edited by Camil Demetrescu
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4525
オンライン: http://dx.doi.org/10.1007/978-3-540-72845-0
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Algorithmic Aspects in Information and Management : Third International Conference AAIM 2007 Portland OR USA June 6-82007 Proceedings
edited by Ming-Yang Kao Xiang-Yang Li
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4508
オンライン: http://dx.doi.org/10.1007/978-3-540-72870-2
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Algorithms and Architectures for Parallel Processing : 7th International Conference ICA3PP 2007 Hangzhou China June 11-14 2007. Proceedings
edited by Hai Jin Omer F. Rana Yi Pan Viktor K. Prasanna
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4494
オンライン: http://dx.doi.org/10.1007/978-3-540-72905-1
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Fun with Algorithms : 4th International Conference FUN 2007 Castiglioncello Italy June 3-52007 Proceedings
edited by Pierluigi Crescenzi Giuseppe Prencipe Geppino Pucci
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4475
オンライン: http://dx.doi.org/10.1007/978-3-540-72914-3
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Structural Information and Communication Complexity : 14th International Colloquium SIROCCO 2007 Castiglioncello Italy June 5-8 2007. Proceedings
edited by Giuseppe Prencipe Shmuel Zaks
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4474
オンライン: http://dx.doi.org/10.1007/978-3-540-72951-8
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Learning Theory : 20th Annual Conference on Learning Theory COLT 2007 San Diego CA USA; June 13-15 2007. Proceedings
edited by Nader H. Bshouty Claudio Gentile
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4539
オンライン: http://dx.doi.org/10.1007/978-3-540-72927-3
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Computation and Logic in the Real World : Third Conference on Computability in Europe CiE 2007 Siena Italy June 18-232007 Proceedings
edited by S. Barry Cooper Benedikt Lowe Andrea Sorbi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4497
オンライン: http://dx.doi.org/10.1007/978-3-540-73001-9
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Computational and Ambient Intelligence : 9th International Work-Conference on Artificial Neural Networks IWANN 2007 San Sebastian Spain June 20-22 2007. Proceedings
edited by Francisco Sandoval Alberto Prieto Joan Cab
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4507
オンライン: http://dx.doi.org/10.1007/978-3-540-73007-1
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Bio-inspired Modeling of Cognitive Tasks : Second International Work-Conference on the Interplay Between Natural and Artificial Computation IWINAC 2007 La Manga del Mar Menor Spain June 18-21 2007 Proceedings Part I.
Mira Jose ; Alvarez Jose R. ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4527
オンライン: http://dx.doi.org/10.1007/978-3-540-73053-8
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Nature Inspired Problem-Solving Methods in Knowledge Engineering : Second International Work-Conference on the Interplay Between Natural and Artificial Computation IWINAC 2007 La Manga del Mar Menor Spain June 18-21 2007 Proceedings Part II
edited by Jose Mira Jose R. Alvarez
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4528
オンライン: http://dx.doi.org/10.1007/978-3-540-73055-2
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Systems Biology and Computational Proteomics : Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics San Diego CA USA December 1-3 2006 Revised Selected Papers
edited by Trey Ideker
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4532
オンライン: http://dx.doi.org/10.1007/978-3-540-73060-6
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Arithmetic of Finite Fields : First International Workshop WAIFI 2007 Madrid Spain June 21-22 2007. Proceedings
edited by Claude Carlet Berk Sunar
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4547
オンライン: http://dx.doi.org/10.1007/978-3-540-73074-3
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Distributed Computing in Sensor Systems : Third IEEE International Conference DCOSS 2007 Santa Fe NM USA June 18-20 2007. Proceedings
edited by James Aspnes Christian Scheideler Anish Arora Samuel Madden
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4549
オンライン: http://dx.doi.org/10.1007/978-3-540-73090-3
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Transactions on Data Hiding and Multimedia Security II
edited by Yun Q. Shi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4499
オンライン: http://dx.doi.org/10.1007/978-3-540-73092-7
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Statistical Network Analysis: Models Issues and New Directions : ICML 2006 Workshop on Statistical Network Analysis Pittsburgh PA USA June 29 2006 Revised Selected Papers
edited by Edoardo Airoldi David M. Blei Ste
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4503
オンライン: http://dx.doi.org/10.1007/978-3-540-73133-7
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Security and Privacy in Ad-hoc and Sensor Networks : 4th European Workshop ESAS 2007 Cambridge UK July 2-3 2007. Proceedings
edited by Frank Stajano Catherine Meadows Srdjan Capkun Tyler Moore
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4572
オンライン: http://dx.doi.org/10.1007/978-3-540-73275-4
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Public Key Infrastructure : 4th European PKI Workshop: Theory and Practice EuroPKI 2007 Palma de Mallorca Spain June 28-30 2007. Proceedings
edited by Javier Lopez Pierangela Samarati Josep L. Ferrer
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4582
オンライン: http://dx.doi.org/10.1007/978-3-540-73408-6
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Combinatorial Pattern Matching : 18th Annual Symposium CPM 2007 London Canada July 9-11 2007. Proceedings
edited by Bin Ma Kaizhong Zhang
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4580
オンライン: http://dx.doi.org/10.1007/978-3-540-73437-6
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Logic Language Information and Computation : 14th International Workshop WoLLIC 2007 Rio de Janeiro Brazil July 2-5 2007. Proceedings
edited by Daniel Leivant Ruy Queiroz
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4576
オンライン: http://dx.doi.org/10.1007/978-3-540-73445-1
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Information Security and Privacy : 12th Australasian Conference ACISP 2007 Townsville Australia July 2-4 2007. Proceedings
edited by Josef Pieprzyk Hossein Ghodosi Ed Dawson
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4586
オンライン: http://dx.doi.org/10.1007/978-3-540-73458-1
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Foundations of Genetic Algorithms : 9th International Workshop FOGA 2007 Mexico City Mexico January 8-112007 Revised Selected Papers
edited by Christopher R. Stephens Marc Toussaint Darrell Whitley Peter F. Stadler
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4436
オンライン: http://dx.doi.org/10.1007/978-3-540-73482-6
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Pairing-Based Cryptography ?EPairing 2007 : First International Conference Tokyo Japan July 2-4 2007. Proceedings
edited by Tsuyoshi Takagi Tatsuaki Okamoto Eiji Okamoto Takeshi Okamoto
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4575
オンライン: http://dx.doi.org/10.1007/978-3-540-73489-5
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. Data and Applications Security XXI : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security Redondo Beach CA USA July 8-11 2007. Proceedings
edited by Steve Barker Gail-Joon Ahn
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4602
オンライン: http://dx.doi.org/10.1007/978-3-540-73538-0
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Computing and Combinatorics : 13th Annual International Conference COCOON 2007 Banff Canada July 16-19 2007. Proceedings
edited by Guohui Lin
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4598
オンライン: http://dx.doi.org/10.1007/978-3-540-73545-8
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Unconventional Computation : 6th International Conference UC 2007 Kingston Canada August 13-17 2007. Proceedings
edited by Selim G. Akl Cristian S. Calude Michael J. Dinneen Grzegorz Rozenberg H. Todd Wareham
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4618
オンライン: http://dx.doi.org/10.1007/978-3-540-73554-0
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Combinatorial Optimization and Applications : First International Conference COCOA 2007 Xi’an China August 14-16 2007. Proceedings
edited by Andreas Dress Yinfeng Xu Binhai Zhu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4616
オンライン: http://dx.doi.org/10.1007/978-3-540-73556-4
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Conceptual Structures: Knowledge Architectures for Smart Applications : 15th International Conference on Conceptual Structures ICCS 2007 Sheffield UK July 22-27 2007. Proceedings
edited by Uta Priss Simon Polovina Ric
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4604
オンライン: http://dx.doi.org/10.1007/978-3-540-73681-3
所蔵情報: loading…