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…