close
1.

電子ブック
ＥＢ
1. Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
edited by Patricia M. Hill, David S. Warren
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5649
オンライン: http://dx.doi.org/10.1007/978-3-642-02846-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Software Language Engineering : First International Conference, SLE 2008, Toulouse, France, September 29-30, 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, Dragan Ga?evi?, Ralf Lammel, Eric Wyk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5452
オンライン: http://dx.doi.org/10.1007/978-3-642-00434-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Conceptual Modeling: Foundations and Applications : Essays in Honor of John Mylopoulos
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, Alexander T. Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. Yu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5600
オンライン: http://dx.doi.org/10.1007/978-3-642-02463-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5520
オンライン: http://dx.doi.org/10.1007/978-3-642-03153-3
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
edited by Darren Cofer, Alessandro Fantechi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5596
オンライン: http://dx.doi.org/10.1007/978-3-642-03240-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
edited by Angelo Oddi, Francois Fages, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5655
オンライン: http://dx.doi.org/10.1007/978-3-642-03251-6
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and 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, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5442
オンライン: http://dx.doi.org/10.1007/978-3-642-03278-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. High Performance Embedded Architectures and Compilers : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 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, Andre Seznec, Joel Emer, Michael O’Boyle, Margaret Martonosi, Theo Ungerer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5409
オンライン: http://dx.doi.org/10.1007/978-3-540-92990-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 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, Neil D. Jones, Markus Muller-Olm
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5403
オンライン: http://dx.doi.org/10.1007/978-3-540-93900-9
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5397
オンライン: http://dx.doi.org/10.1007/978-3-540-93920-7
所蔵情報: loading…