城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA76.76.C65)
該当件数:63件
Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings / edited by Laurent Fribourg, Franco Turini
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 883)
電子ブック
Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / edited by Manuel Hermenegildo, Jaan Penjam
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 844)
Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings / edited by Marcel Toussaint
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 887)
Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings / edited by Alan Borning
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 874)
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers / edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 816)
Compiler Construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / edited by Peter A. Fritzson
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 786)
Distributed Programming Paradigms with Cryptography Applications / by Jonathan S. Greenfield
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 870)
Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings / edited by Jieh Hsiang
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 914)
Functional Programming Languages in Education : 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings / edited by Pieter Hartel
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1022)
Ada 95 Rationale : The Language - The Standard Libraries / edited by John Barnes
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1247)
Exploitation of Fine-Grain Parallelism / edited by Günter Böckle
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 942)
Ada 95, Quality and Style : Guidelines for Professional Programmers / edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1344)
Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / edited by Manuel Hermenegildo, S.Doaitse Swierstra
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 982)
Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / edited by Marcel Toussaint
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1031)
Compiler Construction : 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. / edited by Tibor Gyimothy
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1060)
Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings / edited by Hanne R. Nielson
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1058)
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)
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)
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings / edited by Behnam Banieqbal, Howard Barringer, Amir Pnueli
1st ed. 1989.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1989). - (Lecture Notes in Computer Science. ISSN:16113349 ; 398)
The Vienna Development Method: The Meta-Language / edited by D. Bjorner, C.B. Jones
1st ed. 1978.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1978). - (Lecture Notes in Computer Science. ISSN:16113349 ; 61)