Electronic Books

Total Books: 2301 - 2320 /2372
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-030-26454-3
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...

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-31429-5
Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

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-8348-9260-7
UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization

Interference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...

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-30717-4
Understanding and Using Linear Programming

This is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...

Continue reading
Total Books: 2301 - 2320 /2372