| 125305 |
|
Geldart D.J.W., De'Bell K. |
Logarithmic Corrections for Dilute Uniaxial Ferromagnets at the Critical Dimension |
1993 | •• |
| 125918 |
|
Hamer C. J., Batchelor M. T., Michael N. Barber |
Logarithmic Corrections to Finite-Size Scaling in the Four-State Potts Model |
1988 | •• |
| 120054 |
|
Brankov J.G., Danehev D.M. |
Logarithmic Finite-Size Corrections in the Three-Dimensional Mean Spherical Model |
1993 | •• |
| 155348 |
|
Baker A., Wustholz G. |
Logarithmic Forms and Diophantine Geometry |
2007 | •• |
| 122618 |
|
Holley R. |
Logarithmic Sobolev Inequalities and Stochastic Ising Models |
1987 | •• |
| 4033 |
|
Gupta S. |
Logging in Java with the JDK 1.4 logging API and Apache log4j |
2003 | •• |
| 33003 |
|
Tomassi P. |
Logic |
1999 | •• |
| 35576 |
|
Priest G. |
Logic - A Very Short Introduction |
2006 • | •• |
| 54833 |
|
Ursini A. (ed.), Aglianò P. (ed.) |
Logic and Algebra |
1996 | •• |
| 116132 |
|
Flum J. (ed.), Gradel E. (ed.), Wilke T. (ed.) |
Logic and Automata. History and Perspectives |
2008 | •• |
| 1390 |
|
Levitz K., Levitz H. |
Logic and Boolean Algebra |
1997 | •• |
| 181382 |
|
Paulson L. |
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) |
1990 | •• |
| 158051 |
|
Leivant D. |
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers |
1995 | •• |
| 111436 |
|
Mano M.M., Kime C.R. |
Logic and Computer Design Fundamentals |
2004 • | •• |
| 181426 |
|
Mano, Kime |
Logic and Computer Design Fundamentals |
2003 • | •• |
| 194934 |
|
M. Morris Mano, Charles Kime |
Logic and Computer Design Fundamentals (4th Edition) Solutions textbook. |
2007 • | •• |
| 36230 |
|
Homer S., Nerode A., Platek R.A. |
Logic and Computer Science |
1990 | •• |
| 33043 |
|
Scedrov A., Nerode A., Sacks G.E. |
Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988 |
1990 | •• |
| 135880 |
|
Williams H.P. |
Logic and integer programming |
2009 | •• |
| 186583 |
|
Williams H. |
Logic and Integer Programming |
2009 | •• |
| 192836 |
|
Banerjee M., Seth A. |
Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings |
2011 | •• |
| 33646 |
|
Dean N. |
Logic and Language |
2003 | •• |
| 141827 |
|
Hamburger H., Richards D. |
Logic and Language Models for Computer Science |
2002 | •• |
| 134877 |
|
Centrone S. |
Logic and Philosophy of Mathematics in the Early Husserl |
2009 | •• |
| 32828 |
|
Prawitz D. (ed.), Westerstehl D. (ed.) |
Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science |
1994 | •• |
| 13150 |
|
Madarasz J.X. |
Logic and Relativity |
2002 | •• |
| 114272 |
|
Madarasz J.X. |
Logic and Relativity |
2002 | •• |
| 169304 |
|
Moore R. |
Logic and Representation |
1995 | •• |
| 74240 |
|
Middelburg C.A. |
Logic and specification: extending VDM-SL for advanced formal specification |
1993 • | •• |
| 80716 |
|
Dalen D.V. |
Logic and Structure |
1994 • | •• |
| 146825 |
|
Bonanno G., Lowe B., van der Hoek W. |
Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008 |
2010 | •• |
| 34331 |
|
Gabbay D.M. (Ed), Woods J. (Ed) |
Logic and the Modalities in the Twentieth Century, Vol. 7 |
2006 | •• |
| 34832 |
|
Halmos P.R., Givant S. |
Logic as Algebra |
1998 | •• |
| 179802 |
|
Halmos P., Givant S. |
Logic as algebra |
1998 | •• |
| 173062 |
|
Pettorossi A. |
Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001 |
2002 | •• |
| 160523 |
|
Leuschel M. |
Logic Based Program Synthesis and Transformation, 12 conf., LOPSTR 2002 |
2003 | •• |
| 186435 |
|
Etalle S. |
Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004 |
2005 | •• |
| 158063 |
|
Hill P. |
Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005 |
2006 | •• |
| 191946 |
|
Bruynooghe M. |
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science) |
2004 | •• |
| 42772 |
|
Parikh R. |
Logic Colloquium |
1975 | •• |
| 137173 |
|
Gandy R., Yates C. |
Logic Colloquium '69 |
1971 | •• |
| 194753 |
|
K.Boroczky |
Logic Colloquium '73 |
1975 | •• |
| 191776 |
|
Boffa M. |
Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978 |
1979 | •• |
| 148438 |
|
0 |
LOGIC COLLOQUIUM '85 |
1991 | •• |
| 146233 |
|
Gandy R.O., Hyland J.M.E. |
Logic Colloquium 1976: Proceedings |
1977 | •• |
| 191780 |
|
Stern J. |
Logic Colloquium 1981: Herbrand Symposium Proceedings |
1982 | •• |
| 153036 |
|
Lolli G., Longo G., Marcja A. |
Logic Colloquium 1982: Proceedings of the Colloquium held in Florence 23-28 August, 1982 |
1984 | •• |
| 154970 |
|
Paris J., Wilkie A., Wilmers G. |
Logic Colloquium 1984: Proceedings |
1986 | •• |
| 33129 |
|
Dimitracopoulos C., Normann D., Steel J.R. |
Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005 |
2007 | •• |
| 126692 |
|
Parikh R. |
Logic colloquium. Symposium on logic |
1975 | •• |
|
|
Î ïðîåêòå