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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
13. Progress in Artificial Intelligence : 13th Portuguese Conference on Aritficial Intelligence EPIA 2007 Workshops: GAIW AIASTS ALEA AMITA BAOSW BI CMBSB IROBOT MASTA STCS and TEMA Guimaraes Portugal
Neves Jose ; Machado Jose Manuel ; Santos Manuel Filipe ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4874
オンライン: http://dx.doi.org/10.1007/978-3-540-77002-2
所蔵情報: loading…
14.

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

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

電子ブック
ＥＢ
16. Software Composition : 6th International Symposium SC 2007 Braga Portugal March 24-25 2007 Revised Selected Papers
edited by Markus Lumpe Wim Vanderperren
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4829
オンライン: http://dx.doi.org/10.1007/978-3-540-77351-1
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris France October 16-18 2006 Revised Selected Papers
edited by Fabrice Kordon Oleg Sokolsky
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4888
オンライン: http://dx.doi.org/10.1007/978-3-540-77419-8
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Practical Aspects of Declarative Languages : 9th International Symposium PADL 2007 Nice France January 14-15 2007. Proceedings
edited by Michael Hanus
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4354
オンライン: http://dx.doi.org/10.1007/978-3-540-69611-7
所蔵情報: loading…
19.

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

電子ブック
ＥＢ
20. Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference PSI 2006 Novosibirsk Russia June 27-30 2006. Revised Papers
edited by Irina Virbitskaite Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4378
オンライン: http://dx.doi.org/10.1007/978-3-540-70881-0
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Agent-Oriented Software Engineering VII : 7th International Workshop AOSE 2006 Hakodate Japan May 82006 Revised and Invited Papers
edited by Lin Padgham Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4405
オンライン: http://dx.doi.org/10.1007/978-3-540-70945-9
所蔵情報: loading…
22.

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

電子ブック
ＥＢ
23. Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005 Laguna Beach CA USA September 22-24 2005. Revised Selected Papers
edited by Fabrice Kordon Janos Sztipanovits
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4322
オンライン: http://dx.doi.org/10.1007/978-3-540-71156-8
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Programming Languages and Systems : 16th European Symposium on Programming ESOP 2007 Held as Part of the Joint European Conferences on Theory and Practics of Software ETAPS 2007 Braga Portugal
Nicola Rocco ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4421
オンライン: http://dx.doi.org/10.1007/978-3-540-71316-6
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Program Analysis and Compilation Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
edited by Thomas Reps Mooly Sagiv Jorg Bauer
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4444
オンライン: http://dx.doi.org/10.1007/978-3-540-71322-7
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Logic-Based Program Synthesis and Transformation : 16th International Symposium LOPSTR 2006 Venice Italy July 12-142006 Revised Selected Papers
edited by German Puebla
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4407
オンライン: http://dx.doi.org/10.1007/978-3-540-71410-1
所蔵情報: loading…
27.

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

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

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

電子ブック
ＥＢ
30. Object-Oriented Technology. ECOOP 2006 Workshop Reader : ECOOP 2006 Workshops Nantes France July 3-72006 Final Reports
edited by Mario Sudholt Charles Consel
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4379
オンライン: http://dx.doi.org/10.1007/978-3-540-71774-4
所蔵情報: loading…
31.

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

電子ブック
ＥＢ
32. Applications of Evolutinary Computing : EvoWorkshops 2007: EvoCoMnet EvoFIN EvoIASPEvoINTERACTION EvoMUSART EvoSTOC and EvoTransLog. Proceedings
edited by Mario Giacobini
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4448
オンライン: http://dx.doi.org/10.1007/978-3-540-71805-5
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Advances in Smalltalk : 14th International Smalltalk Conference ISC 2006 Prague Czech Republic September 4-82006 Revised Selected Papers
edited by Wolfgang Meuter
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4406
オンライン: http://dx.doi.org/10.1007/978-3-540-71836-9
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. All About Maude - A High-Performance Logical Framework : How to Specify Program and Verify Systems in Rewriting Logic
by Manuel Clavel Francisco Duran Steven Eker Patrick Lincoln Narciso Marti-Oliet et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4350
オンライン: http://dx.doi.org/10.1007/978-3-540-71999-1
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Logic Programming and Nonmonotonic Reasoning : 9th International Conference LPNMR 2007 Tempe AZ USA May 15-17 2007. Proceedings
edited by Chitta Baral Gerhard Brewka John Schlipf
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4483
オンライン: http://dx.doi.org/10.1007/978-3-540-72200-7
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Software Process Dynamics and Agility : International Conference on Software Process ICSP 2007 Minneapolis MN USA May 19-20 2007. Proceedings
edited by Qing Wang Dietmar Pfahl David M. Raffo
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4470
オンライン: http://dx.doi.org/10.1007/978-3-540-72426-1
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Languages and Compilers for Parallel Computing : 19th International Workshop LCPC 2006 New Orleans LA USA November 2-4 2006. Revised Papers
edited by George Almasi C?lin Ca?caval Peng Wu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4382
オンライン: http://dx.doi.org/10.1007/978-3-540-72521-3
所蔵情報: loading…
38.

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

電子ブック
ＥＢ
39. Coordination Models and Languages : 9th International Conference COORDINATION 2007 Paphos Cyprus June 6-82007 Proceedings
edited by Amy L. Murphy Jan Vitek
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4467
オンライン: http://dx.doi.org/10.1007/978-3-540-72794-1
所蔵情報: loading…
40.

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

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

電子ブック
ＥＢ
42. Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference TABLEAUX 2007 Aix en Provence France July 3-6 2007. Proceedings
edited by Nicola Olivetti
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4548
オンライン: http://dx.doi.org/10.1007/978-3-540-73099-6
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Agile Processes in Software Engineering and Extreme Programming : 8th International Conference XP 2007 Como Italy June 18-22 2007. Proceedings
edited by Giulio Concas Ernesto Damiani et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4536
オンライン: http://dx.doi.org/10.1007/978-3-540-73101-6
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Software Engineering for Multi-Agent Systems V : Research Issues and Practical Applications
edited by Ricardo Choren Alessandro Garcia Holger Giese Ho-fung Leung Carlos Lucena Alexander Romanovsky
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4408
オンライン: http://dx.doi.org/10.1007/978-3-540-73131-3
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Rewriting Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
edited by Hubert Comon-Lundh Claude Kirchner Helene Kirchner
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4600
オンライン: http://dx.doi.org/10.1007/978-3-540-73147-4
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Integrated Formal Methods : 6th International Conference IFM 2007 Oxford UK July 2-5 2007. Proceedings
edited by Jim Davies Jeremy Gibbons
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4591
オンライン: http://dx.doi.org/10.1007/978-3-540-73210-5
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Typed Lambda Calculi and Applications : 8th International ConferenceTLCA 2007 Paris FranceJune 26-28 2007. Proceedings
edited by Simona Ronchi Rocca
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4583
オンライン: http://dx.doi.org/10.1007/978-3-540-73228-0
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Reliable Software Technologies - Ada Europe 2007 : 12th Ada-Europe Intenational Conference on Reliable Software Technologies Geneva Switzerland June 25-29 2007 Proceedings
edited by Nabil Abdennahder Fabrice Kordon
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4498
オンライン: http://dx.doi.org/10.1007/978-3-540-73230-3
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Component-Based Software Engineering : 10th International Symposium CBSE 2007 Medford MA USA July 9-11 2007. Proceedings
edited by Heinz W. Schmidt Ivica Crnkovic George T. Heineman Judith A. Stafford
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4608
オンライン: http://dx.doi.org/10.1007/978-3-540-73551-9
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. ECOOP 2007 ?EObject-Oriented Programming : 21st European Conference Berlin Germany July 30 - August 3 2007. Proceedings
edited by Erik Ernst
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4609
オンライン: http://dx.doi.org/10.1007/978-3-540-73589-2
所蔵情報: loading…