| 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 | •• |
|
|
Î ïðîåêòå