Hakutulokset - functions computational problems definitions based tool*

1

Gröbner Bases Statistics and Software Systems /

Julkaistu 2013

Sisällysluettelo: “... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”
Hae kokoteksti

Elektroninen E-kirja

2

Mathematica®: A Problem-Centered Approach

Tekijä Hazrat, Roozbeh., Hazrat, Roozbeh.
Julkaistu 2015

Sisällysluettelo: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Hae kokoteksti

Elektroninen E-kirja

3

Mathematica®: A Problem-Centered Approach

Tekijä Hazrat, Roozbeh., Hazrat, Roozbeh.
Julkaistu 2010

Sisällysluettelo: “... -- 8. Substitution, Mathematica rules -- 9. Pattern matching -- 10. Functions with multiple definitions...”
Hae kokoteksti

Elektroninen E-kirja

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... in a Heterogeneous Network of Computers -- Block-Based Allocation Algorithms for FLASH Memory...”
Hae kokoteksti

Elektroninen E-kirja

5

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Julkaistu 2006

Sisällysluettelo: “... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”
Hae kokoteksti

Elektroninen E-kirja

6

Computational Intelligence and Informatics Principles and Practice /

Julkaistu 2010

Sisällysluettelo: “... to Solve Multiple Traveling Salesmen Problem by Genetic Algorithm -- Some Examples of Computing...”
Hae kokoteksti

Elektroninen E-kirja

7

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “... Toolbox QuPAT on Scilab -- Agent Based Evacuation Model with Car-Following Parameters by Means of Cellular...”
Hae kokoteksti

Elektroninen E-kirja

8

Frontier and Innovation in Future Computing and Communications

Julkaistu 2014

Sisällysluettelo: “... Computing; P.P. Hung, et al -- Study on Encryption of Wireless Network-Based Mobility Energy-Enterprise...”
Hae kokoteksti

Elektroninen E-kirja

9

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Julkaistu 2013

Sisällysluettelo: “... Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison Computer Tool...”
Hae kokoteksti

Elektroninen E-kirja

10

Advances in Type-2 Fuzzy Sets and Systems Theory and Applications /

Julkaistu 2013

Sisällysluettelo: “...Part 1 - Theoretical Foundations -- Interval Type-2 Fuzzy Logic Systems and Perceptual Computers...”
Hae kokoteksti

Elektroninen E-kirja

11

Continuous System Simulation

Tekijä Cellier, François E., Cellier, François E., Kofman, Ernesto.
Julkaistu 2006

Sisällysluettelo: “.... Simulation -- Time and Again -- Simulation as a Problem Solving Tool -- Simulation Software: Today...”
Hae kokoteksti

Elektroninen E-kirja

12

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Hae kokoteksti

Elektroninen E-kirja

13

The Open Knowledge Society A Computer Science and Information Systems Manifesto /

Julkaistu 2008

Sisällysluettelo: “... Recent Theory for Problem-Solving and Learning in Computers and People -- SOLERES-HCI: Modelling a Human...”
Hae kokoteksti

Elektroninen E-kirja

14

Hypernumbers and Extrafunctions Extending the Classical Calculus /

Tekijä Burgin, Mark., Burgin, Mark.
Julkaistu 2012

Sisällysluettelo: “...-1. Introduction: How mathematicians solve ”unsolvable” problems.-2. Hypernumbers(Definitions...”
Hae kokoteksti

Elektroninen E-kirja

15

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Julkaistu 2006

Sisällysluettelo: “... Definition, Assurance, and Enforcement -- Ontology-Based Model Transformation -- Modeling Turnpike: A Model...”
Hae kokoteksti

Elektroninen E-kirja

16

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Julkaistu 2006

Sisällysluettelo: “... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...”
Hae kokoteksti

Elektroninen E-kirja

17

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Hae kokoteksti

Elektroninen E-kirja

18

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToCont...

Julkaistu 2006

Sisällysluettelo: “... Against Currently Used Hash Functions in RFID Protocols -- An Efficient ID-Based Delegation Network...”
Hae kokoteksti

Elektroninen E-kirja

19

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”
Hae kokoteksti

Elektroninen E-kirja

20

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /

Julkaistu 2006

Sisällysluettelo: “... -- Evolutionary Computation -- Global Convexity in the Bi-Criteria Traveling Salesman Problem -- Evolutionary...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua