1
Published 2015
Table of Contents: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
View full text
Electronic eBook
2
by Sestoft, Peter., Sestoft, Peter.
Published 2012
Table of Contents: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
View full text
Electronic eBook
4
by Carsetti, A., Carsetti, A.
Published 2013
Table of Contents: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... of Japanese Word Associations -- Construction of a Probabilistic Hierarchical Structure Based on a Japanese...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Dispute -- Negotiating Construction Dispute -- Mediation as a Form of Assisted Negotiation....
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...
View full text
Electronic eBook
9
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...From the Contents: Part I Mechanisms in Programs and Nature -- Hyperbolic Cellular Automata -- A...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Learning Services on PDA -- Construction of Virtual Learning Environments of Lushan Mountain -- A...
View full text
Electronic eBook
15
Table of Contents: ... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
View full text
Electronic eBook
20
Table of Contents: ... of Lambda Algebras -- Kleene Computability in a Total Setting -- Nested Sequential Procedures -- PCF and Its...
View full text
Electronic eBook