Ãëàâíàÿ    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 Äîï.
85055 Najm E., Nestmann U., Stevens P. Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003 2004••
79147 Bonsangue M.M. (ed.), Johnsen E.B. (ed.) Formal Methods for Open Object-Based Distributed Systems. 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedings 2007••
180493 Barthe G., Boer F. Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings 2008••
192261 Steffen M. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, 2005••
152514 Gorrieri R., Wehrheim H. Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, 2006••
78283 Bernardo M., Hillston J. Formal Methods for Performance Evaluation, 7 school, SFM 2007 2007••
145945 Aldini A., Bernardo M., Di Pierro A. Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering) 2010••
195332 Katoen J.-P. (Ed.) Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th 1999 •••
85719 Bernardo M., Inverardi P. Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures 2003••
141575 Bernardo M., Padovani L., Zavattaro G. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering 2009••
9730 Ramsay A. Formal Methods in Artificial Intelligence 1988••
172621 Ramsay A. Formal Methods in Artificial Intelligence 1988••
148423 Aagaard M., O'Leary J. Formal Methods in Computer-Aided Design 2002••
127074 Alan J. Hu, Andrew K. Martin Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 2004 •••
129456 Hu A., Martin A. Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 2005 •••
159317 Hu A., Martin A. Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312) 2005••
139866 Srivas M., Camilleri A. Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings 1996••
143654 Gopalakrishnan G., Windley P. Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings 1998••
165366 Hunt W., Johnson S. Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings 2000••
133541 Bjorner D., Broy M., Pottosin I.V. Formal Methods in Programming and Their Applications 1993••
126905 Hans-Jorg Kreowski, Ugo Montanari, Fernando Orejas Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday 2005 •••
193665 Fisher J. Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings 2008••
136173 Brim L. (ed.), Haverkort B. (ed.), Leucker M. (ed.) Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems 2007••
159851 Brim L., Haverkort B., Leucker M. Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th 2007••
158615 Marcel Vinicius Medeiros Oliveira, Jim Woodcock Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering) 2009 •••
186897 Braga C., Moura L., Iyoda J. Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings 2013••
10433 Clarke A.M., Wing J.M. Formal Methods: State of Art and Future Directions 1996••
78277 Raskin J., Thiagarajan P.S. Formal Modeling and Analysis of Timed Systems, 5 conf., FORMATS 2007 2007••
150009 Ouaknine J., Vaandrager F. Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings 2009••
170257 Asarin E., Bouyer P. Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings 2006••
195337 Chatterjee K. (Ed.), Henzinger T.A. (Ed.) Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Computer Science and General Issues) 2010 •••
155593 Larsen K., Niebert P. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers 2004••
151583 Pettersson P., Yi W. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings 2005••
132047 Kimbrough S.O., Wu D. Formal Modelling in Electronic Commerce 2004••
154287 Meyer J., Schobbens P. Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers 2000••
165606 Bollig B. Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic 2006••
28053 Graig I.D. Formal Models of Operating System Kernels 2006••
18084 Laudal O.A. Formal Moduli of Algebraic Structures 1979••
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••
28980 Bennett B., Fellbaum C. Formal Ontology in Information Systems: Proceedings of the Fourth International Conference FOIS 2006 2006••
199927 (ed.) Authier J.-M. Formal Perspectives on Romance Linguistics 1998••
55150 Niven I. Formal Power Series 1969••
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••
78244 Möller B. (ed.) Formal Program Development. IFIP TC2/WG 2.1 State-of-the-Art Report 1993••
55711 Eichenmüller G. Formal reduction and integration of systems of nonlinear differential equations 2000••
29927 Craig I.D. Formal Refinement of Operating System Kernels 2007••
143115 Clifford J. Formal Semantics and Pragmatics for Natural Language Querying 1990••
167702 Clifford J. Formal Semantics and Pragmatics for Natural Language Querying 1990••
105732 van Hoeij M. Formal solutions factorization of differential operators with power series coefficient n/a••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå