Suchergebnisse - integer java programs using computers https

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

von Friesen, Jeff., Friesen, Jeff.
Veröffentlicht 2011

Schlagworte: “...Java (Computer program language)....”
Volltext

Elektronisch E-Book

Veröffentlicht 2012

Inhaltsangabe: “... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Volltext

Elektronisch E-Book

Veröffentlicht 2010

Inhaltsangabe: “...-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point...”
Volltext

Elektronisch E-Book

Veröffentlicht 2006

Inhaltsangabe: “... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”
Volltext

Elektronisch E-Book

von Lopez, Cesar., Lopez, Cesar.
Veröffentlicht 2014

Schlagworte: “...Programming languages (Electronic computers)....”
Volltext

Elektronisch E-Book

Veröffentlicht 2007

Inhaltsangabe: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...”
Volltext

Elektronisch E-Book

Veröffentlicht 2007

Inhaltsangabe: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
Volltext

Elektronisch E-Book