162835 |
|
Buning H., Zhao X. |
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings |
2008 | •• |
146926 |
|
Kullmann O. |
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 |
2009 | •• |
180065 |
|
Strichman O., Szeider S. |
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings ... Computer Science and General Issues) |
2010 | •• |
131833 |
|
Hoos H.H., Mitchell D.G. |
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected |
2005 | •• |
193488 |
|
Bacchus F., Walsh T. |
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings |
2005 | •• |
73937 |
|
Sen P.K. |
Theory and applications of sequential nonparametrics |
1987 | •• |
179455 |
|
Sen P. |
Theory and applications of sequential nonparametrics |
1985 | •• |
181901 |
|
Sen P. |
Theory and Applications of Sequential Nonparametrics (CBMS-NSF Regional Conference Series in Applied Mathematics) |
1985 | •• |
36019 |
|
Eckhaus W., de Jager E.M. (eds.) |
Theory and Applications of Singular Perturbations |
1981 | •• |
126815 |
|
Eckhaus W., de Jager E.M. |
Theory and Applications of Singular Perturbations |
1982 | •• |
194116 |
|
Ismail M., Koelink E. |
Theory and Applications of Special Functions: A Volume Dedicated to Mizan Rahman |
2005 | •• |
166606 |
|
Ismail M., Koelink E. |
Theory and Applications of Special Functions: A Volume Dedicated to Mizan Rahman (Developments in Mathematics 13) |
2005 | •• |
166953 |
|
Schuss Z. |
Theory and applications of stochastic processes: An analytical approach |
2010 | •• |
166796 |
|
Schuss Z. |
Theory and Applications of Stochastic Processes: An Analytical Approach (Applied Mathematical Sciences) |
2010 | •• |
105457 |
|
Haar D.T. |
Theory and applications of the density matrix |
1961 | •• |
85212 |
|
Ya-Qiu Jin |
Theory and approach of information retrievals from electromagnetic scattering and remote sensing |
2006 | •• |
117891 |
|
Steinmetz C.P. |
Theory and Calculation of Alternating Current Phenomena |
1900 • | •• |
199869 |
|
Steinmetz S.P. |
Theory and Calculation of Transient Electric Phenomena and Oscillations |
1920 • | •• |
198578 |
|
Steinmetz C.P. |
Theory and Calculations of Electrical Apparatus |
1917 | •• |
198100 |
|
Steinmetz C.P. |
Theory and Calculations of Electrical Circuits |
1917 | •• |
198458 |
|
W.O. Criminale, T.L. Jackson, R.D. Joslin |
Theory and Computation of Hydrodynamic Stability |
2003 | •• |
110491 |
|
Criminale W.O., Jackson T.L., Joslin R.D. |
Theory and Computation of Hydrodynamic Stability Criminale |
2003 | •• |
21597 |
|
Yun L., Bliault a. |
Theory and Design of Air Cushion Craft |
2000 | •• |
156049 |
|
Reiser M. |
Theory and Design of Charged Particle Beams, Second Edition (Wiley Series in Beam Physics and Accelerator Technology) |
2008 • | •• |
22879 |
|
Tait E. |
Theory and Design of Electrical and Electronic Circuits |
n/a | •• |
131141 |
|
Balbuena P.B., Subramanian V.R. |
Theory and Experiment in Electrocatalysis |
2010 | •• |
127426 |
|
Tuszynski J.A. |
Theory And Mathematical Methods In Bioinformatics |
2008 | •• |
80839 |
|
Chernoff F. |
Theory and metatheory in international relations |
2007 | •• |
5612 |
|
Kuhl E. |
Theory and numerics of open system continuum thermodynamics |
2004 | •• |
77024 |
|
Hodder I. |
Theory and Practice in Archaeology |
1995 | •• |
193112 |
|
Birman K., Mattern F., Schiper A. |
Theory and Practice in Distributed Systems: International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers |
1995 | •• |
127849 |
|
Wiedermann J., Tel G., Pokorny J. |
Theory and Practice of Computer Science |
2006 | •• |
127017 |
|
John D. Bancroft, Marilyn Gamble |
Theory and practice of histological techniques |
2002 • | •• |
208864 |
|
Defan Guan, Xuhui Xu, Zhiming Li Lunju Zheng |
Theory and Practice of Hydrocarbon Generation within Space-Limited Source Rocks |
2014 | •• |
135020 |
|
Vallecillo A., Gray J., Pierantonio A. |
Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Z?rich, Switzerland, July 1-2, 2008, Proceedings |
2008 | •• |
174516 |
|
Ito T., Yonezawa A. |
Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings |
1995 | •• |
47036 |
|
Ljung L., Söderström T. |
Theory and Practice of Recursive Identification |
1983 | •• |
76980 |
|
Liu B. |
Theory And Practice Of Uncertain Programming |
2009 • | •• |
186082 |
|
Liu B. |
Theory and practice of uncertain programming |
2009 • | •• |
192965 |
|
Liu B. |
Theory and Practice of Uncertain Programming |
2008 | •• |
199373 |
|
Kalman Filtering |
Theory and Practice Using MATLAB |
2001 • | •• |
2659 |
|
Wrede R.C., Spiegel M. |
Theory and problems of advanced calculus |
2002 • | •• |
198761 |
|
Elliott Mendelson |
Theory and Problems of Boolean Algebra and Switching Circuits |
1970 | •• |
74492 |
|
Spiegel M.R. |
Theory and Problems of Complex Variables |
1991 | •• |
198778 |
|
Murray R. Spiegel |
Theory and Problems of Complex Variables |
1981 | •• |
182390 |
|
Ayres F., Mendelson E. |
THEORY AND PROBLEMS OF DIFFERENTIAL AND INTEGRAL CALCULUS |
1962 • | •• |
126508 |
|
Lipschutz S., Lipson M.L. |
Theory and Problems of DISCRETE MATHEMATICS |
2007 • | •• |
9023 |
|
Hubbard J.R. |
Theory and Problems of Fundamentals of Computing with C++ |
1998 | •• |
53514 |
|
Stansfield W.D. |
Theory and Problems of Genetics |
1991 • | •• |
31784 |
|
Kelly S.G. |
Theory and problems of mechanical vibrations |
1996 | •• |