Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
язык программирования
Связанные издания:
16th World Computer Congress 2000. Proc. of Conference on Software: Theory and Practice
A Basic-Net Algebra for Program Semantics and its Application to OCCAM
A Basis for a Multilevel Metalogic Programming Language
About primitive recursive algorithms
A Brief Survey of Quantum Programming Languages
Abstraction and Modularization in the BETA Programming Language
Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
Abstract Types and the Dot Notation
A Categorical Interpretation of Partial Function Logic and Hoare Logic
Accelerator Programming Using Directives: Proc./4th International Workshop, WACCPD 2017 Held in Conjuction with the SC 2017, Denver,CO,USA, November 2017
Accelerator Programming Using Directives: Revised Selected Papers/6th International Workshop, WACCPD 2019, Denver,CO,USA, November 2019
ACM SIGPLAN 92 Conf. on Programming Language Design and Implementation.:Proc./ San Francisco, California.June 17-19, 1992
A Compact Syntax Chart for Ada
A Compiler for Natural Semantics
A Compositional Semantics of Combining Forms for Gamma Programs
A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data
A Contingency Approach to the Application Software Generations
A CPU Scheduling Simulation From Structured Programming to Object-Oriented Design
Active and Deductive Rules in an Object-Oriented Database Programming Language
A "Curriculum-Cycle" Environment for Teaching Programming
Ada 2005 Rationale
Ada 2005. Reference Manual. Language and Standard Libraries/International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
Ada 2012 Rationale: The Language, the Standard Libraries
Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012(E)
Ada95: An Effective Concurrent Programming Language
Ada - Europe`93: Proc./12th Ada-Europe Intern. Conf., "Ada Sans Frontieres". Paris, France, June 1993
Ada in Europe: Proc./First Intern. Eurospace-Ada-Europe Symp. Copenhagen, Denmark, September 1994
Ada: The Choice for 92: Proc./Ada-Europe Intern.Conf., Athens, Greece, May 1991
Adding Generic Functions to Scheme
Adding Implicit Invocation to Languages: Three Approaches
Adding Performance Information to ADT Interfaces
A Debate on Language and Tool Support for Design Patterns
A Decidable Intersection Type System Based on Relevance
A Direct Semantic Characterization of RELFUN
A Distributed Implementation of Flat Concurrent Prolog on transputer Architectures
Advanced C++ Programming Styles and Idioms
Advanced Topics in Exception Handling Techniques
Advances in Artificial Intelligence: From Theory to Practice, Part I: Proc./30th International Conference on Industrial Engineering and Ather Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 2017
Advances in Computing Science - ASIAN 2003. Programming Languages and Distributed Computation: Proc./8th Asian Computing Science Conf., Mumbai, India, December 2003
Advances in Computing Science - ASIAN 97: Proc./Third Asian Computing Science Conf. Kathmandu, Nepal, December 1997
Advances in Computing Science - ASIAN 98: Proc./4th Asian Computing Science Conf. Manila, The Philippines, December 1998
Advances in Exception Handling Techniques
A Dynamic C-Based Object-Oriented System for UNIX
Affix Grammars for Programming Languages
A Formal Approach to the Teaching of Programming Language Concepts
A Formal Architecture for the 3APL Agent Programming Language
A Forth-oriented Compiler Compiler
A Functional Compiler Specification and its Direct Implementation into SML
A Functional Database
A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »