בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
interactive methods » iterative methods, interactions methods, operative methods
program developing » programs developing, programme developing, programmes developing
developing coding » developing coping, developing caring, developing reading
methods program » methods programmed, methods problem, metrics program
coding https » modeling https, coatings https, coaching https
interactive methods » iterative methods, interactions methods, operative methods
program developing » programs developing, programme developing, programmes developing
developing coding » developing coping, developing caring, developing reading
methods program » methods programmed, methods problem, metrics program
coding https » modeling https, coatings https, coaching https
1
יצא לאור 2006
תוכן הענינים:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2014
תוכן הענינים:
“... to Identify Their Own Interactive Breakdowns -- Reflections on the Cross-Platform Semiotic Inspection Method...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים:
“... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
תוכן הענינים:
“...The Object Flow Graph -- Class Diagram -- Object Diagram -- Interaction Diagrams -- State Diagrams...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים:
“... of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים:
“... We Practise What We Preach in Formulating Our Design and Development Methods? -- Engaging Patterns...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2013
תוכן הענינים:
“... Definitions -- Subformula Linking as an Interaction Method -- Automatically Generated Infrastructure for De...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2013
תוכן הענינים:
“... Camera -- Multimodal Feedback in First Encounter Interactions -- Keyboard Clawing: Input Method...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2006
תוכן הענינים:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“... of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication -- Hand-Object Interaction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2013
תוכן הענינים:
“... -- Adaptive finite elements and mathematical optimization methods -- Part II Grinding -- High-Performance...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2014
תוכן הענינים:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“... Retrieval Heuristics in Concurrent Software Development Teams -- Reputation and Economic Performance...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2014
תוכן הענינים:
“....- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני