1
Baskı/Yayın Bilgisi 2012
İçindekiler: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...
Tam Metin Erişim
Elektronik Ekitap
3
Yazar: Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Baskı/Yayın Bilgisi 2012
İçindekiler: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2013
İçindekiler: ... the Computational Limits of Haugeland's Game as a Two-Dimensional Cellular Automaton.- Part VII Deliberations...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2012
İçindekiler: ...) -- Chap. 2 Creative Ecosystems (Jon McCormack) -- Chap. 3 Construction and Intuition: Creativity in Early...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2006
İçindekiler: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2007
İçindekiler: ... on 2D FFT -- DECP: A Distributed Election Clustering Protocol for Heterogeneous Wireless Sensor...
Tam Metin Erişim
Elektronik Ekitap
9
Yazar: Hausser, Roland R., Hausser, Roland R.
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2008
İçindekiler: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2006
İçindekiler: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Tam Metin Erişim
Elektronik Ekitap
14
Yazar: Longley, John., Longley, John., Normann, Dag.
Baskı/Yayın Bilgisi 2015
İçindekiler: ... of Lambda Algebras -- Kleene Computability in a Total Setting -- Nested Sequential Procedures -- PCF and Its...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2005
İçindekiler: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2006
İçindekiler: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Tam Metin Erişim
Elektronik Ekitap
18
Yazar: Addis, Tom., Addis, Tom., Addis, Jan.
Baskı/Yayın Bilgisi 2010
İçindekiler: ... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...
Tam Metin Erişim
Elektronik Ekitap
20
Yazar: Raynal, Michel., Raynal, Michel.
Baskı/Yayın Bilgisi 2013
İçindekiler: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
Tam Metin Erişim
Elektronik Ekitap