Search Results - integrals computing programming programming using https

1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach...”
View full text

Electronic eBook

2

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond /

by Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Published 2005

Subjects: “...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text

Electronic eBook

3

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics /

by Majkić, Zoran., Majkić, Zoran.
Published 2014

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

4

Programming Languages An Active Learning Approach /

by Lee, Kent D., Lee, Kent D.
Published 2008

Table of Contents: “...Introduction -- Specifying Syntax -- Object-Oriented Programming with C++ -- Object-Oriented...”
View full text

Electronic eBook

5

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
View full text

Electronic eBook

6

Programming for Engineers A Foundational Approach to Learning C and Matlab /

by Bradley, Aaron R., Bradley, Aaron R.
Published 2011

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

Electronic eBook

7

Foundations of 3D Graphics Programming Using JOGL and Java3D /

by Chen, Jim X., Chen, Jim X., Wegman, Edward J.
Published 2006

Table of Contents: “... -- Programming in Java3D -- Advanced Topics....”
View full text

Electronic eBook

8

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text

Electronic eBook

9

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Published 2008

Table of Contents: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
View full text

Electronic eBook

10

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text

Electronic eBook

11

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”
View full text

Electronic eBook

12

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2005

Table of Contents: “... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”
View full text

Electronic eBook

13

Foundations of 3D Graphics Programming Using JOGL and Java3D /

by Chen, Jim X., Chen, Jim X., Chen, Chunyang.
Published 2008

Table of Contents: “... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text

Electronic eBook

14

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux...”
View full text

Electronic eBook

15

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

Published 2005

Table of Contents: “... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”
View full text

Electronic eBook

16

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2010

Table of Contents: “... -- Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios...”
View full text

Electronic eBook

17

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2008

Table of Contents: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
View full text

Electronic eBook

18

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /

Published 2010

Table of Contents: “...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”
View full text

Electronic eBook

19

Object-Oriented Analysis, Design and Implementation An Integrated Approach /

by Dathan, Brahma., Dathan, Brahma., Ramnath, Sarnath.
Published 2015

Table of Contents: “... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
View full text

Electronic eBook

20

Reflections on the Teaching of Programming Methods and Implementations /

Published 2008

Table of Contents: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
View full text

Electronic eBook

Narrow Search