1
Table of Contents: ...to Functional Verification -- Architecture Specification -- Architecture Specification...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers....
View full text
Electronic eBook
3
Table of Contents: ... Function Systems and Their Applications -- Conclusions, Directions for Further Development....
View full text
Electronic eBook
4
Table of Contents: ...Cohomological Theory of Crystals over Function Fields and Applications -- On Geometric Iwasawa...
View full text
Electronic eBook
5
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
6
Subjects: ...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...
View full text
Electronic eBook
7
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
8
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
9
Subjects: ...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Biosensors for Functional Food Safety and Analysis -- Biosensors for Secondary Metabolites, Two Case Studies...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Approach -- Participatory Programming: Developing Programmable Bioinformatics Tools for End-Users...
View full text
Electronic eBook
12
Table of Contents: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
15
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
16
Published 2010
Table of Contents: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
View full text
Electronic eBook
17
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
18
Published 2012
Table of Contents: ... Synthesis of the Cell2Organ Developmental Model -- A Computational Framework for Multilevel Morphologies...
View full text
Electronic eBook
19
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Programmable Components in Modest Integrity Systems -- Session 10 -- Development of High-Integrity Software...
View full text
Electronic eBook