1
Table of Contents: ...Computer modeling of chromosomes: A new approach for genetics education -- Chromosome techniques...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... with Added Appendix -- Computability Logic: A Formal Theory of Interaction -- Applications -- Human-Computer...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
View full text
Electronic eBook
4
by Kerfs, Jeremy., Kerfs, Jeremy.
Published 2011
Subjects: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... -- EvoINTERACTION Contributions -- EvoMUSART Contributions -- EvoSTOC Contributions....
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...EvoCOMNET Contributions -- EvoFIN Contributions -- EvoIASP Contributions -- EvoINTERACTION...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs -- Public vs Private Coin...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...I: Business Applications -- II: Learning and Entertainment -- III: Health Applications -- IV: Work...
View full text
Electronic eBook
11
Subjects: ...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
13
by Hermes, Dan., Hermes, Dan.
Published 2015
Subjects: ...Computer programming....
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ... Migration Network Support -- Dynamic Reconfiguration of Application Logic during Application Migration...
View full text
Electronic eBook
16
Published 2005
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
17
Published 2007
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Computation with Quadratic Communication -- Improved Garbled Circuit: Free XOR Gates and Applications...
View full text
Electronic eBook
20
Subjects: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
View full text
Electronic eBook