Search Results - programs practices https function usage https

1

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Published 2013

Table of Contents: “... Feasibility: CP Usage in Constrained-Random Functional Hardware -Verification.-Stochastic Local Search Based...”
View full text

Electronic eBook

2

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /

Published 2005

Table of Contents: “... Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical...”
View full text

Electronic eBook

3

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “...-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification...”
View full text

Electronic eBook

4

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”
View full text

Electronic eBook

5

Introduction to C++ Programming and Graphics

by Pozrikidis, Constantine., Pozrikidis, Constantine.
Published 2007

Table of Contents: “...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text

Electronic eBook

6

Differential Evolution A Practical Approach to Global Optimization /

by Price, Kenneth., Price, Kenneth., Storn, Rainer M., Lampinen, Jouni A.
Published 2005

Table of Contents: “... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...”
View full text

Electronic eBook

7

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... of Timed Automata -- Iterator Types -- Types and Effects for Resource Usage Analysis -- The Complexity...”
View full text

Electronic eBook

8

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Published 2005

Table of Contents: “... Resource Usage in Component-Based Real-Time Systems -- Evaluating Performance Attributes of Layered...”
View full text

Electronic eBook

9

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Published 2010

Table of Contents: “... Programming Approach -- Full Satisfiability of UML Class Diagrams -- On Enabling Data-Aware Compliance...”
View full text

Electronic eBook

10

Iterating Infusion Clearer Views of Objects, Classes, and Systems /

by Anthony, Greg., Anthony, Greg.
Published 2005

Table of Contents: “... and Structures -- Part Two Bi-design; Function-oriented Designing Strategies -- Part Three Untangled Web; One...”
View full text

Electronic eBook

11

Iterating Infusion Clearer Views of Objects, Classes, and Systems /

by Anthony, Greg., Anthony, Greg.
Published 2012

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

12

The Definitive Guide to HTML5

by Freeman, Adam., Freeman, Adam.
Published 2011

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

Electronic eBook

13

AdvancED ActionScript Components Mastering the Flash Component Architecture /

by De Donatis, Antonio., De Donatis, Antonio.
Published 2006

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

Electronic eBook

14

Beginning SUSE Linux From Novice to Professional /

by Thomas, Keir., Thomas, Keir.
Published 2005

Table of Contents: “... -- Using Linux Replacements for Windows Programs -- Managing Your Files -- Dealing with Problems...”
View full text

Electronic eBook

15

Building a Data Warehouse With Examples in SQL Server /

by Rainardi, Vincent., Rainardi, Vincent.
Published 2008

Table of Contents: “... -- Functional and Nonfunctional Requirements -- Data Modeling -- Physical Database Design -- Data Extraction...”
View full text

Electronic eBook

16

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... -- Theory-Building with System Dynamics: Principles and Practices -- Ontology Integration for Statistical...”
View full text

Electronic eBook

17

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Published 2008

Table of Contents: “... Setup and Usage of Custom-Tailored Software Cockpits -- MIS-PyME Software Measurement Maturity Model...”
View full text

Electronic eBook

18

Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings /

Published 2005

Table of Contents: “...-the-Shelf Component Usage in Industrial Projects -- A Rendezvous of Content Adaptable Service and Product...”
View full text

Electronic eBook

19

Service-Oriented Computing - ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings /

Published 2007

Table of Contents: “... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...”
View full text

Electronic eBook

20

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... Soundness for Service Orchestrations -- Modeling Web Services by Iterative Reformulation of Functional...”
View full text

Electronic eBook

Narrow Search