Electronic Books

Total Books: 181 - 200 /989
978-3-030-81688-9
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Continue reading
978-3-319-96145-3
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Continue reading
978-3-319-96142-2
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Continue reading
978-3-540-37411-4
Computer Aided Verification (vol. # 4144)

Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer ...

Continue reading
9781292405469
Computer Networking: A Top-Down Approach / James F. Kurose, Keith W. Ross

The text works its way from theapplication layer down toward the physical layer, motivating students by exposing them to ...

Continue reading
9780133594140
Computer Networking: A Top-Down Approach / James Kurose, Keith Ross

The text works its way from the application layer down toward the physical layer, motivating students by exposing them to ...

Continue reading
978-3-540-31897-2
Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Continue reading
978-3-540-87531-4
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

Continue reading
978-3-540-71457-6
Computer Vision/Computer Graphics Collaboration Techniques

This volume contains foundational, methodological, and application issues.

Continue reading
978-3-540-71457-6
Computer Vision/Computer Graphics Collaboration Techniques

This volume contains foundational, methodological, and application issues.

Continue reading
978-1-4020-6528-6
Computer-Aided Architectural Design Futures (CAADFutures) 2007 : Proceedings of the 12th International CAADFutures Conference

This volume is the proceedings of the 12th International Conference of CAAD Futures, which took place in Sydney, Australia. ...

Continue reading
978-3-540-78921-5
Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers

This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...

Continue reading
9780367742379
Concrete Gravity and Arch Dams on Rock Foundation / Bronstein Vadim Izrailovich

Presents and analyzes the designs of erected concrete dams, which allows for a better understanding of the approaches and ...

Continue reading
978-0-387-28273-2
Conflicts Between Generalization, Rigor, and Intuition

Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...

Continue reading
978-1-4020-6891-1
Conservation Biology

Fred Van Dyke’s new textbook, Conservation Biology: Foundations, Concepts, Applications, 2nd Edition represents a major ...

Continue reading
978-3-7643-7394-8
Contemporary Cryptology / Public key encription / Random functions / computational complexity / cryptography / cryptology

The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent ...

Continue reading
9780323720892
Contemporary Fixed Prosthodontics / Stephen F. Rosenstiel, Martin F. Land, Robert D. Walter

Provides a solid foundation in basic science as well as step-by-step guidelines to hundreds of fixed prosthodontic procedures. ...

Continue reading
9780867155716
Contemporary restoration of endodontically treated teeth : evidence-based diagnosis and treatment planning / Nadim Z. Baba

Traditional principles and techniques are reviewed and reinforced, along with modern materials and methods, all with a firm ...

Continue reading
978-1-4020-4818-0
Continuous-Time Signals

The book systematically covers major principle foundations of the signals theory. The representation of signals in the frequency ...

Continue reading
NoIMG
Continuous-Time Systems

The book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of ...

Continue reading
Total Books: 181 - 200 /989