| 42201. |
Hatcliff J. Zucca E. |
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... Programming and Software Engineering) | 2010 |
 |
| 42202. |
Derrick J. Vain J. |
Formal Techniques for Networked and Distributed Systems | 2007 |
|
| 42203. |
Suzuki K. Higashino T. Yasumoto K. |
Formal Techniques for Networked and Distributed Systems FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings | 2008 |
|
| 42204. |
Peled D. Vardi M. |
Formal Techniques for Networked and Distributed Systems - FORTE 2002 | 2002 |
|
| 42205. |
Hartmut Konig Monika Heiner Adam Wolisz |
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (1 edition) | 2003 |
|
| 42206. |
Frutos-Escrig D. Nunez M. |
Formal Techniques for Networked and Distributed Systems - FORTE 2004 | 2004 |
|
| 42207. |
Farn Wang |
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (1 edition) | 2005 |
|
| 42208. |
Najm E. Pradat-Peyre J. |
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, | 2006 |
|
| 42209. |
Derrick J. Vain J. |
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings ... Programming and Software Engineering) | 2007 |
|
| 42210. |
Kim M. Chin B. Kang S. |
Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001 | 2002 |
|
| 42211. |
Derrick J. Vain J. |
Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings | 2007 |
|
| 42212. |
Joseph M. |
Formal Techniques in Real-Time and Fault-Tolerant Systems | 1988 |
|
| 42213. |
Jonsson B. Parrow J. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (1 edition) | 1996 |
|
| 42214. |
Ravn A.P. Rischel H. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... in Real-Time & Fault-Tolerant Systems) | 1998 |
|
| 42215. |
Joseph M. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings (1 edition) | 2000 |
|
| 42216. |
Damm W. Olderog E. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ... | 2002 |
|
| 42217. |
Vytopil J. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... 1992 2nd | 1991 |
|
| 42218. |
H. Langmaack W.Roever J.Vytopil |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd | 1994 |
|
| 42219. |
Lakhnech Y. Yovine S. |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of | 2004 |
|
| 42220. |
Lakhnech Y. Yovine S. |
Formal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal TechniAuthor: Y Lakhnech; Sergio Yovine | 2005 |
|
| 42221. |
Sommaruga G. (ed.) |
Formal theories of information from Shannon to semantic information theory and general concepts of information (1 edition) | 2009 |
|
| 42222. |
Sommaruga G. |
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information | 2009 |
|
| 42223. |
Kurshan R.P. |
Formal Verification in a Commercial Setting | 1997 |
|
| 42224. |
Kern C. Greenstreet M.R. |
Formal Verification in Hardware Design: A Survey | 1997 |
|
| 42225. |
Camurati P. Prinetto P. |
Formal verification of hardware correctness | 1988 |
|
| 42226. |
Beckert B. Marche C. |
Formal Verification of Object-Oriented Software | 2011 |
|
| 42227. |
McFarland M.C. |
Formal Verification of Sequential Hardware: A Tutorial | 1993 |
|
| 42228. |
Wang F. |
Formal verification of timed systems: a survey and perspective | 2004 |
|
| 42229. |
Perry D.L. Foster H. |
Formal Verification: For Digital Circuit Design | 2005 |
|
| 42230. |
Bernhard R. |
Formale Methodik des Entwurfs verteilter objektorientierter Systeme | 1996 |
|
| 42231. |
Lange K.-J. |
Formale Sprachen | 1999 |
|
| 42232. |
Kutylowski M. |
Formale Sprachen | 1994 |
|
| 42233. |
Voller R. |
Formale Sprachen und Compiler | 1999 |
|
| 42234. |
Schmitt P.H. |
Formale Systeme | 2007 |
|
| 42235. |
Diaz J. (ed.) Ramos I. (ed.) |
Formalization of Programming Concepts | 1981 |
|
| 42236. |
Xenakis I. |
Formalized Music: Thought and Mathematics in Composition (2nd edition) | 1992 |
|
| 42237. |
Prestel A. |
Formally P-Adic Fields (1st edition) | 1984 |
|
| 42238. |
A. Prestel P. Roquette |
Formally p-adic Fields | 1984 |
|
| 42239. |
Kawasaki K. (ed.) Lindman B. (ed.) Okabayashi H. (ed.) |
Formation and Dynamics of Self-Organized Structures in Surfactants and Polymer Solutions (1st edition) | 1997 |
|
| 42240. |
Steiner F. |
Formation and Early Growth of Business Webs: Modular Product Systems in Network Markets (Information Age Economy) | 2004 |
|
| 42241. |
Bethe H. Brown G. Lee C. |
Formation and evolution of black holes in the galaxy. Selected papers with commentary | 2003 |
|
| 42242. |
Bethe H. Brown G.E. Lee C.H. |
Formation and Evolution of Black Holes in the Galaxy: Selected Papers With Commentary | 2003 |
|
| 42243. |
Bethe H. Brown G. Lee C. |
Formation and evolution of black holes in the galaxy: selected papers with commentary | 2003 |
|
| 42244. |
Dickinson R.G. Sherrill M.S. |
Formation of Ozone by Optically Excited Mercury Vapor | 1926 |
|
| 42245. |
Bell B. Cowie B. |
Formative Assessment and Science Education (Science & Technology Education Library, Volume 12) (1 edition) | 2000 |
|
| 42246. |
Bell B. Cowie B. |
Formative Assessment and Science Education (Science & Technology Education Library, Volume 12) | 2002 |
|
| 42247. |
Worthman C.M. Plotsky P.M. Schechter D.S. |
Formative Experiences: The Interaction of Caregiving, Culture, and Developmental Psychobiology | 2010 |
|
| 42248. |
Flynn P. |
Formatting information. A beginner's introduction to typesetting with LaTeX | 2005 |
|
| 42249. |
Flynn P. |
Formatting information: a beginner's introduction to Latex | 2005 |
|
| 42250. |
Flynn P. |
Formatting information: A beginner's introduction to typesetting with LaTeX | 2005 |
|
| 42251. |
Dietmar Gross Wolfgang Ehlers Peter Wriggers |
Formeln und Aufgaben zur technischen Mechanik 1. Statik | 2010 |
|
| 42252. |
Gross D. Ehlers W. Wriggers P. |
Formeln und Aufgaben zur Technischen Mechanik 1: Statik (8 edition) | 2006 |
|
| 42253. |
Gross D. Ehlers W. Wriggers P. |
Formeln Und Aufgaben Zur Technischen Mechanik 3: Kinetik, Hydrodynamik (Seventh Edition) | 2006 |
|
| 42254. |
Bernd Luderer |
Formeln und Begriffe der Analysis | 2021 |
|
| 42255. |
Helmut seng Chiara o. Tommasi |
Formen und Nebenformen des Platonismus in der Spätantike | 2016 |
|
| 42256. |
Cartan H. |
Formes différentielles | 1967 |
|
| 42257. |
Romanovski P. |
Formes exterieures et leurs applications | 1963 |
|
| 42258. |
Slebodzinski W. |
Formes exterieures et leurs applications | 1954 |
|
| 42259. |
Bletzinger K. |
Formoptimierung von Flaechentragwerken | 1990 |
|
| 42260. |
Minelli A. |
Forms of Becoming: The Evolutionary Biology of Development | 2009 |
|
| 42261. |
Brünjes L. |
Forms of Fermat Equations and Their Zeta Functions | 2004 |
|
| 42262. |
Tirosh D. |
Forms of Mathematical Knowledge - Learning and Teaching with Understanding | 1999 |
|
| 42263. |
Lars Brunjes |
Forms ol Fermat Equations and Their Zeta Functions | 2004 |
|
| 42264. |
Jarrett C. Gaffney G. Krug S. |
Forms that work: designing Web forms for usability | 2008 |
|
| 42265. |
Noble J. Hughes M. |
Formula One Racing for Dummies | 2004 |
|
| 42266. |
|
Formula Primer | 2002 |
|
| 42267. |
A. Trklja |
Formulaic language. Theories and methods | 2021 |
|
| 42268. |
Lapeyrouse N.J. |
Formulas and Calculations for Drilling, Production and Work-over | n/a |
|
| 42269. |
McFedries P. |
Formulas and Functions with Microsoft Excel 2003 | 2005 |
|
| 42270. |
McFedries P. |
Formulas and Functions with Microsoft Office Excel 2007 (Business Solutions Series) | 2007 |
|
| 42271. |
Magnus W. Oberhettinger F. Wermer J. |
Formulas and Theorems for the Functions of Mathematical Physics | 1954 |
|
| 42272. |
Carr G.S. |
Formulas and Theorems in Pure Mathematics (Second Edition) | 1970 |
|
| 42273. |
Bronstein M. |
Formulas for series computations | 1992 |
|
| 42274. |
Karnovsky I.A. Lebed O.V. |
Formulas for Structural Dynamics: Tables, Graphs and Solutions | 2004 |
|
| 42275. |
Isotalo J. Puntanen S |
Formulas Useful for Linear Regression Analysis and Related Matrix Theory (3rd edition) | 2005 |
|
| 42276. |
Zheng C. |
Formulation and Analytical Development for Low-Dose Oral Drug Products | 2009 |
|
| 42277. |
Pearlman R. Wang Y. |
Formulation Characterization and Stability of Protein Drugs Case Histories | 1996 |
|
| 42278. |
Lanteri P. Bordes C. Collectif |
Formulation des composes silicones et fluores | 2005 |
|
| 42279. |
Moyer T. |
Formulation for Observed and Computed Values of Deep Space Network Data Types for Navigation (JPL Deep-Space Communications and Navigation Series) | 2000 |
|
| 42280. |
|
Formulation of the problem of constructing a complete involutive collection of functions | n/a |
|
| 42281. |
Mollet H. Grubenmann A. |
Formulation Technology | 2004 |
|
| 42282. |
Pearlman R. |
Formulation, Characterization, and Stability of Protein Drugs: Case Histories (Pharmaceutical Biotechnology, 9) | 1996 |
|
| 42283. |
Nicolle D. |
Fornovo 1495: France's bloody fighting retreat | 1996 |
|
| 42284. |
Mims F.M. Helms H.L. |
Forrest Mims Engineer's Notebook | 1992 |
|
| 42285. |
STEMBERGER G. |
FORSCHUNGEN ZUR WISSENSCHAFT DES JUDENTUMS | 2008 |
|
| 42286. |
Ehrlich E.L. |
Forschungen zur Wissenschaft des Judentums | n/a |
|
| 42287. |
Robin A. Beck Christopher B. Rodning David G. Moore |
Fort San Juan and the Limits of Empire | 2016 |
|
| 42288. |
Malca C.G. |
Fortalecer el sistema de salud público para la equidad en salud: una necesidad impostergable | 2020 |
|
| 42289. |
Conklin E. Rather E. |
Forth programmer's handbook (2nd edition) | 1998 |
|
| 42290. |
Штыков В.В. |
Fortran & Win32 API. Создание программного интерфейса для Windows средствами современного Фортрана | n/a |
|
| 42291. |
Adams J.C. Brained W.S. Smith B.T. |
Fortran 2003 Handbook: The Complete Syntax, Features and Procedures | 2009 |
|
| 42292. |
Vetter D. |
Fortran 77 | 1997 |
|
| 42293. |
|
Fortran 77 4.0 Reference Manual | 1995 |
|
| 42294. |
Metcalf M. Reid J.K. |
Fortran 90 for Fortran 77 programmers (2-nd edition) | 1996 |
|
| 42295. |
Hahn B.D. |
FORTRAN 90 for Scientists and Engineers | 1994 |
|
| 42296. |
Adams J.C. Brainerd W.S. Martin J.T. |
Fortran 90 Handbook | 1992 |
|
| 42297. |
|
Fortran 90 Tutorial | 1997 |
|
| 42298. |
Metcalf M. Reid J. |
Fortran 90, 95 explained (2nd edition) | 1999 |
|
| 42299. |
Ramsden S. Lin F. |
Fortran 90. A Conversion Course for Fortran 77 Programmers | 1995 |
|
| 42300. |
Metcalf M. Reid J. Cohen M. |
Fortran 95\ 2003 explained (3rd edition) | 2004 |
|
|
|
О проекте