Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
processing structures » processing structured, processing structure, processing structural
program processing » programs processing, program proceedings, program process
structures under » structures using
java program » java programs, a program, java programming
under https » gender https
processing structures » processing structured, processing structure, processing structural
program processing » programs processing, program proceedings, program process
structures under » structures using
java program » java programs, a program, java programming
under https » gender https
1
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicat 2013
Taula de continguts:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Obtenir text complet
Electrònic
eBook
2
Taula de continguts:
“...Introduction -- Fundamentals of persistence -- Data structures, libraries, and UML -- Advanced...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Obtenir text complet
Electrònic
eBook
4
Publicat 2006
Taula de continguts:
“... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”Obtenir text complet
Electrònic
eBook
5
Publicat 2014
Taula de continguts:
“... and their Suitability for Cryptographic Algorithms -- An Introduction to Java Card Programming -- A Practical Example...”Obtenir text complet
Electrònic
eBook
6
Publicat 2012
Taula de continguts:
“... -- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage -- Model Checking under Fairness in ProB...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Obtenir text complet
Electrònic
eBook
8
Publicat 2007
Taula de continguts:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”Obtenir text complet
Electrònic
eBook
10
Publicat 2006
Taula de continguts:
“... Application Security Gateway with Java Non-blocking IO -- Microaggregation for Database and Location Privacy...”Obtenir text complet
Electrònic
eBook