| 1611. |
Almasi G. Cascaval C. Wu P. |
Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers | 2007 |
| 1612. |
Almeida J. Frade M.J. |
Rigorous Software Development: An Introduction to Program Verification | 2011 |
| 1613. |
Alon N. Spenser J. |
The probabilistic method | 1991 |
| 1614. |
Alonso G. (ed.) Dadam P. (ed.) Rosemann M. (ed.) |
Business process management. Lecture notes in computer science 4714 | 2007 |
| 1615. |
Alpuente M. Cook B. Joubert C. |
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering) | 2009 |
| 1616. |
Alspach T. |
Illustrator CS4 For Dummies | 2009 |
| 1617. |
Alt F. Rubinoff M. |
Advances in Computers, Volume 10: The Brown University Lectures in computer science | 1970 |
| 1618. |
Alt F. Rubinoff M. |
Advances in computers. Volume 6 | 1965 |
| 1619. |
Alt F. |
Advances in computers.Volume 2. | 1961 |
| 1620. |
Alt F. Rubinoff M. |
Advances in Computers.Volume 5. | 1964 |
| 1621. |
Alt F. Rubinoff M. |
Advances in Computers.Volume 6. | 1965 |
| 1622. |
Alt F.L. Rubinoff M. |
Advances in computers.Volume 3 | 1962 |
| 1623. |
Alt R. Vignes J. |
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics | 2002 |
| 1624. |
Alt R. Vignes J. |
10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics | 2002 |
| 1625. |
Alt R. Frommer A. Kearfott R.B. |
Numerical Software with Result Verification | 2004 |
| 1626. |
Altenkirch T. (ed.) McBride C.(ed.) |
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers | 2007 |
| 1627. |
Althaus E. |
A branch-and-cut algorithm for multiple sequence alignment | 2006 |
| 1628. |
Althoff C. |
The self-taught computer scientist | 2022 |
| 1629. |
Althoff C. |
The Self-Taught Computer Scientist: The Beginner's Guide to Data Structures & Algorithms (1 edition) | 2022 |
| 1630. |
Alur R. Henzinger T.A. Sontag E.D. |
Hybrid Systems III: Verification and Control | 1996 |
| 1631. |
Alur R. |
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings | 2004 |
| 1632. |
Alves-Foss J. |
Formal Syntax and Semantics of Java | 1999 |
| 1633. |
Alvin Alexander |
Scala Cookbook Recipes for Object-Oriented and Functional Programming (Второе издание edition) | 2021 |
| 1634. |
Amadio R.M. Curien P.L. |
Domains and Lambda-Calculi | 2008 |
| 1635. |
Amaral J.N. |
Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers | 2008 |
| 1636. |
Amari S.-I. Nagaoka H. |
Methods of Information Geometry | 2000 |
| 1637. |
Amati D. Konishi K. Meurice Y. |
Non-perturbative aspects in supersymmetric gauge theories | 1988 |
| 1638. |
Amati G. (ed.) Carpineto C. (ed.) Romano G. (ed.) |
Advances in Information Retrieval 29th European Conference on IR Research, ECIR 2007 Rome, Italy, April 2-5, 2007 Proceedings (1 edition) | 2007 |
| 1639. |
Ambler S. |
Agile Modeling: Effective Practices for eXtreme Programming and the Unified Process | 2002 |
| 1640. |
Ambler S.W. Nalbone J. Vizdos M.J. |
The Enterprise Unified Process: Extending the Rational Unified Process | 2005 |
| 1641. |
Ambler S.W. |
The Object Primer: Agile Modeling-Driven Development with UML 2 (3rd Edition) | 2004 |
| 1642. |
Ambrosius L. |
AutoCAD 2008 3D Modeling Workbook For Dummies (For Dummies (Computer/Tech)) | 2008 |
| 1643. |
Amer-Yahia S. Bellahsene Z. Hunt E. |
Database and XML Technologies: 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 2006 | 2006 |
| 1644. |
America P. |
ECOOP'91 on Object-Oriented Programming | 1991 |
| 1645. |
Amoss J.J. Minoli D. |
Handbook of IPv4 to IPv6 Transition: Methodologies for Institutional and Corporate Networks | 2007 |
| 1646. |
Amundsen M. Smith C. |
Teach Yourself Database Programming With Visual Basic 4 in 21 Days | 1996 |
| 1647. |
Amusia M. Chernysheva L. |
Computation of atomic processes: a handbook for the ATOM programs | 1997 |
| 1648. |
Amy Bhatt |
High-Tech Housewives | 2018 |
| 1649. |
Anagnostopoulou C. Ferrand M. Smaill A. |
Music and Artificial Intelligence | 2002 |
| 1650. |
Analog Devices Inc. Engineering |
Data Conversion Handbook (Analog Devices) | 2004 |
| 1651. |
Anarchriz |
CRC, и как его восстановить | 1999 |
| 1652. |
Andersen K.V. Debenham J. Wagner R. |
Lecture Notes in Computer Science (3588). Database and Expert Systems Applications: 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings | 2005 |
| 1653. |
Anderson H. Apergis J. |
Professional K2 blackpearl | 2009 |
| 1654. |
Anderson J.B. Johnnesson R. |
Understanding Information Transmission (1st edition) | 2005 |
| 1655. |
Anderson J.M. Gwinn W.H. |
Adopting IT: food program sponsor discovers it's no picnic | n/a |
| 1656. |
Anderson P.O. McGuinness S.M. Bourne P.E. |
Pharmacy Informatics | 2009 |
| 1657. |
Anderson S. Bologna S. Felici M. |
Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings | 2002 |
| 1658. |
Ando N. Balakirsky S. Hemker T. |
Simulation, Modeling, and Programming for Autonomous Robots | 2010 |
| 1659. |
Andraka R. |
Modulation & Demodulation Techniques of Fpga. DesignCON 2000 | 2000 |
| 1660. |
Andreasen T Yager R.R. Bulskov H. |
Flexible Query Answering Systems | 2009 |
| 1661. |
Andrew Glassner |
DEEP LEARNING A Visual Approach | 2021 |
| 1662. |
Andrew S.Tanenbaum |
Distributed Systems: Principles and Paradigms | 2006 |
| 1663. |
Andrews G.R. |
Foundations Of Multithreaded Parallel And Distributed Programming | 1999 |
| 1664. |
Andrienko N. Andrienko G. |
Exploratory Analysis of Spatial and Temporal Data | 2006 |
| 1665. |
Andrist B. Sehr V. |
C++ High Performance (2 edition) | 2020 |
| 1666. |
Andy Mitchell |
ArcGIS Desktop I: Getting Started with GIS | 2008 |
| 1667. |
Aneziris C. |
The Mystery of Knots: Computer Programm: Computer Programming for Knot Tabulation | 1999 |
| 1668. |
Angel E. |
Interactive Computer Graphics: A Top-Down Approach Using OpenGL (Fifth Edition) | 2008 |
| 1669. |
Anglin K.L. |
CliffsQuickReview Math Word Problems | 2004 |
| 1670. |
Anguish S. Buck E. Yacktman D. |
Cocoa Programming | 2002 |
| 1671. |
Anjna Virmani Shalini Harisukh |
Click Start: Computer Science for Schools 4 (2 edition) | 2014 |
| 1672. |
Anthony Scime |
Web Mining: Applications and Techniques | 2004 |
| 1673. |
Antia H.M. |
Numerical Methods for Scientists and Engineers | 1991 |
| 1674. |
Antognetti P. Pederson D. Man H. |
Computer Design AIDS for Vlsi Circuits | 1981 |
| 1675. |
Antonio Fernandez Anta Chryssis Georgiou Maurice Herlihy |
Principles of Blockchain Systems | 2021 |
| 1676. |
Antoniou G.(ed.) Aßmann U.(ed.) Baroglio C.(ed.) |
Reasoning Web Third International Summer School 2007 Dresden, Germany, September 3-7, 2007 Tutorial Lectures | 2007 |
| 1677. |
Antonopoulos N. Gillam L. |
Cloud Computing: Principles, Systems and Applications | 2010 |
| 1678. |
Antsaklis P. (editor) Kohn W. (editor) Nerode A. (editor) |
Lecture notes in computer science. Volume 1273. Hybrid Systems IV | 1997 |
| 1679. |
Ao S.I. |
Lecture notes in electrical engineering (№25 2008). Data mining and applications in genomics | 2008 |
| 1680. |
Aouad G. Arayici Y. |
Requirements Engineering for Computer Integrated Environments in Construction | 2010 |
На уровень выше
AI, knowledge
|
|
О проекте