1
Tekijä Hunt, John., Hunt, John.
Julkaistu 2014
Sisällysluettelo: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2010
Sisällysluettelo: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2006
Sisällysluettelo: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2015
Sisällysluettelo: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2006
Sisällysluettelo: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2007
Sisällysluettelo: ... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...
Hae kokoteksti
Elektroninen E-kirja
9
Tekijä Lee, Kent D., Lee, Kent D.
Julkaistu 2014
Sisällysluettelo: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2006
Sisällysluettelo: ... for GHC-Style Multi-parameter Type Classes -- Private Row Types: Abstracting the Unnamed -- Type...
Hae kokoteksti
Elektroninen E-kirja
11
Tekijä Mintz, Mike., Mintz, Mike., Ekendahl, Robert.
Julkaistu 2007
Aiheet: ...Programming languages (Electronic computers)....
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2013
Sisällysluettelo: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2007
Sisällysluettelo: ... Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2005
Sisällysluettelo: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ... the Multiagent Paradigm -- Genetic Computing and Games -- Experimental Comparison of Methods to Handle Boundary...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2005
Sisällysluettelo: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2006
Sisällysluettelo: ... for the Extendability of Ternary Linear Codes -- On the Design of Codes for DNA Computing -- Open Problems Related...
Hae kokoteksti
Elektroninen E-kirja
18
Tekijä Spear, Chris., Spear, Chris.
Julkaistu 2008
Sisällysluettelo: ... and Pure Virtual Methods -- 8.7 Callbacks -- 8.8 Parameterized Classes -- 8.9 Conclusion -- 9. Functional...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2007
Sisällysluettelo: ... Identification Systems -- Application of Improved Projection Method to Binary Images -- Computer Simulation...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2008
Sisällysluettelo: ... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...
Hae kokoteksti
Elektroninen E-kirja