Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
software
Связанные издания:
A Document-Oriented Paradigm for the Construction of Content-Intensive Applications
Agent-Oriented Software Engineering VIII: Revised Selected Papers/8th International Workshop, AOSE 2007. Honolulu, HI, USA, May 2007
Agent-Oriented Software Engineering VI: Revised and Invited Papers/6th International Workshop, AOSE 2005. Utrecht, The Netherlands, July 2005
Algebraic Methodology and Software Technology: Proc./11th International Conference, AMAST 2006. Kuressaare, Estonia, July 2006
Applicability of the BLAST Model Checker: An Industrial Case Study
Applied Parallel Computing: State of the Art in Scientific Computing: Revised Selected Papers/8th International Workshop, PARA 2006. Umea, Sweden, June 2006
Architecting Dependable Systems V
Automatic Testing of Object-Oriented Software
Bounded Model Checking in Software Using SMT Solvers Instead of SAT Solvers
Compiler Construction: Proc./18th International Conference, CC 2009, ETAPS 2009, York, UK, March 2009
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
Computational Science and Its Applications - ICCSA 2006: Part IV: Proc./International Conference. Glasgow, UK, May 2006
Computational Science - ICCS 2008: Part I: Proc./8th International Conference. Krakow, Poland, June 2008
Computational Science - ICCS 2009: Part II: Proc./9th International Conference. Baton Rouge, LA, USA, May 2009
Computational Science - ICCS 2009: Part I: Proc./9th International Conference. Baton Rouge, LA, USA, May 2009
Cooperative Design, Visualization, and Engineering: Proc./6th International Conference, CDVE 2009 Luxembourg, Luxembourg, September 2009
Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program
Digital Mammography: Proc./8th International Workshop, IWDM 2006. Manchester, UK, June 2006
Early Aspects: Current Challenges and Future Directions: Revised Selected Papers/10th International Workshop. Vancouver, Canada, March 2007
ECOOP 2008 - Object Oriented Programming: Proc./22nd European Conference. Paphos, Cyprus, July 2008
Embadded Software and Systems: Proc./2-nd International Conference, ICESS 2005. Xi an,China,December 2005
Embedded and Ubiquitous Computing - EUC 2005: Proc./International Conference EUC 2005. Nagasaki, Japan, December 2005
Embedded Software and Systems: Proc./Third International Conference, ICESS 2007. Daegu, Korea, May 2007
Emerging Directions in Embedded and Ubiquitous Computing: Proc./EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ. Taipei, Taiwan, December 2007
Entertainment Computing - ICEC 2008: Proc./7th International Conference. Pittsburg, PA, USA, September 2008
Fast Software Encryption: Revised Selected Papers/14th International Workshop, FSE 2007. Luxembourg, Luxembourg, March 2007
Fast Software Encryption: Revised Selected Papers/16th International Workshop, FSE 2009. Leuven, Belgium, February 2009
Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006
Formal Approaches to Software Testing: Revised Selected Papers/5th International Workshop, FATES 2005. Edinburgh, UK, July 2005
Formal Methods for Components and Objects: Revised Lectures/7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 2008
Formal Methods for Industrial Critical Systems: Proc./14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2009
Foundations of Software Science and Computational Structures:Proc./10th Intl Conference FOSSACS 2007, part of Joint European Conferences on Theory & Practice of Software, ETAPS 2007. Braga, Portugal, March/April 2007
Foundations of Software Science and Computational Structures: Proc./12th Intarnational Conference, FOSSACS 2009, ETAPS 2009, York. UK, March 2009
From "Formal Methods" to System Modeling
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Proc./26th International Conference Kolkata,India,December 2006
Fundamental Approaches to Software Engineering: Proc./19th Intl Conference, FASE 2007, part of ETAPS 2007. Braga, Portugal, March/April 2007
Fundamntal Approaches to Software Engineering: Proc./12th International Conference, EASE 2009, ETAPS 2009, York, UK, March 2009
Graph Transformations: Proc./Third International Conference, ICGT 2006. Natal Rio Grande de Norte, Brazil, September 2006
Hardware and Software: Verification and Testing: Proc./Third International Haifa Verification Conference, HVC 2007. Haifa, Israel, October 2007
Hardware and Software Verification and Testing: Revised Selected Papers/Fist International Haifa Verification Conference. Haifa, Israel, November 2005
Hardware and Software, Verification and Testing: Revised Selected Papers/Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 2006
High-Confidence Software Reuse in Large Systems: Proc./10th International Conference on Software Reuse, ICSR 2008. Beijing, China, May 2008
Integrated Formal Methods: Proc./5th International Conference, IFM 2005. Eindhoven,The Netherlands,November 2005
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Making Globally Distributed Software Development a Success Story: Proc./International Conference on Software Process, ICSP 2008. Leipzig, Germany, May 2008
Mathematical Software - ICMS 2006: Proc./Second International Congress on Mathematical Software. Castro Uridales, Spain, September 2006
Model Checking: Back and Forth between Hardware and Software
Model Driven Architecture - Foundations and Applications: Proc./Second European Conference, ECMDA-FA 2006. Bilbao, Spain, July 2006
Models and Software Model Checking of a Distributed File Replication System
Model Transformantion Languages and Their Implementation by Bootstrapping Method
1
2
следующая ›
последняя »