General Computers in 2010

Discrete Representation of Spatial Objects in Computer Vision by Latecki, L. J.

A Mathematical Theory of Design: Foundations, Algorithms and Applications by Braha, D., Maimon, O.

Design of Low-Voltage, Low-Power Operational Amplifier Cells by Hogervorst, Ron, Huijsing, Johan

Fact Proposition Event by Peterson, P. L.

Motion-Based Recognition by

Soft Real-Time Systems: Predictability vs. Efficiency: Predictability vs. Efficiency by Abeni, Luca, Buttazzo, Giorgio C., Lipari, Giuseppe

Privacy, Security and Trust Within the Context of Pervasive Computing by

Stream Data Management by

Power Aware Computing by

On-Line Testing for VLSI by

Basic Concepts in Information Theory and Coding: The Adventures of Secret Agent 00111 by Scholtz, Robert a., Golomb, Solomon W., Peile, Robert E.

Surgery on Contact 3-Manifolds and Stein Surfaces by Ozbagci, Burak, Stipsicz, András

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography by Hromkovič, Juraj

Communication-Based Systems: Proceeding of the 3rd International Workshop Held at the Tu Berlin, Germany, 31 March - 1 April 2000 by

Inconsistent Mathematics by Mortensen, C. E.

Wireless Sensor and Actor Networks II: Proceedings of the 2008 Ifip Conference on Wireless Sensor and Actor Networks (Wsan 08), Ottawa, Ontario, Canad by

Software for Algebraic Geometry by

Fractals in Multimedia by

Analog Circuit Design: Fractional-N Synthesizers, Design for Robustness, Line and Bus Drivers by

Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook by

Rough Set Theory and Granular Computing by

Fieldbus Technology: Industrial Network Standards for Real-Time Distributed Control by

Power Plant Surveillance and Diagnostics: Applied Research with Artificial Intelligence by

Classical and New Paradigms of Computation and Their Complexity Hierarchies: Papers of the Conference Foundations of the Formal Sciences III by

Fuzzy Relation Equations and Their Applications to Knowledge Engineering by Pedrycz, Witold, Di Nola, Antonio, Sessa, S.

Fuzzy Database Modeling with XML by Ma, Zongmin

Software Process Modeling by

Barriers and Biases in Computer-Mediated Knowledge Communication: And How They May Be Overcome by

Reactive Search and Intelligent Optimization by Battiti, Roberto, Brunato, Mauro, Mascia, Franco

Converging Technologies for Improving Human Performance: Nanotechnology, Biotechnology, Information Technology and Cognitive Science by

Trust Management II: Proceedings of Ifiptm 2008: Joint Itrust and Pst Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondhe by

Mathematics in Industrial Problems: Part 9 by

Managing and Mining Uncertain Data by

Genetic Programming Theory and Practice II by

Managing Cyber Threats: Issues, Approaches, and Challenges by

Mining Sequential Patterns from Large Data Sets by Yang, Jiong, Wang, Wei

Internet, Economic Growth and Globalization: Perspectives on the New Economy in Europe, Japan and the USA by

Computation in Living Cells: Gene Assembly in Ciliates by Ehrenfeucht, Andrzej, Petre, Ion, Harju, Tero

Computational Intelligence in Economics and Finance by

Risk Analysis in Forest Management by

Metaheuristics: Computer Decision-Making by

B2B Integration: Concepts and Architecture by Bussler, Christoph

Dot-Dash to Dot.com: How Modern Telecommunications Evolved from the Telegraph to the Internet by Wheen, Andrew

Interaction Control of Robot Manipulators: Six Degrees-Of-Freedom Tasks by Natale, Ciro

How to Solve It: Modern Heuristics by Fogel, David B., Michalewicz, Zbigniew

System Assurance: Beyond Detecting Vulnerabilities by Mansourov, Nikolai, Campara, Djenana

Optic Flow and Beyond by

Governance in Modern Society: Effects, Change and Formation of Government Institutions by

Information Technology and Educational Management in the Knowledge Society: Ifip Tc3 Wg3.7, 6th International Working Conference on Information Techno by

Algorithmic and Computer Methods for Three-Manifolds by Matveev, S. V., Fomenko, A. T.

Quantifiers: Logics, Models and Computation: Volume One: Surveys by

Modern Placement Techniques by Yang, Xianjian, Sarrafzadeh, Majid, Wang, Maogang

Probabilistic Constrained Optimization: Methodology and Applications by

Theoretical Aspects of Evolutionary Computing by

CAD Tools and Algorithms for Product Design by

Algorithms: Main Ideas and Applications by Uspensky, Vladimir, Semenov, A. L.

Systems Analysis in Forest Resources: Proceedings of the Eighth Symposium, Held September 27-30, 2000, Snowmass Village, Colorado, U.S.A. by

Fuzzy Logic: Mathematical Tools for Approximate Reasoning by Gerla, G.

Lexicon Development for Speech and Language Processing by

Applied Intelligent Systems: New Directions by

Immunity-Based Systems: A Design Perspective by Ishida, Yoshiteru

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation by

Verification by Error Modeling: Using Testing Techniques in Hardware Verification by Radecka, Katarzyna, Zilic, Zeljko

Design of Energy-Efficient Application-Specific Instruction Set Processors by Meyr, Heinrich, Glökler, Tilman

Computational Methods in Decision-Making, Economics and Finance by

Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl' by

Ultra Low-Power Electronics and Design by

Boundary-Scan Interconnect Diagnosis by Cheung, Peter Y. K., Sousa, José T. de

Mutation Testing for the New Century by

Analog Circuit Design: Structured Mixed-Mode Design, Multi-Bit Sigma-Delta Converters, Short Range RF Circuits by

Compact Low-Voltage and High-Speed Cmos, BICMOS and Bipolar Operational Amplifiers by Huijsing, Johan, de Langen, Klaas-Jan

Power Trade-Offs and Low-Power in Analog CMOS ICS by Van Tuijl, Ed A. J. M., Sanduleanu, Mihai A. T.

Substrate Noise Coupling in Mixed-Signal Asics by

Low-Voltage CMOS Log Companding Analog Design by Huertas, José L., Serra-Graells, Francisco, Rueda, Adoración

Digital Speech Processing: Speech Coding, Synthesis and Recognition by

Analog Circuit Design: Mixed A/D Circuit Design, Sensor Interface Circuits and Communication Circuits by

Applications of Neural Networks by

Video Content Analysis Using Multimodal Information: For Movie Content Extraction, Indexing and Representation by Ying Li, Kuo, C. C. Jay

Random Generation of Trees: Random Generators in Computer Science by Alonso, Laurent, Schott, René

Synthesis of Finite State Machines: Functional Optimization by Kam, Timothy, Villa, Tiziano, Brayton, Robert K.

Metacognition in Learning and Instruction: Theory, Research and Practice by

Finite Fields: Theory and Computation: The Meeting Point of Number Theory, Computer Science, Coding Theory and Cryptography by Shparlinski, Igor

Algorithms for Elliptic Problems: Efficient Sequential and Parallel Solvers by Vajtersic, Marián

Coding and Modulation for Digital Television by Drury, Gordon M., Markarian, Garik, Pickavance, Keith

Loop Parallelization by Banerjee, Utpal

Analog Circuit Design: Low-Power Low-Voltage, Integrated Filters and Smart Power by

Analog Circuit Design: Low-Noise, Low-Power, Low-Voltage; Mixed-Mode Design with CAD Tools; Voltage, Current and Time References by

Recent Advances in Reinforcement Learning by

Visual Event Detection by Da Vitoria Lobo, Niels, Haering, Niels

Fundamentals of Quantum Information: Quantum Computation, Communication, Decoherence and All That by

Nonlinear Assignment Problems: Algorithms and Applications by

Integrating Graphics and Vision for Object Recognition by Beveridge, J. Ross, Stevens, Mark R.

Research Perspectives on Dynamic Translinear and Log-Domain Circuits by

Quantitative Feedback Design of Linear and Nonlinear Control Systems by Yaniv, Oded

High Performance Scientific and Engineering Computing: Hardware/Software Support by

Reliability and Maintenance of Complex Systems by

From Publishing to Knowledge Networks: Reinventing Online Knowledge Infrastructures by Hars, Alexander

The Acquisition and Retention of Knowledge: A Cognitive View by Ausubel, D. P.

Trusting Records: Legal, Historical and Diplomatic Perspectives by MacNeil, H.

Knowledge Discovery and Data Mining: The Info-Fuzzy Network (Ifn) Methodology by Last, M., Maimon, O.

Software Engineering with Obj: Algebraic Specification in Action by

Heat Convection in Micro Ducts by Zohar, Yitshak

System Specification & Design Languages: Best of Fdl'02 by

Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods by Mohnke, Janett, Molitor, Paul

Iutam Symposium on Evolutionary Methods in Mechanics: Proceedings of the Iutam Symposium Held in Cracow, Poland, 24-27 September, 2002 by

Algorithmic Principles of Mathematical Programming by Faigle, Ulrich, Kern, W., Still, G.

Coding Theory and Number Theory by Köhler, Günter, Hiramatsu, T.

Mathematics of Data Fusion by Mahler, R. P., Goodman, I. R., Hung T. Nguyen

Timing by Sapatnekar, Sachin

Program Design Calculi by

Retargetable Code Generation for Digital Signal Processors by Leupers, Rainer

Architecture Exploration for Embedded Processors with Lisa by Hoffmann, Andreas, Meyr, Heinrich, Leupers, Rainer

Computer Methods for Analysis of Mixed-Mode Switching Circuits by Yuan, Fei, Opal, Ajoy

Handbook of Tableau Methods by

CMOS Integrated Analog-To-Digital and Digital-To-Analog Converters by Van de Plassche, Rudy J.

An Introduction to Fuzzy Control by Driankov, Dimiter

Rapid Prototyping of Application Specific Signal Processors by

Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation by

Theory of Fluid Flows Through Natural Rocks by Entov, V. M., Ryzhik, V. M., Barenblatt, G. I.

Information, Coding and Mathematics: Proceedings of Workshop Honoring Prof. Bob McEliece on His 60th Birthday by

Vibrations of Elasto-Plastic Bodies by Palmov, Vladimir

Integration of Process Knowledge Into Design Support Systems: Proceedings of the 1999 Cirp International Design Seminar, University of Twente, Ensched by

Architecture and Protocols for High-Speed Networks by

UML for Real: Design of Embedded Real-Time Systems by

High Data Rate Transmitter Circuits: RF CMOS Design and Techniques for Design Automation by De Ranter, C. J., Steyaert, Michiel

Advanced Formal Verification by

Handwriting Recognition: Soft Computing and Probabilistic Approaches by Liu, Zhi-Qiang, Cai, Jin-Hai, Buse, Richard

DNA Computing: New Computing Paradigms by Paun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Coordination of Internet Agents: Models, Technologies, and Applications by

An Introduction to Default Logic by Besnard, Philippe

Parallel, Object-Oriented, and Active Knowledge Base Systems by Vlahavas, Ioannis, Bassiliades, Nick

Rate-Distortion Based Video Compression: Optimal Video Frame Compression and Object Boundary Encoding by Schuster, Guido M., Katsaggelos, Aggelos

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques by Kunz, Wolfgang, Stoffel, Dominik

Embedded System Applications by

Analog Circuit Design: RF Analog-To-Digital Converters; Sensor and Actuator Interfaces; Low-Noise Oscillators, Plls and Synthesizers by

Noise Analysis of Radio Frequency Circuits by Sangiovanni-Vincentelli, Alberto L., Mehrotra, Amit

Direct Digital Synthesizers: Theory, Design and Applications by Halonen, Kari A. I., Vankka, Jouko

Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes by Wolf, Fabian

Fully Tuned Radial Basis Function Neural Networks for Flight Control by Sundararajan, N., Saratchandran, P., Yan Li

Neural Networks in Optimization by Xiang-Sun Zhang

On Optimal Interconnections for VLSI by Kahng, Andrew B., Robins, Gabriel

Computational Models of Mixed-Initiative Interaction by

Memory Architecture Exploration for Programmable Embedded Systems by Nicolau, Alexandru, Dutt, Nikil D., Grun, Peter

Video Coding with Superimposed Motion-Compensated Signals: Applications to H.264 and Beyond by Flierl, Markus, Girod, Bernd

Information Brokering Across Heterogeneous Digital Data: A Metadata-Based Approach by Sheth, Amit P., Kashyap, Vipul

Information, Place, and Cyberspace: Issues in Accessibility by

Soccer Robotics by Kim, Dong-Han, Kim, Yong-Jae, Kim, Jong-Hwan

Applications of Field-Programmable Gate Arrays in Scientific Research by Wu, Jinyuan, Sadrozinski, Hartmut F. -W

Artificial Neural Networks in Hydrology by

Artificial Neural Networks for Modelling and Control of Non-Linear Systems by Suykens, Johan A. K., De Moor, B. L., Vandewalle, Joos P. L.

Division of Labor, Variability, Coordination, and the Theory of Firms and Markets by Camacho, A.

Conceptual Flux: Mental Representation, Misrepresentation, and Concept Change by Perlman, M.

Enterprise Information Systems II by

Geometric Computing with Clifford Algebras: Theoretical Foundations and Applications in Computer Vision and Robotics by

Introduction to Process Algebra by Fokkink, Wan

Temporal Logic: From Ancient Ideas to Artificial Intelligence by Øhrstrøm, Peter, Hasle, Per

High-Level Synthesis for Real-Time Digital Signal Processing by Vanhoof, Jan, Van Rompaey, Karl, Bolsens, Ivo

Image Structure by Florack, Luc

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 by

Truth, Proof and Infinity: A Theory of Constructive Reasoning by Fletcher, P.

Structures in Science: Heuristic Patterns Based on Cognitive Structures an Advanced Textbook in Neo-Classical Philosophy of Science by Kuipers, Theo A. F.

Analog Circuit Design: Operational Amplifiers, Analog to Digital Convertors, Analog Computer Aided Design by

Schedule-Based Dynamic Transit Modeling: Theory and Applications by

Intelligent Control of Robotic Systems by Katic, D., Vukobratovic, M.

Security and Privacy in the Age of Ubiquitous Computing: Ifip Tc11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, J by

Home Informatics and Telematics: ICT for the Next Billion by

Secure Multi-Party Non-Repudiation Protocols and Applications by Onieva, José a., Zhou, Jianying

Multimodal Processing and Interaction: Audio, Video, Text by

Embedded Memories for Nano-Scale Vlsis by

Creativity and Hci: From Experience to Design in Education: Selected Contributions from Hcied 2007, March 29-30, 2007, Aveiro, Portugal by

Evolution of Information Technology in Educational Management by

Multimedia Content Analysis: Theory and Applications by

Automated Multi-Camera Surveillance: Algorithms and Practice by Shah, Mubarak, Javed, Omar

Digital Image Compression: Algorithms and Standards by Weidong Kou

Distributed Coordination of Multi-Agent Networks: Emergent Problems, Models, and Issues by Ren, Wei, Cao, Yongcan

Wireless Internet Access Over GSM and Umts by Taferner, Manfred, Bonek, Ernst

Multimodality in Language and Speech Systems by

Bifurcations and Periodic Orbits of Vector Fields by

Multi-Robot Systems: From Swarms to Intelligent Automata, Volume II by

Performance of Communication Systems: A Model-Based Approach with Matrix-Geometric Methods by Ost, Alexander

Data Mining for Design and Manufacturing: Methods and Applications by

Stochastic and Global Optimization by

Instance Selection and Construction for Data Mining by

Metaheuristics:: Progress as Real Problem Solvers by

Human Error, Safety and Systems Development: Ifip 18th World Computer Congress Tc13 / Wg13.5 7th Working Conference on Human Error, Safety and Systems by

Statistical Analysis and Optimization for Vlsi: Timing and Power by Blaauw, David, Srivastava, Ashish, Sylvester, Dennis

Intelligence in Communication Systems: Ifip International Conference on Intelligence in Communication Systems, Intellcomm 2005, Montreal, Canada, Octo by

Algorithmic Methods in Non-Commutative Algebra: Applications to Quantum Groups by Bueso, J. L., Verschoren, A., Gómez-Torrecillas, José

Economics of Information Security by

CMOS Pll Synthesizers: Analysis and Design by Sanchez-Sinencio, Edgar, Shu, Keliu

Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges: Ifip Tc8 Wg 8.2 International Working Conference, August 1-3, 20 by

Mobile Information Systems II: Ifip Working Conference on Mobile Information Systems, Mobis 2005, Leeds, Uk, December 6-7, 2005 by

Advances in Modeling Agricultural Systems by

Content-Based Audio Classification and Retrieval for Audiovisual Data Parsing by Kuo, C. C. Jay, Tong Zhang

Intelligent Information Integration in B2B Electronic Commerce by Omelayenko, Borys, Ying Ding, Klein, Michel

Education and the Knowledge Society: Information Technology Supporting Human Development by

System Modeling and Optimization: Proceedings of the 21st Ifip Tc7 Conference Held in July 21st - 25th, 2003, Sophia Antipolis, France by

Formal Engineering for Industrial Software Development: Using the Sofl Method by Liu, Shaoying

Knowledge Discovery and Measures of Interest by Hilderman, Robert J., Hamilton, Howard J.

Wireless Sensor and Actor Networks: Ifip Wg 6.8 First International Conference on Wireless Sensor and Actor Networks, Wsan'07, Albacete, Spain, Septem by