Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming designing » programming design, programming learning, programming building
designing using » designing doing, designing testing, designing routing
using tools » cutting tools, making tools, mining tools
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming designing » programming design, programming learning, programming building
designing using » designing doing, designing testing, designing routing
using tools » cutting tools, making tools, mining tools
1
Aurkibidea:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2012
Aurkibidea:
“... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...”Testu osoa
Baliabide elektronikoa
eBook
3
Aurkibidea:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
4
nork Lent, Craig S., 1956-.
Argitaratua 2013
Aurkibidea:
“...: Writing Your Own MATLAB Functions Chapter 8: More MATLAB Data Classes and Structures Chapter 9: Building a...”Argitaratua 2013
Liburua
5
6
Aurkibidea:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
nork Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Argitaratua 2005
Aurkibidea:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Argitaratua 2005
Testu osoa
Baliabide elektronikoa
eBook
8
Aurkibidea:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2015
Aurkibidea:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2007
Aurkibidea:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”Testu osoa
Baliabide elektronikoa
eBook
15
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Argitaratua 2005
Aurkibidea:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“... Genetic Programming Ensembles -- Evolutionary Digital Circuit Design Using Genetic Programming -- Evolving...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”Testu osoa
Baliabide elektronikoa
eBook
18
Aurkibidea:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Aurkibidea:
“...-Based Tools -- Logic Data Modeling Tools -- Web User Interface Tools -- XML in Analysis and Design...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Testu osoa
Baliabide elektronikoa
eBook