Výsledky vyhledávání - program globalization https function java https*

Alternativní vyhledávání:
program globalization » problems globalization , program visualization , from globalization
https function » its function , sites function , ups function
function java » function jane , function jason , function james

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Vydáno 2010

Obsah: “...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”
Získat plný text

Elektronický zdroj E-kniha

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Vydáno 2014

Obsah: “... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”
Získat plný text

Elektronický zdroj E-kniha

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Vydáno 2008

Obsah: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Vydáno 2007

Obsah: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Získat plný text

Elektronický zdroj E-kniha

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Vydáno 2007

Obsah: “... from Global Optimizing Evolution in a Multi-agent System -- A Hybrid Econometric-AI Ensemble Learning...”
Získat plný text

Elektronický zdroj E-kniha

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Vydáno 2010

Obsah: “... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”
Získat plný text

Elektronický zdroj E-kniha

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Vydáno 2005

Obsah: “... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”
Získat plný text

Elektronický zdroj E-kniha

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Vydáno 2007

Obsah: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání