בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
communication international » competition international, publication international
international formal » international formats, international thermal, international forum
exploiting online » exploring online, exploiting fine, exploiting gene
exploiting link » exploiting fine, exploiting long, exploiting bit
formal design » form design, trial design, factorial design
1
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “...Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
מאת Sharp, Robin., Sharp, Robin.
יצא לאור 2008
נושאים: “...Computer communication systems....”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... -- Resources for Situated Actions -- An Architecture and a Formal Description Technique for the Design...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2011
תוכן הענינים: “... Clustering -- On the Analysis of Queues with Heavy Tails: A Non-extensive Maximum Entropy Formalism and a...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Embedded Systems -- Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... -- Exploiting Multiple Features with MEMMs for Focused Web Crawling -- Ranked-Listed or Categorized Results...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Time Complexities for Filtering Spam Messages -- Semantic Annotation -- Exploit Semantic Information...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...-optimizing Systems -- Exploiting Hub States in Automatic Verification -- Combined Methods -- An Approach...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Computing -- Exploiting Eye Gaze Information for Operating Services in Home Network System -- A Methodology...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “...-Processor Design: Correctness of a Secret Computer -- DKAL: Constructing Executable Specifications...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Exploiting OPPL and OWL-API -- Experimenting with eXtreme Design -- Social Aspects and Tagging -- Weaving a...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
יצא לאור 2006
נושאים: “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “...A New Approach to Memory Partitioning in On-Board Spacecraft Software -- Design and Development...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Symbiotic Systems -- Embracing Uncertainty: The New Machine Intelligence -- Exploiting Social Structures...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...Keynote -- Platform Thinking in Embedded Systems -- Reconfigurable System Design...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Hoc Networks -- Towards Designing Application Specific Trust Treated Model -- First International...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Robots -- Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics -- Formal Verification...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש