Вы здесь

Главная

язык программирования

Связанные издания:

A Voyage to Oberon
A Whirlwind Tour of Forth Resources
Axiomatization of Fuctional Logic Language
Axiomatizations of Backtracking (extended abstract)
Balloon Types: Controlling Sharing of State in Data Types
Base-Value in Actuarial Practice
Basic Operations of the VisiCola Scope Model
Basiskonzepte objecktorienteierter Datenbanksysteme
BDL - A Nondeterministic Data Flow Programming Language with Backtracking
Beyond ML
Bidirectional Transformations: Tutorial Lectures/ International Summer School, Oxford, UK, July 2016
Blending Imperative and Relational Programming
Booch s Ada vs. Liskov s Java: Two Approaches to Teaching Software Design
Bottom in the Imperative World
C++
C**: A Large-Grain, Object-Oriented, Data-Parallel Programming Language
Catalogue of Interface Features and Options for the Ada Runtime Environment
Cayenne - A Language with Dependent Types
CCS for OO and LP
Cellang 2.0: Language Reference Manual
CENTAUR: Towards a "Software Tool Box" for Programming Environments
Central European Functional Programming School: Revised Selected Lectures/First Summer School, CEFP 2005. Budapest, Hungary, July 2005
Central European Functional Programming School: Revised Selected Lectures/ Second Summer School, CEFP 2007. Cluj-Napoca, Romania, June 2007
Central European Functional Programming School: Revised Selected Lectures/ Third Summer School, CEFP 2009, Budapest, Hungary and Komarno, Slovakia, May 2009
Central European Functional Programming School: Revised Selected Papers/6th Summer School, CEFP 2015, Budapest, Hungary, July 2015
Clever Programming Languages Exercises
CLIM: The Common Lisp Interface Manager
CLOS: Integrating Object-Oriented and Functional Programming
CLP(AD) as a Deductive Database Language with Updates
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
C# Offers the Power of C++ and Simplicity of Visual Basic
Co-induction in Relational Semantics
Collaboration between Human and Artificial Intelligence: Coordination and Agent-Based Distributed Computing
Collaboration Technologies and Social Computing: Proc./27th International Conference, CollabTech 2021, Virtual Event, August 2021
Committed-Choice Concurrent Logic Programming in Linear Logic
Communication and Transactions in Vienna Parallel Logic
Communication as Fair Distribution of Knowledge
Comparison of the Functional Power of APL2 and FORTRAN 90
Compiler Construction: 17th International Conference, CC 2008 - part of ETAPS 2008. Budapest, Hungary, March/April 2008
Compiler Construction: Proc./10th Intern. Conf., CC 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2001
Compiler Construction: Proc./12th Intern. Conf., CC 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003
Compiler Construction: Proc./14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Compiler Construction: Proc./18th International Conference, CC 2009, ETAPS 2009, York, UK, March 2009
Compiler Construction: Proc./6th Intern. Conf., CC 96. Linkoping, Sweden, April 1996
Compiling a Rule Database Program into a C/SQL Application
Compiling High-Level Type Constructors in Constraint Programming
Compiling Rewriting onto SIMD and MIMD/SIMD Machines
Completeness Analysis for Incomplete Object-Oriented Programs
Composable Message Semantics in Oberon
Computational Collective Intelligence. Technologies and Applications, Part III: Proc./2nd International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 2010