130771 |
|
Dybjer P., Smith J. |
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers |
1995 | •• |
158662 |
|
Barendregt H., Nipkow T. |
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers |
1994 | •• |
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 | •• |
155545 |
|
Miculan M., Scagnetto I., Honsell F. |
Types for Proofs and Programs, TYPES 2007 |
2008 | •• |
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 • | •• |
12275 |
|
Pierce B.C. |
Types and Programming Languages |
2002 | •• |
171880 |
|
Pierce B. |
Types and Programming Languages |
2002 | •• |
188877 |
|
Pierce B. |
Types and Programming Languages |
2002 | •• |
156727 |
|
Cardelli L. |
Typeful programming |
1989 | •• |
173036 |
|
Groote P., Hindley J. |
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ... (Lecture Notes in Computer Science) |
1997 | •• |
198182 |
|
Bezem M., Groote J.F. |
Typed Lambda Calculi and Applications, TLCA '93 1 conf |
1993 • | •• |
199885 |
|
Urzyczyn P. |
Typed Lambda Calculi and Applications, 7 conf., TLCA 2005 |
2005 | •• |
200560 |
|
Hofmann M. |
Typed Lambda Calculi and Applications, 6 conf., TLCA 2003 |
2003 • | •• |
199892 |
|
Abramsky S. |
Typed Lambda Calculi and Applications, 5 conf., TLCA 2001 |
2001 • | •• |
199862 |
|
Girard J.-Y. |
Typed Lambda Calculi and Applications, 4 conf., TLCA'99 |
1999 • | •• |
198065 |
|
Groote P., Hindley J.R. |
Typed Lambda Calculi and Applications, 3 conf., TLCA '97 |
1997 • | •• |
198048 |
|
Dezani-Ciancaglini M., Plotkin G. |
Typed Lambda Calculi and Applications |
1995 • | •• |
149859 |
|
Thompson S. |
Type theory & functional programming |
1999 | •• |
137905 |
|
Harper R. |
Type systems for programming languages |
2000 | •• |
42199 |
|
Rezapour S., Kupka I. |
Type Lipschitz selections in generalized 2-normed spaces |
2007 | •• |
174215 |
|
Parker P., Parker J. |
Type 3 Gaucher Disease - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers |
2007 | •• |
142985 |
|
Parker P.M. |
Type 2 Gaucher Disease - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers |
2007 | •• |
149348 |
|
Parker P. |
Type 2 Gaucher Disease - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers |
2007 | •• |
160029 |
|
Stocker C. |
Type 2 Diabetes: Methods and Protocols (Methods in Molecular Biology) |
2009 | •• |
151040 |
|
Claire Stocker |
Type 2 Diabetes Methods and Protocols |
2009 | •• |
142942 |
|
Parker P.M. |
Type 1 Gaucher Disease - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers |
2007 | •• |
78019 |
|
Rubin A.L. |
Type 1 Diabetes for Dummies |
2008 | •• |
34244 |
|
Schneier B. |
Twofish: A 128-Bit Block Cipher |
1998 | •• |
156696 |
|
Page W. |
Two-year college mathematics readings |
1981 | •• |
169918 |
|
Page W. |
Two-Year College Mathematics Readings |
1981 | •• |
105891 |
|
Mudavanhu B., O'Malley R.E. |
Two-timing, Averaging, and to Solve Weakly Nonlinear Long Time Renormalization Methods Oscillator Equations on Intervals |
2002 • | •• |
121847 |
|
Christian Gruber, Séverine Pache |
Two-Time-Scale Relaxation Towards Thermal Equilibrium of the Enigmatic Piston |
2002 | •• |
121116 |
|
Johnson E.A. |
Two-Temperature Hydrodynamics and Multiple Sound Modes in Disparate-Mass Gas Mixtures |
1989 | •• |
60717 |
|
Bell A. |
Two-Stroke Performance Tuning |
1999 • | •• |
121598 |
|
Hede B., Privman V. |
Two-Spin-Majority Cellular Automaton as a Model of 2D Cluster and Interface Growth |
1991 | •• |
124256 |
|
Schlijper A.G., Smit B. |
Two-Sided Bounds on the Free Energy from Local States in Monte Carlo Simulations |
1989 | •• |
184747 |
|
Coster C., Habets P. |
Two-point boundary value problems: Lower and upper solutions |
2006 | •• |
54601 |
|
Coster C., Habets P. |
Two-Point Boundary Value Problems: Lower and Upper Solutions |
2006 • | •• |
121701 |
|
Schmittmann B ., Zia R . K . P . |
Two-Poin t Correlation s an d Critica l Lin e o f th e Drive n Isin g Lattic e Ga s i n a High-Temperatur e Expansio n |
1997 | •• |
66288 |
|
Anatol Rapoport |
Two-Person Game Theory. the Essential Ideas |
1969 | •• |
124722 |
|
Zhizhina E.A. |
Two-Particle Spectrum of the Generator for Stochastic Model of Planar Rotators at High Temperatures |
1998 | •• |
123494 |
|
Felderhof B. U., Ford G. W., Cohen E. G. D. |
Two-Particle Cluster Integral in the Expansion of the Dielectric Constant |
1982 | •• |
36245 |
|
Imkeller P. |
Two-Parameter Martingales and Their Quadratic Variation |
1988 | •• |
177638 |
|
Nielson F., Nielson H. |
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Volume 34) |
1992 | •• |
147460 |
|
Nielson F., Nielson H.R. |
Two-Level Functional Languages |
1992 | •• |
136303 |
|
MacDonald P. |
Two-Hybrid Systems: Methods and Protocols (Methods in Molecular Biology) |
2001 | •• |
177241 |
|
MacDonald P. |
Two-Hybrid Systems: Methods and Protocols |
2001 | •• |
180253 |
|
MacDonald P. |
Two-Hybrid Systems: Methods and Protocols |
2001 | •• |
190003 |
|
MacDonald P. |
Two-Hybrid System Methods and Protocols |
2001 | •• |
122673 |
|
Aslangul C., Pottier N. |
Two-Dimensional Random-Random Walks: Dynamical Exponents in a Quenched Directed Model |
1991 | •• |