Tag: Computer

January 13, 2025

Logic in Computer Science

By  E-Books  0 Comments

Free Download Logic in Computer Science
English | 2025 | ISBN: 9819798159 | 488 Pages | PDF EPUB (True) | 32 MB
Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. In addition, it presents proof procedures for classical logics and decision procedures for checking the satisfiability of logical formulas.

(more…)

January 12, 2025

Wireless Communications (Information and Computer Engineering, 9)

By  E-Books  0 Comments

Free Download Wireless Communications (Information and Computer Engineering, 9) by Bin Tian, China Science Publishing & Media Ltd.
English | May 6, 2024 | ISBN: 3110751356 | MOBI | 3.07 Mb
This book presents the basic concepts, principles and technologies of wireless communication. The author focuses on the characteristics of the channel, the performance degradation, and various technologies to improve the performance of the wireless communication system. The upper technologies involved in building wireless performance are also discussed, and a prototype of the system is presented.

(more…)

January 5, 2025

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW

By  E-Books  0 Comments

Free Download Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers By Isi Mitrani (auth.), Mirco Tribastone, Stephen Gilmore (eds.)
2013 | 253 Pages | ISBN: 3642367801 | PDF | 6 MB
This book constitutes the refereed post-proceedings of the 9th European Performance Engineering Workshop, EPEW 2012, held in Munich, Germany, and the 28th UK Performance Engineering Workshop, UKPEW 2012, held in Edinburgh, UK, in July 2012. The 15 regular papers and one poster presentation paper presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics from classical performance modeling areas such as wireless network protocols and parallel execution of scientific codes to hot topics such as energy-aware computing to unexpected ventures into ranking professional tennis players. In addition to new case studies, the papers also present new techniques for dealing with the modeling challenges brought about by the increasing complexity and scale of systems today.

(more…)

January 3, 2025

Innovations in Computational Intelligence and Computer Vision, Volume 1

By  E-Books  0 Comments

Free Download Innovations in Computational Intelligence and Computer Vision: Proceedings of ICICV 2024, Volume 1
English | 2024 | ISBN: 9819769949 | 563 Pages | PDF (True) | 28 MB
This volume comprises of research papers presented at the 4th International Conference on Innovations in Computational Intelligence and Computer Vision (ICICV 2024) organized by Department of Computer and Communication Engineering, Manipal University Jaipur, India during April 4 – 5, 2024. The book includes a collection of innovative ideas from researchers, scientists, academics, industry professionals and students. The book covers a variety of topics, such as artificial intelligence and computer vision, image processing and video analysis, applications and services of artificial intelligence and computer vision, interdisciplinary areas combining artificial intelligence and computer vision, and other innovative practices.

(more…)