1
Publicerad 2015
Innehållsförteckning: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Hämta fulltext
Elektronisk E-bok
2
av Sestoft, Peter., Sestoft, Peter.
Publicerad 2012
Ämnen: ...Programming languages (Electronic computers)....
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2012
Innehållsförteckning: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2008
Innehållsförteckning: ... Tracing Closed Itemset and Transaction Set Simultaneously -- Extracting Concepts from Religious Knowledge...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2010
Innehållsförteckning: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
Hämta fulltext
Elektronisk E-bok
6
av Carsetti, A., Carsetti, A.
Publicerad 2013
Innehållsförteckning: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2014
Innehållsförteckning: ...Construction Contracts -- Contracting: Minefield of Construction Disputes -- Analyzing Construction...
Hämta fulltext
Elektronisk E-bok
8
Innehållsförteckning: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2012
Innehållsförteckning: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2006
Innehållsförteckning: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2006
Innehållsförteckning: ... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2008
Innehållsförteckning: ... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2006
Innehållsförteckning: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2010
Innehållsförteckning: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2008
Innehållsförteckning: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
Hämta fulltext
Elektronisk E-bok
17
Innehållsförteckning: ...Introduction and Motivation -- Historical Survey -- Theory of Computability Models -- Theory...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2013
Innehållsförteckning: ...From the Contents: Part I Mechanisms in Programs and Nature -- Hyperbolic Cellular Automata -- A...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2007
Innehållsförteckning: ... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
Hämta fulltext
Elektronisk E-bok