Search Results - integer java programming general java https

Search alternatives:
programming general » programming genetic , programming neural
java programming » c programming
integer java » integer data , integer base , integer dea
general java » central java , general ad , general ann
https » http

Linear Programming Foundations and Extensions /

by Vanderbei, Robert J., Vanderbei, Robert J.
Published 2014

Table of Contents: “... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
View full text

Electronic eBook

Linear Programming Foundations and Extensions /

by Vanderbei, Robert J., Vanderbei, Robert J.
Published 2008

Table of Contents: “... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Published 2006

Table of Contents: “... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”
View full text

Electronic eBook

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Published 2007

Table of Contents: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer...”
View full text

Electronic eBook

Algorithms and Data Structures The Basic Toolbox /

by Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Published 2008

Table of Contents: “...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
View full text

Electronic eBook

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Published 2007

Table of Contents: “... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”
View full text

Electronic eBook

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Published 2010

Table of Contents: “... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”
View full text

Electronic eBook

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

Narrow Search