close
1.

電子ブック
ＥＢ
1. Sensor Systems and Software : Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
edited by Gerard Par, Philip Morrow
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 57
オンライン: http://dx.doi.org/10.1007/978-3-642-23583-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Forensics in Telecommunications, Information, and Multimedia : Third International ICST Conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers
edited by Xuejia Lai, Dawu Gu, Bo Jin, Yongquan Wang, Hui Li
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 56
オンライン: http://dx.doi.org/10.1007/978-3-642-23602-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Access Networks : 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010, Revised Selected Papers
edited by Róbert Szabó, Hua Zhu, Sándor Imre, Ranganai Chaparadza
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 63
オンライン: http://dx.doi.org/10.1007/978-3-642-20931-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. UNIX Operating System : The Development Tutorial via UNIX Kernel Services
by Yukun Liu, Yong Yue, Liwei Guo
出版情報: Berlin, Heidelberg : Higher Education Press, Beijing and Springer Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-20432-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Advanced Parallel Processing Technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings
edited by Olivier Temam, Pen-Chung Yew, Binyu Zang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6965
オンライン: http://dx.doi.org/10.1007/978-3-642-24151-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Communications and Multimedia Security : 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings
edited by Bart Decker, Jorn Lapon, Vincent Naessens, Andreas Uhl
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7025
オンライン: http://dx.doi.org/10.1007/978-3-642-24712-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6710
オンライン: http://dx.doi.org/10.1007/978-3-642-22444-7
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Network and Parallel Computing : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
edited by Erik Altman, Weisong Shi
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 6985
オンライン: http://dx.doi.org/10.1007/978-3-642-24403-2
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Introduction to Reliable and Secure Distributed Programming
by Christian Cachin, Rachid Guerraoui, Luís Rodrigues
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-15260-3
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Understanding Concurrent Systems
by A.W. Roscoe
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Texts in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-1-84882-258-0
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Model-Based Software Performance Analysis
by Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-13621-4
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Analyzing Computer System Performance with Perl::PDQ
by Neil J. Gunther
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-22583-3
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Data Privacy Management and Autonomous Spontaneous Security : 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6514
オンライン: http://dx.doi.org/10.1007/978-3-642-19348-4
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Architecture of Computing Systems - ARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6566
オンライン: http://dx.doi.org/10.1007/978-3-642-19137-4
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Selected Areas in Cryptography : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers
edited by Alex Biryukov, Guang Gong, Douglas R. Stinson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6544
オンライン: http://dx.doi.org/10.1007/978-3-642-19574-7
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6617
オンライン: http://dx.doi.org/10.1007/978-3-642-20398-5
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Analytical and Stochastic Modeling Techniques and Applications : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
edited by Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Andrea Marin
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6751
オンライン: http://dx.doi.org/10.1007/978-3-642-21713-5
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Managing the Dynamics of Networks and Services : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
edited by Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6734
オンライン: http://dx.doi.org/10.1007/978-3-642-21484-4
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Progress in Cryptology – AFRICACRYPT 2011 : 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings
edited by Abderrahmane Nitaj, David Pointcheval
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6737
オンライン: http://dx.doi.org/10.1007/978-3-642-21969-6
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
edited by Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6615
オンライン: http://dx.doi.org/10.1007/978-3-642-22137-8
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Information Security and Privacy : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings
edited by Udaya Parampalli, Philip Hawkes
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6812
オンライン: http://dx.doi.org/10.1007/978-3-642-22497-3
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6852
オンライン: http://dx.doi.org/10.1007/978-3-642-23400-2
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6853
オンライン: http://dx.doi.org/10.1007/978-3-642-23397-5
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
edited by Myra B. Cohen, Mel Ó Cinnéide
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6956
オンライン: http://dx.doi.org/10.1007/978-3-642-23716-4
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Communications and Multimedia Security : 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
edited by Bart Decker, Ingrid Schaumüller-Bichl
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6109
オンライン: http://dx.doi.org/10.1007/978-3-642-13241-4
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Post-Quantum Cryptography : Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
edited by Nicolas Sendrier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6061
オンライン: http://dx.doi.org/10.1007/978-3-642-12929-2
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Distributed Computing in Sensor Systems : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
edited by Rajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6131
オンライン: http://dx.doi.org/10.1007/978-3-642-13651-1
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Mechanisms for Autonomous Management of Networks and Services : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
edited by Burkhard Stiller, Filip Turck
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6155
オンライン: http://dx.doi.org/10.1007/978-3-642-13986-4
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Network and Parallel Computing : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
edited by Chen Ding, Zhiyuan Shao, Ran Zheng
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6289
オンライン: http://dx.doi.org/10.1007/978-3-642-15672-4
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Job Scheduling Strategies for Parallel Processing : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
edited by Eitan Frachtenberg, Uwe Schwiegelshohn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6253
オンライン: http://dx.doi.org/10.1007/978-3-642-16505-4
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6286
オンライン: http://dx.doi.org/10.1007/978-3-642-17071-3
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Provenance and Annotation of Data and Processes : Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers
edited by Deborah L. McGuinness, James R. Michaelis, Luc Moreau
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6378
オンライン: http://dx.doi.org/10.1007/978-3-642-17819-1
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Applications of Evolutionary Computation : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jorn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6025
オンライン: http://dx.doi.org/10.1007/978-3-642-12242-2
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Architecture of Computing Systems - ARCS 2010 : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings
edited by Christian Muller-Schloer, Wolfgang Karl, Sami Yehia
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5974
オンライン: http://dx.doi.org/10.1007/978-3-642-11950-7
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Progress in Cryptology ? AFRICACRYPT 2010 : Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings
edited by Daniel J. Bernstein, Tanja Lange
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6055
オンライン: http://dx.doi.org/10.1007/978-3-642-12678-9
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Advances in Grid and Pervasive Computing : 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
edited by Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, Peter M. A. Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6104
オンライン: http://dx.doi.org/10.1007/978-3-642-13067-0
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Large-Scale Scientific Computing : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wa?niewski
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5910
オンライン: http://dx.doi.org/10.1007/978-3-642-12535-5
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Pervasive Computing : 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings
edited by Patrik Floreen, Antonio Kruger, Mirjana Spasojevic
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6030
オンライン: http://dx.doi.org/10.1007/978-3-642-12654-3
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Engineering Secure Software and Systems : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Fabio Massacci, Samuel T. Redwine, Nicola Zannone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5429
オンライン: http://dx.doi.org/10.1007/978-3-642-00199-4
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Architecture of Computing Systems ? ARCS 2009 : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Mladen Berekovic, Christian Muller-Schloer, Christian Hochberger, Stephan Wong
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5455
オンライン: http://dx.doi.org/10.1007/978-3-642-00454-4
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Methods, Models and Tools for Fault Tolerance
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5454
オンライン: http://dx.doi.org/10.1007/978-3-642-00867-2
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Evolving OpenMP in an Age of Extreme Parallelism : 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Matthias S. Muller, Bronis R. Supinski, Barbara M. Chapman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5568
オンライン: http://dx.doi.org/10.1007/978-3-642-02303-3
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Organized Adaption in Multi-Agent Systems : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, George Vouros, Alexander Artikis, Kostas Stathis, Jeremy Pitt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5368
オンライン: http://dx.doi.org/10.1007/978-3-642-02377-4
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Euro-Par 2009 Parallel Processing : 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
edited by Henk Sips, Dick Epema, Hai-Xiang Lin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5704
オンライン: http://dx.doi.org/10.1007/978-3-642-03869-3
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5751
オンライン: http://dx.doi.org/10.1007/978-3-642-04167-9
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Job Scheduling Strategies for Parallel Processing : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers
edited by Eitan Frachtenberg, Uwe Schwiegelshohn
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5798
オンライン: http://dx.doi.org/10.1007/978-3-642-04633-9
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Advances in Information and Computer Security : 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
edited by Tsuyoshi Takagi, Masahiro Mambo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5824
オンライン: http://dx.doi.org/10.1007/978-3-642-04846-3
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Architecting Dependable Systems VI
edited by Rogerio Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5835
オンライン: http://dx.doi.org/10.1007/978-3-642-10248-6
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Middleware 2009 : ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 ? December 4, 2009. Proceedings
edited by Jean M. Bacon, Brian F. Cooper
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5896
オンライン: http://dx.doi.org/10.1007/978-3-642-10445-9
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Advances in Grid and Pervasive Computing : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
edited by Song Wu, Laurence T. Yang, Tony Li Xu
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5036
オンライン: http://dx.doi.org/10.1007/978-3-540-68083-3
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Rene Meier, Sotirios Terzis
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5053
オンライン: http://dx.doi.org/10.1007/978-3-540-68642-2
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
edited by Kees M. Hee, Rudiger Valk
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5062
オンライン: http://dx.doi.org/10.1007/978-3-540-68746-7
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Formal Techniques for Networked and Distributed Systems ?EFORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5048
オンライン: http://dx.doi.org/10.1007/978-3-540-68855-6
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
edited by Gilles Barthe, Frank S. Boer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5051
オンライン: http://dx.doi.org/10.1007/978-3-540-68863-1
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Dependability Metrics : Advanced Lectures
edited by Irene Eusgeld, Felix C. Freiling, Ralf Reussner
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4909
オンライン: http://dx.doi.org/10.1007/978-3-540-68947-8
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
edited by Bertrand Meyer, Jim Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4171
オンライン: http://dx.doi.org/10.1007/978-3-540-69149-5
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Distributed Computing in Sensor Systems : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
edited by Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Kr
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5067
オンライン: http://dx.doi.org/10.1007/978-3-540-69170-9
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Architecture of Computing Systems ?EARCS 2008 : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
edited by Uwe Brinkschulte, Theo Ungerer, Christian Hochberger, Rainer G. Spallek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4934
オンライン: http://dx.doi.org/10.1007/978-3-540-78153-0
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Job Scheduling Strategies for Parallel Processing : 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
edited by Eitan Frachtenberg, Uwe Schwiegelshohn
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4942
オンライン: http://dx.doi.org/10.1007/978-3-540-78699-3
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Theory and Applications of Satisfiability Testing ?ESAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
edited by Hans Kleine Buning, Xishun Zhao
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4996
オンライン: http://dx.doi.org/10.1007/978-3-540-79719-7
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Secure Transaction Protocol Analysis : Models and Applications
by Qingfeng Chen, Chengqi Zhang, Shichao Zhang ; edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5111
オンライン: http://dx.doi.org/10.1007/978-3-540-85074-8
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Secure Data Management : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Willem Jonker, Milan Petkovi?E
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5159
オンライン: http://dx.doi.org/10.1007/978-3-540-85259-9
所蔵情報: loading…
63.

電子ブック

ＥＢ
63. Architecting Dependable Systems V
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Rogerio Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5135
オンライン: http://dx.doi.org/10.1007/978-3-540-85571-2
所蔵情報: loading…
64.

電子ブック

ＥＢ
64. Distributed Computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Gadi Taubenfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5218
オンライン: http://dx.doi.org/10.1007/978-3-540-87779-0
所蔵情報: loading…
65.

電子ブック

ＥＢ
65. Cooperative Design, Visualization, and Engineering : 5th International Conference, CDVE 2008 Calvia, Mallorca, Spain, September 21-25, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yuhua Luo
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5220
オンライン: http://dx.doi.org/10.1007/978-3-540-88011-0
所蔵情報: loading…
66.

電子ブック

ＥＢ
66. Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Hirschfeld, Kim Rose
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5146
オンライン: http://dx.doi.org/10.1007/978-3-540-89275-5
所蔵情報: loading…
67.

電子ブック

ＥＢ
67. Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, G. Ramalingam
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5356
オンライン: http://dx.doi.org/10.1007/978-3-540-89330-1
所蔵情報: loading…
68.

電子ブック

ＥＢ
68. Advances in Information and Computer Security : Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kanta Matsuura, Eiichiro Fujisaki
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5312
オンライン: http://dx.doi.org/10.1007/978-3-540-89598-5
所蔵情報: loading…
69.

電子ブック

ＥＢ
69. Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Valerie Issarny, Richard Schantz
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5346
オンライン: http://dx.doi.org/10.1007/978-3-540-89856-6
所蔵情報: loading…
70.

電子ブック

ＥＢ
70. Provenance and Annotation of Data and Processes : Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Juliana Freire, David Koop, Luc Moreau
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5272
オンライン: http://dx.doi.org/10.1007/978-3-540-89965-5
所蔵情報: loading…
71.

電子ブック

ＥＢ
71. Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5382
オンライン: http://dx.doi.org/10.1007/978-3-540-92188-2
所蔵情報: loading…
72.

電子ブック

ＥＢ
72. Computer Supported Cooperative Work in Design IV : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Weiming Shen, Jianming Yong, Yun Yang, Jean-Paul A. Barthes, Junzhou Luo
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5236
オンライン: http://dx.doi.org/10.1007/978-3-540-92719-8
所蔵情報: loading…
73.

電子ブック

ＥＢ
73. Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ivan Lirkov, Svetozar Margenov, Jerzy Wa?niewski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Computer Science ; 4818
オンライン: http://dx.doi.org/10.1007/978-3-540-78827-0
所蔵情報: loading…
74.

電子ブック

ＥＢ
74. 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…
75.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

ＥＢ
78. 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…
79.

電子ブック

ＥＢ
79. 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…
80.

電子ブック

ＥＢ
80. 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…
81.

電子ブック

ＥＢ
81. 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…
82.

電子ブック

ＥＢ
82. Principles of Distributed Systems : 11th International Conference OPODIS 2007 Guadeloupe French West Indies December 17-20 2007. Proceedings
edited by Eduardo Tovar Philippas Tsigas Hacene Fouchal
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4878
オンライン: http://dx.doi.org/10.1007/978-3-540-77096-1
所蔵情報: loading…
83.

電子ブック

ＥＢ
83. Grid Computing : Experiment Management Tool Integration and Scientific Workflows
by Radu Prodan Thomas Fahringer
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4340
オンライン: http://dx.doi.org/10.1007/978-3-540-69262-1
所蔵情報: loading…
84.

電子ブック

ＥＢ
84. Engineering Self-Organising Systems : 4th International Workshop ESOA 2006 Hakodate Japan May 92006 Revised and Invited Papers
edited by Sven A. Brueckner Salima Hassas Mark Jelasity Daniel Yamins
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4335
オンライン: http://dx.doi.org/10.1007/978-3-540-69868-5
所蔵情報: loading…
85.

電子ブック

ＥＢ
85. 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…
86.

電子ブック

ＥＢ
86. Architecture of Computing Systems - ARCS 2007 : 20th International Conference Zurich Switzerland March 12-15 2007. Proceedings
edited by Paul Lukowicz Lothar Thiele Gerhard Troster
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4415
オンライン: http://dx.doi.org/10.1007/978-3-540-71270-1
所蔵情報: loading…
87.

電子ブック

ＥＢ
87. Active Networks : IFIP TC6 6th International Working Conference IWAN 2004 Lawrence KS USA October 27-292004 Revised Papers
edited by Gary J. Minden
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 3912
オンライン: http://dx.doi.org/10.1007/978-3-540-71500-9
所蔵情報: loading…
88.

電子ブック

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

電子ブック

ＥＢ
89. Embedded Software and Systems : Third International Conference ICESS 2007 Daegu Korea May 14-162007 Proceedings
edited by Yann-Hang LeeHeung-Nam Kim Jong Kim Yongwan Park et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4523
オンライン: http://dx.doi.org/10.1007/978-3-540-72685-2
所蔵情報: loading…
90.

電子ブック

ＥＢ
90. 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…
91.

電子ブック

ＥＢ
91. Computer Supported Cooperative Work in Design III : 10th International Conference CSCWD 2006 Nanjing China May 3-52006 Revised Selected Papers
edited by Weiming Shen Junzhou Luo Zongkai Lin Jean-Paul A. Barthes Qi
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4402
オンライン: http://dx.doi.org/10.1007/978-3-540-72863-4
所蔵情報: loading…
92.

電子ブック

ＥＢ
92. Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 International Conference DAIS 2007 Paphos Cyprus June 6-82007 Proccedings
edited by Jadwiga Indulska Kerry Raymond
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4531
オンライン: http://dx.doi.org/10.1007/978-3-540-72883-2
所蔵情報: loading…
93.

電子ブック

ＥＢ
93. Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos Cyprus June 6-8 2007 Proceedings
edited by Marcello M. Bonsangue Einar Broch Johnsen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4468
オンライン: http://dx.doi.org/10.1007/978-3-540-72952-5
所蔵情報: loading…
94.

電子ブック

ＥＢ
94. 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…
95.

電子ブック

ＥＢ
95. Petri Nets and Other Models of Concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ICATPN 2007 Siedlce Poland June 25-29 2007 Proceeding
Kleijn Jetty ; Yakovlev Alex ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4546
オンライン: http://dx.doi.org/10.1007/978-3-540-73094-1
所蔵情報: loading…
96.

電子ブック

ＥＢ
96. Formal Techniques for Networked and Distributed Systems ?EFORTE 2007 : 27th IFIP WG 6.1 International Conference Tallinn Estonia June 27-29 2007. Proceedings
edited by John Derrick Juri Vain
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4574
オンライン: http://dx.doi.org/10.1007/978-3-540-73196-2
所蔵情報: loading…
97.

電子ブック

ＥＢ
97. Architecting Dependable Systems IV
edited by Rogerio Lemos Cristina Gacek Alexander Romanovsky
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4615
オンライン: http://dx.doi.org/10.1007/978-3-540-74035-3
所蔵情報: loading…
98.

電子ブック

ＥＢ
98. Advances in Computer Systems Architecture : 12th Asia-Pacific Conference ACSAC 2007 Seoul Korea August 23-25 2007. Proceedings
edited by Lynn Choi Yunheung Paek Sangyeun Cho
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4697
オンライン: http://dx.doi.org/10.1007/978-3-540-74309-5
所蔵情報: loading…
99.

電子ブック

ＥＢ
99. Recent Advances in Intrusion Detection : 10th International Symposium RAID 2007 Gold Goast Australia September 5-7 2007. Proceedings
edited by Christopher Kruegel Richard Lippmann Andrew Clark
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4637
オンライン: http://dx.doi.org/10.1007/978-3-540-74320-0
所蔵情報: loading…
100.

電子ブック

ＥＢ
100. Cryptographic Hardware and Embedded Systems - CHES 2007 : 9th International Workshop Vienna Austria September 10-13 2007. Proceedings
edited by Pascal Paillier Ingrid Verbauwhede
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4727
オンライン: http://dx.doi.org/10.1007/978-3-540-74735-2
所蔵情報: loading…