בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
method processing » metal processing, method process, methods preprocessing
programs contract » programme contract, programs compact, programs connect
programs abstract » program abstract, program abstracts, programs abstraction
interface method » interface methods, interphase method, interval method
1
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Component Model for Autonomous Robotics -- Design Abstraction and Processes in Robotics: From Code-Driven...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Dynamically Communicating Abstract Machines in the B Method -- Sweep-Line Analysis of TCP Connection...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... Retrieval from Deformable Templates.- OWL-DL Domain-Models as Abstract Workflows.- Processes and Data...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Registration of Biomedical Images -- Characterization of Artificial Muscles Using Image Processing...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש