Narrow your search

Library

KU Leuven (3)

AP (2)

EhB (2)

KDG (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

ULB (2)

ULiège (2)

More...

Resource type

book (5)

digital (2)


Language

English (7)


Year
From To Submit

2011 (7)

Listing 1 - 7 of 7
Sort by

Book
Chemical reaction engineering : a first course.
Author:
ISBN: 9780198565383 Year: 2011 Publisher: Oxford Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book covers the material required for a basic understanding of chemical reaction engineering. Such material would normally be taught in a first chemical reaction engineering course in a university chemical engineering department. The principles of reaction engineering are simply and clearly presented; simple illustrative problems are used to demonstrate how these principles are practically applied. Further problems, with solutions, based on exam questions, are supplied. The book is written in a way that it could be used as a self-study guide and would be useful for undergraduate chemical engineers early in their degree as well as engineers and scientists of other disciplines interested in acquiring some knowledge of reaction engineering outside of a formal teaching environment.



Digital
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Authors: ---
ISBN: 9783642221194 Year: 2011 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg


Book
Mast Cell Biology : Contemporary and Emerging Topics
Authors: ---
ISBN: 1441995323 1441995331 Year: 2011 Publisher: New York, NY : Springer US : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The editors of Mast Cell Biology, Drs. Gilfillan and Metcalfe, have enlisted an outstanding group of investigators to discuss the emerging concepts in mast cell biology with respect to development of these cells, their homeostasis, their activation, as well as their roles in maintaining health on the one hand and on the other, their participation in disease.


Book
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Authors: --- ---
ISBN: 3642221181 364222119X Year: 2011 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

Keywords

Automatic theorem proving --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Computer science --- Computer science. --- Computer programming. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory


Book
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Authors: --- ---
ISBN: 9783642221194 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.


Digital
Mast Cell Biology : Contemporary and Emerging Topics
Authors: ---
ISBN: 9781441995339 Year: 2011 Publisher: Boston, MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Mast Cell Biology : Contemporary and Emerging Topics
Authors: --- ---
ISBN: 9781441995339 Year: 2011 Publisher: Boston MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

The editors of Mast Cell Biology, Drs. Gilfillan and Metcalfe, have enlisted an outstanding group of investigators to discuss the emerging concepts in mast cell biology with respect to development of these cells, their homeostasis, their activation, as well as their roles in maintaining health on the one hand and on the other, their participation in disease.

Listing 1 - 7 of 7
Sort by