Books
- Distributed Application Development with PowerBuilder 6.0
- Digital Dreams: Architecture and Cyberspace
- Successful Software Reengineering
- Upgrade Your PC to the Ultimate Machine in a Weekend
- Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, USA, November 6-8, 2002, Proceedings (Lecture Notes in Computer Science)
- Handbook on Enterprise Architecture (International Handbooks on Information Systems)
- Managing Software Engineering Knowledge
- Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea De Arges, Romania, August 19-23, 2002, Revised Papers: v. 2597 (Lecture Notes in Computer Science S.)
- Distributed Computing: 14th International Conference, Disc 2000 Toledo, Spain, October 4-6, 2000 Proceedings (Lecture Notes in Computer Science)
- Advances in Visual Information Systems: 4th International Conference, Visual 2000, Lyon, France, November 2-4, 2000 Proceedings (Lecture Notes in Computer Science)
- Constraints in Computational Logics: International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised Lectures: Theory and Applications - International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 (Lecture Notes in Computer Science)
- Objective Coordination in Multi-agent System Engineering: Design and Implementation (Lecture Notes in Computer Science)
- Logic for Learning: Learning Comprehensible Theories from Structured Data (Cognitive Technologies S.)
- Performance Engineering: State of the Art and Current Trends (Lecture Notes in Computer Science)
- Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000. Revised Lectures: First EEF Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000.Revised Lectures (Lecture Notes in Computer Science)
- Implementation and Application of Automata: 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers (Lecture Notes in Computer Science)
- Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings (Lecture Notes in Computer Science)
- Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg: v. 2300 (Lecture Notes in Computer Science S.)
- Types for Proofs and Programs: International Workshop, Types 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science S.)
- Hybrid Systems, Computation and Control: 5th International Workshop, Hscc 2002, Stanford, Ca, USA, March 25-27. 2002, Proceedings (Lecture Notes in Computer Science S.)
- SiO2 in Si Microdevices (Springer Series in Materials Science)
- Fundamentals of Quantum Information: Quantum Computation, Communication, Decoherence and All That (Lecture Notes in Physics)
- Logic Programming: 18th International Conference, Iclp 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings (Lecture Notes in Computer Science)
- Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream - 12th International Conference, Fpl 2002, Montpellier, France September 2-4, 2002, Proceedings (Lecture Notes in Computer Science)
- Approximation Algorithms for Combinatorial Optimization: 5th International Workshop, Approx 2002, Rome, Italy, September 17-21, 2002. Proceedings (Lecture Notes in Computer Science)
Books:
- How to Set Up and Run Information Systems: A Non-specialist's Guide
- Distributed Application Development with PowerBuilder 6.0
- Microsystem Technology and Microrobotics
- Practical Digital Logic Design and Testing
- VHDL: Analysis and Modeling of Digital Systems
- Software Architecture: Perspectives on an Emerging Discipline
- Wireless Communication and Networking
- Microprocessor Architecture and Microprogramming: A State Machine Approach
- Computer Architecture: Design and Performance
- Computer Hardware and Data Communications
Books