1
Table of Contents: ...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Strategies and Concepts -- Part X: Public Sector....
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... for the Internet of Services -- Semantic Concept Identification for Images and Videos -- Content Identification...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... – An Application from Automotive/Infotainment Development.- Formal Methods for Intelligent Transportation Systems...
View full text
Electronic eBook
7
by Graba, Jan., Graba, Jan.
Published 2007
Table of Contents: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
View full text
Electronic eBook
8
Table of Contents: ...Object, Class, Message and Method -- A Quick Tour of Java -- Implementation in Java...
View full text
Electronic eBook
9
by Brooks, David R., Brooks, David R.
Published 2011
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
10
Published 2011
Table of Contents: ... Forecasting Based on Conjoint Analysis -- Towards a Concept for Supporting Needy Children in Developing...
View full text
Electronic eBook
11
Table of Contents: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Model for Mindful Information Systems Offshoring -- Negotiating a Systems Development Method -- A Hybrid...
View full text
Electronic eBook
13
Table of Contents: ...Beginner -- Installing Zope -- The Zope 3 Component Architecture -- Interfaces -- Content...
View full text
Electronic eBook
14
Table of Contents: ...Beginner -- Zope and the Component Architecture -- Installing Zope -- Interfaces -- Content...
View full text
Electronic eBook
15
Table of Contents: ...Beginner -- Zope and the Component Architecture -- Installing Zope -- Interfaces -- Content...
View full text
Electronic eBook
16
by Kuh, Nick., Kuh, Nick.
Published 2012
Subjects: ...Apple and iOS. https://scigraph.springernature.com/ontologies/product-market-codes/I29020...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...Fault Tolerance -- On Fault Tolerance in Law-Governed Multi-agent Systems -- On Developing Open...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... with Dependency Graphs -- A Concept Mapping Tool for Nursing Education -- Cognitive Methods for Visualizing Space...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Research Area -- Virtual Reality Technology - An Overview -- A Concept for a Multipurpose, Multi-Modal...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...
View full text
Electronic eBook