| 42601. |
Eichenmüller G. |
Formal reduction and integration of systems of nonlinear differential equations | 2000 |
 |
| 42602. |
Craig I.D. |
Formal Refinement of Operating System Kernels | 2007 |
|
| 42603. |
Clifford J. |
Formal Semantics and Pragmatics for Natural Language Querying | 1990 |
|
| 42604. |
Clifford J. |
Formal Semantics and Pragmatics for Natural Language Querying | 1990 |
|
| 42605. |
van Hoeij M. |
Formal solutions factorization of differential operators with power series coefficient | n/a |
|
| 42606. |
Singer M.F. |
Formal solutions of ODEs | 1990 |
|
| 42607. |
Feijs L. Jonkers H. |
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) | 1992 |
|
| 42608. |
Post E. |
Formal Structure of Electromagnetics: General Covariance and Electromagnetics | 1962 |
|
| 42609. |
Eugene P. Gross |
Formal structure of kinetic theory | 1976 |
|
| 42610. |
Alves-Foss J. |
Formal Syntax and Semantics of Java | 1999 |
|
| 42611. |
Slonneger K. Kurtz B.L. |
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach (1st edition) | 1995 |
|
| 42612. |
Crossley J. Dummett M. |
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40) | 1965 |
|
| 42613. |
Broy M. Merz S. Spies K. |
Formal Systems Specification: The RPC-Memory Specification Case Study | 1996 |
|
| 42614. |
Bravetti M. |
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web | 2005 |
|
| 42615. |
Lee D. Lopes A. Poetzsch-Heffter A. |
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 Lisboa, Portugal, June 9-12, 2009 Proceedings | 2009 |
|
| 42616. |
Lee D. Lopes A. Poetzsch-Heffter A. |
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE ... Programming and Software Engineering) | 2009 |
|
| 42617. |
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 |
|
| 42618. |
Derrick J. Vain J. |
Formal Techniques for Networked and Distributed Systems | 2007 |
|
| 42619. |
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 |
|
| 42620. |
Peled D. Vardi M. |
Formal Techniques for Networked and Distributed Systems - FORTE 2002 | 2002 |
|
| 42621. |
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 |
|
| 42622. |
Frutos-Escrig D. Nunez M. |
Formal Techniques for Networked and Distributed Systems - FORTE 2004 | 2004 |
|
| 42623. |
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 |
|
| 42624. |
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 |
|
| 42625. |
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 |
|
| 42626. |
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 |
|
| 42627. |
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 |
|
| 42628. |
Joseph M. |
Formal Techniques in Real-Time and Fault-Tolerant Systems | 1988 |
|
| 42629. |
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 |
|
| 42630. |
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 |
|
| 42631. |
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 |
|
| 42632. |
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 |
|
| 42633. |
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 |
|
| 42634. |
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 |
|
| 42635. |
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 |
|
| 42636. |
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 |
|
| 42637. |
Sommaruga G. (ed.) |
Formal theories of information from Shannon to semantic information theory and general concepts of information (1 edition) | 2009 |
|
| 42638. |
Sommaruga G. |
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information | 2009 |
|
| 42639. |
Kurshan R.P. |
Formal Verification in a Commercial Setting | 1997 |
|
| 42640. |
Kern C. Greenstreet M.R. |
Formal Verification in Hardware Design: A Survey | 1997 |
|
| 42641. |
Camurati P. Prinetto P. |
Formal verification of hardware correctness | 1988 |
|
| 42642. |
Beckert B. Marche C. |
Formal Verification of Object-Oriented Software | 2011 |
|
| 42643. |
McFarland M.C. |
Formal Verification of Sequential Hardware: A Tutorial | 1993 |
|
| 42644. |
Wang F. |
Formal verification of timed systems: a survey and perspective | 2004 |
|
| 42645. |
Perry D.L. Foster H. |
Formal Verification: For Digital Circuit Design | 2005 |
|
| 42646. |
Bernhard R. |
Formale Methodik des Entwurfs verteilter objektorientierter Systeme | 1996 |
|
| 42647. |
Lange K.-J. |
Formale Sprachen | 1999 |
|
| 42648. |
Kutylowski M. |
Formale Sprachen | 1994 |
|
| 42649. |
Voller R. |
Formale Sprachen und Compiler | 1999 |
|
| 42650. |
Schmitt P.H. |
Formale Systeme | 2007 |
|
| 42651. |
Diaz J. (ed.) Ramos I. (ed.) |
Formalization of Programming Concepts | 1981 |
|
| 42652. |
Xenakis I. |
Formalized Music: Thought and Mathematics in Composition (2nd edition) | 1992 |
|
| 42653. |
Prestel A. |
Formally P-Adic Fields (1st edition) | 1984 |
|
| 42654. |
A. Prestel P. Roquette |
Formally p-adic Fields | 1984 |
|
| 42655. |
Kawasaki K. (ed.) Lindman B. (ed.) Okabayashi H. (ed.) |
Formation and Dynamics of Self-Organized Structures in Surfactants and Polymer Solutions (1st edition) | 1997 |
|
| 42656. |
Steiner F. |
Formation and Early Growth of Business Webs: Modular Product Systems in Network Markets (Information Age Economy) | 2004 |
|
| 42657. |
Bethe H. Brown G. Lee C. |
Formation and evolution of black holes in the galaxy. Selected papers with commentary | 2003 |
|
| 42658. |
Bethe H. Brown G.E. Lee C.H. |
Formation and Evolution of Black Holes in the Galaxy: Selected Papers With Commentary | 2003 |
|
| 42659. |
Bethe H. Brown G. Lee C. |
Formation and evolution of black holes in the galaxy: selected papers with commentary | 2003 |
|
| 42660. |
Cole H. |
Formation Badges of World War Two | 1985 |
|
| 42661. |
Dickinson R.G. Sherrill M.S. |
Formation of Ozone by Optically Excited Mercury Vapor | 1926 |
|
| 42662. |
Bell B. Cowie B. |
Formative Assessment and Science Education (Science & Technology Education Library, Volume 12) (1 edition) | 2000 |
|
| 42663. |
Bell B. Cowie B. |
Formative Assessment and Science Education (Science & Technology Education Library, Volume 12) | 2002 |
|
| 42664. |
Worthman C.M. Plotsky P.M. Schechter D.S. |
Formative Experiences: The Interaction of Caregiving, Culture, and Developmental Psychobiology | 2010 |
|
| 42665. |
Flynn P. |
Formatting information. A beginner's introduction to typesetting with LaTeX | 2005 |
|
| 42666. |
Flynn P. |
Formatting information: a beginner's introduction to Latex | 2005 |
|
| 42667. |
Flynn P. |
Formatting information: A beginner's introduction to typesetting with LaTeX | 2005 |
|
| 42668. |
Dietmar Gross Wolfgang Ehlers Peter Wriggers |
Formeln und Aufgaben zur technischen Mechanik 1. Statik | 2010 |
|
| 42669. |
Gross D. Ehlers W. Wriggers P. |
Formeln und Aufgaben zur Technischen Mechanik 1: Statik (8 edition) | 2006 |
|
| 42670. |
Gross D. Ehlers W. Wriggers P. |
Formeln Und Aufgaben Zur Technischen Mechanik 3: Kinetik, Hydrodynamik (Seventh Edition) | 2006 |
|
| 42671. |
Bernd Luderer |
Formeln und Begriffe der Analysis | 2021 |
|
| 42672. |
Helmut seng Chiara o. Tommasi |
Formen und Nebenformen des Platonismus in der Spätantike | 2016 |
|
| 42673. |
Cartan H. |
Formes différentielles | 1967 |
|
| 42674. |
Romanovski P. |
Formes exterieures et leurs applications | 1963 |
|
| 42675. |
Slebodzinski W. |
Formes exterieures et leurs applications | 1954 |
|
| 42676. |
Bletzinger K. |
Formoptimierung von Flaechentragwerken | 1990 |
|
| 42677. |
Minelli A. |
Forms of Becoming: The Evolutionary Biology of Development | 2009 |
|
| 42678. |
Brünjes L. |
Forms of Fermat Equations and Their Zeta Functions | 2004 |
|
| 42679. |
Tirosh D. |
Forms of Mathematical Knowledge - Learning and Teaching with Understanding | 1999 |
|
| 42680. |
Lars Brunjes |
Forms ol Fermat Equations and Their Zeta Functions | 2004 |
|
| 42681. |
Jarrett C. Gaffney G. Krug S. |
Forms that work: designing Web forms for usability | 2008 |
|
| 42682. |
Noble J. Hughes M. |
Formula One Racing for Dummies | 2004 |
|
| 42683. |
|
Formula Primer | 2002 |
|
| 42684. |
A. Trklja |
Formulaic language. Theories and methods | 2021 |
|
| 42685. |
Lapeyrouse N.J. |
Formulas and Calculations for Drilling, Production and Work-over | n/a |
|
| 42686. |
McFedries P. |
Formulas and Functions with Microsoft Excel 2003 | 2005 |
|
| 42687. |
McFedries P. |
Formulas and Functions with Microsoft Office Excel 2007 (Business Solutions Series) | 2007 |
|
| 42688. |
Magnus W. Oberhettinger F. Wermer J. |
Formulas and Theorems for the Functions of Mathematical Physics | 1954 |
|
| 42689. |
Carr G.S. |
Formulas and Theorems in Pure Mathematics (Second Edition) | 1970 |
|
| 42690. |
Bronstein M. |
Formulas for series computations | 1992 |
|
| 42691. |
Karnovsky I.A. Lebed O.V. |
Formulas for Structural Dynamics: Tables, Graphs and Solutions | 2004 |
|
| 42692. |
Isotalo J. Puntanen S |
Formulas Useful for Linear Regression Analysis and Related Matrix Theory (3rd edition) | 2005 |
|
| 42693. |
Zheng C. |
Formulation and Analytical Development for Low-Dose Oral Drug Products | 2009 |
|
| 42694. |
Pearlman R. Wang Y. |
Formulation Characterization and Stability of Protein Drugs Case Histories | 1996 |
|
| 42695. |
Lanteri P. Bordes C. Collectif |
Formulation des composes silicones et fluores | 2005 |
|
| 42696. |
Moyer T. |
Formulation for Observed and Computed Values of Deep Space Network Data Types for Navigation (JPL Deep-Space Communications and Navigation Series) | 2000 |
|
| 42697. |
|
Formulation of the problem of constructing a complete involutive collection of functions | n/a |
|
| 42698. |
Mollet H. Grubenmann A. |
Formulation Technology | 2004 |
|
| 42699. |
Pearlman R. |
Formulation, Characterization, and Stability of Protein Drugs: Case Histories (Pharmaceutical Biotechnology, 9) | 1996 |
|
| 42700. |
Nicolle D. |
Fornovo 1495: France's bloody fighting retreat | 1996 |
|
|
|
О проекте