Electronic Books

Total Books: 901 - 920 /965

Time-Dependent Scheduling

Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

Topics in Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings

This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...

Toward Artificial Sapience : Principles and Methods for Wise Systems

This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...

Towards Resilient Organizations and Societies : A Cross-Sectoral and Multi-Disciplinary Perspective

This book brings together scholars in the fields of management, public policy, regional studies, and organization theory ...

Traffic Grooming for Optical Networks : Foundations, Techniques, and Frontiers

This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...

Transactions on Computational Systems Biology I

The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...

Transactions on Computational Systems Biology III

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...

Transactions on Computational Systems Biology IX

This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...

Transactions on Computational Systems Biology VI

This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...

Transactions on Computational Systems Biology VIII

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...

Transactions on Computational Systems Biology X

The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...

Transactions on Data Hiding and Multimedia Security III

The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...

Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Transactions on Rough Sets III

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...

Transactions on Rough Sets IV

Volume IV of the Transactions on Rough Sets (TRS) introduces a number of new advances in the theory and application of rough ...

Transactions on Rough Sets V

Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...

Transactions on Rough Sets VIII

This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...

Total Books: 901 - 920 /965