General theory of computing
Data in computer systems Mathematical theory of computation Systems analysis & design
Roever Willem-Paul De, Engelhardt Kai:
Data Refinement
Model-Oriented Proof Methods And Their Comparison
Cambridge University Press (United Kingdom), 2009
Paperback, 436 pages
Revesz Gyorgy E.:
Lambda-Calculus, Combinators And Functional Programming
Cambridge University Press (United Kingdom), 2009
Paperback, 192 pages
Olsen Dan R.:
Building Interactive Systems
Principles For Human-Computer Interaction
International Ed
Cengage Learning (United States), 2009
Paperback, 250 pages
Fundamental Concepts In Computer Science
Editor: Erol Gelenbe
Imperial College Press (United Kingdom), 2009
Hardback, 200 pages
Doyle Stephen:
Essential Ict For Wjec / A2 Level Student Book
Folens Publishers UK (United Kingdom), 2009
Paperback, 260 pages
Kupferschmid Michael:
Classical Fortran
2 Rev Ed
Taylor & Francis Ltd (United States), 2009
Hardback, 576 pages
Hsiung Pao-Ann, Santambrogio Marco D., Huang Chun-Hsian:
Reconfigurable System Design And Verification
Taylor & Francis Ltd (United States), 2009
Hardback, 268 pages
Advances In Semantic Media Adaption And Personalization (V. 2)
2 Rev Ed
Editor: Marios C. Angelides
Taylor & Francis Ltd (United Kingdom), 2009
Hardback, 456 pages
Data in computer systems Mathematical theory of computation Systems analysis & design






