Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming designing » programming design, programming learning, programming building
designing based » designing base, designing biases, designing case
based tools » based tool, basic tools
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming designing » programming design, programming learning, programming building
designing based » designing base, designing biases, designing case
based tools » based tool, basic tools
1
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
3
by Lent, Craig S., 1956-.
Published 2013
Table of Contents:
“...: Writing Your Own MATLAB Functions Chapter 8: More MATLAB Data Classes and Structures Chapter 9: Building a...”Published 2013
Book
4
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
5
by Koohi, Sina Zangbari
Published 2020
Subjects:
“...Parallel programming (Computer science) - Research...”Published 2020
View full text
Thesis
6
Published 2006
Table of Contents:
“... -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”View full text
Electronic
eBook
9
Table of Contents:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
13
Table of Contents:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Support for HW/SW Codesign: A UML-based Design Flow -- C/C++-Based System Design -- Checkpoint and Restore...”View full text
Electronic
eBook
19
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”View full text
Electronic
eBook