| 72201. |
Broy M.(ed.) Jonsson B.(ed.) Katoen J.- P.(ed.) |
Model-Based Testing of Reactive Systems, Advanced Lectures 2004 (1 edition) | 2005 |
 |
| 72202. |
Broy M. Jonsson B. Katoen J. |
Model-Based Testing of Reactive Systems: Advanced Lectures | 2005 |
|
| 72203. |
Jarzebowska E. |
Model-based tracking control of nonlinear systems | 2012 |
|
| 72204. |
Quintarelli E. |
Model-Checking Based Data Retrieval. An Application to Semistructured and Temporal Data | 2004 |
|
| 72205. |
Arend Rensink Jos Warmer |
Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings (1 edition) | 2006 |
|
| 72206. |
Rensink A. Warmer J. |
Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings | 2006 |
|
| 72207. |
Pastor O. Molina J.C. |
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling | 2007 |
|
| 72208. |
Hruby P. Kiehn J. Scheller Ch.V. |
Model-Driven Design Using Business Patterns (1st edition) | 2006 |
|
| 72209. |
Broy M. Kruger I. Meisinger M. |
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised | 2008 |
|
| 72210. |
Milicev D. |
Model-Driven Development with Executable UML (Wrox Programmer to Programmer) | 2009 |
|
| 72211. |
Whittle J. Hutchinson J. Rouncefield M. |
Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings | 2013 |
|
| 72212. |
Beydeda S. Book M. Gruhn V. (eds.) |
Model-Driven Software Development | 2005 |
|
| 72213. |
Baker P. Haugen O. Schieferdecker I. |
Model-Driven Testing: Using the Uml Testing Profile | 2007 |
|
| 72214. |
Baker P. Dai, Z.R. Grabowski J., Haugen O. |
Model-Driven Testing: Using the UML Testing Profile | 2008 |
|
| 72215. |
Barwise J. Feferman S. |
Model-theoretic logics | 1985 |
|
| 72216. |
Zeigler B. Hammonds P. |
Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange | 2007 |
|
| 72217. |
Steed P. |
Modeling a Character in 3ds max (second edition) | 2005 |
|
| 72218. |
Steed P. |
Modeling a Character in 3DS Max | 2001 |
|
| 72219. |
Villani E. Miyagi E. Valette R. |
Modeling and analysis of hybrid supervisory systems. A petri net approach | 2007 |
|
| 72220. |
Guliato D. Rangayyan R. |
Modeling and Analysis of Shape: with Applications in Computer-Aided Diagnosis of Breast Cancer (Synthesis Lectures on Biomedical Engineering) | 2011 |
|
| 72221. |
Hayes J.F. Ganesh Babu T.V.J. |
Modeling and Analysis of Telecommunications Networks | 2004 |
|
| 72222. |
Yuriy K. Sirenko Staffan Strom Nataliya P. Yashina |
Modeling and Analysis of Transient Processes in Open Resonant Structures New Methods and Techniqu (1 edition) | 2006 |
|
| 72223. |
Sirenko Y. Strom S. Yashina N. |
Modeling and Analysis of Transient Processes in Open Resonant Structures: New Methods and Techniques (Springer Series in Optical Sciences) | 2006 |
|
| 72224. |
Kudish I. Covitch M. |
Modeling and Analytical Methods in Tribology | 2010 |
|
| 72225. |
Aaen P.H. Pla J.A. Wood J. |
Modeling and characterization of RF and microwave power FETs | 2007 |
|
| 72226. |
Cebeci T. Cousteix J. |
Modeling and computation of boundary-layer flows. Laminar, turbulent and transitional boundary layers in incompressible and compressible flows (2nd edition) | 2005 |
|
| 72227. |
Ammari H. |
Modeling and Computations in Electromagnetics: A Volume Dedicated to Jean-Claude Nédélec | 2008 |
|
| 72228. |
V. Duindam A. Macchelli S. Stramigioli |
Modeling and Control of Complex Physical Systems: The Port-Hamiltonian Approach (1 edition) | 2009 |
|
| 72229. |
Azar A. T. |
Modeling and Control of Drug Delivery Systems | 2021 |
|
| 72230. |
Raghavan A. Laskar J. Srirattana N. |
Modeling and Design Techniques for Radio-Frequency Power Amplifiers | 2008 |
|
| 72231. |
Raghavan A. Srirattana N. Laskar J. |
Modeling and Design Techniques for RF Power Amplifiers | 2008 |
|
| 72232. |
Pasaogullari U. Wang C. |
Modeling and Diagnostics of Polymer Electrolyte Fuel Cells (Modern Aspects of Electrochemistry) | 2010 |
|
| 72233. |
Ma Z. Zhou Y. |
Modeling and Dynamics of Infectious Diseases | 2009 |
|
| 72234. |
Toth R. |
Modeling and Identification of Linear Parameter-Varying Systems | 2010 |
|
| 72235. |
Laszlo Horvath |
Modeling and Problem Solving Techniques for Engineers (1 edition) | 2004 |
|
| 72236. |
Horvath L. Rudas I, |
Modeling and Problem Solving Techniques for Engineers | 2004 |
|
| 72237. |
Horvath L. Rudas I. |
Modeling and Problem Solving Techniques for Engineers | 2004 |
|
| 72238. |
Roth-Berghofer T.R. Schulz S. Leake D.B. |
Modeling and Retrieval of Context: Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers | 2006 |
|
| 72239. |
Boccara N. |
Modeling and Simulation in Scilab/Scicos (1 edition) | 2005 |
|
| 72240. |
Pozrikidis C. |
Modeling and Simulation of Capsules and Biological Cells | 2003 |
|
| 72241. |
Deutschmann O. |
Modeling and Simulation of Heterogeneous Catalytic Reactions: From the Molecular Process to the Technical System | 2012 |
|
| 72242. |
Nastac L. |
Modeling and Simulation of Microstructure Evolution in Solidifying Alloys | 2004 |
|
| 72243. |
Nejat Ince A. Topuz E. |
Modeling and Simulation Tools for Emerging Telecommunication Networks: Needs, Trends, Challenges, Solutions (1st edition) | 2006 |
|
| 72244. |
Patrick Blackburn Chiara Ghidini Roy M. Turner |
Modeling and Using Context: 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings (1 edition) | 2003 |
|
| 72245. |
Dey A. Kokinov B. Leake D. |
Modeling and Using Context: 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings | 2005 |
|
| 72246. |
Bouquet P. Serafini L. Brezillon P. |
Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings | 1999 |
|
| 72247. |
Varol Akman Paolo Bouquet Richmond Thomason |
Modeling and Using Context: Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings (1 edition) | 2001 |
|
| 72248. |
Akman V. Bouquet P. Thomason R. |
Modeling and Using Context: Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings | 2001 |
|
| 72249. |
Drusinsky D. |
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking | 2006 |
|
| 72250. |
Haefner J.W. |
Modeling Biological Systems: Principles and Applications (Second edition) | 2005 |
|
| 72251. |
Haefner J. |
Modeling Biological Systems:: Principles and Applications (2nd edition) | 2005 |
|
| 72252. |
Daum B. |
Modeling Business Objects with XML Schema (The Morgan Kaufmann Series in Software Engineering and Programming) | 2003 |
|
| 72253. |
Shaffer M.J. (ed.) Ma L. (ed.) Hansen S. (ed.) |
Modeling Carbon and Nitrogen Dynamics for Soil Management | 2001 |
|
| 72254. |
Kier L.B. |
Modeling Chemical Systems Using Cellular Automata | 2005 |
|
| 72255. |
Bellomo N, |
Modeling Complex Living Systems: A Kinetic Theory and Stochastic Game Approach (Modeling and Simulation in Science, Engineering and Technology) | 2008 |
|
| 72256. |
Boccara N. |
Modeling Complex Systems | 2004 |
|
| 72257. |
Boccara N. |
Modeling Complex Systems | 2004 |
|
| 72258. |
Boccara N. |
Modeling Complex Systems | 2005 |
|
| 72259. |
Boccara N. |
Modeling complex systems (2nd edition) | 2010 |
|
| 72260. |
N. Boccara |
Modeling Complex Systems (Graduate Texts in Contemporary Physics) | 2003 |
|
| 72261. |
Boccara N. |
Modeling Complex Systems, Second Edition (Graduate Texts in Physics) (2nd edition) | 2010 |
|
| 72262. |
Zammit-Mangion A. Dewar M. Kadirkamanathan V. |
Modeling Conflict Dynamics with Spatio-temporal Data | 2013 |
|
| 72263. |
Bandyopadhyay B. Manjunath T. Umapathy M. |
Modeling Control and Implementation of Smart Structures. Bandyopadhyay (1 edition) | 2007 |
|
| 72264. |
Zhu J. Cook W.D. |
Modeling Data Irregularities and Structural Complexities in Data Envelopment Analysis | 2007 |
|
| 72265. |
Torra V. Narukawa Y. |
Modeling Decisions for Artificial Intelligence | 2005 |
|
| 72266. |
V. Torra Y. Narukawa |
Modeling Decisions for Artificial Intelligence | 2004 |
|
| 72267. |
Torra V. (Ed.) Narukawa Y. (Ed.) Inuiguchi M. (Ed.) |
Modeling Decisions for Artificial Intelligence. 6th International Conference, MDAI 2009. Awaji Island, Japan, November 30–December 2, 2009. Proceedings (Lecture Notes in Artificial Intelligence 5861) | 2009 |
|
| 72268. |
Vicen Torra Yasuo Narukawa Yuji Yoshida |
Modeling Decisions for Artificial Intelligence: 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings (1 edition) | 2007 |
|
| 72269. |
Torra V. Narukawa Y. Daumas M. |
Modeling Decisions for Artificial Intelligence: 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence) | 2010 |
|
| 72270. |
Torra V. Narukawa Y. Valls A. |
Modeling Decisions for Artificial Intelligence: Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings | 2006 |
|
| 72271. |
Torra V. Narukawa Y. |
Modeling Decisions: Information Fusion and Aggregation Operators | 2007 |
|
| 72272. |
Narukawa Y. Torra V. |
Modeling Decisions: Information Fusion and Aggregation Operators | 2007 |
|
| 72273. |
London J. |
Modeling Derivatives in C++ | 2005 |
|
| 72274. |
Min L. Bao-qing H. |
Modeling Dynamic Systems by Using the Nonlinear Difference Equations Based on Genetic Programming | 2003 |
|
| 72275. |
Shaw W. |
Modeling Financial Derivatives With Mathematica | 1998 |
|
| 72276. |
Zivot E. Wang J. |
Modeling Financial Time Series with S-PLUS (Second Edition) | 2006 |
|
| 72277. |
Zivot E. Wang J. |
Modeling Financial Time Series with S-Plus (2-d edition) | 2006 |
|
| 72278. |
Chambers J. |
Modeling Flight: The Role of Dynamically Scaled Free-Flight Models in Support of NASA's Aerospace Programs | 2010 |
|
| 72279. |
Pasetta V. |
Modeling Foundations Of Economic Property Rights Theory (1st edition) | 2005 |
|
| 72280. |
Vesna Pasetta |
Modeling Foundations of Economic Property Rights Theory | 2005 |
|
| 72281. |
Macheras P. Iliadis A. |
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics: Homogeneous and Heterogeneous Approaches (Interdisciplinary Applied Mathematics) | 2005 |
|
| 72282. |
Reeke G.N. Poznanski R.R. Lindsay K.A. |
Modeling in the Neurosciences: From Biological Systems to Neuromimetic Robotics (2-nd edition) | 2005 |
|
| 72283. |
Tosun I. |
Modeling in Transport Phenomena: A Conceptual Approach (Second edition) | 2007 |
|
| 72284. |
Williamson J.M. Manatunga A.K. |
Modeling kappa for measuring dependent categorical agreement data | 2000 |
|
| 72285. |
Salov V. |
Modeling Maximum Trading Profits with C++: New Trading and Money Management Concepts | 2007 |
|
| 72286. |
Guo Y. Manatunga A.K. |
Modeling menstrual cycle length using a mixture distribution | 2006 |
|
| 72287. |
Ewart Carson Claudio Cobelli Joseph Bronzino |
Modeling Methodology for Physiology and Medicine (1 edition) | 2000 |
|
| 72288. |
Mollica F. Preziosi L. Rajagopal K. |
Modeling of Biological Materials (Modeling and Simulation in Science, Engineering and Technology) | 2007 |
|
| 72289. |
Coker A.K. |
Modeling of Chemical Kinetics and Reactor Design | 2001 |
|
| 72290. |
Coker A.K. |
Modeling of Chemical Kinetics and Reactor Design (1st edition) | 2001 |
|
| 72291. |
Coker A. K. |
Modeling of chemical kinetics and reactor design (1st edition) | 2001 |
|
| 72292. |
Carr R.W. |
Modeling of Chemical Reactions. Vol. 42 (1st edition) | 2007 |
|
| 72293. |
van den Brule B.H.A.A. |
Modeling of Concentrated Suspensions | 1991 |
|
| 72294. |
Rovenski V. |
Modeling of curves and surfaces with MATLAB | 2010 |
|
| 72295. |
Seemann G. |
Modeling of Electrophysiology and Tension Development in the Human Heart | 2010 |
|
| 72296. |
Nagda N.L. |
Modeling of Indoor Air Quality and Exposure | 1993 |
|
| 72297. |
Fratzl P. Penrose O. Lebowitz J.L. |
Modeling of Phase Separation in Alloys with Coherent Elastic Misfit | 1999 |
|
| 72298. |
Passaro V.M.N. |
Modeling of photonic devices | 2009 |
|
| 72299. |
Keil F.J. (ed.) |
Modeling of Process Intensification | 2007 |
|
| 72300. |
Calderer M. Terentjev E. |
Modeling of Soft Matter (The IMA Volumes in Mathematics and its Applications) | 2005 |
|
|
|
О проекте