1
Veröffentlicht 2015
Inhaltsangabe: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2013
Inhaltsangabe: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2008
Inhaltsangabe: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2012
Inhaltsangabe: ...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2013
Inhaltsangabe: ... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2014
Inhaltsangabe: .... Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit -- Span-Program-Based...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... Computing -- Contributed Papers -- Robust Kinetic Convex Hulls in 3D -- On Dominance Reporting in 3D...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2014
Inhaltsangabe: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2013
Inhaltsangabe: ... Search with Search Space Partitioning -- Fast Computation of the Multi-points Expected Improvement...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2012
Inhaltsangabe: ... Encryption with Non-interactive Opening -- Fast Tate Pairing Computation on Twisted Jacobi Intersections...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2015
Inhaltsangabe: ...: impact, methods, and criteria -- Life skills for women: cognitive processes and communicative skills...
Volltext
Elektronisch E-Book
15
von Trask, Bahira., Trask, Bahira.
Veröffentlicht 2010
Inhaltsangabe: ... -- Work–Family Intersections in a Globalizing Context -- Global Conceptualizations of Children...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2012
Inhaltsangabe: ... processing -- Major principles in a minor context: Forensic practices involving adolescents -- Juveniles...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2014
Inhaltsangabe: ... Optimization Process with Calls to Costly Sub-processes -- DC Programming and DCA for Portfolio Optimization...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2014
Inhaltsangabe: ... Optimization Process with Calls to Costly Sub-processes -- DC Programming and DCA for Portfolio Optimization...
Volltext
Elektronisch E-Book