Andere Suchmöglichkeiten:
using computers » using computer
computers https » computing https, computers gtt, computers help
programs using » programming using
java programs » java programming
integer java » integer data, integer base, integer dea
1
von Friesen, Jeff., Friesen, Jeff.
Veröffentlicht 2011
Schlagworte: ...Java (Computer program language)....
Volltext
Elektronisch E-Book
2
Veröffentlicht 2012
Inhaltsangabe: ... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...
Volltext
Elektronisch E-Book
3
von Simon, Axel., Simon, Axel.
Veröffentlicht 2008
Inhaltsangabe: ...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2007
Inhaltsangabe: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ...-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2006
Inhaltsangabe: ... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...
Volltext
Elektronisch E-Book
7
von Lopez, Cesar., Lopez, Cesar.
Veröffentlicht 2014
Schlagworte: ...Programming languages (Electronic computers)....
Volltext
Elektronisch E-Book
8
Veröffentlicht 2007
Inhaltsangabe: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
Volltext
Elektronisch E-Book
9
von Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Veröffentlicht 2008
Inhaltsangabe: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2007
Inhaltsangabe: ... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2007
Inhaltsangabe: ... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...
Volltext
Elektronisch E-Book