城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Compilers and Interpreters)
該当件数:292件
PASCAL User Manual and Report / by Kathleen Jensen, Niklaus Wirth
2nd ed. 1975.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975). - (Lecture Notes in Computer Science. ISSN:16113349 ; 18)
電子ブック
ANNA A Language for Annotating Ada Programs : Reference Manual / by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 260)
TEMPO : A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues / by N. D. Jones, S. S. Muchnick
1st ed. 1978.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1978). - (Lecture Notes in Computer Science. ISSN:16113349 ; 66)
Complementary Definitions of Programming Language Semantics / by J.E. Donahue
1st ed. 1976.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1976). - (Lecture Notes in Computer Science. ISSN:16113349 ; 42)
Semantics-Directed Compiler Generation : Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 / edited by N.D. Jones
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 94)
Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / edited by Donald Sannella
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 332)
Towards a Formal Description of Ada / edited by D Bjorner, O.N. Oest
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 98)
Compiler Specification and Verification / by W. Polak
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 124)
An Analytical Description of CHILL, the CCITT High Level Language / by P. Branquart, G. Louis, P. Wodon
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 128)
Attribute Grammar Inversion and Source-to-source Translation / by Daniel M. Yellin
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 302)
GAG: A Practical Compiler Generator / by U. Kastens, B. Hutt, E. Zimmermann
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 141)
The Programming Language Ada. Reference Manual : American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 / by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum
1st ed. 1983.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983). - (Lecture Notes in Computer Science. ISSN:16113349 ; 155)
CLU : Reference Manual / by B. Liskov, R. Atkinson, T. Bloom, E. Moss, J. C. Schaffert, R. Scheifler, A. Snyder
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 114)
PORTAL Language Description / by Arnold Businger
2nd ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 198)
A Review of Ada Tasking / by Alan Burns, Andrew M. Lister, Andrew J. Wellings
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 262)
Introduction to Discrete Mathematics with ISETL / by William E. Fenton, Ed Dubinsky
1st ed. 1996.. - (New York, NY : Springer New York : Imprint: Springer , 1996)
Simple Program Schemes and Formal Languages / by J. Engelfriet
1st ed. 1974.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974). - (Lecture Notes in Computer Science. ISSN:16113349 ; 20)
A Study in String Processing Languages / by Paul Klint
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 205)
Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings / edited by J. Winkowski
1st ed. 1978.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1978). - (Lecture Notes in Computer Science. ISSN:16113349 ; 64)
Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings / edited by G. Kahn, D.B. MacQueen, G. Plotkin
1st ed. 1984.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984). - (Lecture Notes in Computer Science. ISSN:16113349 ; 173)