東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Programming languages )
該当件数:152件
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)
図書
The mata book : a book for serious programmers and those who want to be / William W. Gould
College Station : Stata Press , c2018
Programming languages : concepts and constructs / Ravi Sethi
2nd ed. - Reading, Mass. : Addison-Wesley , c1996
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)
Fundamentals of programming languages / Ellis Horowitz
Rockville, Md. : Computer Science Pr. , c1983. - (Computer software engineering series)
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
Comparative programming languages / Leslie B. Wilson, Robert G. Clark
2nd ed. - Wokingham, England : Addison-Wesley , c1993. - Reading, Mass.. - (International computer science series)
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
Nominal sets : names and symmetry in computer science / Andrew M. Pitts
: hardback. - Cambridge : Cambridge University Press , 2013. - (Cambridge tracts in theoretical computer science ; 57)
Synonymy and semantic classification / K. Sparck Jones
Edinburgh : Edinburgh University Press , c1986. - (Edinburgh information technology series ; 1)
Programming languages for industrial robots / Christian Blume, Wilfried Jakob ; [translator, Klaus Selke]
Berlin : Springer-Verlag , 1986. - Tokyo. - (Symbolic computation ; Artificial intelligence)
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)
TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in computer science ; 66)
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)
Coroutines : a programming methodology, a language design and an implementation / Christopher D. Marlin
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 95)
3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / GI, Gesellschaft für Informatik e.V. ; herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 7)
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)
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.
RLISP '88 : an evolutionary approach to program design and reuse / Jed Marti
Singapore : World Scientific , c1993. - River Edge, NJ. - (World Scientific series in computer science ; vol. 42)
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)
Semantics of programming languages : structures and techniques / Carl A. Gunter
Cambridge, Mass. : MIT Press , c1992. - (Foundations of computing)
Computers and computer languages / Gordon Silverman, David Turkiew
New York : McGraw-Hill , c1988
Formal language description languages for computer programming : proceedings / edited by T. B. Steel, Jr
Amsterdam : North-Holland , 1966
Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings / H. Alblas, B. Melichar, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 545)
Programming languages and systems in computational economics and finance / edited by Søren S. Nielsen
Boston : Kluwer Academic , c2002. - (Advances in computational economics ; v. 18)
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)
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, A
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2028)
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)
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 / edited by Neil D. Jones
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 94)
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 98)
Real-time systems and programming languages / Alan Burns and Andy Wellings
2nd ed.. - Harlow, England : Addison-Wesley , 1996. - Tokyo. - (International computer science series)
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)
Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien
Cambridge : Cambridge University Press , 1998. - (Cambridge tracts in theoretical computer science ; 46)
Formal syntax and semantics of Java / Jim Alves-Foss (ed.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1523)
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)
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)
Compiling natural semantics / Mikael Pettersson
Berlin : Springer , c1999. - Tokyo. - New York. - (Lecture notes in computer science ; 1549)
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)
Understanding Z : a specification language and its formal semantics / J.M. Spivey
Cambridge [Cambridgeshire] : Cambridge University Press , 1988. - New York. - (Cambridge tracts in theoretical computer science ; v. 3)
Semantic structures : advances in natural language processing / edited by David L. Waltz
Hillsdale, NJ : L. Erlbaum Associates , 1989
Logic of domains / Guo-Qiang Zhang
Boston : Birkhäuser , 1991. - (Progress in theoretical computer science)
Foundations of logic programming / J.W. Lloyd
: us,: gw. - 2nd, extended ed. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Symbolic computation ; . Artificial intelligence)