1
Tekijä Freeman, Adam., Freeman, Adam.
Julkaistu 2011
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä McCombs, Adam., McCombs, Adam., Banh, Robert.
Julkaistu 2010
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
3
Tekijä Kall, Peter., Kall, Peter., Mayer, János.
Julkaistu 2005
Sisällysluettelo: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2006
Sisällysluettelo: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2007
Sisällysluettelo: ... Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2007
Sisällysluettelo: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
Hae kokoteksti
Elektroninen E-kirja
8
Tekijä Moller, Faron., Moller, Faron., Struth, Georg.
Julkaistu 2013
Sisällysluettelo: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2012
Sisällysluettelo: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2007
Sisällysluettelo: ... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2007
Sisällysluettelo: ... -- Controlling Process Modularity in Mobile Computing -- Failures: Their Definition, Modelling and Analysis -- C...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2008
Sisällysluettelo: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
Hae kokoteksti
Elektroninen E-kirja
14
Sisällysluettelo: ...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2013
Sisällysluettelo: ... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2006
Sisällysluettelo: ... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ...-Dependent Interpolation Algorithm -- Fuzzy Image Segmentation Based on Triangular Function and Its n...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2008
Sisällysluettelo: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2010
Sisällysluettelo: ... -- Towards the Definition of a Metamodel for the Conceptual Specification of Web Applications Based on Social...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2010
Sisällysluettelo: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Hae kokoteksti
Elektroninen E-kirja