warning: Invalid argument supplied for foreach() in /var/www/html/opc/sites/all/modules/xc/xc_search/searching/xc_search_block.inc on line 428.
1.

図書
図書
1. Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Mooly Sagiv (ed.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3444
所蔵情報: loading…
2.

図書
図書
2. Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
David Sands (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2028
所蔵情報: loading…
3.

図書
図書
3. Advanced topics in types and programming languages
Benjamin C. Pierce, editor
出版情報: Cambridge, Mass. : MIT Press, c2005
所蔵情報: loading…
4.

図書
図書
4. Essentials of programming languages. 2nd ed
Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
出版情報: Cambridge, Mass. : MIT Press, 2001
所蔵情報: loading…
5.

図書
図書
5. Introduction to the theory of programming languages (: pbk)
Gilles Dowek, Jean-Jacques Lévy
出版情報: London : Springer, c2011
シリーズ名: Undergraduate topics in computer science
所蔵情報: loading…
6.

図書
図書
6. Concepts of programming languages. 10th ed.
Robert W. Sebesta
出版情報: Boston : Pearson, c2012
所蔵情報: loading…
7.

図書
図書
7. Programming language pragmatics. 3rd ed (: pbk)
Michael L. Scott
出版情報: Burlington, MA : Morgan Kaufmann , Amsterdam : Elsevier, c2009
所蔵情報: loading…
8.

図書
図書
8. Types and programming languages (: hc)
Benjamin C. Pierce
出版情報: Cambridge, Mass. : MIT Press, c2002
所蔵情報: loading…
9.

図書
図書
9. Principles of programming languages (: pbk)
Gilles Dowek
出版情報: London : Springer, c2009
シリーズ名: Undergraduate topics in computer science
所蔵情報: loading…