Search Results - interactive computing procedures programs java https

Search alternatives:
interactive computing » interactive computer
computing procedures » computing procedure , scouting procedures , computing proceedings
procedures programs » procedural programs , procedures problems , procedures process
programs java » program java , programs a , programs case
https » http

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
View full text

Electronic eBook

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Published 2006

Table of Contents: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
View full text

Electronic eBook

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Published 2008

Table of Contents: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
View full text

Electronic eBook

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10,...

Published 2010

Table of Contents: “... Error Detection -- Language Support for Service Interactions in Service-Oriented Architecture...”
View full text

Electronic eBook

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
View full text

Electronic eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
View full text

Electronic eBook

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

Published 2007

Table of Contents: “... cminor -- Formalising Java’s Data Race Free Guarantee -- Finding Lexicographic Orders for Termination...”
View full text

Electronic eBook

Narrow Search