| 129195 |
|
Berardi S., Damiani F., Liguoro U. |
Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008: revised selected papers |
2009 • | •• |
| 155545 |
|
Miculan M., Scagnetto I., Honsell F. |
Types for Proofs and Programs, TYPES 2007 |
2008 | •• |
| 153411 |
|
Berardi S., Damiani F., de’Liguoro U. |
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) |
2009 | •• |
| 158662 |
|
Barendregt H., Nipkow T. |
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers |
1994 | •• |
| 130771 |
|
Dybjer P., Smith J. |
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers |
1995 | •• |
| 131121 |
|
Berardi S., Coppo M. |
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers |
1996 | •• |
| 173657 |
|
Altenkirch T., Naraschewski W., Reus B. |
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers |
1999 | •• |
| 80450 |
|
Altenkirch T. (ed.), McBride C.(ed.) |
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers |
2007 | •• |
| 144869 |
|
Coquand T., Dybjer P. |
Types for Proofs and Programs: International Workshop, TYPES'99, Sweden, June 12-16, 1999, Selected Papers |
2000 | •• |
| 140619 |
|
Leroy X., Ohori A. |
Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings |
1998 | •• |
| 44429 |
|
Barus C. |
Types of Achromatic Fringes |
1918 | •• |
| 44430 |
|
Nichols E.L., Howes H.L. |
Types of Phosphorescence |
1918 | •• |
| 42732 |
|
Rice O.K. |
Types of Unimolecular Reactions |
1929 | •• |
| 124737 |
|
Nguyen B.G. |
Typical Cluster Size for Two-Dimensional Percolation Processes |
1988 | •• |
| 33177 |
|
Alpern S.N., Prasad V.S. |
Typical Dynamics of Volume-Preserving Homeomorphisms |
2001 | •• |
| 75479 |
|
Hinderink D., Fritz R., Altmann W. |
Typo3. Enterprise Content Management |
2005 | •• |
| 135288 |
|
Bailey K.D. |
Typologies and Taxonomies: An Introduction to Classification Techniques |
1994 | •• |
| 178393 |
|
Eriksen T. |
Tyranny of the Moment: Fast and Slow Time in the Information Age |
2001 | •• |
| 21628 |
|
Pacejka H.B. |
Tyre and Vehicle Dynamics |
2005 | •• |
| 196416 |
|
P. M. Parker |
Tyrosinemia - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers |
2007 | •• |
| 171064 |
|
Ãàëåðêèí Þ.Á., Ñîëäàòîâà Ê.Â., Òèòåíñêèé Â.È. |
Tåîðèÿ, ðàñ÷åò è êîíñòðóèðîâàíèå êîìïðåññîðíûõ ìàøèí äèíàìè÷åñêîãî äåéñòâèÿ. Òóðáîêîìïðåññîðû |
2007 | •• |
| 103953 |
|
Êóçíåöîâ Í.Â. (ðåä.), Ìèòîð Â.Â. (ðåä.), Äóáîâñêèé È.Å. (ðåä.) |
Tåïëîâîé ðàñ÷åò êîòåëüíûõ àãðåãàòîâ (íîðìàòèâíûé ìåòîä) |
1973 • | •• |
| 103898 |
|
Êàíãóð Ê. |
Tèìáó-Ëèìáó, åå ïðèäâîðíûå è ìåëüíèêè-ñíåãîâèêè |
1973 | •• |
| 200228 |
|
ITS DISTRIBUTION IS UNLIMITED. |
U S Navy Diving Manual |
1999 | •• |
| 135394 |
|
Tai-hoon Kim, Jianhua Ma, Wai-chi Fang |
U- and E-Service, Science and Technology |
2010 | •• |
| 138858 |
|
Kim T., Ma J., Fang W. |
U- and E-Service, Science and Technology |
2010 | •• |
| 76277 |
|
Bigelow B. C. |
U-X-L. Encyclopedia of Drugs and Addictive Substances. Volume 3: Ecstasy (MDMA) to LSD (Lysergic Acid Diethylamide) |
2005 | •• |
| 80696 |
|
Stanton S.L. |
U.S. Army Uniforms of World War II |
1995 | •• |
| 152908 |
|
0 |
U.S. Astronomy and Astrophysics |
2001 | •• |
| 193421 |
|
Hosek J., Galama T. |
U.S. Competitiveness in Science and Technology |
2008 | •• |
| 81169 |
|
Crismon F.W. |
U.S. Military Tracked Vehicles (Crestline Series) |
1992 | •• |
| 172447 |
|
Franz M. |
U.S. WW II M4/M4A1 Sherman Medium Tank |
2005 | •• |
| 14323 |
|
|
U.S.News & World Report (1 May 2006) |
2006 | •• |
| 31305 |
|
|
U.S.News & World Report (1 October 2007) |
2007 | •• |
| 14319 |
|
|
U.S.News & World Report (10 April 2006) |
2006 | •• |
| 17153 |
|
|
U.S.News & World Report (11 September 2006) |
2006 | •• |
| 14322 |
|
|
U.S.News & World Report (12 June 2006) |
2006 | •• |
| 17457 |
|
|
U.S.News & World Report (13 November 2006) |
2006 | •• |
| 31306 |
|
|
U.S.News & World Report (15 October 2007) |
2007 | •• |
| 31308 |
|
|
U.S.News & World Report (17 September 2007) |
2007 | •• |
| 17154 |
|
|
U.S.News & World Report (18 September 2006) |
2006 | •• |
| 17150 |
|
|
U.S.News & World Report (2 October 2006) |
2006 | •• |
| 31311 |
|
|
U.S.News & World Report (22 October 2007) |
2007 | •• |
| 17458 |
|
|
U.S.News & World Report (23 October 2006) |
2006 | •• |
| 14321 |
|
|
U.S.News & World Report (24 July 2006) |
2006 | •• |
| 31309 |
|
|
U.S.News & World Report (24 September 2007) |
2007 | •• |
| 18209 |
|
|
U.S.News & World Report (25 December 2006) |
2006 | •• |
| 17155 |
|
|
U.S.News & World Report (25 September 2006) |
2006 | •• |
| 14320 |
|
|
U.S.News & World Report (28 August 2006) |
2006 | •• |
| 18287 |
|
|
U.S.News & World Report (29 January 2007) |
2007 | •• |
|
|
Î ïðîåêòå