1
Table of Contents: ...to Functional Verification -- Architecture Specification -- Architecture Specification...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook
3
Table of Contents: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Computing -- Energy Conservation by Peer-to-Peer Relaying in Quasi-Ad Hoc Networks -- Developing Energy...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Programmable Components in Modest Integrity Systems -- Session 10 -- Development of High-Integrity Software...
View full text
Electronic eBook
9
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... and Morphology -- Video Watermarking Scheme Resistant to Rotation and Collusion Attacks -- Development...
View full text
Electronic eBook
11
Table of Contents: ... Function Systems and Their Applications -- Conclusions, Directions for Further Development....
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers....
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Approach -- Participatory Programming: Developing Programmable Bioinformatics Tools for End-Users...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... -- Objective Scoring for Computing Competition Tasks -- Teacher Education and School Development -- Modelling...
View full text
Electronic eBook
15
Subjects: ...Computer-Aided Engineering (CAD, CAE) and Design. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
16
Subjects: ...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...
View full text
Electronic eBook
17
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
18
by Coles, Michael., Coles, Michael.
Published 2008
Table of Contents: ...The Role of T-SQL -- Tools of the Trade -- T-SQL for SQL Server 2000 Programmers -- Expand coverage...
View full text
Electronic eBook
19
by Coles, Michael., Coles, Michael.
Published 2007
Table of Contents: ...The Role of T-SQL -- Tools of the Trade -- T-SQL for SQL Server 2000 Programmers -- Control-of-Flow...
View full text
Electronic eBook
20
Subjects: ...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...
View full text
Electronic eBook