Electronic Books

Total Books: 1681 - 1700 /1738
978-0-387-75456-7
Trends in Computer Aided Innovation

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...

Continue reading
978-0-387-74935-8
Trends in Intelligent Systems and Computer Engineering

This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...

Continue reading
NoIMG
Trends in Neural Computation

Trend in Neural Computation includes twenty chapters either contributed from leading experts or formed by extending well ...

Continue reading
978-3-540-33261-9
Triangulations and Applications

This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...

Continue reading
978-3-540-75336-0
Trustworthy Global Computing ; Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...

Continue reading
NoIMG
Turbo-like Codes

A major focus of Turbo-like Codes is on high speed turbo decoding, which targets applications with data rates of several ...

Continue reading
978-0-387-22827-3
Tutorials on Emerging Methodologies and Applications in Operations Research

The primary purpose of TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS IN OPERATIONS RESEARCH is to provide a reference ...

Continue reading
978-3-540-76284-3
Type-2 Fuzzy Logic: Theory and Applications

This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...

Continue reading
978-3-540-32014-2
Typed Lambda Calculi and Applications

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...

Continue reading
978-3-540-74464-1
Types for Proofs and Programs

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Continue reading
978-3-540-68103-8
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Continue reading
978-3-540-30188-2
Ubiquitous Mobile Information and Collaboration Systems

Over recent years most business processes have changed in various dimensions (e. g. , ?exibility, interconnectivity, coordination ...

Continue reading
978-0-387-29486-5
Unconstrained Face Recognition

This volume provides a comprehensive view of unconstrained face recognition, especially face recognition from multiple still ...

Continue reading
978-3-540-73554-0
Unconventional Computation

This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...

Continue reading
978-3-540-32022-7
Unconventional Computation (vol. # 3699)

The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...

Continue reading
978-3-540-38594-3
Unconventional Computation (vol. # 4135)

This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...

Continue reading
978-3-540-85194-3
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings

The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...

Continue reading
978-3-540-31482-0
Unconventional Programming Paradigms

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...

Continue reading
978-3-540-77723-6
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition

Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...

Continue reading
978-3-540-77426-6
Unfoldings : A Partial-Order Approach to Model Checking

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

Continue reading
Total Books: 1681 - 1700 /1738