Počítačová architektura a logický design

Twenty Five Years of Constructive Type Theory - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) a Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Swede

Speculative Execution in High Performance Computer Architectures

Parallel Scientific Computation - Bisseling, Rob H. (, Associate Professor, Mathematics Department, Utrecht University)

High-Speed Digital System Design - Hall, Stephen H. (Intel Corporation) a Hall, Garrett W. (Intel Corporation) a McCall, James A. (Intel Corporation)

How to Set Up Information Systems - Bell, Simon (Bayswater Institute, London, UK and the Open University, UK) a Wood-Harper, Trevor

VLSI Digital Signal Processing Systems - Parhi, Keshab K. (University of Minnesota)

Interactive TV Standards - Morris, Steven a Smith-Chaigneau, Anthony

Information Security Architecture - Killmeyer, Jan (Tudor Engineering Management, Butler, Pennsylvania, USA)

Logic in Computer Science - Huth, Michael (Imperial College of Science, Technology and Medicine, London) a Ryan, Mark (University of Birmingham)

Pattern-Oriented Software Architecture, A System of Patterns - Buschmann, Frank (Siemens AG, Germany) a Meunier, Regine (Siemens AG, Germany) a Rohnert, Hans (Siemens AG, Germany) a Sommerlad, Peter (Siemens AG, Germany) a Stal, Michael (Siemens AG, Germany)

How to Set Up Information Systems - Bell, Simon (Bayswater Institute, London, UK and the Open University, UK) a Wood-Harper, Trevor

Protocols by Invariants - Schoone, Anneke A. (Universiteit Utrecht, The Netherlands)

Temporal Logic: Volume 2 - Gabbay, Dov M (Department of Computer Science, Department of Computer Science, King's College London) a Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Australia) a Reynolds, M. (, Dept of Ciencia da C

Human Endocrinology - Gard, Paul R.

Pattern-Oriented Software Architecture, Patterns for Resource Management - Kircher, Michael (Siemens AG, Germany) a Jain, Prashant (IBM Research Labs, Germany)

Grid Computing