Pages : | 225 |
Size : | 11.0 MB |
File type : | |
Downloads: | 63 |
Created: | 2022-02-03 |
License: | CC BY |
Author(s): | Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli |
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theor...
Policy-Oriented Technology Assessment Across Europe: Expanding CapacitiesDownload free course Policy-Oriented Technology Assessment Across Europe: Expanding Capacities, pdf file on 188 pages by Lars Klüver, Rasmus Øjvind Nielsen, Marie Louise Jørgensen....
Mind Hacking: How to Change Your Mind for Good in 21 DaysThis book teaches you how to reprogram your thinking -- like reprogramming a computer -- to give you increased mental efficiency and happiness....
Introduction to Computers and ProgrammingWelcome to the world of computer programming! In this book, you will learn the essential concepts of programming using Python language....
Introduction to Computer GraphicsCovering the fundamentals of computer graphics and computer graphics programming. This book is meant for use as a textbook in a one-semester course that would typically be taken by undergraduate computer science majors in their third or fourth year of college....
How to become an Ethical HackerThis is a series of lessons that's basic about the networking concepts, networking tools, security and countermeasures....
What Is Data Science?Download free course What Is Data Science?, pdf file on 17 pages by Mike Loukides....
Optimizing HPC Applications with Intel Cluster ToolsOptimizing HPC Applications with Intel Cluster Tools takes the reader on a tour of the fas..., download free HPC Applications tutorial in PDF (300 pages) created by Alexander Supalov ....
GNU GREP and RIPGREPDownload free course GNU GREP and RIPGREP, pdf file on 111 pages by Sundeep Agarwal....
Cryptography and Network securityDownload Cryptography and network security PDF tutorial by Chandraskhar Rao intended to Bachelor of Technology in Computer Science and Engineering....