1
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Monitor -- Quantitative EEG Changes Under Continuous Wakefulness and with Fatigue Countermeasures...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation...
View full text
Electronic eBook
4
Table of Contents: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
9
Table of Contents: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
View full text
Electronic eBook
10
Published 2005
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Architecture of Web Server Cluster -- Change Detection in Ontology Versioning: A Bottom-Up Approach...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ...Part I: Uncertainty Modeling -- Chapter 1. Rough Sets and other Mathematics: Ten Research Programs...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... -- Nucleosome Structure and Function -- The Role of Snf2-Related Proteins in Cancer -- Imitation Switch...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Middleware Policy to Support QoS -- Adaptive Web Processes Using Value of Changed Information -- SCENE: A...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...: Continuities and Changes; Rostan -- 7. The Changing Balance of Teaching and Research in the Dutch Binary Higher...
View full text
Electronic eBook