√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
ћехмат€нам
square ѕервый курс

square ¬торой курс

square “ретий курс

square „етвертый курс

square ѕ€тый курс
blank
јвторизаци€

       
blank
ѕоиск по указател€м

blank
 расота
blank
blank
Ѕыстрый переход
ѕо названию:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ј Ѕ ¬ ƒ ® « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў Ё ё я
ѕо автору:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ® ј Ѕ ¬ ƒ « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў џ Ё ё я
blank
¬се ресурсы
—ортировка:

ID asc desc pic јвторы asc desc Ќазвание asc desc √од asc desc ƒоп.
10549 Kurshan R.P. Formal Verification in a Commercial Setting 1997ХХ
189989 Sommaruga G. Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information 2009ХХ
74228 Sommaruga G. (ed.) Formal theories of information from Shannon to semantic information theory and general concepts of information 2009 ХХХ
172252 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ХХ
159497 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ХХ
196555 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ХХ
175310 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ХХ
155955 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ХХ
137787 Joseph M. Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings 2000 ХХХ
152871 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ХХ
138075 Jonsson B., Parrow J. Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings 1996 ХХХ
164517 Joseph M. Formal Techniques in Real-Time and Fault-Tolerant Systems 1988ХХ
133009 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ХХ
191368 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ХХ
151786 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ХХ
133966 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ХХ
132739 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 2005 ХХХ
180754 Frutos-Escrig D., Nunez M. Formal Techniques for Networked and Distributed Systems - FORTE 2004 2004ХХ
195095 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 2003 ХХХ
165548 Peled D., Vardi M. Formal Techniques for Networked and Distributed Systems - FORTE 2002 2002ХХ
178823 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ХХ
132404 Derrick J., Vain J. Formal Techniques for Networked and Distributed Systems 2007ХХ
142351 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ХХ
181578 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ХХ
85683 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ХХ
135630 Bravetti M. Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web 2005ХХ
182338 Broy M., Merz S., Spies K. Formal Systems Specification: The RPC-Memory Specification Case Study 1996ХХ
155698 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ХХ
28020 Slonneger K., Kurtz B.L. Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach 1995 ХХХ
78925 Alves-Foss J. Formal Syntax and Semantics of Java 1999ХХ
99501 Eugene P. Gross Formal structure of kinetic theory 1976ХХ
143860 Post E. Formal Structure of Electromagnetics: General Covariance and Electromagnetics 1962ХХ
169919 Feijs L., Jonkers H. Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) 1992ХХ
107374 Singer M.F. Formal solutions of ODEs 1990ХХ
105732 van Hoeij M. Formal solutions factorization of differential operators with power series coefficient n/aХХ
143115 Clifford J. Formal Semantics and Pragmatics for Natural Language Querying 1990ХХ
167702 Clifford J. Formal Semantics and Pragmatics for Natural Language Querying 1990ХХ
29927 Craig I.D. Formal Refinement of Operating System Kernels 2007ХХ
55711 Eichenmüller G. Formal reduction and integration of systems of nonlinear differential equations 2000ХХ
78244 Möller B. (ed.) Formal Program Development. IFIP TC2/WG 2.1 State-of-the-Art Report 1993ХХ
1755 Balser W. Formal power series and linear systems of meromorphic ordinary differential equations 2000ХХ
55716 Balser W. Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations 2000ХХ
55150 Niven I. Formal Power Series 1969ХХ
28980 Bennett B., Fellbaum C. Formal Ontology in Information Systems: Proceedings of the Fourth International Conference FOIS 2006 2006ХХ
195386 Eschenbach C. (Ed.), Gruninger M. (Ed.) Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) - Volume 183 Frontiers in Artificial Intelligence and Applications 2008ХХ
18084 Laudal O.A. Formal Moduli of Algebraic Structures 1979ХХ
28053 Graig I.D. Formal Models of Operating System Kernels 2006ХХ
165606 Bollig B. Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic 2006ХХ
154287 Meyer J., Schobbens P. Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers 2000ХХ
132047 Kimbrough S.O., Wu D. Formal Modelling in Electronic Commerce 2004ХХ


blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2021
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте