Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
functions computational » functions computation, function computation, directions computational
structure computational » structures computational, structure composition
programming reasoning » programming learning, programming designing, programming evolving
reasoning method » reasoning methods
1
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
von Moller, Faron., Moller, Faron., Struth, Georg.
Veröffentlicht 2013
Inhaltsangabe: “...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Method Based on Received Signal Strength -- Optimization of the Switches in Storage Networks -- Migration...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Reasoning Based on Rough Mereology in Player/Stage System -- Natural versus Granular Computing: Classifiers...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Functional Logic Language -- Latest News about Demonic Algebra with Domain -- On the Structure of Demonic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... -- Optimizing Complex Loss Functions in Structured Prediction -- A Novel Parameter Estimation Algorithm...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Structures Using Bio-inspired Methods -- Applying Metamodels and Sequential Sampling for Constrained...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern