Ãëàâíàÿ    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 Äîï.
37268 Prestel A. Formally P-Adic Fields 1984 •••
126420 A. Prestel, P. Roquette Formally p-adic Fields 1984••
193574 Xenakis I. Formalized Music: Thought and Mathematics in Composition 1992 •••
132502 Diaz J. (ed.), Ramos I. (ed.) Formalization of Programming Concepts 1981••
105341 Schmitt P.H. Formale Systeme 2007••
20132 Voller R. Formale Sprachen und Compiler 1999••
20131 Lange K.-J. Formale Sprachen 1999••
20133 Kutylowski M. Formale Sprachen 1994••
74425 Bernhard R. Formale Methodik des Entwurfs verteilter objektorientierter Systeme 1996••
38971 Perry D.L., Foster H. Formal Verification: For Digital Circuit Design 2005••
10762 Wang F. Formal verification of timed systems: a survey and perspective 2004••
10557 McFarland M.C. Formal Verification of Sequential Hardware: A Tutorial 1993••
174627 Beckert B., Marche C. Formal Verification of Object-Oriented Software 2011••
10753 Camurati P., Prinetto P. Formal verification of hardware correctness 1988••
10547 Kern C., Greenstreet M.R. Formal Verification in Hardware Design: A Survey 1997••
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••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå