نتایج جستجو
![25 Years of Model Checking: History, Achievements, Perspectives](http://cdn.ketabkoo.com/covers/0/70124-n.jpg)
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008![A Formal Model of Visualization in Computer Graphics Systems](http://cdn.ketabkoo.com/covers/0/70178-n.jpg)
A Formal Model of Visualization in Computer Graphics Systems
Tamiya Onodera, Satoru Kawai (auth.), 1990![A Formal Model of Visualization in Computer Graphics Systems](http://cdn.ketabkoo.com/covers/0/70179-n.jpg)
A Formal Model of Visualization in Computer Graphics Systems
Tamiya Onodera, Satoru Kawai (auth.), 1990![Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers](http://cdn.ketabkoo.com/covers/0/71529-n.jpg)
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.), 2007![Model Generation for Natural Language Interpretation and Analysis](http://cdn.ketabkoo.com/covers/0/71530-n.jpg)
Model Generation for Natural Language Interpretation and Analysis
Karsten Konrad (auth.), 2004![Artificial Neural Networks In Vehicular Pollution Model](http://cdn.ketabkoo.com/covers/0/73028-n.jpg)
Artificial Neural Networks In Vehicular Pollution Model
Mukesh Khare, S.M. Shiva Nagendra, 2006![A generalized moverstayer model for panel data](http://cdn.ketabkoo.com/covers/0/73696-n.jpg)
A generalized moverstayer model for panel data
Cook R. J., Kalbfleisch J. D., 2002![≪UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings](http://cdn.ketabkoo.com/covers/0/74175-n.jpg)
≪UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
Michael Jackson (auth.), Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.), 2002![Convergent Architecture: Building Model Driven J2EE Systems with UML](http://cdn.ketabkoo.com/covers/0/74467-n.jpg)
Convergent Architecture: Building Model Driven J2EE Systems with UML
Richard Hubert, 2001![Executable UML: A Foundation for Model-Driven Architecture](http://cdn.ketabkoo.com/covers/0/74471-n.jpg)
Executable UML: A Foundation for Model-Driven Architecture
Stephen J. Mellor, Marc J. Balcer, 2002![Model-driven development with executable uml](http://cdn.ketabkoo.com/covers/0/74479-n.jpg)
Model-driven development with executable uml
Dragan Milicev, 2009![Model-Driven Testing- Using the UML Testing Profile](http://cdn.ketabkoo.com/covers/0/74480-n.jpg)
Model-Driven Testing- Using the UML Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2009![Model-Driven Testing- Using the UML Testing Profile](http://cdn.ketabkoo.com/covers/0/74481-n.jpg)
Model-Driven Testing- Using the UML Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2010![Model-Driven Testing: Using the Uml Testing Profile](http://cdn.ketabkoo.com/covers/0/74482-n.jpg)
Model-Driven Testing: Using the Uml Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2007![Model-Driven Testing: Using the UML Testing Profile](http://cdn.ketabkoo.com/covers/0/74483-n.jpg)
Model-Driven Testing: Using the UML Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2007![SysML for Systems Engineering: A Model-Based Approach](http://cdn.ketabkoo.com/covers/0/74499-n.jpg)
SysML for Systems Engineering: A Model-Based Approach
Jon Holt, Simon Perry, 2014![The Object Primer: Agile Model-Driven Development with UML 2.0](http://cdn.ketabkoo.com/covers/0/74506-n.jpg)
The Object Primer: Agile Model-Driven Development with UML 2.0
Scott W. Ambler, 2004![≪UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings](http://cdn.ketabkoo.com/covers/0/74582-n.jpg)
≪UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
Michael Jackson (auth.), Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.), 2002![Model, Rig, Animate with 3ds max 7](http://cdn.ketabkoo.com/covers/0/76187-n.jpg)
Model, Rig, Animate with 3ds max 7
Michele Bousquet, 2005![Beyond schemas : planning your XML model](http://cdn.ketabkoo.com/covers/0/76741-n.jpg)
Beyond schemas : planning your XML model
Jennifer Linton, 2007![Theory and Practice of Geophysical Data Inversion: Proceedings of the 8th International Mathematical Geophysics Seminar on Model Optimization in Exploration Geophysics 1990](http://cdn.ketabkoo.com/covers/0/77639-n.jpg)
Theory and Practice of Geophysical Data Inversion: Proceedings of the 8th International Mathematical Geophysics Seminar on Model Optimization in Exploration Geophysics 1990
U. Trautenhahn, D. Schweigert (auth.), Andreas Vogel, Abu K. M. Sarwar, Rudolf Gorenflo, Ognyan I. Kounchev (eds.), 1992![A model for Hopfions on the space-time S^3*R](http://cdn.ketabkoo.com/covers/0/78401-n.jpg)