for at udvide
kategorilisten.
Informatik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (Bog, Paperback / softback, Engelsk)
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
User Interface Design: A Structured Approach (Bog, Paperback / softback, Engelsk)
Solidly founded on 25 years of research and teaching, the author integrates the salient features of the subdisciplines of computer science into a comprehensive conceptual framework for the design of human-computer interfaces.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
User Interface Evaluation: A Structured Approach (Bog, Paperback / softback, Engelsk)
A companion to the author's User Interface Evaluation, this book details a systematic and comprehensive methodology to measure and evaluate new or existing human-computer interfaces. The text will serve both as a reference source, and as a supplement to its sister volume.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Molecular Modeling and Prediction of Bioactivity (Bog, Paperback / softback, Engelsk)
Much of chemistry, molecular biology, and drug design, are centered around the relationships between chemical structure and measured properties of compounds and polymers, such as viscosity, acidity, solubility, toxicity, enzyme binding, and membrane penetration.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Fundamentals of Modern Statistical Genetics (Bog, Paperback / softback, Engelsk)
This book covers the statistical models and methods that are used to understand human genetics, following the historical and recent developments of human genetics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Video Image Detection Systems Installation Performance Criteria (Bog, Paperback / softback, Engelsk)
Fire protection system designers initially employed these VID systems for use in large facilities, outdoor locations and tunnels.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
A Course on Mathematical Logic (Bog, Paperback / softback, Engelsk)
The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Sustainable Web Ecosystem Design (Bog, Paperback / softback, Engelsk)
This book is about the process of creating web-based systems (i.e., websites, content, etc.) that consider each of the parts, the modules, the organisms – binary or otherwise – that make up a balanced, sustainable web ecosystem.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modeling Biological Systems:: Principles and Applications (Bog, Paperback / softback, Engelsk)
2 Uses of Scientific Models . 4 Classifications of Models . 5 Constraints on Model Structure . 1 Models Are Problems . 4 Model Objectives . 3... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Architecture Description Languages: IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France (Bog, Paperback / softback, Engelsk)
industrial projects.To encourage closer interaction between academic and industrial networking research communities, the workshop welcomed academic research papers as well as industrial contributions, and both are included here.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Handbook of Geometric Programming Using Open Geometry GL (Bog, Paperback / softback, Engelsk)
Overview At the beginning of 1999, Springer-Verlag published the book Open Geo- try OpenGL +Advanced Geometry. In order to make all of these... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Global Engineering, Manufacturing and Enterprise Networks: IFIP TC5 WG5.3/5.7/5.12 Fourth International Working Conference on the Design of Information Infrastructure Systems for Manufacturing (DIISM 2000). November 15–17, 2000, Melbourne, Victoria, Aus (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
