Suchergebnisse - program function https rational design https

1

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Volltext

Elektronisch E-Book

2

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... Program Updates -- Preference Handling for Belief-Based Rational Decisions -- Logic-based techniques...”
Volltext

Elektronisch E-Book

3

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Veröffentlicht 2010

Inhaltsangabe: “...Invited Talks -- Embedded Systems Design — Scientific Challenges and Work Directions -- Antichain...”
Volltext

Elektronisch E-Book

4

MATLAB Numerical Calculations

von Lopez, Cesar., Lopez, Cesar.
Veröffentlicht 2014

Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext

Elektronisch E-Book

5

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Veröffentlicht 2012

Inhaltsangabe: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Volltext

Elektronisch E-Book

6

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... and Programming -- Proving and Disproving Termination of Higher-Order Functions -- Proving Liveness with Fairness...”
Volltext

Elektronisch E-Book

7

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Volltext

Elektronisch E-Book

8

Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”
Volltext

Elektronisch E-Book

9

Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Algorithms -- Wooden Geometric Puzzles: Design and Hardness Proofs -- HIROIMONO Is NP-Complete -- Tablatures...”
Volltext

Elektronisch E-Book

10

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”
Volltext

Elektronisch E-Book

11

Perspectives in Conceptual Modeling ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Computing – How Can They Benefit from Each Other? Position Paper -- Modeling Dynamic Engineering Design...”
Volltext

Elektronisch E-Book

12

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... of the Uniform Continuity Theorem -- Elementary Algebraic Specifications of the Rational Function Field -- Random...”
Volltext

Elektronisch E-Book

13

Enzyme Engineering Methods and Protocols /

Veröffentlicht 2013

Inhaltsangabe: “...-Based Enzyme Selection for Rational Directed Evolution Experiments -- Rational Protein Sequence...”
Volltext

Elektronisch E-Book

14

Practices of Irrigation & On-farm Water Management: Volume 2

von Ali, Hossain., Ali, Hossain.
Veröffentlicht 2011

Inhaltsangabe: “... Application Methods -- Irrigation Systems Designing -- Performance Evaluation of Irrigation System -- Water...”
Volltext

Elektronisch E-Book

15

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “...-Level Inductive Functional Programming -- Anytime Bounded Rationality -- Ultimate Intelligence Part I...”
Volltext

Elektronisch E-Book

16

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Veröffentlicht 2008

Inhaltsangabe: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Volltext

Elektronisch E-Book

17

Advances in Geometric Modeling and Processing 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Rational Motions -- Controlling Torsion Sign -- Cutting and Fracturing Models without Remeshing...”
Volltext

Elektronisch E-Book

18

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Equilibria with Leontief’s Utility: Freedom of Pricing Leads to Rationality -- A Primal-Dual Algorithm...”
Volltext

Elektronisch E-Book

19

Applied Bioinformatics An Introduction /

von Selzer, Paul Maria., Selzer, Paul Maria., Marhöfer, Richard., Rohwer, Andreas.
Veröffentlicht 2008

Inhaltsangabe: “... of Eukaryotic Genomes -- Protein Structures and Structure-Based Rational Drug Design -- Systems Biology...”
Volltext

Elektronisch E-Book

20

Interdisciplinary Aspects of Information Systems Studies The Italian Association for Information Systems /

Veröffentlicht 2008

Inhaltsangabe: “... Lorenz and the Ecology of Information Systems -- Is Development and Design Methodologies -- Loitering...”
Volltext

Elektronisch E-Book

Suche einschränken