1
Gepubliceerd in 2013
Inhoudsopgave: ... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...
Volledige tekst
Elektronisch E-boek
2
door Hazrat, Roozbeh., Hazrat, Roozbeh.
Gepubliceerd in 2015
Inhoudsopgave: ... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...
Volledige tekst
Elektronisch E-boek
3
door Hazrat, Roozbeh., Hazrat, Roozbeh.
Gepubliceerd in 2010
Inhoudsopgave: ... -- 8. Substitution, Mathematica rules -- 9. Pattern matching -- 10. Functions with multiple definitions...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ... in a Heterogeneous Network of Computers -- Block-Based Allocation Algorithms for FLASH Memory...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2006
Inhoudsopgave: ... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2010
Inhoudsopgave: ... to Solve Multiple Traveling Salesmen Problem by Genetic Algorithm -- Some Examples of Computing...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2010
Inhoudsopgave: ... Toolbox QuPAT on Scilab -- Agent Based Evacuation Model with Car-Following Parameters by Means of Cellular...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2014
Inhoudsopgave: ... Computing; P.P. Hung, et al -- Study on Encryption of Wireless Network-Based Mobility Energy-Enterprise...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2013
Inhoudsopgave: ... Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison  Computer Tool...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2013
Inhoudsopgave: ...Part 1 - Theoretical Foundations -- Interval Type-2 Fuzzy Logic Systems and Perceptual Computers...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2010
Inhoudsopgave: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Volledige tekst
Elektronisch E-boek
12
Inhoudsopgave: .... Simulation -- Time and Again -- Simulation as a Problem Solving Tool -- Simulation Software: Today...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2008
Inhoudsopgave: ... Recent Theory for Problem-Solving and Learning in Computers and People -- SOLERES-HCI: Modelling a Human...
Volledige tekst
Elektronisch E-boek
14
door Burgin, Mark., Burgin, Mark.
Gepubliceerd in 2012
Inhoudsopgave: ...-1. Introduction: How mathematicians solve ”unsolvable” problems.-2.  Hypernumbers(Definitions...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2006
Inhoudsopgave: ... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2014
Inhoudsopgave: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2006
Inhoudsopgave: ... Definition, Assurance, and Enforcement -- Ontology-Based Model Transformation -- Modeling Turnpike: A Model...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2006
Inhoudsopgave: ... Against Currently Used Hash Functions in RFID Protocols -- An Efficient ID-Based Delegation Network...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2008
Inhoudsopgave: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2006
Inhoudsopgave: ... -- Evolutionary Computation -- Global Convexity in the Bi-Criteria Traveling Salesman Problem -- Evolutionary...
Volledige tekst
Elektronisch E-boek