Вы здесь

Главная

приложение

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

Testing Software and Systems: Proc./28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 2016
Tests and Proofs: Proc./5th International Conference, TAP 2011, Zurich, Switzerland, June/July 2011
Text, Speech, and Dialogue: Proc./10th International Conference, TSD 2007. Pilsen, Czech Republic, September 2007
Text, Speech, and Dialogue: Proc./21st International Conference, TSD 2018, Brno, Czech Republic, September 2018
Text, Speech, and Dialogue: Proc./9th International Conference, TSD 2006. Brno, Czech Republic, September 2006
The Aleph Toolkit: Support for Scalable Distributed Shared Objects
The Application of Programming Languages to the Production of Reference Implementations
The Architecture of the ICL GOLDRUSH MegaSERVER
The Boston University Manufacturing Expert System (BUMES): An APL-Based CASE Application
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
The Challenge of Anticipation: A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
The Construction of Domain Ontology and Its Application to Document Retrieval
The Design of a Resource-Aware Reflective Middleware Architecture
The Development of Ordered SQL Packages for Modeling Advanced Applications
The Entity-Relationship Model for Multilevel Security
The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons
The Hermes Language in Outline Form
The HPF+ Project: Supporting HPF for Advanced Industrial Applications
The Juno-2 Constraint-Based Drawing Editor
The multiple representation in an architectural application
The Object-Oriented Development of a Parallel Application in Polymer Dynamics
Theorem Proving in Higher Order Logics: Proc./20th International Conference, TPHOLs 2007. Kaiserslautern, Germany, September 2007
Theoretical Aspects of Computer Software: Proc./4th Intern. Symp., TACS 2001, Sendai, Japan, October 2001
Theoretical Aspects of Computing - ICTAC 2014: Proc./11th International Colloquium, Bucharest, Romania, September 2014
Theory and Applications of Formal Argumentation: Revised Selected Papers/3rd International Workshop, TAFA 2015, Buenos Aires, Argentina, July 2015
Theory and Applications of Models of Computation: Proc./Third International Conference, TAMC 2006. Beijing, China, May 2006
Theory and Applications of Relational Structures as Knowledge Instruments II: Selected Revised Papers/International Workshops of COST Action 274,TARSKI,2002-2005
Theory and Applications of Satisfiability Testing: Revised Selected Papers/7th International Conference, SAT 2004. Vancouver, BC, Canada, May 2004
Theory and Applications of Satisfiability Testing - SAT 2006: Proc./9th International Conference. Seattle, WA, USA, August 2006
Theory and Applications of Satisfiability Testing - SAT 2016: Proc./19th International Conference, Bordeaux, France, July 2016
Theory and Practice of Model Transformations: Proc./8th International Conference, ICMT 2015, Held as Part of STAF 2015, L Aquila, Italy, July 2015
Theory and Practice of Natural Computing: Proc./5th International Conference, TPNC 2016, Sendai, Japan, December 2016
Theory and Practice of Natural Computing: Proc./8th International Conference, TPNC 2019, Kingston,ON,Canada, Decemner 2019
Theory anf Practice of Model Transformations: Proc./9th International Conference, ICMT 2016 Held as Part of STAF 2016, Vienna, Austria, July 2016
The PALLAS Parallel Programming Environment
The Paragon Performance Monitoring Environment
The PIE Methodology - Concept and Application
The POOMA Architecture
The Pressure Is on
The Relationship of Application Risks to Application Controls: A Study of Microcomputer-Based Database Applications
The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience
The Semantic Web - ASWC 2006: Proc./First Asian Semantic Web Conference. Beijing, China, September 2006
The Semantic Web: ESWC 2017 Satellite Events: Revised Selected Papers/ESWC 2017 Satellite Events, Portoroz, Slovenia, May 2017
The Semantic Web - ISWC 2005: Proc./4th International Semantic Web Conference, ISWC 2005. Galway, Ireland, November 2005
The Semantic Web - ISWC 2008: Proc./7th International Semantic Web Conference, ISWC 2008. Karlsruhe, Germany, October 2008
The Semantic Web: Proc./6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007. Busan, Korea, November 2007
The Semantic Web: Research and Applications: Proc./5th European Semantic Web Conference, ESWC 2008. Tenerife, Canary Islands, Spain, June 2008
The Semantic Web: Research and Applications: Proc./Second European Semantic Web Conference, ESWC 2005. Heraklion, Crete, Greece, May/June 2005
The Verification Grand Challenge and Abstract Interpretation
The World Wide Web and Databases: Proc./Third Intern. Workshop WebDB 2000, Dallas, TX, USA, May 2000