yr 〜
yr

Search results 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)
Paper図書
Springer-Verlagc1985.<M159-A64>
National Diet Library
  • 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.
Paper図書
North-Holland1985.<M15-A1822>
National Diet Library
  • 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)
Paper図書
Springer-Verlag1984.<M159-A56>
National Diet Library
  • 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)
Paper図書
Springer-Verlag1984.<M15-A2883>
National Diet Library
  • 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.
Paper図書
North-Holland1985.<M15-A1669>
National Diet Library
  • 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.
Paper図書
North-Holand1985.<M15-A933>
National Diet Library
  • 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)
Paper図書
Springer-Verlag1982.<M159-A37>
National Diet Library
  • 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)
Paper図書
Prentice-Hallc1982.<M159-A9>
National Diet Library
  • 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)
Paper図書
Springer-Verlag1984.<M15-A3565>
National Diet Library
  • 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)
Paper図書
Addison-Wesley Pub. Co.c1982.<M159-147>
National Diet Library
  • 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.
Paper図書
The Institutec1982.<M15-A2398>
National Diet Library
  • 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.].
Paper図書
ACMc1981.<M159-150>
National Diet Library
  • DDC001.64/24

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

Introduction to PASCAL for scientists / by James W. Cooper.
Paper図書
Wileyc1981.<M159-A29>
National Diet Library
  • 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)
Paper図書
Prentice-Hallc1981.<M159-A67>
National Diet Library
  • 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.
Paper図書
North-Holland1983.<M15-A2933>
National Diet Library
  • 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)
Paper図書
Springer1982.<M15-A869>
National Diet Library
  • 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.
Paper図書
L. Erlbaum Associates1982.<M159-A12>
National Diet Library
  • 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)
Paper図書
Springer-Verlag1983.<M159-A13>
National Diet Library
  • 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)
Paper図書
Addison-Wesley Pub. Co.c1981.<M159-191>
National Diet Library
  • 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)
Paper図書
Springer-Verlag1980.<M159-155>
National Diet Library
  • DDC001.64/24