| 42501. |
Savitch W.J. Marsh W. Bach M. (eds.) |
Formal Complexity of Natural Language | 1987 |
 |
| 42502. |
Ferre S. Rudolph S. |
Formal Concept Analysis, 7 conf., ICFCA 2009 (1 edition) | 2009 |
|
| 42503. |
Kuznetsov S.O. (ed.) Schmidt S. (ed.) |
Formal Concept Analysis. 5th International Conference, ICFCA 2007 Clermont-Ferrand, France, February 12-16, 2007 Proceedings | 2007 |
|
| 42504. |
Medina R Obiedkov S. |
Formal Concept Analysis. 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings | 2008 |
|
| 42505. |
Missaoui R. Schmid J. |
Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings | 2006 |
|
| 42506. |
Kwuida L. Sertkaya B. |
Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science) | 2010 |
|
| 42507. |
Bella G. |
Formal Correctness of Security Protocols | 2007 |
|
| 42508. |
Lewerentz C. Lindner T. |
Formal Development of Reactive Systems: Case Study Production Cell | 1995 |
|
| 42509. |
Hußmann H. |
Formal Foundations for Software Engineeing Methods (1 edition) | 1997 |
|
| 42510. |
Hubmann H. |
Formal Foundations for Software Engineering Methods (1 edition) | 1997 |
|
| 42511. |
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 |
|
| 42512. |
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 |
|
| 42513. |
Fröhlich A. |
Formal Groups | 1968 |
|
| 42514. |
Hazewinkel M. |
Formal groups and applications | 1978 |
|
| 42515. |
Hazewinkel M. |
Formal groups and applications MAtg | 1978 |
|
| 42516. |
Gupta A. |
Formal Hardware Verification Methods: A Survey | 1992 |
|
| 42517. |
Maxwell III J. Kaplan R. Dalrymple M. |
Formal Issues in Lexical-Functional Grammar | 1995 |
|
| 42518. |
Louis H. Kauffman |
Formal knot theory (PUP edition) | 1983 |
|
| 42519. |
Kauffman L. |
Formal Knot Theory | 1983 |
|
| 42520. |
Kauffman L. |
Formal Knot Theory (Mathematical Notes, No. 30) | 1983 |
|
| 42521. |
Salomaa A. |
Formal Languages | 1973 |
|
| 42522. |
Salomaa A. |
Formal languages | 1973 |
|
| 42523. |
Salomaa A. |
Formal languages | 1973 |
|
| 42524. |
Stefano Crespi Reghizzi |
Formal Languages and Compilation (Texts in Computer Science) (2nd Printing. edition) | 2009 |
|
| 42525. |
Douglas C.A. |
Formal Mentoring Programs in Organizations: An Annotated Bibliography | 1997 |
|
| 42526. |
Jones C. Liu Z. Woodcock J. |
Formal Methods and Hybrid Real-Time Systems | 2007 |
|
| 42527. |
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 (1 edition) | 2007 |
|
| 42528. |
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 |
|
| 42529. |
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 |
|
| 42530. |
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 |
|
| 42531. |
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 (1 edition) | 2003 |
|
| 42532. |
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 |
|
| 42533. |
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 |
|
| 42534. |
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 |
|
| 42535. |
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 |
|
| 42536. |
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 (1 edition) | 2007 |
|
| 42537. |
Wolter K. |
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September (1 edition) | 2007 |
|
| 42538. |
Horvath A. Telek M. |
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June | 2006 |
|
| 42539. |
Hierons R. M. Bowen J. P. Harman M. |
Formal Methods and Testing: An Outcome of the FORTEST Network (1 edition) | 2008 |
|
| 42540. |
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 |
|
| 42541. |
de Boer F.S. Bonsangue M.M. |
Formal Methods for Components and Objects | 2011 |
|
| 42542. |
de Boer F. Bonsangue M.M. Graf S. |
Formal Methods for Components and Objects, 5 conf., FMCO 2006 | 2007 |
|
| 42543. |
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 |
|
| 42544. |
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 (1 edition) | 2003 |
|
| 42545. |
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 |
|
| 42546. |
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, (1 edition) | 2008 |
|
| 42547. |
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 |
|
| 42548. |
Marco Bernardo Alessandro Cimatti |
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (1 edition) | 2006 |
|
| 42549. |
Abrial J. Borger E. Langmaack H. |
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995 | 1996 |
|
| 42550. |
S. Leue P. Merino |
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (1 edition) | 2008 |
|
| 42551. |
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 |
|
| 42552. |
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 |
|
| 42553. |
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 |
|
| 42554. |
Pecheur C. Dierkes M. |
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings | 2013 |
|
| 42555. |
Bernardo M. (Editor) Bogliolo A. (Editor) |
Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 (1 edition) | 2008 |
|
| 42556. |
Najm E. Nestmann U. Stevens P. |
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003 | 2004 |
|
| 42557. |
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 |
|
| 42558. |
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 |
|
| 42559. |
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 |
|
| 42560. |
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 |
|
| 42561. |
Bernardo M. Hillston J. |
Formal Methods for Performance Evaluation, 7 school, SFM 2007 | 2007 |
|
| 42562. |
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 |
|
| 42563. |
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 (1 edition) | 1999 |
|
| 42564. |
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 |
|
| 42565. |
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 |
|
| 42566. |
Ramsay A. |
Formal Methods in Artificial Intelligence | 1988 |
|
| 42567. |
Ramsay A. |
Formal Methods in Artificial Intelligence | 1988 |
|
| 42568. |
Aagaard M. O'Leary J. |
Formal Methods in Computer-Aided Design | 2002 |
|
| 42569. |
Alan J. Hu Andrew K. Martin |
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 (1 edition) | 2004 |
|
| 42570. |
Hu A. Martin A. |
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 (1 edition) | 2005 |
|
| 42571. |
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 |
|
| 42572. |
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 |
|
| 42573. |
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 |
|
| 42574. |
Hunt W. Johnson S. |
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings | 2000 |
|
| 42575. |
Bjorner D. Broy M. Pottosin I.V. |
Formal Methods in Programming and Their Applications | 1993 |
|
| 42576. |
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 (1 edition) | 2005 |
|
| 42577. |
Fisher J. |
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings | 2008 |
|
| 42578. |
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 |
|
| 42579. |
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 |
|
| 42580. |
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) (1st Edition.) | 2009 |
|
| 42581. |
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 |
|
| 42582. |
Clarke A.M. Wing J.M. |
Formal Methods: State of Art and Future Directions | 1996 |
|
| 42583. |
Raskin J. Thiagarajan P.S. |
Formal Modeling and Analysis of Timed Systems, 5 conf., FORMATS 2007 | 2007 |
|
| 42584. |
Ouaknine J. Vaandrager F. |
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings | 2009 |
|
| 42585. |
Asarin E. Bouyer P. |
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings | 2006 |
|
| 42586. |
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) (1 edition) | 2010 |
|
| 42587. |
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 |
|
| 42588. |
Pettersson P. Yi W. |
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings | 2005 |
|
| 42589. |
Kimbrough S.O. Wu D. |
Formal Modelling in Electronic Commerce | 2004 |
|
| 42590. |
Meyer J. Schobbens P. |
Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers | 2000 |
|
| 42591. |
Bollig B. |
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic | 2006 |
|
| 42592. |
Graig I.D. |
Formal Models of Operating System Kernels | 2006 |
|
| 42593. |
Laudal O.A. |
Formal Moduli of Algebraic Structures | 1979 |
|
| 42594. |
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 |
|
| 42595. |
Bennett B. Fellbaum C. |
Formal Ontology in Information Systems: Proceedings of the Fourth International Conference FOIS 2006 | 2006 |
|
| 42596. |
(ed.) Authier J.-M. |
Formal Perspectives on Romance Linguistics | 1998 |
|
| 42597. |
Niven I. |
Formal Power Series | 1969 |
|
| 42598. |
Balser W. |
Formal power series and linear systems of meromorphic ordinary differential equations | 2000 |
|
| 42599. |
Balser W. |
Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations | 2000 |
|
| 42600. |
Möller B. (ed.) |
Formal Program Development. IFIP TC2/WG 2.1 State-of-the-Art Report | 1993 |
|
|
|
О проекте