年 〜
年

検索結果 40 件

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types / Mark Steven Sherman. (Lecture notes in computer science)

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types / Mark Steven Sherman. (Lecture notes in computer science)
紙図書
Springer-Verlagc1985.<M159-A64>
国立国会図書館
  • DDC001.64/24

Concurrent languages in distributed systems hardware supported implementation : proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems, Bristol, U.K., 26-28 March 1984 / edited by G.L. Reijns and E.L. Dagless.

Concurrent languages in distributed systems hardware supported implementation : proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems, Bristol, U.K., 26-28 March 1984 / edited by G.L. Reijns and E.L. Dagless.
紙図書
North-Holland1985.<M15-A1822>
国立国会図書館
  • DDC001.64/24

Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones. (Lecture notes in computer science)

Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones. (Lecture notes in computer science)
紙図書
Springer-Verlag1984.<M159-A56>
国立国会図書館
  • DDC001.64/24

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis. (Lecture notes in computer science)

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis. (Lecture notes in computer science)
紙図書
Springer-Verlag1984.<M15-A2883>
国立国会図書館
  • DDC001.64/24

The Role of language in problem solving I : edited proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984 / editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub.

The Role of language in problem solving I : edited proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984 / editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub.
紙図書
North-Holland1985.<M15-A1669>
国立国会図書館
  • DDC001.64/24

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 / edited by Veronica Dahl and Patrick Saint-Dizier.

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 / edited by Veronica Dahl and Patrick Saint-Dizier.
紙図書
North-Holand1985.<M15-A933>
国立国会図書館
  • DDC001.64/24

An analytical description of CHILL, the CCITT high level language / Paul Branquart, Georges Louis, Pierre Wodon. (Lecture notes in computer science)

An analytical description of CHILL, the CCITT high level language / Paul Branquart, Georges Louis, Pierre Wodon. (Lecture notes in computer science)
紙図書
Springer-Verlag1982.<M159-A37>
国立国会図書館
  • DDC001.64/24

Problem-solving principles : programming with Pascal / Ronald E. Prather. (Prentice-Hall software series)

Problem-solving principles : programming with Pascal / Ronald E. Prather. (Prentice-Hall software series)
紙図書
Prentice-Hallc1982.<M159-A9>
国立国会図書館
  • DDC001.64/24

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin. (Lecture notes in computer science)

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin. (Lecture notes in computer science)
紙図書
Springer-Verlag1984.<M15-A3565>
国立国会図書館
  • DDC001.64/24

Programming in ADA / J.G.P. Barnes. (International computer science series)

Programming in ADA / J.G.P. Barnes. (International computer science series)
紙図書
Addison-Wesley Pub. Co.c1982.<M159-147>
国立国会図書館
  • DDC001.64/24

1982 Rochester FORTH Conference on Data Bases and Process Control, May 18-21, 1982 / hosted by the Laboratory for Laser Energetics, the University of Rochester and the Institute for Applied FORTH Research, Inc.

1982 Rochester FORTH Conference on Data Bases and Process Control, May 18-21, 1982 / hosted by the Laboratory for Laser Energetics, the University of Rochester and the Institute for Applied FORTH Research, Inc.
紙図書
The Institutec1982.<M15-A2398>
国立国会図書館
  • DDC001.64/24

Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, October 18-22, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire / sponsored by Association for Computing Machinery, Special Interest Groups on Programming Languages ... [et al.].

Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, October 18-22, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire / sponsored by Association for Computing Machinery, Special Interest Groups on Programming Languages ... [et al.].
紙図書
ACMc1981.<M159-150>
国立国会図書館
  • DDC001.64/24

Introduction to PASCAL for scientists / by James W. Cooper.

Introduction to PASCAL for scientists / by James W. Cooper.
紙図書
Wileyc1981.<M159-A29>
国立国会図書館
  • DDC001.64/24

Formal specification of programming languages : a panoramic primer / Frank G. Pagan. (Prentice-Hall software series)

Formal specification of programming languages : a panoramic primer / Frank G. Pagan. (Prentice-Hall software series)
紙図書
Prentice-Hallc1981.<M159-A67>
国立国会図書館
  • DDC001.64/24

Programming languages and system design : proceedings of the IFIP TC 2 Working Conference on Programming Languages and System Design, Dresden, GDR, 7-10 March, 1983 / edited by J. Bormann.

Programming languages and system design : proceedings of the IFIP TC 2 Working Conference on Programming Languages and System Design, Dresden, GDR, 7-10 March, 1983 / edited by J. Bormann.
紙図書
North-Holland1983.<M15-A2933>
国立国会図書館
  • DDC001.64/24

Programmiersprachen und Programmentwicklung : 7. Fachtagung, veranstaltet vom Fachausschuss 2 der GI München, 9./10. März 1982 / herausgegeben von Hans Wössner. (Informatik-Fachberichte ; 53)

Programmiersprachen und Programmentwicklung : 7. Fachtagung, veranstaltet vom Fachausschuss 2 der GI München, 9./10. März 1982 / herausgegeben von Hans Wössner. (Informatik-Fachberichte ; 53)
紙図書
Springer1982.<M15-A869>
国立国会図書館
  • DDC001.64/24

Strategies for natural language processing / edited by Wendy G. Lehnert, Martin H. Ringle.

Strategies for natural language processing / edited by Wendy G. Lehnert, Martin H. Ringle.
紙図書
L. Erlbaum Associates1982.<M159-A12>
国立国会図書館
  • DDC001.64/24

DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.]. Rev. version. (Lecture notes in computer science)

DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.]. Rev. version. (Lecture notes in computer science)
紙図書
Springer-Verlag1983.<M159-A13>
国立国会図書館
  • DDC001.64/24

Problem solving and structured programming in PASCAL / Elliot B. Koffman. (Addison-Wesley series in computer science and information processing)

Problem solving and structured programming in PASCAL / Elliot B. Koffman. (Addison-Wesley series in computer science and information processing)
紙図書
Addison-Wesley Pub. Co.c1981.<M159-191>
国立国会図書館
  • DDC001.64/24

Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest. (Lecture notes in computer science ; 98)

Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest. (Lecture notes in computer science ; 98)
紙図書
Springer-Verlag1980.<M159-155>
国立国会図書館
  • DDC001.64/24