close
1.

電子ブック
ＥＢ
1. Programming Languages Implementation and Logic Programming : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings. 1st ed. 1989
edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski
出版情報:   VIII, 308 p.
シリーズ名: Lecture Notes in Computer Science ; 348
所蔵情報: loading…
目次情報: 続きを見る
Contents: Functional Programming and Logic Programming.
Abstract Interpretation in Logic Programming.
Logic Programming in Compiler Writing.
Grammars.
Attribute Grammars and Logic Programming.
Attribute Grammars in Logic Programming.
Logic Programming for Programming Environments.
Contents: Functional Programming and Logic Programming.
Abstract Interpretation in Logic Programming.
Logic Programming in Compiler Writing.
2.

電子ブック
ＥＢ
2. PARLE '89 - Parallel Architectures and Languages Europe : Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings. 1st ed. 1989
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報:   XVI, 444 p.
シリーズ名: Lecture Notes in Computer Science ; 366
所蔵情報: loading…
目次情報:
3.

電子ブック
ＥＢ
3. System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. 1st ed. 1987
edited by A. Nico Habermann, Ugo Montanari
出版情報:   VIII, 308 p.
シリーズ名: Lecture Notes in Computer Science ; 275
所蔵情報: loading…
目次情報: 続きを見る
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
Knowledge-Based Software Development from Requirements to Code
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
Project Graphs and Meta-Programs
Towards a Theory of Software Development
Software Development Based on Formal Methods
Integration of Program Construction and Verification: The PROSPECTRA Methodology
Ada Compiler Validation: An Example of Software Testing Theory and Practice
The Software Engineering Institute at Carnegie-Mellon University
Task Sequencing Language for Specifying Distributed Ada Systems
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
4.

電子ブック
ＥＢ
4. Theoretical Computer Science : 5th GI-Conference Karlsruhe, March 23-25, 1981. 1st ed. 1981
herausgegeben von P. Deussen
出版情報:   X, 266 p.
シリーズ名: Lecture Notes in Computer Science ; 104
所蔵情報: loading…
目次情報:
5.

電子ブック
ＥＢ
5. Graph Reduction : Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986. 1st ed. 1987
edited by Joseph H. Fasel, Robert M. Keller
出版情報:   XVI, 450 p.
シリーズ名: Lecture Notes in Computer Science ; 279
所蔵情報: loading…
目次情報: 続きを見る
Graph Reduction on Existing Architectures
Graph Reduction Architectures
Resource Control Issues
Performance Modelling and Simulation
Arrays
Relationship to Logic Progamming
Graph Reduction on Existing Architectures
Graph Reduction Architectures
Resource Control Issues
6.

電子ブック
ＥＢ
6. Advances in Petri Nets 1988. 1st ed. 1988
edited by Grzegorz Rozenberg
出版情報:   VI, 440 p.
シリーズ名: Lecture Notes in Computer Science ; 340
所蔵情報: loading…
目次情報:
7.

電子ブック
ＥＢ
7. Logics of Programs : Brooklyn, June 17-19, 1985. 1st ed. 1985
edited by Rohit Parikh
出版情報:   VIII, 428 p.
シリーズ名: Lecture Notes in Computer Science ; 193
所蔵情報: loading…
目次情報:
8.

電子ブック
ＥＢ
8. The Analysis of Concurrent Systems : Cambridge, September 12-16, 1983. Proceedings. 1st ed. 1985
edited by B.T. Denvir, W.T. Harwood, M.I. Jackson, M.J. Wray
出版情報:   XII, 404 p.
シリーズ名: Lecture Notes in Computer Science ; 207
所蔵情報: loading…
目次情報:
9.

電子ブック
ＥＢ
9. PARLE '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings. 1st ed. 1989
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報:   XIII, 479 p.
シリーズ名: Lecture Notes in Computer Science ; 365
所蔵情報: loading…
目次情報:
10.

電子ブック
ＥＢ
10. The Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing. 1st ed. 1989
by Kay A. Robbins, Steven Robbins
出版情報:   VIII, 172 p.
シリーズ名: Lecture Notes in Computer Science ; 374
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼