Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
functions computational » function computation, directions computational, section computational
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
validating program » evaluating program, facilitating program, evaluating programs
program cetus » program impetus, program costs, program codes
1
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:
2
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...Part II: Mathematical responses to industrial problems: a framework for validation of computer...”
Tagungsbericht Buch
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern