Electronic Books

Total Books: 1701 - 1720 /1798

Theory and Applications of Models of Computation

This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...

Theory and Applications of Satisfiability Testing (vol. # 3569)

SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...

Theory and Applications of Satisfiability Testing - SAT 2006

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...

Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Thesis Projects : A Guide for Students in Computer Science and Information Systems

This edition guides the reader through successful planning and implementation of a thesis project and provides students in ...

Thinking English Translation : Analysing and Translating English Source Texts / Stella Cragie, Ann Pattison

Thinking English Translation is a practical guide to analysing and translating English source texts. Section I focuses on ...

Threat Hunting in the Cloud: Defending AWS, Azure and Other Cloud Platforms Against Cyberattacks / Chris Peiris, Binil Pillai, Abbas Kudrati

You'll discover how to build a side-by-side cybersecurity fusion center on both Microsoft Azure and Amazon Web Services ...

Thresholds in Architectural Education / Nur Caglar, Irene G. Curulli, Isil Ruhi Sipahioglu, Lazaros Mavromatidis

Explores, discusses, and considers new and innovative perspectives on the crossings, interactions, and transformations of ...

Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings

The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

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 and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Toward Artificial Sapience : Principles and Methods for Wise Systems

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

Toward Category-Level Object Recognition

This volume is a post-event proceedings volume and contains selected papers based on presentations given, and vivid discussions ...

Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Towards a New Evolutionary Computation

This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.

Total Books: 1701 - 1720 /1798