| 24701. |
Fletcher C.A. |
Computational Techniques for Fluid Dynamics. Vol. 1 (Second edition) | 1991 |
 |
| 24702. |
Srinivas K. Fletcher C.A. (ed) Glowinski R. (ed) |
Computational Techniques for Fluid Dynamics. Vol. 2 | 1994 |
|
| 24703. |
Srinivas K. Fletcher C.A. (ed) Glowinski R. (ed) |
Computational Techniques for Fluid Dynamics: A Solutions Manual | 1994 |
|
| 24704. |
K. Srinivas, C.A.J. Fletcher |
Computational techniques for fluid dynamics: a solutions manual | 1992 |
|
| 24705. |
C. A. J. Fletcher |
Computational Techniques for Fluid Dynamics: Volume 2: Specific Techniques for Different Flow Categories | 1990 |
|
| 24706. |
Yeoh G.H. Tu J. |
Computational Techniques for Multiphase Flows | 2010 |
|
| 24707. |
Yeoh G. Tu J. |
Computational Techniques for Multiphase Flows. Basics and Applications | 2010 |
|
| 24708. |
Sofo A. |
Computational Techniques for the Summation of Series (1 edition) | 2003 |
|
| 24709. |
Ajjarapu V. |
Computational Techniques for Voltage Stability Assessment and Control | 2006 |
|
| 24710. |
Raychaudhury S. |
Computational text analysis for functional genomics and bioinformatics | 2006 |
|
| 24711. |
Argyros I. |
Computational Theory of Iterative Methods | 2007 |
|
| 24712. |
Argyros I. |
Computational Theory of Iterative Methods | 2007 |
|
| 24713. |
Argyros I. |
Computational Theory of Iterative Methods (Studies in Computational Mathematics, Volume 15) | 2007 |
|
| 24714. |
Irikura K. Frurip D. |
Computational Thermochemistry. Prediction and Estimation of Molecular Thermodynamics | 1998 |
|
| 24715. |
Irikura K.K. Frurip D.J. |
Computational Thermochemistry: Prediction and Estimatoin of Molecular Thermodynamics | 1998 |
|
| 24716. |
Robins V. |
Computational Topology at Multiple Resolutions: Foundations and Applications to Fractals and Dynamics | 2000 |
|
| 24717. |
Ekins S. |
Computational Toxicology: Risk Assessment for Pharmaceutical and Environmental Chemicals (Wiley Series on Technologies for the Pharmaceutical Industry) | 2007 |
|
| 24718. |
Hoffman J. Johnson C. |
Computational Turbulent Incompressible Flow: Applied Mathematics: Body and Soul 4 (v. 4) (1 edition) | 2007 |
|
| 24719. |
Mallot H.A. Allen J.S. |
Computational Vision, Information Processing In Perception And Visual Behavior (2-nd edition) | 2000 |
|
| 24720. |
Zhang Y.-Q. (ed.) Kandel A. (ed.) Lin T.Y. (ed.) |
Computational Web Intelligence: Intelligent Technology for Web Applications | 2004 |
|
| 24721. |
Goldak J.A., Akhlaghi M. |
Computational welding mechanics | 2005 |
|
| 24722. |
Scheutz M. |
Computationalism. New directions | 2002 |
|
| 24723. |
Eisenbud D. |
Computations in Algebraic Geometry with Macaulay 2 | 2001 |
|
| 24724. |
Moldestad J. |
Computations in Higher Types | 1977 |
|
| 24725. |
Altundas Y.B. Caginalp G. |
Computations of Dendrites in 3-D and Comparison with Microgravity Experiments | 2003 |
|
| 24726. |
Abhyankar S.S. Bajaj C.L. |
Computations with Algebraic Curves | 1988 |
|
| 24727. |
0 |
Compute!'s Commodore 128 Collection | 1987 |
|
| 24728. |
|
Compute!'s First Book of Apple | 1984 |
|
| 24729. |
Roberts R. |
Compute's Computer Viruses (Later Printing edition) | 1988 |
|
| 24730. |
COMPUTE |
Compute's Telecomputing on the Commodore 64 | 1985 |
|
| 24731. |
Gerber T.C. Kantor B. Williamson E.E. |
Computed Tomography of the Cardiovascular System | 2007 |
|
| 24732. |
Pim J. de Feyter G. P. Gabriel Krestin |
Computed Tomography of the Coronary Arteries (2nd edition) | 2008 |
|
| 24733. |
Verschakelen J. Wever W. |
Computed Tomography of the Lung A Pattern Approach | 2007 |
|
| 24734. |
Buzug T. |
Computed tomography: From photon statistics to modern cone-beam CT | 2008 |
|
| 24735. |
0 |
Computer & Desk Stretches | n/a |
|
| 24736. |
Fnderenn A. Jun E.P. |
Computer & Desk. Stretches | n/a |
|
| 24737. |
|
Computer (September 2004) | 2004 |
|
| 24738. |
Allen P. |
Computer Active 20 January – 2 February 2011 | n/a |
|
| 24739. |
Leondes C.T. |
Computer aided and integrated manufacturing systems | 2004 |
|
| 24740. |
Leondes C.T. |
Computer Aided and Integrated Manufacturing Systems, Vol. 3: Optimization Methods | 2002 |
|
| 24741. |
Leondes C. |
Computer Aided and Integrated Manufacturing Systems: Volume 2 Intelligent Systems Technologies | 2003 |
|
| 24742. |
Brown A. |
Computer Aided Architectural Design Futures 2005 | 2005 |
|
| 24743. |
Chen W.-K. |
Computer Aided Design and Design Automation (3-rd edition) | 2009 |
|
| 24744. |
Patil R. |
Computer Aided Engineering Graphics: (as Per the New Syllabus, B. Tech. I Year of U.P. Technical University) | 2009 |
|
| 24745. |
Coderre D. |
Computer Aided Fraud Prevention and Detection: A Step by Step Guide | 2009 |
|
| 24746. |
Coderre D. |
Computer Aided Fraud Prevention and Detection: A Step by Step Guide | 2009 |
|
| 24747. |
Farin G.E. Prautzsch H. |
Computer Aided Geometric Design (1985-2) | 1985 |
|
| 24748. |
Barnhill R. |
Computer Aided Geometric Design: Proc. University of Utah | 1974 |
|
| 24749. |
Sanchez A. Castro I. |
Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, ... | 1996 |
|
| 24750. |
Hill F.J. Peterson G.R. |
Computer Aided Logical Design with Emphasis on VLSI (4-th edition) | 1993 |
|
| 24751. |
Bogle I. D. L. Zilinskas J. |
Computer Aided Methods in Optimal Design and Operations | 2006 |
|
| 24752. |
Achenie L. Gani R. Venkatasubramanian V. |
Computer Aided Molecular Design | 2002 |
|
| 24753. |
Achenie L. Venkatasubramanian V. Gani R. |
Computer Aided Molecular Design: Theory and Practice, Volume 12 (Computer Aided Chemical Engineering) | 2003 |
|
| 24754. |
Diaz R. Pichler F. Arencibia A. |
Computer Aided Systems Theory EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February | 2005 |
|
| 24755. |
Oren T.I. (Ed.) Klir G.J. (Ed.) |
Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers: CAST '94 - International ... Papers 4th (1 edition) | 1996 |
|
| 24756. |
Pichler F. Diaz R. |
Computer Aided Systems Theory - EUROCAST '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, ... 2nd | 1992 |
|
| 24757. |
F. Pichler R.M.Diaz |
Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las ... 3rd | 1994 |
|
| 24758. |
Pichler F. Moreno-Diaz R. Albrecht R. |
Computer Aided Systems Theory - EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory | 1996 |
|
| 24759. |
Pichler F. Moreno-Diaz R. |
Computer Aided Systems Theory - EUROCAST '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas ... 1997, Proceedings | 1997 |
|
| 24760. |
Moreno-Diaz R. Buchberger B. |
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 Revised Papers | 2001 |
|
| 24761. |
Diaz R. Pichler F. |
Computer Aided Systems Theory - EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February ... Papers | 2003 |
|
| 24762. |
Díaz R.M. Pichler F. Arencibia A.Q. |
Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, SpainFebruary 12-16, 2007 Revised Selected Papers | 2007 |
|
| 24763. |
Moreno-Diaz R. Pichler F. Quesada-Arencibia A. |
Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ... Computer Science and General Issues) | 2009 |
|
| 24764. |
F. Pichler R. Moreno-Diaz P. Kopacek |
Computer Aided Systems Theory - EUROCAST'99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna (1 edition) | 2000 |
|
| 24765. |
Damm W. Hermanns H. |
Computer Aided Verification | 2007 |
|
| 24766. |
Clarke E.M. Kurshan R.P. |
Computer Aided Verification | 1991 |
|
| 24767. |
Hu A.J. Vardi M.Y. |
Computer Aided Verification, 10 conf., CAV '98 | 1998 |
|
| 24768. |
Nicolas Halbwachs Doron Peled |
Computer Aided Verification, 11 conf., CAV '99 (1 edition) | 1999 |
|
| 24769. |
Berry G. Comon H. Finkel A. |
Computer Aided Verification, 13 conf., CAV 2001 | 2001 |
|
| 24770. |
Brinksma E. Larsen K. |
Computer Aided Verification, 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings | 2002 |
|
| 24771. |
Hunt W.A.Jr. Somenzi F. |
Computer Aided Verification, 15 conf., CAV 2003 | 2003 |
|
| 24772. |
Alur R. Peled D. |
Computer Aided Verification, 16 conf., CAV 2004 | 2005 |
|
| 24773. |
Etessami K. Rajamani S. |
Computer Aided Verification, 17 conf., CAV 2005 (1 edition) | 2005 |
|
| 24774. |
Gupta A. Malik S. |
Computer Aided Verification, 20 conf., CAV 2008 | 2008 |
|
| 24775. |
Larsen K. Skou A. |
Computer Aided Verification, 3 conf., CAV '91 | 1992 |
|
| 24776. |
Courcoubetis C. |
Computer Aided Verification, 5 conf., CAV '93 | 1993 |
|
| 24777. |
Dill D. |
Computer Aided Verification, 6 conf., CAV '94 | 1994 |
|
| 24778. |
Wolper P. |
Computer Aided Verification, 7 conf., CAV '95 (1 edition) | 1995 |
|
| 24779. |
Alur R. Henzinger T. |
Computer Aided Verification, 8 conf., CAV '96 | 1996 |
|
| 24780. |
Grumberg O. |
Computer Aided Verification, 9 conf., CAV '97 (1 edition) | 1997 |
|
| 24781. |
Thomas Ball Robert B. Jones |
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (1 edition) | 2006 |
|
| 24782. |
Ball T. Jones R. |
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
|
| 24783. |
Gupta A. Malik S. |
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings | 2008 |
|
| 24784. |
Bouajjani A. (Editor) Maler O. (Editor) |
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (1 edition) | 2009 |
|
| 24785. |
T.Touili B. Cook P. Jackson |
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues) | 2010 |
|
| 24786. |
Buchberger B. Collins G. Loos R. |
Computer Algebra (2-nd edition) | 1983 |
|
| 24787. |
van Hulzen J.A. |
Computer algebra | 1983 |
|
| 24788. |
Calmet J. |
Computer algebra | 1982 |
|
| 24789. |
Kotsireas I. Zima E. |
Computer Algebra 2006. Latest advances in symbolic algorithms. Proc. Waterloo Workshop | 2007 |
|
| 24790. |
Kotsireas I. Zima E. |
Computer Algebra 2006: Latest Advances in Symbolic Algorithms: Proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006 | 2007 |
|
| 24791. |
Bronstein M. |
Computer algebra algorithms for linear ODE and difference equs. (ECM) | n/a |
|
| 24792. |
Tournier E. |
Computer Algebra and differential equations | 1994 |
|
| 24793. |
Tournier E. |
Computer algebra and differential equations | 1994 |
|
| 24794. |
M. Singer |
Computer algebra and differential equations | 1991 |
|
| 24795. |
Singer M. |
Computer algebra and differential equations | 1991 |
|
| 24796. |
Tournier E. |
Computer algebra and differential equations | 1994 |
|
| 24797. |
Tournier E. Whiteman J. Davenport J. |
Computer algebra and differential equations | 1990 |
|
| 24798. |
Tournier E. Whiteman J. Davenport J. |
Computer algebra and differential equations | 1990 |
|
| 24799. |
Seiler W.M. |
Computer algebra and differential equations: an overview | 1997 |
|
| 24800. |
Li H. Olver P. Sommer G. |
Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International | 2005 |
|
|
|
О проекте