close
1.

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

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

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

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

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

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

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

電子ブック
ＥＢ
8. Automated Technology for Verification and Analysis : 5th International Symposium ATVA 2007 Tokyo Japan October 22?E5 2007 Proceedings
edited by Kedar S. Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4762
オンライン: http://dx.doi.org/10.1007/978-3-540-75596-8
所蔵情報: loading…
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. Early Aspects: Current Challenges and Future Directions : 10th International Workshop Vancouver Canada March 13 2007 Revised Selected Papers
edited by Ana Moreira John Grundy
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4765
オンライン: http://dx.doi.org/10.1007/978-3-540-76811-1
所蔵情報: loading…
14.

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

電子ブック
ＥＢ
15. 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…
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. Runtime Verification : 7th International Workshop RV 2007 Vancover Canada March 13 2007 Revised Selected Papers
edited by Oleg Sokolsky Serdar Ta??ran
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4839
オンライン: http://dx.doi.org/10.1007/978-3-540-77395-5
所蔵情報: loading…
18.

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

電子ブック
ＥＢ
19. Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino
edited by Bernhard Beckert Reiner Hahnle Peter H. Schmitt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4334
オンライン: http://dx.doi.org/10.1007/978-3-540-69061-0
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. High Performance Embedded Architectures and Compilers : Second International Conference HiPEAC 2007 Ghent Belgium January 28-30 2007. Proceedings
edited by Koen Bosschere David Kaeli Per Stenstrom et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4367
オンライン: http://dx.doi.org/10.1007/978-3-540-69338-3
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Models in Software Engineering : Workshops and Symposia at MoDELS 2006 Genoa Italy October 1-62006 Reports and Revised Selected Papers
edited by Thomas Kuhne
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4364
オンライン: http://dx.doi.org/10.1007/978-3-540-69489-2
所蔵情報: loading…
22.

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

電子ブック
ＥＢ
23. Verification Model Checking and Abstract Interpretation : 8th International Conference VMCAI 2007 Nice France January 14-16 2007. Proceedings
edited by Byron Cook Andreas Podelski
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4349
オンライン: http://dx.doi.org/10.1007/978-3-540-69738-1
所蔵情報: loading…
24.

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

電子ブック
ＥＢ
25. Hardware and Software Verification and Testing : Second International Haifa Verification Conference HVC 2006 Haifa Israel October 23-26 2006. Revised Selected Papers
edited by Eyal Bin Avi Ziv Shmuel Ur
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4383
オンライン: http://dx.doi.org/10.1007/978-3-540-70889-6
所蔵情報: loading…
26.

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

電子ブック
ＥＢ
27. Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2006 and 5th International Workshop on Parallel and Distributed Methods in Verification
Brim Lubos ; Leucker Martin ; Pol Jaco van de ; Haverkort Boudewijn ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4346
オンライン: http://dx.doi.org/10.1007/978-3-540-70952-7
所蔵情報: loading…
28.

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

電子ブック
ＥＢ
29. Fundamental Approaches to Software Engineering : 10th International Conference FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2007 Braga Portugal
Dwyer Matthew B. ; Lopes Antonia ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4422
オンライン: http://dx.doi.org/10.1007/978-3-540-71289-3
所蔵情報: loading…
30.

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

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

電子ブック
ＥＢ
32. Foundations of Software Science and Computational Structures : 10th International Conference FOSSACS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2007 Braga Portugal
Seidl Helmut ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4423
オンライン: http://dx.doi.org/10.1007/978-3-540-71389-0
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Transactions on High-Performance Embedded Architectures and Compilers I
edited by Per Stenstrom
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4050
オンライン: http://dx.doi.org/10.1007/978-3-540-71528-3
所蔵情報: loading…
34.

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

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

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

電子ブック
ＥＢ
37. Programming Multi-Agent Systems : 4th International Workshop ProMAS 2006 Hakodate Japan May 92006 Revised and Invited Papers
edited by Rafael H. Bordini Mehdi Dastani Jurgen Dix Amal El Fallah Seghrouchni
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4411
オンライン: http://dx.doi.org/10.1007/978-3-540-71956-4
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2007 Bertinoro Italy May 28-June 2 2007 Advanced Lectures
edited by Marco Bernardo Jane Hillston
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4486
オンライン: http://dx.doi.org/10.1007/978-3-540-72522-0
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. 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…
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. Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference TestCom 2007 7th International Workshop FATES 2007 Tallinn Estonia June 26-29 2007. Proceedings
edited by Alexandre Petrenko
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4581
オンライン: http://dx.doi.org/10.1007/978-3-540-73066-8
所蔵情報: 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. 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…
45.

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

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

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

電子ブック
ＥＢ
48. Model Checking Software : 14th International SPIN Workshop Berlin Germany July 1-3 2007. Proceedings
edited by Dragan Bo?na?ki Stefan Edelkamp
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4595
オンライン: http://dx.doi.org/10.1007/978-3-540-73370-6
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Term Rewriting and Applications : 18th International Conference RTA 2007 Paris France June 26-28 2007. Proceedings
edited by Franz Baader
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4533
オンライン: http://dx.doi.org/10.1007/978-3-540-73449-9
所蔵情報: loading…
50.

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

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

電子ブック
ＥＢ
52. Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming CSCLP 2006 Caparica Portugal June 26-282006 Revised Selected and Invited Papers
edited by
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4651
オンライン: http://dx.doi.org/10.1007/978-3-540-73817-6
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Static Analysis : 14th International Symposium SAS 2007 Kongens Lyngby Denmark August 22-24 2007. Proceedings
edited by Hanne Riis Nielson Gilberto File
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4634
オンライン: http://dx.doi.org/10.1007/978-3-540-74061-2
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Implementation and Application of Functional Languages : 18th International Symposium IFL 2006 Budapest Hungary September 4-62006 Revised Selected Papers
edited by Zoltan Horvath Viktoria Zsok Andrew Butterfield
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4449
オンライン: http://dx.doi.org/10.1007/978-3-540-74130-5
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. CONCUR 2007 ?EConcurrency Theory : 18th International Conference CONCUR 2007 Lisbon Portugal September 3-8 2007. Proceedings
edited by Luis Caires Vasco T. Vasconcelos
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4703
オンライン: http://dx.doi.org/10.1007/978-3-540-74407-8
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Coordination Organizations Institutions and Norms in Agent Systems II : AAMAS 2006 and ECAI 2006 International Workshops COIN 2006 Hakodate Japan May 9 2006 Riva del Garda Italy August 28 2006. Revised Selected Papers
Noriega Pablo ; Dignum Virginia ; Boissier Olivier ; Matson Eric ; Vazquez-Salceda Javier ; Boella Guido ; Fornara Nicoletta ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4386
オンライン: http://dx.doi.org/10.1007/978-3-540-74459-7
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Types for Proofs and Programs : International Workshop TYPES 2006 Nottingham UK April 18-212006 Revised Selected Papers
edited by Thorsten Altenkirch Conor McBride
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4502
オンライン: http://dx.doi.org/10.1007/978-3-540-74464-1
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Logic Programming : 23rd International Conference ICLP 2007 Porto Portugal September 8-13 2007. Proceedings
edited by Veronica Dahl Ilkka Niemela
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4670
オンライン: http://dx.doi.org/10.1007/978-3-540-74610-2
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Formal Methods for Components and Objects : 5th International Symposium FMCO 2006 Amsterdam The Netherlands November 7-102006 Revised Lectures
edited by Frank S. Boer Marcello M. Bonsangue Susanne Graf Willem-Paul Roever
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4709
オンライン: http://dx.doi.org/10.1007/978-3-540-74792-5
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Foundations of Security Analysis and Design IV : FOSAD 2006/2007 Tutorial Lectures
edited by Alessandro Aldini Roberto Gorrieri
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4677
オンライン: http://dx.doi.org/10.1007/978-3-540-74810-6
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Principles and Practice of Constraint Programming ?ECP 2007 : 13th International Conference CP 2007 Providence RI USA September 23-27 2007. Proceedings
edited by Christian Bessiere
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4741
オンライン: http://dx.doi.org/10.1007/978-3-540-74970-7
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. ECOOPf 87 European Conference on Object-Oriented Programming : Paris France June 15-17 1987 Proceedings
edited by Jean B-zivin Jean-Marie Hullot Pierre Cointe Henry Lieberman
出版情報: Berlin Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Lecture Notes in Computer Science ; 276
オンライン: http://dx.doi.org/10.1007/3-540-47891-4
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Practical Aspects of Declarative Languages (vol. 3819) : 8th International Symposium PADL 2006 Charleston SC USA January 9-102006 Proceedings
edited by Pascal van Hentenryck
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3819
オンライン: http://dx.doi.org/10.1007/11603023
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Verification Model Checking and Abstract Interpretation (vol. 3855) : 7th International Conference VMCAI 2006 Charleston SC USA January 8-102006 Proceedings
edited by E. Allen Emerson Kedar S. Namjoshi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3855
オンライン: http://dx.doi.org/10.1007/11609773
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Types for Proofs and Programs : International Workshop TYPES 2004 Jouy-en-Josas France December 15-182004 Revised Selected Papers
edited by Jean-Christophe Filliatre Christine Paulin-Mohring Benjamin Werner
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3839
オンライン: http://dx.doi.org/10.1007/11617990
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Satellite Events at the MoDELS 2005 Conference : MoDELS 2005 International Workshop OCLWS MoDeVA MARTES AOM MTiP WiSME MODAUI Nfc MDD WUsCaM Montego Bay Jamaica October 2-72005 Revised Selected Papers
edit
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3844
オンライン: http://dx.doi.org/10.1007/11663430
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Hardware and Software Verification and Testing : First International Haifa Verification Conference Haifa Israel November 13-162005 Revised Selected Papers
edited by Shmuel Ur Eyal Bin Yaron Wolfsthal
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3875
オンライン: http://dx.doi.org/10.1007/11678779
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Programming Multi-Agent Systems (vol. 3862) : Third International Workshop ProMAS 2005 Utrecht The Netherlands July 262005 Revised and Invited Papers
edited by Rafael H. Bordini Mehdi Dastani J-rgen Dix Amal
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3862
オンライン: http://dx.doi.org/10.1007/11678823
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Defence Applications of Multi-Agent Systems : International Workshop DAMAS 2005 Utrecht The Netherlands July 252005 Revised and Invited Papers
edited by Simon G. Thompson Robert Ghanea-Hercock
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3890
オンライン: http://dx.doi.org/10.1007/11683704
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Transactions on Aspect-Oriented Software Development I
edited by Awais Rashid Mehmet Aksit
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3880
オンライン: http://dx.doi.org/10.1007/11687061
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Foundations of Software Science and Computational Structures (vol. 3921) : 9th International Conference FOSSACS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2006 Vienn
Aceto Luca ; Ing-lfsd-ttir Anna ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3921
オンライン: http://dx.doi.org/10.1007/11690634
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Fundamental Approaches to Software Engineering (vol. 3922) : 9th International Conference FASE 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2006 Vienna Austria March
Baresi Luciano ; Heckel Reiko ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3922
オンライン: http://dx.doi.org/10.1007/11693017
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Programming Languages and Systems (vol. 3924) : 15th European Symposium on Programming ESOP 2006 Held as Part of the Joint European
edited by Peter Sestoft
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3924
オンライン: http://dx.doi.org/10.1007/11693024
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Model Checking Software (vol. 3925) : 13th International SPIN Workshop Vienna Austria March 30 - April 12006 Proceedings
edited by Antti Valmari
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3925
オンライン: http://dx.doi.org/10.1007/11691617
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Declarative Agent Languages and Technologies III : Third International Workshop DALT 2005 Utrecht The Netherlands July 252005 Selected and Revised Papers
edited by Matteo Baldoni Ulle Endriss Andrea Omicini Pao
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3904
オンライン: http://dx.doi.org/10.1007/11691792
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Functional and Logic Programming : 8th International Symposium FLOPS 2006 Fuji-Susono Japan April 24-262006 Proceedings
edited by Masami Hagiya Philip Wadler
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3945
オンライン: http://dx.doi.org/10.1007/11737414
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Construction and Analysis of Safe Secure and Interoperable Smart Devices (vol. 3956) : Second International Workshop CASSIS 2005 Nice France March 8-112005 Revised Selected Papers
edited by Gilles Barthe Benj
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3956
オンライン: http://dx.doi.org/10.1007/11741060
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Agent-Oriented Software Engineering VI : 6th International Workshop AOSE 2005 Utrecht The Netherlands July 25 2005. Revised and Invited Papers
edited by J-rg P. M-ller Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3950
オンライン: http://dx.doi.org/10.1007/11752660
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Recent Advances in Constraints (vol. 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2005 Uppsala Sweden June 20-222005 Revised Selected and Invite
Hnich Brahim ; Fages Francois ; Rossi Francesca ; Carlsson Mats ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3978
オンライン: http://dx.doi.org/10.1007/11754602
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2006 Bertinoro Italy May 22-272006 Advances Lectures
edited
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3965
オンライン: http://dx.doi.org/10.1007/11757283
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Formal Approaches to Software Testing (vol. 3997) : 5th International Workshop FATES 2005 Edinburgh UK July 112005 Revised Selected Papers
edited by Wolfgang Grieskamp Carsten Weise
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3997
オンライン: http://dx.doi.org/10.1007/11759744
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Reliable Software Technologies -- Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies Porto Portugal June 5-92006 Proceedings
edited by Lu-s Miguel Pinho Michael Gonz-lez H
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4006
オンライン: http://dx.doi.org/10.1007/11767077
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Unifying Theories of Programming : First International Symposium UTP 2006 Walworth Castle County Durham UK February 5-72006 Revised Selected Papers
edited by Steve Dunne Bill Stoddart
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4010
オンライン: http://dx.doi.org/10.1007/11768173
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Formal Methods for Open Object-Based Distributed Systems (vol. 4037) : 8th IFIP WG 6.1 International Conference FMOODS 2006 Bologna Italy June 14-162006 Proceedings
edited by Roberto Gorrieri Heike Wehrheim
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4037
オンライン: http://dx.doi.org/10.1007/11768869
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Extreme Programming and Agile Processes in Software Engineering (vol. 4044) : 7th International Conference XP 2006 Oulu Finland June 17-222006 Proceedings
edited by Pekka Abrahamsson Michele Marchesi Giancarlo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4044
オンライン: http://dx.doi.org/10.1007/11774129
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Distributed Applications and Interoperable Systems (vol. 4025) : 6th IFIP WG 6.1 International Conference DAIS 2006 Athens Greece June 14-16 2006
edited by Frank Eliassen Alberto Montresor
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4025
オンライン: http://dx.doi.org/10.1007/11773887
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Coordination Organizations Institutions and Norms in Multi-Agent Systems : AAMAS 2005 International Workshops on Agents Norms and Institutions for Regulated Multiagent Systems ANIREM 2005 and on Organizations in Mul
Boissier Olivier ; Matson Eric ; V-zquez-Salceda Javier ; Sichman Jaime ; Ossowski Sascha ; Lindemann Gabriela ; Dignum Virginia ; Padget Julian ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3913
オンライン: http://dx.doi.org/10.1007/11775331
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Component-Based Software Engineering (vol. 4063) : 9th International Symposium CBSE 2006 V-steras Sweden June 29 - July 12006 Proceedings
edited by Ian GortonGeorge T. Heinemann Ivica Crnkovic Heinz W. Schmidt
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4063
オンライン: http://dx.doi.org/10.1007/11783565
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Mathematics of Program Construction : 8th International Conference MPC 2006 Kuressaare Estonia July 3-52006 Proceedings
edited by Tarmo Uustalu
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4014
オンライン: http://dx.doi.org/10.1007/11783596
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. ECOOP 2006 - Object-Oriented Programming : 20th European Conference Nantes France July 3-72006 Proceedings
edited by Dave Thomas
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4067
オンライン: http://dx.doi.org/10.1007/11785477
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Architecting Systems with Trustworthy Components : International Seminar Dagstuhl Castle Germany December 12-17 2004. Revised Selected Papers
edited by Ralf H. Reussner Judith A. Stafford Clemens A. Szyperski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3938
オンライン: http://dx.doi.org/10.1007/11786160
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Logic Programming (vol. 4079) : 22nd International Conference ICLP 2006 Seattle WA USA August 17-202006 Proceedings
edited by Sandro Etalle Miroslav Truszczynski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4079
オンライン: http://dx.doi.org/10.1007/11799573
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Formal Methods for Components and Objects (vol. 4111) : 4th International Symposium FMCO 2005 Amsterdam The Netherlands November 1-42005 Revised Lectures
edited by Frank S. de Boer Marcello M. Bonsangue Susann
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4111
オンライン: http://dx.doi.org/10.1007/11804192
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings
edited by Frank Pfenning
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4098
オンライン: http://dx.doi.org/10.1007/11805618
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. FM 2006: Formal Methods : 14th International Symposium on Formal Methods Hamilton Canada August 21-272006 Proceedings
edited by Jayadev Misra Tobias Nipkow Emil Sekerinski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4085
オンライン: http://dx.doi.org/10.1007/11813040
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. CONCUR 2006 - Concurrency Theory : 17th International Conference CONCUR 2006 Bonn Germany August 27-30 2006
edited by Christel Baier Holger Hermanns
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4137
オンライン: http://dx.doi.org/10.1007/11817949
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Advanced Topics in Exception Handling Techniques
edited by Christophe Dony Jorgen Lindskov Knudsen Alexander Romanovsky Anand Tripathi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4119
オンライン: http://dx.doi.org/10.1007/11818502
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Software Composition (vol. 4089) : 5th International Symposium SC 2006 Vienna Austria March 25-262006 Revised Papers
edited by Welf L-we Mario S-dholt
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4089
オンライン: http://dx.doi.org/10.1007/11821946
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Static Analysis (vol. 4134) : 13th International Symposium SAS 2006 Seoul Korea August 29-312006 Proceedings
edited by Kwangkeun Yi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4134
オンライン: http://dx.doi.org/10.1007/11823230
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. 4192) : 13th European PVM/MPI User's Group Meeting Bonn Germany September 17-202006 Proceedings
edited by Bernd Mohr Jesper Larsson
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4192
オンライン: http://dx.doi.org/10.1007/11846802
所蔵情報: loading…