close
1.

電子ブック
ＥＢ
1. Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6814
オンライン: http://dx.doi.org/10.1007/978-3-642-22359-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
edited by Gul Agha, Olivier Danvy, José Meseguer
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7000
オンライン: http://dx.doi.org/10.1007/978-3-642-24933-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
edited by Roberto Bruni, Juergen Dingel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6722
オンライン: http://dx.doi.org/10.1007/978-3-642-21461-5
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
edited by Luca Aceto, Monika Henzinger, Jiří Sgall
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6756
オンライン: http://dx.doi.org/10.1007/978-3-642-22012-8
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Theory and Practice of Model Transformations : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
edited by Jordi Cabot, Eelco Visser
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6707
オンライン: http://dx.doi.org/10.1007/978-3-642-21732-6
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
edited by Sven Apel, Ethan Jackson
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6708
オンライン: http://dx.doi.org/10.1007/978-3-642-22045-6
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Objects, Models, Components, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
edited by Judith Bishop, Antonio Vallecillo
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6705
オンライン: http://dx.doi.org/10.1007/978-3-642-21952-8
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
edited by Alexander Romanovsky, Tullio Vardanega
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6652
オンライン: http://dx.doi.org/10.1007/978-3-642-21338-0
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
edited by John Hatcliff, Elena Zucca
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6117
オンライン: http://dx.doi.org/10.1007/978-3-642-13464-7
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Reliable Software Technologiey – Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
edited by Jorge Real, Tullio Vardanega
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6106
オンライン: http://dx.doi.org/10.1007/978-3-642-13550-7
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Objects, Models, Components, Patterns : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
edited by Jan Vitek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6141
オンライン: http://dx.doi.org/10.1007/978-3-642-13953-6
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
edited by Laurence Tratt, Martin Gogolla
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6142
オンライン: http://dx.doi.org/10.1007/978-3-642-13688-7
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
edited by Jürgen Dix, Michael Fisher, Peter Novák
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6214
オンライン: http://dx.doi.org/10.1007/978-3-642-16867-3
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday
edited by Simon Siegler, Nathan Wasser
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6463
オンライン: http://dx.doi.org/10.1007/978-3-642-17172-7
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5765
オンライン: http://dx.doi.org/10.1007/978-3-642-17322-6
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Central European Functional Programming School : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6299
オンライン: http://dx.doi.org/10.1007/978-3-642-17685-2
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
edited by Tayssir Touili, Byron Cook, Paul Jackson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6174
オンライン: http://dx.doi.org/10.1007/978-3-642-14295-6
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6300
オンライン: http://dx.doi.org/10.1007/978-3-642-15025-8
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Testing ? Practice and Research Techniques : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
edited by Leonardo Bottaci, Gordon Fraser
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6303
オンライン: http://dx.doi.org/10.1007/978-3-642-15585-7
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
edited by Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6245
オンライン: http://dx.doi.org/10.1007/978-3-642-14977-1
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 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, David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5522
オンライン: http://dx.doi.org/10.1007/978-3-642-02138-1
所蔵情報: loading…
22.

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

電子ブック
ＥＢ
23. Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium Tunis Tunisia November 20-24 2006Proceedings
edited by Kamel Barkaoui Ana Cavalcanti Antonio Cerone
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4281
オンライン: http://dx.doi.org/10.1007/11921240
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
edited by Keijiro Araki, Zhiming Liu
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3407
オンライン: http://dx.doi.org/10.1007/b107116
所蔵情報: loading…