1
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
View full text
Electronic eBook
3
Table of Contents: ...Embedded Systems Design: Hardware and Software Interaction -- Basics -- System Architecture Design...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Organization and Dissemination -- Fostering Innovation with the THESEUS Research Program -- From Idea to Market...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX...
View full text
Electronic eBook
6
Table of Contents: ...: Organizing an After-School Program -- Chapter 2: The Group-Centered Approach -- Chapter 3: Combining Learning...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...Managing Agile Processes -- Comparing Decision Making in Agile and Non-agile Software Organizations...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology -- Adoption...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Approach -- An Agent-Based Model for Hierarchical Organizations -- Ballroom etiquette: A Case Study...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...
View full text
Electronic eBook
12
... Program, Faculty of Business Management of a local public university in Malaysia. Learning...
View full text
Article
13
Published 2008
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Building and Managing Organizations -- Conditional Dependence Networks in Requirements Engineering...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Multi-agent Organizations -- Method for Designing Networking Adaptive Interactive Hybrid Systems -- Case...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Student’s Knowledge on Programming Using Fuzzy Techniques -- Camera Angle Invariant Shape Recognition...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... for Governing Small-Scale Fisheries of The Pacific: A Solomon Islands’ Case Study -- 4. Governance...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... and Emergence in Self-Organizing Systems -- A Method to Derive Local Interaction Strategies for Improving...
View full text
Electronic eBook