Вы здесь

Главная

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

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

Computational Collective Intelligence. Technologies and Applications, Part II: Proc./2nd International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 2010
Computational Collective Intelligence. Technologies and Applications, Part I: Proc./2nd International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 2010
Computational Complexity and Constraint Logic Programming Languages
Computational Complexity via Programming Languages: Constant Factors Do Matter
Computational Linguistics and Computer Language, CL&CL, V. XIII
Computational Reflection in PowerEpsilon
Computational Science and Its Applications - ICCSA 2017, Part V: Proc./17th International Conference, Trieste, Italy, July 2017
Computer Aided Verification, Part II: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017
Computer Aided Verification, Part I: Proc./30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Computer Information Systems and Industrial Management: Proc./18th International Conference, CISIM 2019, Belgrade, Serbia, September 2019
Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008
Computer Science - Thery and Applications: Proc./2nd International Symposium on Computer Science in Russia, CSR 2007. Ekaterinburg, Russia, September 2007
Computing and Software Science: State of the Art and Perspectives
CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014
Concurrency: Theory, Language, and Architecture: Proc./UK/Japan Workshop, Oxford, September 1989
Concurrent Abstract Machines
Concurrent C++: Concurrent Programming With Class(es)
Conference Record of POPL 94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Portlant, Oregon, January 17-21, 1994
Conference Record of POPL 95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. San Francisco, California, January 22-25, 1995
Conference Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symposium on Principles of Programming Languages. San Diego, California, 19-21 January 1998
Confluence of Processes and Systems of Objects
Congruence for Structural Congruences
Considerations in Developing a Formally-Based Visual Programming Language Reference Manual: A Case Study on the SLAM II Language
CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc
Constraint Hierarchies and Imperative Programming
Constructive Action Semantics in OBJ
Constructive Probability and the SIGNalea Language: Building and Handling Random Processes Via Programming
Context-Sensitive Points-to Analysis: Is It Worth It?
Conventional and Uniqueness Typing in Graph Rewrite Systems
Coordination in the ImpUnity Framework
Coordination Models and Languages: Proc./10th International Conference, COORDINATION 2008. Oslo, Norway, June 2008
Coordination Models and Languages: Proc./17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015
Coordination Models and Languages: Proc./19th IFIP WG 6.1 International Conference, COORDINATION 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 2017
Coordination Models and Languages: Proc./20th IFIP WG 6.1 International Conference, COORDINATION 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid Spain, June 2018
Coordination Models and Languages: Proc./8th International Conference, COORDINATION 2006. Bologna, Italy, June 2006
Correct Hardware Synthesis. An algebraic approach
Countable Non-Determinism and Uncountable Limits
Cpo s do not form a cpo - but recursion still works
Cross-Component Optimization in a High-Level Category-Based Language
C++ s Destructors Can Be Destructive
cT: an Imperative Language with Parallelizing Features Supporting the Computation Model "Autotransformation of the Evaluation Network"
cu-Prolog and its Application to a JPSG Parser
C# и платформа .NET
Data Abstraction, Bulk Data and Relations in Database Programming Languages
Database Programming Languages: Proc./12th International Symposium, DBPL 2009, Lyon, France, August 2009
Database Programming Languages: Proc./6th Intern. Workshop, DBPL-6. Estes Park, Colorado, USA, August 1997
Database Programming Languages: Proc./9th Intern. Workshop, DBPL 2003, Potsdam, Germany, September 2003
Database Programming Languages: Revised Selected Papers/10th International Symposium, DBPL 2005. Trondheim, Norway, August 2005