Search Results - program aid program java java https

1

by Valentine, Thomas., Valentine, Thomas., Reid, Jonathan.
Published 2013

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

2

Java Threads and the Concurrency Utilities

by FRIESEN, JEFF., FRIESEN, JEFF.
Published 2015

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

3

Learn JavaFX 8 Building User Experience and Interfaces with Java 8 /

by Sharan, Kishori., Sharan, Kishori.
Published 2015

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

4

Distributed, Embedded and Real-time Java Systems

Published 2012

Table of Contents: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
View full text

Electronic eBook

5

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
View full text

Electronic eBook

6

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Published 2005

Table of Contents: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
View full text

Electronic eBook

7

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

Published 2007

Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text

Electronic eBook

8

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Published 2005

Table of Contents: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
View full text

Electronic eBook

9

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “... Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing...”
View full text

Electronic eBook

10

The Definitive Guide to db4o

by Paterson, Jim., Paterson, Jim., Edlich, Stefan.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

11

Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /

Published 2007

Table of Contents: “... and Specifications -- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic -- Testing...”
View full text

Electronic eBook

12

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...”
View full text

Electronic eBook

13

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Wireless Networks -- Gradient-Based Autoconfiguration for Hybrid Mobile Ad Hoc Networks -- Model-Aided Data...”
View full text

Electronic eBook

14

Advances in Web Based Learning - ICWL 2008 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings /

Published 2008

Table of Contents: “... and Experience Sharing of Three-Year Peer Coaching Program in Taiwan -- eKnowledge Repositories in eLearning 2.0...”
View full text

Electronic eBook

15

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS -- Particle Swarm...”
View full text

Electronic eBook

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
View full text

Electronic eBook

17

Serialization and Persistent Objects Turning Data Structures into Efficient Databases /

by Soukup, Jiri., Soukup, Jiri., Macháček, Petr.
Published 2014

Subjects: “...Data Storage Representation. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text

Electronic eBook

18

UML @ Classroom An Introduction to Object-Oriented Modeling /

by Seidl, Martina., Seidl, Martina., Scholz, Marion., Huemer, Christian., Kappel, Gerti.
Published 2015

Subjects: “...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”
View full text

Electronic eBook

Narrow Search