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. Foundations of Software Technology and Theoretical Computer Science : Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings. 1st ed. 1984
edited by M. Joseph, R. Shyamasundar
出版情報:   X, 470 p.
シリーズ名: Lecture Notes in Computer Science ; 181
所蔵情報: loading…
目次情報:
3.

電子ブック
ＥＢ
3. Categorical Methods in Computer Science : With Aspects from Topology. 1st ed. 1989
edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
出版情報:   VI, 354 p.
シリーズ名: Lecture Notes in Computer Science ; 393
所蔵情報: loading…
目次情報:
4.

電子ブック
ＥＢ
4. The IOTA Programming System : A Modular Programming Environment. 1st ed. 1983
edited by R. Nakajima, T. Yuasa
出版情報:   IX, 217 p.
シリーズ名: Lecture Notes in Computer Science ; 160
所蔵情報: loading…
目次情報:
5.

電子ブック
ＥＢ
5. Current Trends in Concurrency : Overviews and Tutorials. 1st ed. 1986
edited by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
出版情報:   XIV, 718 p.
シリーズ名: Lecture Notes in Computer Science ; 224
所蔵情報: loading…
目次情報:
6.

電子ブック
ＥＢ
6. RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. 1st ed. 1986
edited by Eiichi Goto, Keijiro Araki, Taiichi Yuasa
出版情報:   XIV, 330 p.
シリーズ名: Lecture Notes in Computer Science ; 220
所蔵情報: loading…
目次情報:
7.

電子ブック
ＥＢ
7. 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
8.

電子ブック
ＥＢ
8. Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings. 1st ed. 1989
edited by Conjeevaram E. Veni Madhavan
出版情報:   VIII, 341 p.
シリーズ名: Lecture Notes in Computer Science ; 405
所蔵情報: loading…
目次情報:
9.

電子ブック
ＥＢ
9. A Concurrent Pascal Compiler for Minicomputers. 1st ed. 1977
by A. C. Hartmann
出版情報:   VIII, 124 p.
シリーズ名: Lecture Notes in Computer Science ; 50
所蔵情報: loading…
目次情報:
10.

電子ブック
ＥＢ
10. VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings. 1st ed. 1988
edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
出版情報:   XII, 504 p.
シリーズ名: Lecture Notes in Computer Science ; 328
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼