1
Wydane 2008
Spis treści: ... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....
Dokumenty pełnotekstowe
Elektroniczne E-book
2
od Liu, G.R., Liu, G.R., Gu, Y.T.
Wydane 2005
Spis treści: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Spis treści: ... and Fundamental Solutions -- Boundary Integral Equations -- Boundary Element Methods — Numerical Implementation...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Hasła przedmiotowe: ...Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Spis treści: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2007
Spis treści: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Spis treści: ... Theory -- The Simplex Method in Matrix Notation -- Sensitivity and Parametric Analyses -- Implementation...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Spis treści: ... System -- Implementation Issues -- The Affine-Scaling Method -- The Homogeneous Self-Dual Method...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
od Nowak, Ivo., Nowak, Ivo.
Wydane 2005
Spis treści: ... Methods -- Semidefinite Relaxations -- Convex Underestimators -- Cuts, Lower Bounds and Box Reduction...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2010
Spis treści: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Spis treści: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2008
Spis treści: ... -- Program Verification -- Verification of Equivalent-Results Methods -- Semi-persistent Data Structures -- A...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2012
Hasła przedmiotowe: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2011
Hasła przedmiotowe: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2007
Spis treści: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
od PAN, Ping-Qi., PAN, Ping-Qi.
Wydane 2014
Spis treści: ... simplex method -- Implementation of the Simplex Method -- Sensitivity Analysis and Parametric LP...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2005
Spis treści: ...Logic- or Process Algebra-Based Agent Programming Languages -- Jason and the Golden Fleece of Agent...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Hasła przedmiotowe: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2006
Spis treści: ...Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Spis treści: ...Basic Notions -- Programming Languages and Paradigms -- Constraints -- Multiparadigm Constraint...
Dokumenty pełnotekstowe
Elektroniczne E-book