Listing 1 - 10 of 59 | << page >> |
Sort by
|
Choose an application
Robijns, Gert --- video art --- Robyns, Gert --- Robijns, Geert --- Installations (Art) --- teksten = texts Michael Tarantino, Wim Peeters ; edited and designed by = samengesteld en vormgegeven door Luc Derycke --- Robijns Gert --- 7.071 ROBIJNS --- kunst --- installaties --- twintigste eeuw --- eenentwintigste eeuw --- België --- installations [visual works] --- art [fine art] --- perception --- Art --- Exhibitions. --- Expositions --- Kunst --- installaties [kunstwerken] --- waarneming --- videokunst [kunstwerken] --- art interventions --- art [discipline] --- Fotoboeken --- Hedendaagse kunst
Choose an application
Daems, Anne --- kunst --- twintigste eeuw --- fotografie --- tekenkunst --- Daems Anne --- België --- Kempenaers Jan --- De Gobert Philip --- Jade Manfred --- 7.071 DAEMS --- 741.07 --- 77.092.07 --- Fotografie tekeningen 1994-2003 Anne Daems --- Daems, Anne °1966 (°Lier, België) --- Belgische kunstenaars --- Tekenkunst tekenkunstenaars A - Z --- Fotografen A - Z --- Photography, Artistic --- Drawing, Belgian --- Photographie artistique --- Dessin belge --- Daems, Anne, --- Fotografie ; tekeningen ; 1994-2003 ; Anne Daems --- Tekenkunst ; tekenkunstenaars A - Z --- Artistic photography --- Photography --- Photography, Pictorial --- Pictorial photography --- Art --- Belgian drawing --- Aesthetics --- Criticism and interpretation.
Choose an application
Artists' books --- Livres d'artistes --- Merz, Mario --- Philosphy.
Choose an application
This thesis uses neoclassical growth models to evaluate what effect the limited availability of nonrenewable resources has on the economy’s (world’s) growth potential. Markus Merz concludes that recycling may serve as a mid-term solution to continued growth, but technological progress is needed in the long-run. The theoretical analysis starts with the well-known Dasgupta-Heal model and considers the effect of recycling and technological progress on the resource constraints; resource-augmenting and backstop technology are analyzed. After a thorough analysis of the models it is concluded that the ultimate solution to long-term economic growth is a backstop technology. Contents • An Introduction to Economic Growth Theory • The Dasgupta-Heal Model • Recycling as a Source of Regeneration • Technological Progress Target Groups • Teachers and students of economics with a focus on economic growth theory and natural resource economics • Executives and consultants in the field of natural resource, energy politics and in energy companies About The Author Markus Merz is a research fellow at the Department of Banking, University of Tuebingen. His research interests are access to finance, finance and growth and microeconomics of banking.
Economic theory. --- Economic policy. --- Economics. --- Economic Theory/Quantitative Economics/Mathematical Methods. --- R & D/Technology Policy. --- Economic Policy. --- Recycling (Waste, etc.) --- Economic development --- Nonrenewable natural resources. --- Environmental aspects. --- Non-renewable natural resources --- Exhaustible resources --- Natural resources, Nonrenewable --- Nonrenewable natural resources --- Eco-development --- Ecodevelopment --- Conversion of waste products --- Recovery of natural resources --- Recovery of waste materials --- Resource recovery --- Waste recycling --- Waste reuse --- Economic aspects --- Economic nationalism --- Economic planning --- National planning --- State planning --- Economics --- Planning --- National security --- Social policy --- Economic theory --- Political economy --- Social sciences --- Economic man
Choose an application
Choose an application
Wie lässt sich der spätere Erfolg eines jungen Unternehmens zum Zeitpunkt seiner Gründung vorhersagen? Mit dieser schwierigen aber hochrelevanten Fragestellung sehen sich Investoren und Unternehmensgründer gleichermaßen konfrontiert, da sie den Gründungs- bzw. Investitionserfolg abschätzen müssen. Ein geeignetes Beurteilungskriterium, das zum Gründungszeitpunkt bereits bekannt ist, sind die Profile der Gründer selbst. Auf der Basis einer wissenschaftlich fundierten empirischen Untersuchung stellt Christin Merz die Erfahrung der Unternehmensgründer heraus, die sie zum Zeitpunkt der Gründung aufweisen und zeigt, welche Erfahrungsarten für den späteren Gründungserfolg entscheidend sind. Die Autorin verdeutlicht, welche Fähigkeiten die Gründer bereits mitbringen sollten und welche Kompetenzfelder dagegen auch in den ersten Jahren nach der Gründung noch erschlossen werden können. Die Erkenntnisse bieten Investoren und Gründern wertvolle Frühindikatoren für den Gründungserfolg als Grundlage für rationale Entscheidungen.
Leadership. --- Management. --- Business Strategy/Leadership.
Choose an application
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Logic, Symbolic and mathematical. --- Tense (Logic) --- Time. --- Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- Logic, Tense --- Grammar, Comparative and general --- Logic --- Time --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Tense --- Computer science. --- Software engineering. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming languages (Electronic computers). --- Mathematical logic. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Programming languages (Electronic computers)
Choose an application
Mannaerts, Valérie --- Drawing, Belgian --- Dessin belge --- Mannaerts, Valérie, --- drawings by Valérie Mannaerts ; colors by ........... (please fill in your name) --- kunst --- België --- tekenkunst --- Mannaerts Valérie --- 741.071 MANNAERTS --- Mannaerts, Valérie, --- Pacquée, Ria
Choose an application
"Structure-based (SBDD) and ligand-based (LBDD) drug design are extremely important and active areas of research in both the academic and commercial realms. This book provides a complete snapshot of the field of computer-aided drug design and associated experimental approaches. Topics covered include X-ray crystallography, NMR, fragment-based drug design, free energy methods, docking and scoring, linear-scaling quantum calculations, QSAR, pharmacophore methods, computational ADME-Tox, and drug discovery case studies. A variety of authors from academic and commercial institutions all over the world have contributed to this book, which is illustrated with more than 200 images. This is the only book to cover the subject of structure and ligand-based drug design, and it provides the most up-to-date information on a wide range of topics for the practicing computational chemist, medicinal chemist, or structural biologist"--Provided by publisher.
Drug Design. --- Ligands. --- Structure-Activity Relationship. --- Drugs --- Médicaments --- Design. --- Structure-activity relationships. --- Conception --- Relations structure-activité --- Drug Design --- Ligands --- Structure-Activity Relationship --- Design --- Structure-activity relationships --- Médicaments --- Relations structure-activité --- Drugs - Design --- Drugs - Structure-activity relationships
Choose an application
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Algorithms. --- Mathematical logic. --- Computer Science. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Computer software. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Informatics --- Science --- Formal methods (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Distributed processing --- Foundations --- Programming
Listing 1 - 10 of 59 | << page >> |
Sort by
|