Вы здесь

Главная

Lecture Notes in Computer Science

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

Verification in Continuous Time by Discrete Reasoning
Verification in Predicate Logic with Time: Algorithmic Questions
Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013
Verification, Model Checking, and Absract Interpretation: Proc./5th Intern. Conf., VMCAI 2004, Venice, Italy, January 2004
Verification, Model Checking, and Abstract Interpretation: Proc./100th International Conference, VMCAI 2009, Savannah, GA, USA, January 2009
Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010
Verification, Model Checking, and Abstract Interpretation: Proc./12th International Conference, VMCAI 2011, Austin,TX,USA, January 2011
Verification, Model Checking, and Abstract Interpretation: Proc./13th International Conference, VMCAI 2012, Philadelphia,PA,USA, January 2012
Verification, Model Checking, and Abstract Interpretation: Proc./15th International Conference, VMCAI 2014, San Diego,CA,USA, January 2014
Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Verification, Model Checking, and Abstract Interpretation: Proc./18th International Conference, VMCAI 2017, Paris, France, January 2017
Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019
Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020
Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021
Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022
Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003
Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005
Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006
Verification, Model Checking, and Abstract Interpretation: Proc./8th International Conference,VMCAI 2007 Nice,France,January 2007
Verification, Model Checking, and Abstract Interpretation: Proc./9th International Conference, VMCAI 2008. San Francisco, USA, January 2008
Verification, Model Checking, and Abstract Interpretation: Proc./Third Intern. Workshop, VMCAI 2002, Venice, Italy, January 2002
Verification of a Distributed Summation Algorithm
Verification of an Advanced MIPS-Type Out-of-Order Execution Algorithm
Verification of Logic Programs with Delay Declarations
Verification of Source Code Transformations by Program Equivalence Checking
Verification of Systolic Arrays in M2L(Str)
Verification: Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Verification via Structure Simulation
Verified Software: Revised Selected Papers/9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2017
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/7th Internationl Conference, VSTTE 2015, San Francisco,CA,USA, July 2015
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/8th Internayional Conference, VSTTE 2016, Toronto,ON,Canada, July 2016
Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012
Verified Software: Theories, Tools, Experiments: Proc./Second International Conference, VSTTE 2008. Toronto, Canada, October 2008
Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010
Verified Software: Theories, Tools, Experiments: Revised Selected Papers/5th Iternational Conference, VSTTE 2013, Menlo Park,CA,USA, May 2013
Verified Software: Theories, Tools, Experiments: Revised Selected Papers and Discussions/1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005. Zurich, Switzerland, October 2005
Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study
Verifying Linear Duration Constraints of Timed Automata
Verifying Parameterized Networks using Abstraction and Regular Languages
Video Analytics: Face and Facial, Expression Recognition and Audience Measurement: Revised Selected Papers/3rd International Workshop, VAAM 2016 and 2nd International Workshop, FFER 2016, Cancun, Mexico, December 2016
Video Analytics: Face and Facial Expression Recognition: Revised Selected Papers/3rd International Workshop, FFER 2018, and 2nd International Workshop, DLPR 2018, Beijing, China, August 2018
Video Analytics for Audience Measurement: Revised Selected Papers/1st International Workshop, VAAM 2014, Stockholm, Sweden, August 2014
Video Processing and Computational Video: Revised Papers/International Seminar, Dagstuhl Castle, Germany, October 2010
Vienna Fortran 90 - An Advanced Data Parallel Language
View Maintenance in Object-Oriented Databases
Viewpoints and Objects