東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA76.7)
該当件数:64件
Practical aspects of declarative languages : second International Workshop , PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.)
Berlin : Springer , c2000. - Tokyo. - (Lecture notes in computer science ; 1753)
図書
Practical aspects of declarative languages : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings / Veronica Dahl, Philip Wadler (eds.)
Berlin : Springer , c2002. - Tokyo. - (Lecture notes in computer science ; 2562)
Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers / Sandhya Dwarkadas (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1915)
Practical aspects of declarative languages : third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings / I.V. Ramakrishnan (ed)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 1990)
New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa (eds.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1218)
Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / Hugh Glaser, ; Pieter Hartel, Herbert Kuchen, eds
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1292)
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1551)
Compiling natural semantics / Mikael Pettersson
Berlin : Springer , c1999. - Tokyo. - New York. - (Lecture notes in computer science ; 1549)
Parsing techniques : a practical guide / Dick Grune, Ceriel J.H. Jacobs
2nd ed. - New York : Springer , c2008. - (Monographs in computer science)
Basic simple type theory / J. Roger Hindley
New York : Cambridge University Press , 1997. - (Cambridge tracts in theoretical computer science ; 42)
The cognitive connection : thought and language in man and machine / Howard Levine and Howard Rheingold
New York, NY : Prentice Hall Press , c1987
High-level languages and their compilers / Des Watson
Wokingham, England : Addison-Wesley , c1989. - Tokyo. - (International computer science series)
Programming languages : concepts and constructs / Ravi Sethi
2nd ed. - Reading, Mass. : Addison-Wesley , c1996
History of programming languages II / edited by Thomas J. Bergin, Jr. and Richard G. Gibson, Jr
New York : ACM Press , c1996. - Reading, Mass. : Addison-Wesley Pub. Co.
Advanced programming language design / Rafael A. Finkel
Menlo Park, Calif. : Addison-Wesley , c1996. - Tokyo
Programming languages : structures and models / Herbert L. Dershem, Michael J. Jipping
2nd ed.. - Boston : PWS Pub. Co. , c1995. - (The PWS-Kent series in computer science)
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen, S. Doaitse Swierstra (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1140)
Fundamentals of programming languages / Ellis Horowitz
Rockville, Md. : Computer Science Pr. , c1983. - (Computer software engineering series)
Meta-level architectures and reflection : Second International Conference, Reflection'99 : Saint-Malo, France, July 19-21, 1999 : proceedings / Pierre Cointe (ed.)
Berlin : Springer-Verlag , c1999. - Tokyo. - (Lecture notes in computer science ; 1616)
Topics in advanced language implementation / edited by Peter Lee
Cambridge : MIT Press , c1991
Essentials of programming languages / Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes ; foreword by Harold Abelson
Cambridge, Mass. : MIT Pr. , c1992. - New York : McGraw-Hill
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.)
Berlin : Springer-Verlag , c1992. - Tokyo. - (Lecture notes in computer science ; 598)
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S.Doaitse Swierstra, (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 982)
The logic of partial information / Areski Nait Abdallah
Berlin : Springer-Verlag , c1995. - Tokyo. - (Monographs in theoretical computer science : an EATCS series)
Mathematical aspects of natural and formal languages / edited by Gheorghe Păun
Singapore : World Scientific , 1994. - [River Edge], NJ. - (World scientific series in computer science ; v. 43)
Logic of domains / Guo-Qiang Zhang
Boston : Birkhäuser , 1991. - (Progress in theoretical computer science)
Semantics of programming languages : structures and techniques / Carl A. Gunter
Cambridge, Mass. : MIT Press , c1992. - (Foundations of computing)
Programming languages and system architectures : international conference, Zurich, Switzerland, March 2-4, 1994 : proceedings / Jürg Gutknecht, [editor]
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 782)
Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 802)
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 844)
Comparative programming languages / Leslie B. Wilson, Robert G. Clark
2nd ed. - Wokingham, England : Addison-Wesley , c1993. - Reading, Mass.. - (International computer science series)
Predicate transformer semantics / Ernest G. Manes
Cambridge : Cambridge University Press , 1992. - New York, NY, USA. - (Cambridge tracts in theoretical computer science ; 33)
Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 714)
Programming languages / Allen B. Tucker, Jr.
2nd ed = International student ed. - New York : McGraw-Hill , c1986. - Tokyo. - (McGraw-Hill computer science series)
Programming language concepts / Carlo Ghezzi, Mehdi Jazayeri
2/E [2nd ed] = Wiley interntional ed. - New York : Wiley , c1987
Principles of programming languages : design, evaluation, and implementation / Bruce J. MacLennan
2nd ed. - New York : Holt, Rinehart and Winston , c1987. - Tokyo
2/E [2nd ed]. - New York : Wiley , c1987
Concepts of programming languages / Robert W. Sebesta
5th ed. - Boston : Addison-Wesley , c2002
Formal semantics of programming languages : Coutant Computer Science Symposium 2, September 14-16, 1970 / edited by Randall Rustin
Englewood, Cliffs, N.J. : Prentice-Hall , c1972. - (Prentice-Hall series in automatic computation)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1140)
Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976 / edited by John H. Williams and David A. Fisher
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 54)
Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 47)
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 298)
Attribute grammars : definitions, systems and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 323)
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 177)
Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 348)