Вы здесь

Главная

автоматический

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

Scientific and Statistical Database Management: Proc./23rd International Conference, SSDBM 2011, Portland,OR,USA, July 2011
Semantic Analysis for Parallelizing C
Semantic Extraction for the Automatic Verification of VHDL Descriptions
Semantics of a Specification Language
Shape in Medical Imaging: Proc./International Workshop, ShapeML 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018
Smart Graphics: Proc./10th International Symposium on Smart Graphics, SG 2010, Banff, Canada, June 2010
SOFSEM 2010: Theory and Practice of Computer Science: Proc./36th Conference on Current Trends in Theory and Practic of CS, Spindleruv Mlyn, Czech Republic, January 2010
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 2015
Software Reuse without Reading Code
Solutions to the Communication Minimization Problem for Affine Recurrence Equations
Specification and verification of the classical sliding window protocol
Speech and Computer: Proc./18th International Conference, SPECOM 2016, Budapest, Hungary, August 2016
Speech and Computer: Proc./21st International Conference, SPECOM 2019, Istanbul, Turkey, August 2019
SPIKE, an Automatic Theorem Prover
State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications
Static Analysis of Linear Congruence Equalities Among Variables of a Program
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
Statistical Atlases and Computational Models of the Heart: Atrial Segmentation and LV Quantification Challenges: Revised Selected Papers/9th International Workshop, STACOM 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018
Statistical Language and Speech Processing: Proc./6th International Conference, SLSP 2018, Mons, Belgium, October 2018
Statistical Language and Speech Processing: Proc./7th International Conference, SLSP 2019, Ljubljana, Slovenia, October 2019
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/4th International Workshop, SOFL+MSVL 2014, Luxembourg, November 2014
Symbolic Test Case Generation for Primitive Recursive Functions
Tailored Protocol Development Using ESTEREL
Tampere Verification Tool
Television Information Filtering through Speech Recognition
Term Indexing
Testing of Service-Oriented Architectures- A Practical Approach
Testing of Software and Communication Systems: Proc./21st IFIP WG 6.0 Intl Conf., TESTCOM 2009 and 9th Intl WS, FATES 2009, Eindhoven, The Netherlands, November 2009
Testing - Practice and Research Techniques: Proc./5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 2010
Testing Software and Systems: Proc./22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010
Tests and Proofs: Proc./4th International Conference, TAP 2010, Malaga, Spain, July 2010
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text Mining
Text, Speech, and Dialogue: Proc./18th International Conference, TSD 2015, Pilsen, Czech Republic, September 2015
Text, Speech, and Dialogue: Proc./20th International Conference, TSD 2017, Prague, Czech Republic, August 2017
Text, Speech, and Dialogue: Proc./22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 2019
The Boole Lecture: A Very Mathematical Dilemma
The EVES System
The Ideal of Program Correctness
The Megaframe Hypercluster - a Reconfigurable Architecture for Massively Parallel Computers
Theorem Proving in Higher Order Logics: Proc./17th International Conference, TPHOLs 2004. Park City,Utah,USA,September 2004
Theorem Proving in Higher Order Logics: Proc./20th International Conference, TPHOLs 2007. Kaiserslautern, Germany, September 2007
Theorem Proving in Higher Order Logics: Proc./21st International Conference, TPHOLs 2008. Montreal, Canada, August 2008
Theorem Proving Languages for Verification
Theorem Proving Using Equational Matings and Regid E-Unification
Theoretical Aspects of Computing - ICTAC 2012: Proc./9th International Colloquium, Bangalore, India, September 2012
The Rhetorical Knowledge Representation System Reference Manual (for Rhet Version 17.9)
The Rhet Programmer s Guide (for Rhet Version 17.9)
The Semantic Web: Research and Applications, Part I: Proc./7th Extended SW Conference, ESWC 2010, Heraclion, Greece, May/June 2010
The Semantic Web: Research and Applications: Proc./6th European Semantic Web Conference, ESWC 2009, Heraklion, Greece, May/June 2009
The Theory of Timed Automata