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