Search Results - integration computing procedures programs java https

Search alternatives:
integration computing » integration competing , interaction computing , integration 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

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

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: “... Validation on Multicore Mobile Devices -- Tool Integration for Reasoned Programming -- Decision Procedures...”
View full text

Electronic eBook

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Published 2014

Table of Contents: “...Cloud, Mobile and Web Computing -- Model-Driven Development of Mobile Applications Allowing Role...”
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: “... Detection in Java Systems: A Dynamic Analysis Based Approach -- Formalization of the UML Class Diagrams...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
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

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

Published 2005

Table of Contents: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
View full text

Electronic eBook

Beginning Databases with PostgreSQL From Novice to Professional /

by Stones, Richard., Stones, Richard., Matthew, Neil.
Published 2005

Table of Contents: “... -- Data Definition and Manipulation -- Transactions and Locking -- Functions, Stored Procedures...”
View full text

Electronic eBook

Narrow Search