| № |
Автор
|
2й автор
|
3й автор
|
Название
|
Год
|
Доп.
|
| 9620. | McFarland M.C. | | | Formal Verification of Sequential Hardware: A Tutorial | 1993 | •• |
| 9619. | Wang F. | | | Formal verification of timed systems: a survey and perspective | 2004 | •• |
| 9618. | Seger C.-J. | | | An Introduction to Formal Hardware Verification | 1992 | •• |
| 9617. | Shankar A.U. | | | An Introduction to Assertional Reasoning for Concurrent Systems | 1993 | •• |
| 9616. | Allman G.J. | | | Greek geometry. From Thales to Euqlid (Part 1) | 1877 | •• |
| 9615. | Tennant N. | | | Relevance in reasoning | 2004 | •• |
| 9614. | Brazovskii S. | | | Solitons in Crystals of Charge Density Waves | 1989 | •• |
| 9613. | Dodig-Crnkovic G. | | | History of computer science | 2001 | •• |
| 9612. | Stapp H.P. | | | Quantum theory and the role of mind in nature | 2001 | •• |
| 9611. | Holcombe R.G. | | | Entrepreneurship and economic growth | 1998 | •• |
| 9610. | Schwert G.W. | | | Why Does Stock Market Volatility Change Over Time? | 1989 | •• |
| 9609. | Ritter J.R. | | | The Long-Run Performance of Initial Public Offerings | 1991 | •• |
| 9608. | Kostic Z. | | | Performance and Implementation of Dynamic Frequency Hopping in Limited-Bandwidth Cellular Systems | 2002 | •• |
| 9607. | Prigogine I. | | | Time, structure and fluctuations | 1977 | •• |
| 9606. | Hanche-Olsen H. | | | Elements of mathematical analysis | 2004 | •• |
| 9605. | Loyd S. | | | White mates in 1 | 1993 | •• |
| 9604. | Debevec P. | | | Image-Based Lighting | 2002 | •• |
| 9603. | Gerstacker W.H. | | | Equalization Concepts for EDGE | 2002 | •• |
| 9602. | Sweeney R.J. | | | Beating the foreign exchange market | 1986 | •• |
| 9601. | Solnik B. | | | International Arbitrage Pricing Theory | 1983 | •• |
|
|
О проекте