Počítačová věda

Agent-Based Modeling and Network Dynamics - Namatame, Akira (Professor, Professor, Deparment of Computer Science, National Defence Academy of Japan) a Chen, Shu-Heng (Distinguished Professor, Distinguished Professor, Department of Economics, National Chengchi University, Taiwan)

Lambda Calculi - Hankin

Diagonalization and Self-Reference - Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)

Donald Michie: machine intelligence, biology and more - Srinivasan, Ashwin (IBM India Research Laboratory)

Artificial-Intelligence-based Electrical Machines and Drives - Vas, Peter (Professor of Electrical Engineering, Head of Intelligent Motion Control Group, Professor of Electrical Engineering, Head of Intelligent Motion Control Group, University of Aberdeen)

Automated Deduction in Multiple-Valued Logics - Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany)

Intelligent Web - Shroff, Gautam (Vice President and Chief Scientist, Tata Consultancy Services)

Knowledge Discovery from Sensor Data

Machines and Thought

Structure of Complex Networks - Estrada, Ernesto (Chair in Complexity Science, Chair in Complexity Science, Department of Mathematics and Statistics, Department of Physics, University of Strathclyde, Glasgow)

Numerical Methods for Fluid Dynamics V - Morton, K. W. (Professor, Professor, Oxford University Computing Laboratory) a Baines, M. J. (Professor, Department of Mathematics, Professor, Department of Mathematics, University of Reading)

Computation and its Limits - Cockshott, Paul (Reader, Department of Computing Science, University of Glasgow) a Mackenzie, Lewis M (Senior Lecturer, Department of Computing Science, University of Glasgow) a Michaelson, Gregory (Professor of Computing Science, Heriot-Watt University, Edin

Attention

Advances in Model-Based Predictive Control

Computing with Cells - Frisco, Pierluigi (Department of Computer Science, Herriot Watt University)

Numerical Methods and Scientific Computing - Kockler, Norbert (Professor, Professor, University of Paderborn, Germany)

Kurt Godel: Collected Works: Volume IV - Godel, Kurt

Introduction to 3+1 Numerical Relativity - Alcubierre, Miguel (Department of Gravitation and Mathematical Physics, Institute of Nuclear Science, Universidad Nacional Autonoma de Mexico)

Partial Order Methods in Verification

Logic and Random Structures