Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
New York
Связанные издания:
1992 ACM SIGMETRICS and Performance 92: Proc./Intern.Conf. on Measurement and Modelling of Computer Systems. June 1-5, 1992. Newport, Rhode Island, U.S.A.
1996 ACM SIGPLAN International Conference on Functional Programming (ICFP 96). Proc./Philadelphia, Pennsylvania, May 24-26, 1996
3D Position, Attitude and Shape Input Using Video Tracking of Hands and Lips
Abstract Interpretation and Low-Level Code Optimization
Abstraction, Definition and Structure: Proc./Conference on Data, Salt Lace City, Utah,USA, March, 1976
Accelerated MPEG Compression of Dynamic Polygonal Scenes
A Clustering Algorithm for Radiosity in Complex Environmets
ACM Multimedia 98: Proc./6th ACM Intern. Multimedia Conf. Bristol, England, September 12-16, 1998
ACM Multimedia 99: Proc./Orlando, Florida, October 30 - November 5, 1999
ACM SIGPLAN Notices: Proc. of the ACM/ONR Workshop on Parallel and Distributed Debugging, May 20-21, 1991, Santa Cruz, California
ACM Turing Award Lectures. The First Twenty Years. 1966 to 1985
A Cross-Media Adaptation Strategy for Multimedia Presentations
Action Transformation by Partial Evaluation
A Debate on Language and Tool Support for Design Patterns
A Fast Shadow Algorithm for Area Light Sources Using Backprojection
A Framework for Combining Analysis and Verification
A Framework for the Analysis of Error in Global Illumination Algorithms
A Functional Representation of Data Structures with a Hole
A Functional Theory of Local Names
A Generalized de Casteljau Approach to 3D Free-form Deformation
A History of Computing in the Twentieth Century (A collection of essays)
A History of Scientific Computing
Alias Analysis of Executable Code
A Model for Efficient and Flexible Image Computing
Analyzing the Communication Topology of Concurrent Programs
An Approach for Video Meta-Data Modeling and Query Proceeding
A New Approach to Generic Functional Programming
An Experimental Automatic Informational Station AIST-0
Animated Conservation: Rule-based Generation of Facial Expression, Gestre & Spoken Intonation for Multiple Conversational Agents
Animating Images with Drawings
Annual Review in Automatic Programming, Vol. 1/ Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, April 1959
Annual Review in Automatic Programming, Vol. 2
Annual Review in Automatic Programming, Vol. 3
Annual Review in Automatic Programming, Vol. 4
Annual Review in Automatic Programming. Vol. 5
Annual Review in Automatic Programming. Vol. 6
An Overview of Computational Complexity
An RTP-based Synchronized Hypermedia Live Lecture System for Distance Education
APT: A Data Structure for Optimal Control Dependence Compulation
Array SSA from Its Use in Parallelization
Artificial Fishes: Physics, Locomotion, Perception, Behavior
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code
Association for Computing Machinery. Lectureship Series
A Staging Calculus and Its Application to the Verification of Translators
A Symbolic Constraint Solving Framework for Analysis of Logic Programs
A Theory of Objects
A Typed Language for Distributed Mobile Processes
A Type System for Dynamic Web Documents
A Type System for Prototyping Languages
A Type-Theoretic Approach to Higher-Order Modules with Sharing
1
2
3
4
5
6
следующая ›
последняя »