Arama Sonuçları - location verification programming programming concepts https

Şunu mu demek istediniz:
verification programming » specification programming , identification programming , verification program
programming programming » programming programmed , programming program
location verification » calculations verification
programming concepts » programming congresses
https » http

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Declarative Debugger -- Automatic Verification of a Model Checker by Reflection -- Probabilistic-Logical...”
Tam Metin Erişim

Elektronik Ekitap

Rigorous Development of Complex Fault-Tolerant Systems

Baskı/Yayın Bilgisi 2006

İçindekiler: “...-Technique of Web Services Analysis and Dependability Ensuring -- On Specification and Verification...”
Tam Metin Erişim

Elektronik Ekitap

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- An SMT Approach to Bounded Reachability Analysis of Model Programs -- Verification -- Parameterized Tree...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Creating Passion for Augmented Reality Applications – A Teaching Concept for a Lab Course -- Applications...”
Tam Metin Erişim

Elektronik Ekitap

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Algebraically -- Abstract Dynamic Frames -- Automated Verification of Relational While-Programs -- On Faults...”
Tam Metin Erişim

Elektronik Ekitap

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”
Tam Metin Erişim

Elektronik Ekitap

Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems...”
Tam Metin Erişim

Elektronik Ekitap

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming Concepts -- Real-Time System for Monitoring and Analyzing Personal Electrocardiogram on Cell Phone...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...”
Tam Metin Erişim

Elektronik Ekitap

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Facility Location Problem -- Fourier Series Chaotic Neural Networks -- Numerical Simulation...”
Tam Metin Erişim

Elektronik Ekitap

Clusters, Orders, and Trees: Methods and Applications In Honor of Boris Mirkin's 70th Birthday /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt