בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
program implementation » project implementation
implementation model » implementation _, implementation a
interface integer » interface inter, interface intended, interface internet
integer program » integer programs, integer programming
model https » models https, modeling https
program implementation » project implementation
implementation model » implementation _, implementation a
interface integer » interface inter, interface intended, interface internet
integer program » integer programs, integer programming
model https » models https, modeling https
1
יצא לאור 2007
תוכן הענינים:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים:
“...Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים:
“... Traffic Control - A Coloured Petri Net Model of Sequence Planning -- Process Discovery Using Integer...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... Integer Programming Problem....”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים:
“... Applying and Experimenting with Scatter Search -- Tabu Search for Mixed Integer Programming -- Scatter...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני