| 116201. |
Slind K. Bunker A. Gopalakrishnan G. |
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science) | 2005 |
 |
| 116202. |
Berghofer S. Nipkow T. Urban C. |
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues) | 2009 |
|
| 116203. |
Baumgartner P. Hahnle R. Posegga J. |
Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95 (1 edition) | 1995 |
|
| 116204. |
Miglioli P. Moscato U. Mundici D. |
Theorem Proving with Analytic Tableaux and Related Methods 5 conf., TABLEAUX '96 (1 edition) | 1996 |
|
| 116205. |
Euler L. |
Theorems about the divisors of numbers contained in the form paa ± qbb | 1748 |
|
| 116206. |
Gelbaum B.R. Olmsted J. |
Theorems and Counterexamples in Mathematics | 1990 |
|
| 116207. |
Kirillov A.A. Gvishiani A.D. McFaden H.H. |
Theorems and Problems in Functional Analysis | 1982 |
|
| 116208. |
Precup R. |
Theorems of Leray-Schauder type and applications | 2002 |
|
| 116209. |
Simon L. |
Theorems on regularity and singularity of energy minimizing maps | 1996 |
|
| 116210. |
Leon Simon |
Theorems on regularity and singularity of energy minimizing maps (Lectures in Mathematics. ETH Z?rich) (1 edition) | 1996 |
|
| 116211. |
Euler L. |
Theorems on residues obtained by the division of powers | 1755 |
|
| 116212. |
Miller G.A. |
Theorems Relating to the History of Mathematics | 1931 |
|
| 116213. |
Hamilton W.R. |
Theorems Respecting Algebraic Elimination | 1836 |
|
| 116214. |
Taylor T. |
Theoretic Arithmetic | 1816 |
|
| 116215. |
L. M. MILNE-THOMSON, |
THEORETICAL AERODYNAMICS (4 edition) | 1958 |
|
| 116216. |
Oscar Castillo Melin P. Ross O.M. |
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing (1 edition) | 2007 |
|
| 116217. |
Milne-Thomson L.M. |
Theoretical Aerodynamics (4-d edition, revised and enarged) | 1973 |
|
| 116218. |
Tolstoy A. Shang E.-C. Teng Y.-C. |
Theoretical and Computational Acoustics 2005 | 1996 |
|
| 116219. |
Shang E. (ed.) Gao Q. (ed.) |
Theoretical and Computional Acoustics 2001 (1st edition) | 2001 |
|
| 116220. |
Pankaj P. |
Theoretical and Experimental Sonochemistry Involving Inorganic Systems | 2010 |
|
| 116221. |
Poinsot T. Veynante D. |
Theoretical and Numerical Combustion (1st edition) | 2001 |
|
| 116222. |
Dridi K.H. |
Theoretical and numerical investigations of sub-wavelength diffractive optical structures | 2000 |
|
| 116223. |
Tijssen G.A. |
Theoretical and Practical Aspects of Linear Optimization | 2000 |
|
| 116224. |
Dams D. Gerth R. Leue S. |
Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s (1 edition) | 1999 |
|
| 116225. |
Ivanov S. |
Theoretical and Quantum Mechanics: Fundamentals for Chemists | 2005 |
|
| 116226. |
MacLennan B. |
Theoretical and Technological Advancements in Nanotechnology and Molecular Computation: Interdisciplinary Gains | 2011 |
|
| 116227. |
Hawkins B.L. Cornell H. |
Theoretical Approaches to Biological Control | 1999 |
|
| 116228. |
Toro-Labbe A. |
Theoretical Aspects of Chemical Reactivity | 2007 |
|
| 116229. |
Khosrovshahi G.B. |
Theoretical Aspects of Computer Science: Advanced Lectures | 2002 |
|
| 116230. |
Takayasu Ito Albert R. Meyer |
Theoretical Aspects of Computer Software, TACS '91 | 1991 |
|
| 116231. |
Hagiya M. Mitchell J. |
Theoretical Aspects of Computer Software: International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 - Proceedings | 1994 |
|
| 116232. |
Abadi M. Ito T. |
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings | 1997 |
|
| 116233. |
Jones C.B. Liu Z. |
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings | 2007 |
|
| 116234. |
Fitzgerald J.S. Haxthausen A.E. Yenigun H. |
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium Istanbul, Turkey, September 1-3, 2008 Proceedings | 2008 |
|
| 116235. |
Leucker M. Morgan C. |
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues) | 2009 |
|
| 116236. |
Zhu H. Woodcock J. Liu Z. |
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings | 2013 |
|
| 116237. |
Cavalcanti A. Deharbe D. Gaudel M. |
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues) | 2010 |
|
| 116238. |
Nikoletseas S. Rolim Jose D. P. |
Theoretical Aspects of Distributed Computing in Sensor Networks (1st Edition.) | 2011 |
|
| 116239. |
Nascimento M.A. |
Theoretical aspects of heterogeneous catalysis (1st Edition.) | 2010 |
|
| 116240. |
Michiels W. Aarts E. Korst J. |
Theoretical Aspects of Local Search | 2007 |
|
| 116241. |
Frenking G. Deubel D.V. |
Theoretical Aspects Of Transition Metal Catalysis | 2006 |
|
| 116242. |
Frenking G. |
Theoretical Aspects of Transition Metal Catalysis | 2005 |
|
| 116243. |
Padmanabhan T. |
Theoretical astrophysics vol.1: astrophysical processes | 2000 |
|
| 116244. |
Padmanabhan T. |
Theoretical astrophysics, vol. 2 | n/a |
|
| 116245. |
Padmanabhan T. |
Theoretical astrophysics, vol. 3 | n/a |
|
| 116246. |
Rosseland S. |
Theoretical Astrophysics: Atomic Theory and The Analysis of Stellar Atmospheres and Envelopes | 1936 |
|
| 116247. |
Padmanabhan T. |
Theoretical Astrophysics: Volume 1, Astrophysical Processes | 2000 |
|
| 116248. |
Friedrich H.S. |
Theoretical Atomic Physics (2-nd edition) | 1998 |
|
| 116249. |
Friedrich H. |
Theoretical Atomic Physics | 1991 |
|
| 116250. |
Friedrich H. |
Theoretical Atomic Physics | 1990 |
|
| 116251. |
Friedrich H. |
Theoretical Atomic Physics (3rd edition) | 2006 |
|
| 116252. |
Rudzikas Z. |
Theoretical Atomic Spectroscopy | 2007 |
|
| 116253. |
Rudzikas Z. |
Theoretical Atomic Spectroscopy (Cambridge Monographs on Atomic, Molecular and Chemical Physics) | 1997 |
|
| 116254. |
Eriksson L.A. |
Theoretical biochemistry | 2001 |
|
| 116255. |
Eriksson L.A. |
Theoretical Biochemistry - Processes and Properties of Biological Systems (1 edition) | 2001 |
|
| 116256. |
Eriksson L. |
Theoretical Biochemistry - Processes and Properties of Biological Systems | 2001 |
|
| 116257. |
Eriksson L. |
Theoretical Biochemistry - Processes and Properties of Biological Systems (Theoretical and Computational Chemistry) | 2001 |
|
| 116258. |
Dixon R. Thomson C. |
Theoretical Chemistry (SPR Theoretical Chemistry (RSC)) (v. 3) | 1978 |
|
| 116259. |
Thomson C. |
Theoretical Chemistry (SPR Theoretical Chemistry (RSC)) (Vol 4) | 1981 |
|
| 116260. |
Nernst W. |
Theoretical chemistry from the standpoint of Avogadro's rule & thermodynamics (2-nd edition) | 1904 |
|
| 116261. |
Dixon R. Thomson C. |
Theoretical Chemistry Volume 1 (Specialist Periodical Reports) | 1974 |
|
| 116262. |
Dixon R. Thomson C. |
Theoretical Chemistry,vol 2 (Specialist Periodical Reports) (v. 2) | 1975 |
|
| 116263. |
Italiano G.F. |
Theoretical Computer Science | 2007 |
|
| 116264. |
Hromkovic J. |
Theoretical Computer Science | 2007 |
|
| 116265. |
Hromkovic J. |
Theoretical computer science | 2004 |
|
| 116266. |
Calude C.S. Sassone V. |
Theoretical Computer Science | 2010 |
|
| 116267. |
Goldreich O. Rosenberg A. Selman A. |
Theoretical Computer Science | 2006 |
|
| 116268. |
Tzschach H. Waldschmidt H. Walter H. |
Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 | 1977 |
|
| 116269. |
|
Theoretical Computer Science Cheat Sheet | n/a |
|
| 116270. |
Leeuwen J. Watanabe O Hagiya M. |
Theoretical Computer Science(Exploring New Frontiers of Theoretical Informatics) (1 edition) | 2000 |
|
| 116271. |
Restivo A. Rocca S. Roversi L. |
Theoretical Computer Science, 7 conf., ICTCS 2001 | 2001 |
|
| 116272. |
Blundo C. Laneve C. |
Theoretical Computer Science, 8 conf., ICTCS 2003 (1 edition) | 2003 |
|
| 116273. |
Coppo M. Lodi E. Pinna G.M. |
Theoretical Computer Science, 9 conf., ICTCS 2005 (1 edition) | 2005 |
|
| 116274. |
Curien P.-L. |
Theoretical Computer Science, Volume 281, Issues 1-2, Pages 1-630 (3 June 2002), Selected Papers in Honour of Maurice Nivat | 2002 |
|
| 116275. |
Marti-Oliet N. Mesegue J. |
Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications | 2002 |
|
| 116276. |
Luca A. Mignosi F. Perrin D. |
Theoretical Computer Science, Volume 340, Issue 2, Pages 179-456 (27 June 2005), The Art of Theory | 2005 |
|
| 116277. |
Pergola E. |
Theoretical Computer Science, Volume 346, Issues 2-3, Pages 183-492 (28 November 2005), In memoriam: Alberto Del Lungo (1965-2003) | n/a |
|
| 116278. |
Ilie L. G. Rozenberg A. Salomaa and K. Salomaa (eds.) |
Theoretical Computer Science. | 2009 |
|
| 116279. |
Goldreich O. Rosenberg A.L. Selman A.L. |
Theoretical computer science. Essays in memory of Shimon Even | 2006 |
|
| 116280. |
Italiano G. Moggi E. Laura L. |
Theoretical Computer Science: Proceedings of the 10th Italian Conference on Ictcs '07 | 2007 |
|
| 116281. |
Longair M.S. |
Theoretical concepts in physics | 1984 |
|
| 116282. |
Longair M.S. |
Theoretical concepts in physics | 1984 |
|
| 116283. |
Longair M. |
Theoretical concepts in physics | 1984 |
|
| 116284. |
Longair M.S. |
Theoretical Concepts in Physics. An Alternative View of Theoretical Reasoning in Physics (2-nd edition) | 2003 |
|
| 116285. |
May R. M. McLean A. R. |
Theoretical Ecology Principles and Applications (third edition) | 2007 |
|
| 116286. |
Green A.E. Green Z.W. |
Theoretical Elasticity (Second Edition) | 1992 |
|
| 116287. |
A. E. GREEN |
THEORETICAL ELASTICITY (Second Edition) | 1968 |
|
| 116288. |
Felsenstein J. |
Theoretical Evolutionary Genetics | 2003 |
|
| 116289. |
Großmann F. |
Theoretical femtosecond physics: atoms and molecules in strong laser fields | 2008 |
|
| 116290. |
Fornasier M. |
Theoretical foundations and numerical methods for sparse recovery | 2010 |
|
| 116291. |
Bruning E. Petruccione F. |
Theoretical Foundations of Quantum Information Processing and Communication | 2010 |
|
| 116292. |
Bruning E. Petruccione F. |
Theoretical Foundations Of Quantum Information Processing And Communication | 2010 |
|
| 116293. |
Bruning E. Petruccione F. |
Theoretical Foundations of Quantum Information Processing and Communication: Selected Topics (Lecture Notes in Physics) | 2010 |
|
| 116294. |
Nauka |
Theoretical Foundations of the Chemical Engineering, Vol. 36, No. 1, 2002 | 2002 |
|
| 116295. |
McEvoy K. Tucker J. |
Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science, Volume 10) | 1990 |
|
| 116296. |
McEvoy K. Tucker J.V. |
Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science, Volume 10) | 2003 |
|
| 116297. |
Tossell J.A. Vaughan D.J. |
Theoretical Geochemistry: Applications of Quantum Mechanics in the Earth and Mineral Sciences | 1992 |
|
| 116298. |
Santen R. |
Theoretical Heterogeneous Catalysis | 1991 |
|
| 116299. |
White H.E. |
Theoretical Interpretation of Hyper-Fine-Structure in Singly Ionized Thallium, Tl II | 1929 |
|
| 116300. |
Ryaben'kii V.S. Tsynkov S.V. |
Theoretical introduction to numerical analysis (1 edition) | 2006 |
|
|
|
О проекте