בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
interactive simulation » interactive simulations, interactive visualization
simulation processing » simulation proceedings, simulation process, modulation processing
processing program » processing programs, processing programmed, proceedings program
program contract » programme contract, program abstract, program controls
contract https » control https, conflict https, contract nets
interactive simulation » interactive simulations, interactive visualization
simulation processing » simulation proceedings, simulation process, modulation processing
processing program » processing programs, processing programmed, proceedings program
program contract » programme contract, program abstract, program controls
contract https » control https, conflict https, contract nets
1
יצא לאור 2005
תוכן הענינים:
“...: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“...-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2015
תוכן הענינים:
“... Core Environment on the Basis of Image Processing in 3D Space -- Evaluation of the Contract-Aware...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2014
תוכן הענינים:
“... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים:
“...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים:
“... Detection -- Simulating Complex Organ Interactions: Evaluation of a Soft Tissue Discrete Model -- Face...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים:
“... Genetic Programming to Supply Chain Management -- Multi-Agent Simulation of Financial Markets -- Adaptive...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים:
“... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים:
“... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2014
תוכן הענינים:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2011
תוכן הענינים:
“...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים:
“... Contract Model to Organize Behavioral Specifications -- Improved Processing of Textual Use Cases: Deriving...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני