4801. |
Börger E. Gargantini A. Riccobene E. |
Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003 (1 edition) | 2003 |
 |
4802. |
Frappier M. Glaesser U. Khurshid S. |
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues) | 2010 |
 |
4803. |
Borger E. Stark S. |
Abstract State Machines. A Method for High-Level System Design and Analysis | 2003 |
 |
4804. |
Börger E. (ed.) Butler M. (ed.) Bowen J.P. (ed.) |
Abstract State Machines. B and Z. Lecture notes in computer science 5238 | 2008 |
 |
4805. |
Borger E. Stark S. |
Abstract State Machines. Solution to Exercises | 2003 |
 |
4806. |
Gurevich Y. (ed.) Kutter P.W. (ed.) Odersky M. (ed.) |
Abstract state machines. Theory and applications | 2000 |
 |
4807. |
Boerger E. Staerk R. |
Abstract State Machines: A Method for High-Level System Design and Analysis (1 edition) | 2003 |
 |
4808. |
Mesarovic M.D. Takahara Y. |
Abstract Systems Theory | 1989 |
 |
4809. |
Mesarovic M. Takahara Y. |
Abstract Systems Theory | 1989 |
 |
4810. |
Schmidt O.Yu. |
Abstract theory of groups | 1966 |
 |
4811. |
Liskov B. Guttag J.V. |
Abstraction and specification in program development | 1986 |
 |
4812. |
Wang Ch. Hachtel G.D. Somenzi F. |
Abstraction Refinement for Large Scale Model Checking | 2006 |
 |
4813. |
Mclver A. |
Abstraction, Refinement and Proof for Probabilistic Systems | 2004 |
 |
4814. |
Choueiry B.Y. (ed.) Walsh T. (ed.) |
Abstraction, reformulation and approximation. 4th international symposium, SARA 2000 | 2000 |
 |
4815. |
Zucker J.-D.(Editor) Saitta L. (Editor) |
Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings (1 edition) | 2005 |
 |
4816. |
Miguel I. Tuml W. |
Abstraction, Reformulation, and Approximation | 2007 |
 |
4817. |
Miguel I. (ed.) Ruml W. (ed.) |
Abstraction, reformulation, and approximation. Lecture notes in artificial intelligence 4612 | 2007 |
 |
4818. |
Koenig S. Holte R. |
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings | 2002 |
 |
4819. |
Miguel I. Tuml W. |
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science) | 2007 |
 |
4820. |
de Arcangelis L. |
Abstracts from the CECAM Workshop on Computer Simulations of Cellular Automata | 1989 |
 |
4821. |
|
Abstracts from the International Conference on Mathematical Problems from the Physics of Fluids | 1986 |
 |
4822. |
Zalys E. (ed.) |
Abstracts of communications | 1998 |
 |
4823. |
0 |
Abstracts of Communications. 8th International Vilnius Conference on Probability Theory and Mathematical Statistics | 2002 |
 |
4824. |
|
Abstracts of short communications | 1994 |
 |
4825. |
Lanford O.E. (coord.) |
Abstracts of the Workshop on Statistical Mechanics, Dynamical Systems, and Turbulence | 1983 |
 |
4826. |
Borovikov V.A. |
Abstracts OS 3: Optical communications (1st edition) | 1978 |
 |
4827. |
|
Absurdity of the calculation of the intensity of gravitational radiation in the general theory of relativity | n/a |
 |
4828. |
|
Absurdity of the definition of inertial mass in the general theory of relativity | n/a |
 |
4829. |
Eich T. |
Abu L-huda As-sayyadi: Eine Studie Zur Instrumentalisierung Sufischer Netzwerke Und Genealogischer Kontroversen Im Spätosmanischen Reich (Band 249 edition) | 2003 |
 |
4830. |
Dixon R. Landau D. |
Abusive Constitutional Borrowing: Legal globalization and the subversion of liberal democracy | 2021 |
 |
4831. |
Stoll M. |
Abzaehlende Kombinatorik | 1999 |
 |
4832. |
|
AC Motors | n/a |
 |
4833. |
Putwain D.W. Gallard D. Beaumont J. |
Academic buoyancy protects achievement against minor academic adversities | 2020 |
 |
4834. |
0 |
Academic Careers for Experimental Computer Scientists and Engineers | 1994 |
 |
4835. |
Kennedy D. |
Academic Duty (vard Business School Publishing edition) | 1997 |
 |
4836. |
Morris Ch.G. (ed.) |
Academic Press Dictionary of Science and Technology | 1992 |
 |
4837. |
Boss J.M. Eckert S.H. |
Academic Scientists at Work (2nd edition) | 2006 |
 |
4838. |
Jane Bottomley |
Academic Writing for International Students of Science | n/a |
 |
4839. |
|
ACCA | 2006 |
 |
4840. |
Nash T. |
Accelerated C# 2005 | 2006 |
 |
4841. |
Nash T. |
Accelerated C# 2008 (1st edition) | 2007 |
 |
4842. |
Koenig A. Moo B.E. |
Accelerated C++ | 2000 |
 |
4843. |
Andrew Koenig Barbara E. Moo |
Accelerated C++: Practical Programming by Example | 2000 |
 |
4844. |
Koenig A. Moo B. |
Accelerated C++: Practical Programming by Example | 2000 |
 |
4845. |
Rose C. |
Accelerated Learning | 1985 |
 |
4846. |
Alexander F.J. Eyink G.L. Restrepo J.M. |
Accelerated Monte Carlo for Optimal Estimation of Time Series | 2005 |
 |
4847. |
Johnson D. |
Accelerated Partial Breast Irradiation Techniques and Clinical Implementation | 2006 |
 |
4848. |
Klyatis Lev M. Klyatis Eugene L. |
Accelerated quality and reliability solutions (First edition) | 2006 |
 |
4849. |
Fouché G. Nash T. |
Accelerated VB 2005 | 2007 |
 |
4850. |
Fouch G. Nash T. |
Accelerated VB 2008 (1 edition) | 2008 |
 |
4851. |
Thron W.J Waadeland H. |
Accelerating convergence of limit periodic continued fractions K(an1) | n/a |
 |
4852. |
Jacobs D. |
Accelerating Process Improvement Using Agile Techniques | 2005 |
 |
4853. |
Mann C. |
Accelerating the Globalization of America: The Next Wave of Information Technology | 2006 |
 |
4854. |
Livio M. |
Accelerating Universe | 2000 |
 |
4855. |
Garcia J.L.L. de Castro M.D.L. |
Acceleration And Automation Of Solid Sample Treatment | 2002 |
 |
4856. |
Garcia J. Castro M. |
Acceleration and Automation of Solid Sample Treatment, Volume 24 (Techniques and Instrumentation in Analytical Chemistry) | 2002 |
 |
4857. |
Brezinski C. |
Acceleration De La Convergence En Analyse Numerique | 1977 |
 |
4858. |
Gottfert R. |
Acceleration of Niederreiter factorization in characteristic 2 | 1994 |
 |
4859. |
|
Acceleration of the Center of Mass of an Extended Body in a Weak Gravitational Field | n/a |
 |
4860. |
LuValle M. J. Welsher T. L. |
Acceleration Transforms and Statistical Kinetic Models | 1988 |
 |
4861. |
Nifenecker H. David S. Meplan O. |
Accelerator Driven Subcritical Reactors | 2002 |
 |
4862. |
Lee S. Y. |
Accelerator Physics (2 edition) | 2004 |
 |
4863. |
Lee S. |
Accelerator Physics | 1999 |
 |
4864. |
Lee S.Y. |
Accelerator Physics, Second Edition (2 edition) | 2004 |
 |
4865. |
Wu Chao A. (Ed) Moser H.O. (Ed) |
Accelerator Physics, Technology and Applications: Selected Lectures of the Ocpa International Accelerator School 2002 | 2004 |
 |
4866. |
Hasan M.A. Chapman R. Frame D.J. |
Acceptability of transport emissions reduction policies: A multi-criteria analysis | n/a |
 |
4867. |
Larry Heimann C. F. |
Acceptable Risks: Politics, Policy, and Risky Technologies | 1998 |
 |
4868. |
J.T. Gilardi C.C. Puertas |
Acceso a la justicia: discriminación y violencia por motivos de género | 2019 |
 |
4869. |
Brosius G. |
Access 2000 professionell | 2001 |
 |
4870. |
Irwin M.R. Prague C.N. Reardon J. |
Access 2002 Bible | 2001 |
 |
4871. |
Villareal B. |
Access 2002 Programming by Example | 2002 |
 |
4872. |
Prague C.N. Irwin M.R. Reardon J. |
Access 2003 Bible | 2003 |
 |
4873. |
CustomGuide Inc |
Access 2003 Personal Trainer | 2005 |
 |
4874. |
Albrecht R. |
Access 2003 programmieren - Professionelle Anwendungsentwicklung+ | 2004 |
 |
4875. |
Korol J. |
Access 2003 Programming by Example with VBA, XML, and ASP | 2005 |
 |
4876. |
Korol J. |
Access 2003 Programming by Example with VBA, XML, and ASP | 2005 |
 |
4877. |
Korol J. |
Access 2003 Programming by Example with VBA, XML, and ASP | 2005 |
 |
4878. |
Cardoza P. Henning T. Seach G. |
Access 2003 VBA Programmer’s Reference | 2004 |
 |
4879. |
Кауфельд Д. |
Access 2003 для "чайников" | 2004 |
 |
4880. |
Гончаров А.Ю. |
ACCESS 2003. Самоучитель с примерами | 2004 |
 |
4881. |
Hales J. |
Access 2003: World's Quick Reference Software Guide | 2003 |
 |
4882. |
Groh M. Stockman J. Powell G. |
Access 2007 Bible | 2007 |
 |
4883. |
MacDonald M. |
Access 2007 for Starters: The Missing Manual | 2007 |
 |
4884. |
Korol J. |
Access 2007 Programming by Example with VBA, XML and ASP | 2008 |
 |
4885. |
J.Korol |
Access 2007 Programming by Example with VBA, XML, and ASP (Wordware Database Library) | 2007 |
 |
4886. |
Feddema H. |
Access 2007 VBA Bible | 2007 |
 |
4887. |
Feddema H. |
Access 2007 VBA Bible | 2007 |
 |
4888. |
Simpson A. Stockman J.C. |
Access 2007 VBA Programming For Dummies | 2007 |
 |
4889. |
Stockman J.C. Simpson A. |
Access 2007 VBA Programming for Dummies | 2007 |
 |
4890. |
Stockman J. Simpson A. |
Access 2007 VBA Programming For Dummies | 2007 |
 |
4891. |
Stockman J. Simpson A. |
Access 2007 VBA Programming For Dummies | 2007 |
 |
4892. |
Henning T. Cooper R. Griffith G. |
Access 2007 VBA: Programmer’s Reference | 2007 |
 |
4893. |
MacDonald M. |
Access 2007: The Missing Manual | 2006 |
 |
4894. |
Alison Barrows Margaret Levine Young Joseph C. Stockman |
Access 2010 All-in-One For Dummies (1 edition) | 2010 |
 |
4895. |
Barrows A. Young M. Stockman J. |
Access 2010 All-in-One For Dummies | 2010 |
 |
4896. |
Fuller L.U. Cook K. |
Access 2010 For Dummies | 2010 |
 |
4897. |
|
Access 2010 Programmers Reference | 2010 |
 |
4898. |
Корнелюк В.К. Веккер З.Е. Зиновьев Н.Б. |
Access 97 | 1998 |
 |
4899. |
Гончаров А. Ю. |
Access 97 в примерах | 1997 |
 |
4900. |
Deibert R. Palfrey J. Rohozinski R. |
Access controlled: the shaping of power, rights, and rule in cyberspace | 2010 |
 |