Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program version » programs session, program verifier
version https » vision https, exertion https, version stamps
based https » based http
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program version » programs session, program verifier
version https » vision https, exertion https, version stamps
based https » based http
1
Published 2006
Table of Contents:
“... Versions in Polyvariant Specialization of Prolog Programs -- Extension of Type-Based Approach to Generation...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
4
Table of Contents:
“... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
View full text
View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
6
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Support for HW/SW Codesign: A UML-based Design Flow -- C/C++-Based System Design -- Checkpoint and Restore...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of Norms for Electronic Institutions -- Norm-Oriented Programming of Electronic Institutions: A Rule-Based...”View full text
Electronic
eBook
10
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Issues in Proof-Based Development of Systems Version to Read – Version to Read -- Industrial Track...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Continuous Wave Diffuse Optical Tomography -- An XML-Based Data Model for Moving Object Database -- Improving...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance...”View full text
Electronic
eBook
19
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”View full text
Electronic
eBook