1
Veröffentlicht 2005
Inhaltsangabe: ... Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2013
Inhaltsangabe: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2015
Inhaltsangabe: ... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2007
Inhaltsangabe: ... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...
Volltext
Elektronisch E-Book
5
von Hild, Ed., Hild, Ed., Adams, Susie.
Veröffentlicht 2007
Schlagworte: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ... Perfectly One-Way Functions -- Error-Tolerant Combiners for Oblivious Primitives -- Asynchronous Multi-Party...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2007
Inhaltsangabe: ... Combinations -- Constant-Round Private Database Queries -- Session A8 -- Universal Algebra and Hardness Results...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2014
Inhaltsangabe: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2013
Inhaltsangabe: ... Domination -- Approximate Epistemic Planning with Postdiction as Answer-Set Programming -- Combining...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2013
Inhaltsangabe: ... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...
Volltext
Elektronisch E-Book
12
von O'Toole, Greg., O'Toole, Greg.
Veröffentlicht 2013
Inhaltsangabe: ... -- Web User Research -- The Project -- Project Management -- Architecture -- Functionality -- Image...
Volltext
Elektronisch E-Book
13
von Hermes, Dan., Hermes, Dan.
Veröffentlicht 2015
Schlagworte: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ... Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2007
Inhaltsangabe: ... for the Symmetric Interaction Combinators -- Two Session Typing Systems for Higher-Order Mobile Processes...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2008
Inhaltsangabe: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2010
Inhaltsangabe: ... -- MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning -- Managing Web Services...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2010
Inhaltsangabe: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2007
Inhaltsangabe: ... Applications -- Combining Virtual Reality and Functional Magnetic Resonance Imaging (fMRI): Problems...
Volltext
Elektronisch E-Book