General Computers in 2010

Numerical Integration of Stochastic Differential Equations by Milstein, G. N.

Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy by

Algebraic Foundations of Many-Valued Reasoning by D'Ottaviano, Itala M., Mundici, Daniele, Cignoli, R. L.

Relationships in the Organization of Knowledge by

Safety-Critical Real-Time Systems by

Signal Propagation on Interconnects by

Ontologies and Databases by

VLSI Synthesis of DSP Kernels: Algorithmic and Architectural Transformations by Mehendale, Mahesh, Sherlekar, Sunil D.

CMOS Current Amplifiers: Speed Versus Nonlinearity by Halonen, Kari A. I., Koli, Kimmo

The Microarchitecture of Pipelined and Superscalar Computers by Omondi, Amos R.

Algorithms, Complexity Analysis and VLSI Architectures for Mpeg-4 Motion Estimation by Kuhn, Peter M.

Economics and Information by

Synthesis and Control of Discrete Event Systems by

Performance Analysis of Multi-Channel and Multi-Traffic on Wireless Communication Networks by

Data Access and Storage Management for Embedded Programmable Processors by Danckaert, K., Kulkarni, K. K., Catthoor, Francky

Memory Design Techniques for Low Energy Embedded Systems by Poncino, Massimo, Macii, Alberto, Benini, Luca

Circuits and Systems for Wireless Communications by

Data-Driven Techniques in Speech Synthesis by

A Designer's Guide to VHDL Synthesis by Ott, Douglas E., Wilderotter, Thomas J.

Analog VLSI Integration of Massive Parallel Signal Processing Systems by Steyaert, Michiel, Kinget, Peter

Visual Communication: An Information Theory Approach by Huck, Friedrich O., Fales, Carl L., Rahman, Zia-Ur

Robotics Research: The Tenth International Symposium by

CMOS VLSI Engineering: Silicon-On-Insulator (Soi) by Kuo, James B., Ker-Wei Su

Analog Circuit Design: (X)DSL and Other Communication Systems; RF Most Models; Integrated Filters and Oscillators by

System Design Automation: Fundamentals, Principles, Methods, Examples by

System-On-Chip Methodologies & Design Languages by

Functional Decomposition with Applications to FPGA Synthesis by Scholl, Christoph

Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems by Tomita, Masaru

Rigorous Global Search: Continuous Problems by Kearfott, R. Baker

Virtual Components Design and Reuse by

Advanced Topics in Term Rewriting by Ohlebusch, Enno

Decision Support: An Examination of the DSS Discipline by

Classic Operating Systems: From Batch Processing to Distributed Systems by

Multidimensional Systems Theory and Applications by Bose, N. K.

Hardware/Software Co-Design: Principles and Practice by Staunstrup, Jørgen, Wolf, Wayne

Multimedia Information Systems by

Interior Point Techniques in Optimization: Complementarity, Sensitivity and Algorithms by Jansen, B.

Real-Time Systems in Mechatronic Applications by

Algorithms for Large Scale Linear Algebraic Systems:: Applications in Science and Engineering by

Advanced Techniques in Logic Synthesis, Optimizations and Applications by

Guide to Biometrics by Connell, Jonathan H., Pankanti, Sharath, Bolle, Ruud M.

Counting: The Art of Enumerative Combinatorics by Martin, George E.

Post-Silicon and Runtime Verification for Modern Processors by Bertacco, Valeria, Wagner, Ilya

Basics of Software Engineering Experimentation by Moreno, Ana M., Juristo, Natalia

Handbook of Combinatorial Optimization: Supplement Volume a by

Light Scattering Media Optics by Kokhanovsky, Alexander A.

Elements of Finite Model Theory by Libkin, Leonid

Natural Language Generation in Artificial Intelligence and Computational Linguistics by

System on Chip Design Languages: Extended Papers: Best of Fdl'01 and Hdlcon'01 by

Parallel Algorithms for Irregular Problems: State of the Art by

Optical Interconnections and Parallel Processing: Trends at the Interface by

Analog Circuit Design: Scalable Analog Circuit Design, High Speed D/A Converters, RF Power Amplifiers by

Numbers, Information and Complexity by

Hardware Design and Petri Nets by

Multi-Valued and Universal Binary Neurons: Theory, Learning and Applications by Vandewalle, Joos P. L., Aizenberg, Igor, Aizenberg, Naum N.

Intelligent Multimedia Multi-Agent Systems: A Human-Centered Approach by Sethi, Ishwar K., Damiani, Ernesto, Khosla, Rajiv

Evolutionary Algorithms for VLSI CAD by Drechsler, Rolf

High Voltage Devices and Circuits in Standard CMOS Technologies by Ballan, Hussein, Declercq, Michel

Advances in Control of Articulated and Mobile Robots by

Microsystem Technology and Microrobotics by Rembold, Ulrich, Fatikow, Sergej

System Level Hardware/Software Co-Design: An Industrial Approach by Jess, Jochen A. G., Hurk, Joris Van Den

Parallel and Distributed Information Systems by

Signal Recovery Techniques for Image and Video Compression and Transmission by

Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice by

Multiprocessor System-On-Chip: Hardware Design and Tool Integration by

Independent Component Analysis: Theory and Applications by Te-Won Lee

Labelled Non-Classical Logics by Viganò, Luca

Heuristic Approaches for Telecommunications Network Management, Planning and Expansion: A Special Issue of the Journal of Heuristics by

Unified Low-Power Design Flow for Data-Dominated Multi-Media and Telecom Applications: Based on Selected Partner Contributions of the European Low Pow by

Microsoft Azure: Enterprise Application Development by J. Dudley, Richard, Duchene, Nathan

Science and the Riddle of Consciousness: A Solution by Foss, Jeffrey E.

Advanced Techniques for Embedded Systems Design and Test by

Digitally Assisted Pipeline Adcs: Theory and Implementation by Murmann, Boris, Boser, Bernhard E.

Computational Excursions in Analysis and Number Theory by Borwein, Peter

Field-Programmable Analog Arrays by

Multimedia Systems by Nahrstedt, Klara, Steinmetz, Ralf

The Tab Battery Book: An In-Depth Guide to Construction, Design, and Use by Root, Michael

Lexikon Der Informatik by Fischer, Peter, Hofer, Peter

Best Approximation in Inner Product Spaces by Deutsch, Frank R.

Quantum Computing by Hirvensalo, Mika

Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design by Catthoor, Francky, Wuytack, Sven, De Greef, G. E.

Probabilistic and Statistical Methods in Computer Science by Schott, René, Mari, Jean-François

Towards a Quarter-Century of Public Key Cryptography: A Special Issue of Designs, Codes and Cryptography an International Journal. Volume 19, No. 2/3 by

Reanalysis in Sentence Processing by

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems by

Electronic Chips & Systems Design Languages by

The Foundational Debate: Complexity and Constructivity in Mathematics and Physics by

The Theory of Partial Algebraic Operations by Ljapin, E. S., Evseev, A. E.

Applications of Continuous Mathematics to Computer Science by Kreinovich, V., Hung T. Nguyen

Nonlinear and Adaptive Control of Complex Systems by Nikiforov, V. O., Fradkov, A. L., Miroshnik, I. V.

Development of the Syntax-Discourse Interface by Avrutin, S.

Microelectronics Education: Proceedings of the 3rd European Workshop on Microelectronics Education by

Cellular Automata and Complex Systems by

Technological Aspects of Virtual Organizations: Enabling the Intelligent Enterprise by Fairchild, Alea M.

Spatial Cognition: Geographic Environments by Lloyd, R.

Natural Language Information Retrieval by

Semantics and the Lexicon by

Computational Intelligence Applications to Power Systems by Aggarwal, Raj, Yong-Hua Song, Johns, Allan

A Logical Theory of Nonmonotonic Inference and Belief Change by Bochman, Alexander

The Parametric Lambda Calculus: A Metamodel for Computation by Paolini, Luca, Ronchi Della Rocca, Simona

Dynamics of Complex Interacting Systems by

Mathematical Modelling: Case Studies and Projects by Ng, Douglas K. S., Caldwell, J.

Designing Evolutionary Algorithms for Dynamic Environments by Morrison, Ronald W.

Embeddability in Graphs by Liu Yanpei

Gaussian Scale-Space Theory by

Graph Symmetry: Algebraic Methods and Applications by

Computational Algebra and Number Theory by

Instructional Models in Computer-Based Learning Environments by

Experimental Robotics VIII by

Potentiality, Entanglement and Passion-At-A-Distance: Quantum Mechanical Studies for Abner Shimony, Volume Two by

Metadebates on Science: The Blue Book of "Einstein Meets Magritte" by

Applied Asymptotic Expansions in Momenta and Masses by Smirnov, Vladimir A.

Retail Information Systems Based on SAP Products by Uhr, Wolfgang, Becker, Jörg

Advanced Theory of Signal Detection: Weak Signal Detection in Generalized Observations by Song, Iickho, Bae, Jinsoo, Kim, Sun Yong

The Dirac Equation by Thaller, Bernd

Multisensor Fusion for Computer Vision by

Business Process Change Management: Aris in Practice by

Identification of Dynamic Systems: An Introduction with Applications by Isermann, Rolf, Münchhof, Marco

Web Services: Concepts, Architectures and Applications by Casati, Fabio, Alonso, Gustavo, Kuno, Harumi

New Soft Computing Techniques for System Modeling, Pattern Classification and Image Processing by Rutkowski, Leszek

Elementary and Analytic Theory of Algebraic Numbers by Narkiewicz, Wladyslaw

Artificial Intelligence in Logic Design by

Text Mining and Its Applications: Results of the Nemis Launch Conference by

Maximum Entropy and Bayesian Methods: Seattle, 1991 by

A Textbook of Belief Dynamics: Theory Change and Database Updating by Hansson, Sven Ove

Modern Optimisation Techniques in Power Systems by

The Finite Element Method in Structural Mechanics: Principles and Practice of Design of Field-Consistent Elements for Structural and Solid Mechanics by Prathap, Gangan

Emergent Computing Methods in Engineering Design: Applications of Genetic Algorithms and Neural Networks by

Intelligent Agents: Theory and Applications by Resconi, Germano

Cellular Automata, Dynamical Systems and Neural Networks by

Maximum Entropy and Bayesian Methods Santa Barbara, California, U.S.A., 1993 by

Speechreading by Humans and Machines: Models, Systems, and Applications by

Artificial Intelligence in Design '02 by

Reasoning with Rules and Precedents: A Computational Model of Legal Analysis by Branting, L. Karl

Dynamics and Randomness II by

Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering by Angstenberger, Larisa

Environmental Informatics: Methodology and Applications of Environmental Information Processing by

Irreversible Quantum Dynamics by

Bézier and B-Spline Techniques by Paluszny, Marco, Prautzsch, Hartmut, Boehm, Wolfgang

Knowledge Sharing in Practice by De Wit, D. H., Huysman, M. H.

Abductive Reasoning and Learning by

Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning by

Synergetic Computers and Cognition: A Top-Down Approach to Neural Nets by Haken, Hermann

Public-Key Cryptography by Salomaa, Arto

Intelligence and Artificial Intelligence: An Interdisciplinary Debate by

SAP R/3 Implementation: Methods and Tools by Appelrath, Hans-Jürgen, Ritter, Jörg

Integrated Visual Servoing and Force Control: The Task Frame Approach by de Schutter, Joris, Baeten, Johan

Algorithmic Foundations of Robotics V by

Displaying Modal Logic by Wansing, Heinrich

Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine by

Wavelets in Signal and Image Analysis: From Theory to Practice by

Business Ethics and the Electronic Economy by

Scare Tactics: Arguments That Appeal to Fear and Threats by Walton, Douglas

Advances in Probabilistic and Other Parsing Technologies by

Understanding Agent Systems by Luck, Michael, D'Inverno, Mark

Functional Models of Cognition: Self-Organizing Dynamics and Semantic Structures in Cognitive Systems by

Algebraic Complexity Theory by Bürgisser, Peter, Clausen, Michael

Open Systems and Measurement in Relativistic Quantum Theory: Proceedings of the Workshop Held at the Istituto Italiano Per Gli Studi Filosofici, Naple by

Environmental Information Systems by Günther, Oliver

Advanced Multibody System Dynamics: Simulation and Software Tools by

Innovation in Manufacturing Networks: Eighth Ifip International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, by

Global Initiatives to Secure Cyberspace: An Emerging Landscape by

The Theory of Evolution Strategies by Beyer, Hans-Georg

Advances in Intensional Logic by

Mathematical Theory of Control Systems Design by Afanasiev, V. N., Nosov, V. R., Kolmanovskii, V.

Information Dynamics and Open Systems: Classical and Quantum Approach by Kossakowski, A., Ohya, Masanori, Ingarden, Roman S.

Formal Power Series and Algebraic Combinatorics: 12th International Conference, Fpsac'00, Moscow, Russia, June 2000, Proceedings by

Lancelot: A FORTRAN Package for Large-Scale Nonlinear Optimization (Release A) by Gould, G. I. M., Toint, P. L., Conn, A. R.

Predicative Forms in Natural Language and in Lexical Knowledge Bases by

Web Work: Information Seeking and Knowledge Work on the World Wide Web by Detlor, B., Turnbull, D., Chun Wei Choo

Algorithms in Ambient Intelligence by

Universal Compression and Retrieval by Krichevsky, R.

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A by

Scan Statistics by Wallenstein, Sylvan, Glaz, Joseph, Naus, Joseph

Simulation Approaches in Transportation Analysis: Recent Advances and Challenges by

Web Content Delivery by

Object Relationship Notation (Orn) for Database Applications: Enhancing the Modeling and Implementation of Associations by Ehlmann, Bryon K.

Fuzzy Control of Industrial Systems: Theory and Applications by Shaw, Ian S.

Mobile Information Systems: Ifip Tc 8 Working Conference on Mobile Information Systems (Mobis) 15-17 September 2004, Oslo, Norway by

Nearest Neighbor Search:: A Database Perspective by Papadopoulos, Apostolos N., Manolopoulos, Yannis

Alternative Breast Imaging: Four Model-Based Approaches by

Semistructured Database Design by Ling, Tok Wang, Dobbie, Gillian

Bandpass SIGMA Delta Modulators: Stability Analysis, Performance and Design Aspects by Plassche, Rudy J. Van De, Engelen, Jurgen Van

Broadband Satellite Communication Systems and the Challenges of Mobility: Ifip Tc6 Workshops on Broadband Satellite Communication Systems and Challeng by

Super-Recursive Algorithms by Burgin, Mark

Knowledge-Based Information Retrieval and Filtering from the Web by

Robust Computer Vision: Theory and Applications by Sebe, N., Lew, M. S.

Ridges in Image and Data Analysis by Eberly, D.

Space Weather & Telecommunications by Goodman, John M.

High Performance Computational Science and Engineering: Ifip Tc5 Workshop on High Performance Computational Science and Engineering (Hpcse), World Com by

Formal Aspects in Security and Trust: Ifip Tc1 Wg1.7 Workshop on Formal Aspects in Security and Trust (Fast), World Computer Congress, August 22-27, 2 by

Perceptual Metrics for Image Database Navigation by Rubner, Yossi, Tomasi, Carlo

Interaction Between Compilers and Computer Architectures by

Wavelet, Subband and Block Transforms in Communications and Multimedia by

Verification and Validation of Complex Systems: Human Factors Issues by

Stochastic Petri Nets: Modelling, Stability, Simulation by Haas, Peter J.

Nonholonomic Manipulators by Chung, Woojin

Value-Focused Business Process Engineering: A Systems Approach: With Applications to Human Resource Management by Churilov, Leonid, Flitman, Andrew, Neiger, Dina

Quantum State Estimation by

A Missing Link in Cybernetics: Logic and Continuity by Andrew, Alex M.