|
 |
Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ: 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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
 |
Âñå ðåñóðñû |
Ñîðòèðîâêà:
80529 |
|
Hußmann H. |
Formal Foundations for Software Engineeing Methods |
1997 • | •• |
130117 |
|
Hubmann H. |
Formal Foundations for Software Engineering Methods |
1997 • | •• |
170284 |
|
Edwards S.H., Kulczycki G. |
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September ... Programming and Software Engineering) |
2009 | •• |
186853 |
|
Morrill G., Nederhof M. |
Formal Grammar: 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D?sseldorf, Germany, August 2013. Proceedings |
2013 | •• |
32809 |
|
Fröhlich A. |
Formal Groups |
1968 | •• |
158877 |
|
Hazewinkel M. |
Formal groups and applications |
1978 | •• |
153496 |
|
Hazewinkel M. |
Formal groups and applications MAtg |
1978 | •• |
10525 |
|
Gupta A. |
Formal Hardware Verification Methods: A Survey |
1992 | •• |
151271 |
|
Maxwell III J., Kaplan R., Dalrymple M. |
Formal Issues in Lexical-Functional Grammar |
1995 | •• |
126383 |
|
Louis H. Kauffman |
Formal knot theory |
1983 • | •• |
151363 |
|
Kauffman L. |
Formal Knot Theory |
1983 | •• |
190967 |
|
Kauffman L. |
Formal Knot Theory (Mathematical Notes, No. 30) |
1983 | •• |
131527 |
|
Salomaa A. |
Formal Languages |
1973 | •• |
167896 |
|
Salomaa A. |
Formal languages |
1973 | •• |
188397 |
|
Salomaa A. |
Formal languages |
1973 | •• |
152188 |
|
Stefano Crespi Reghizzi |
Formal Languages and Compilation (Texts in Computer Science) |
2009 • | •• |
147547 |
|
Douglas C.A. |
Formal Mentoring Programs in Organizations: An Annotated Bibliography |
1997 | •• |
140452 |
|
Jones C., Liu Z., Woodcock J. |
Formal Methods and Hybrid Real-Time Systems |
2007 | •• |
136091 |
|
Cliff B. Jones, Zhiming Liu, Jim Woodcock |
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays |
2007 • | •• |
139470 |
|
Jones C., Liu Z., Woodcock J. |
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays |
2007 | •• |
175661 |
|
Breitman K., Cavalcanti A. |
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering) |
2009 | •• |
192774 |
|
George C., Miao H. |
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings |
2002 | •• |
195401 |
|
Jin Song Dong, Jim Woodcock |
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings |
2003 • | •• |
164066 |
|
Davies J., Schulte W., Barnett M. |
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings |
2004 | •• |
157519 |
|
Davies J., Schulte W., Barnett M. |
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science) |
2005 | •• |
150520 |
|
Lau K.-K., Banach R. |
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, |
2005 | •• |
147160 |
|
Liu Z., He J. |
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 |
2006 | •• |
81694 |
|
Butler M. (Editor), Hinchey M.G. (Editor), Larrondo-Petrie M.M. (Editor) |
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA |
2007 • | •• |
162100 |
|
Wolter K. |
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September |
2007 • | •• |
173090 |
|
Horvath A., Telek M. |
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June |
2006 | •• |
144464 |
|
Hierons R. M., Bowen J. P., Harman M. |
Formal Methods and Testing: An Outcome of the FORTEST Network |
2008 • | •• |
78850 |
|
Aichernig B.K., Maibaum T. |
Formal Methods at the Crossroads: From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST the International Institute for Software Technology of The United Nations University Lisbon, Portugal, March 18-20, 2002 Revised Papers |
2004 | •• |
131540 |
|
de Boer F.S., Bonsangue M.M. |
Formal Methods for Components and Objects |
2011 | •• |
78339 |
|
de Boer F., Bonsangue M.M., Graf S. |
Formal Methods for Components and Objects, 5 conf., FMCO 2006 |
2007 | •• |
183594 |
|
Hahnle R., Giachino E., Boer F. |
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures |
2013 | •• |
195061 |
|
Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever |
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures |
2003 • | •• |
193153 |
|
Boer F., Bonsangue M., Graf S. |
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures |
2005 | •• |
134160 |
|
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro |
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, |
2008 • | •• |
137829 |
|
Bernardo M., Degano P., Zavattaro G. |
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, |
2008 | •• |
155531 |
|
Marco Bernardo, Alessandro Cimatti |
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, |
2006 • | •• |
179600 |
|
Abrial J., Borger E., Langmaack H. |
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995 |
1996 | •• |
195675 |
|
S. Leue, P. Merino |
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers |
2008 • | •• |
180850 |
|
Cofer D., Fantechi A. |
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers ... Programming and Software Engineering) |
2009 | •• |
145585 |
|
Alpuente M., Cook B., Joubert C. |
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering) |
2009 | •• |
154495 |
|
Kowalewski S., Roveri M. |
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering) |
2010 | •• |
183274 |
|
Pecheur C., Dierkes M. |
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings |
2013 | •• |
81636 |
|
Bernardo M. (Editor), Bogliolo A. (Editor) |
Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 |
2008 • | •• |
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 | •• |
|
|