1
יצא לאור 2012
תוכן הענינים: ... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים: ... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2013
תוכן הענינים: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2012
תוכן הענינים: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2007
תוכן הענינים: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים: ... and How Usability Techniques and Activities Should Be Integrated -- Coping with Complexity -- Towards a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2015
תוכן הענינים: ... Valorisation -- Part III: Methods and Applications -- Global Optimization of Simulation Based Complex Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2014
תוכן הענינים: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2011
תוכן הענינים: ... Software Development Projects -- Classification of Software Projects' Complexity -- Application of Project...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ...’ Information Retrieval Environment. -Genetic Programming Modeling and Complexity Analysis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2007
תוכן הענינים: ... Scheduling with a Tabu Search Strategy -- Nature-inspired methods -- Solving the Capacitated Multi-Facility...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
מאת Hollenstein, Tom., Hollenstein, Tom.
יצא לאור 2013
נושאים: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
מאת Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
יצא לאור 2006
נושאים: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
מאת Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
יצא לאור 2015
נושאים: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
תוכן הענינים: ... for Interface Driven Architecture: Easing the Transition from Prototype to Application -- Development Tools...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים: ...Fault Tolerance -- On Fault Tolerance in Law-Governed Multi-agent Systems -- On Developing Open...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים: ... Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני