Inne możliwości wyszukiwania:
interactive computing » interactive computer
programs program » programming program
program program » programming program
https » http
1
Spis treści: ...Computer modeling of chromosomes: A new approach for genetics education -- Chromosome techniques...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2006
Spis treści: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Hasła przedmiotowe: ...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
od Lee, Kent D., Lee, Kent D.
Wydane 2008
Spis treści: ...Introduction -- Specifying Syntax -- Object-Oriented Programming with C++ -- Object-Oriented...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2008
Spis treści: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2007
Spis treści: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2005
Spis treści: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2008
Spis treści: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2010
Spis treści: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2015
Spis treści: ... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2014
Spis treści: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2007
Spis treści: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2015
Spis treści: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Spis treści: ...The Abstract Rational Outlook -- A Grab Bag of Computational Models -- Some Formal Technology...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2005
Spis treści: ... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
od Lee, Kent D., Lee, Kent D.
Wydane 2014
Spis treści: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
od Lee, Kent D., Lee, Kent D.
Wydane 2014
Hasła przedmiotowe: ...Programming languages (Electronic computers)....
Dokumenty pełnotekstowe
Elektroniczne E-book
18
od Lee, Kent D., Lee, Kent D.
Wydane 2011
Spis treści: ...-driven Programming -- Defining Classes....
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2006
Spis treści: ...Turing, Computing and Communication -- Computing and Interaction -- Principles of Interactive...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2005
Spis treści: ...Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical...
Dokumenty pełnotekstowe
Elektroniczne E-book