Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
система программирования
Связанные издания:
A Basis for a Portable Common Tool Environment. Functional Specification. Version 1.5. C Volume 2. User Interface
Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012
Advanced Parallel Processing Technologies: Proc./12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 2017
Advances in Computer Systems Architecture: Proc./11th Asia-Pacific Conference, ACSAC 2006. Shanghai, China, September 2006
Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
An Interactive Programming System for Pascal
APPLAUSE: Application and Assessment of Parallel Programming Using Logic
A Program Verification System Bazed on Oz
Architecting Dependable Systems IV
A Relational Programming System with Inferred Representations
A Sheaf Semantics for FOOPS Experessions (Extended Abstract)
A Survey and a Categorization Scheme of Automatic Programming Systems
Automated Technology for Verification and Analysis: Proc./6th International Symposium, ATVA 2008. Seoul, Korea, October 2008
Backus - FP: ein funktionales Programmiersystem
Basic Operations of the VisiCola Scope Model
Clipper: прошлое, настоя ее, буду ее
Component-Based Software Engineering: Proc./8th International Symposium, CBSE 2005. St.Louis, MO, USA, May 2005
Computer Aided Verification: Proc./19th International Conference, CAV 2007. Berlin, Germany, July 2007
Coordination Models and Languages: Proc./7th International Conference, COORDINATION 2005. Namur, Belgium, April 2005
COTS-Based Software Systems: Proc./4th International Conference, ICCBSS 2005. Bilbao, Spain, February 2005
Eoops: An Object-Oriented Programming System for Emacs-Lisp
Error Messages: What s the Problem?
Extensible Programming for the 21st Century
FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006
Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005
Formal Methods for Components and Objects: Revised Papers/6th International Symposium, FMCO 2007. Amsterdam, The Netherlands, October 2007
Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014
Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic
Foundations of Software Science and Computational Structures: Proc./12th Intarnational Conference, FOSSACS 2009, ETAPS 2009, York. UK, March 2009
Fundamental Approaches to Software Engineering: Proc./11th International Conference, FASE 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
GIPSY - Ein Generator fur interaktive Programmiersysteme
Holistic Design of a Programming System
Informal Specification of the PROSPECTRA System
International Symposium on Fundamentals of Software Engineering: Proc./ International Symposium, FSEN 2007. Tehran, Iran, April 2007
Language Tools and Programming Systems in Educational Informatics
La Programmation Systeme
Logics in Artificial Intelligence: Proc./9th European Conference, JELIA 2004. Lisbon, Portugal, September 2004
Metalevel Decomposition in AL-1/D
Model Checking Software: Proc./15th International SPIN Workshop. LA, USA, August 2008
Modelling Foundations and Applications: Proc./8th European Conference, ECMFA 2012, Kgs.Lyngby, Denmark, July 2012
OpenSHMEM and Related Technologies: Experiences, Implementations, and Technologies: Revised Selected Papers/2nd Workshop, OpenSHMEM 2015, Annapolis,MD,USA, August 2015
Options Management in RescueWare System
Parallelization and Complication. Report
PASCAL - SC. Bedienungsanleitung
Perspectives of System Informatics, International Workshop on Program Understanding: Proc./ Andrei Ershov Seventh International Conference PSI 09, 19-23 June, Altai Mountains, Russia
Programming Languages and Systems: Proc./14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Programming Languages and Systems: Proc./15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Programming Languages and Systems: Proc./16th European Symposium on Programming, ESOP 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007
Programming Languages and Systems: Proc./17th European Symposium on Programming, ESOP 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
1
2
3
4
следующая ›
последняя »