Formal methods publications

Prentice Hall International Series in Computer Science

Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of formal methods in particular. (Wikipedia).

Video thumbnail

The Computer Science Wizard Book

This is the legendary "Wizard Book". It is dedicated to the spirit which lives inside the computer. This book covers the fundamentals of computer programming using Scheme which is a dialect of Lisp. One of the coolest things about this book is that there are lectures online you can watch t

From playlist Book Reviews

Video thumbnail

Lec 24 | MIT 6.042J Mathematics for Computer Science, Fall 2010

Lecture 24: Large Deviations Instructor: Tom Leighton View the complete course: http://ocw.mit.edu/6-042JF10 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 6.042J Mathematics for Computer Science, Fall 2010

Video thumbnail

It's a Huge Mess

I've started organizing my math books and it is turning out to be a huge task. I thought this would be a good opportunity to show you some of my books. In this video I will show you all kinds of books - Math Books, Math Books in Spanish, books by MIR publishers, Physics Books, Computer Sci

From playlist Book Reviews

Video thumbnail

The Biggest Computer Science Book in the World

This book is super thick! It is called the Encyclopedia of Computer Science and it was edited by Anthony Ralston. Here it is: https://amzn.to/3WVxsJ2 Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear https://amzn.to/3BFvcxp (these are my affiliate links) ***********Math, Phy

From playlist Book Reviews

Video thumbnail

Lec 20 | MIT 6.042J Mathematics for Computer Science, Fall 2010

Lecture 20: Independence Instructor: Tom Leighton View the complete course: http://ocw.mit.edu/6-042JF10 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 6.042J Mathematics for Computer Science, Fall 2010

Video thumbnail

Analog to Digital Converters Part 1 | Arduino - Ep 3

Explore how to get an analog signal into a format that a digital device can understand. In this video, we discuss sampling, quantizing, resolution, converting from a stimulus to a voltage to binary to decimal back to a voltage and final to a physical quantity like temperature. This ep

From playlist SciJoy Uploads

Video thumbnail

Analog to Digital Converters Part 2 - Successive Approximation | Arduino - Ep 4

Explore how a successive approximation analog to digital converter works. We discuss binary math, base systems, weighted values, most significant bits, and least significant bits. For an overview of converters, watch this video: We will break down other converters and digital logic in

From playlist SciJoy Uploads

Video thumbnail

Legendary C Programming Book

This is the most famous C Programming Book in the world. It is called the C Prorgramming Language and it was written by Brian Kernighan and Dennis Ritchie. Here is a newer version: https://amzn.to/3QCzCLo Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear https://amzn.to/3BFvc

From playlist Book Reviews #shorts

Video thumbnail

Math for Computer Science

In this video I will show you a very good book on discrete math. This book has lots of the math that you need for computer science. It also has full solutions to every single problem. The book is titled Concrete Mathematics and it was written by Graham, Knuth, Patashnik. Here is the book:

From playlist Book Reviews

Video thumbnail

The Most Famous Computer Science Books In The World

In this video I will show you some of the most famous computer science books in the world. This series of books is known as "The Art of Computer Programming" and they were written by the legendary Donald Knuth. This series is still a work in progress and I believe the latest book in the se

From playlist Book Reviews

Video thumbnail

Frequency domain – tutorial 3: filtering (periodic signals)

In this video, we learn about filtering which enables us to manipulate the frequency content of a signal. A common filtering application is to preserve desired frequencies and reject the unwanted content. The learning objectives are to: 1) review the filtering concept using Fourier series

From playlist Fourier

Video thumbnail

Lec 1 | MIT 3.091SC Introduction to Solid State Chemistry, Fall 2010

Lecture 1: Introduction to Solid State Chemistry Instructor: Donald Sadoway View the complete course: http://ocw.mit.edu/3-091SCF10 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 3.091SC Introduction to Solid State Chemistry, Fall 2010

Video thumbnail

Debugging Like A Pro

Check out our weekly system design newsletter: https://bit.ly/3tfAlYD Checkout our bestselling System Design Interview books: Volume 1: https://amzn.to/3Ou7gkd Volume 2: https://amzn.to/3HqGozy Digital version of System Design Interview books: https://bit.ly/3mlDSk9 ABOUT US: Covering

From playlist Computer Science Fundamentals

Video thumbnail

Marko Gargenta interviewed at OSCON 2012

Marko Gargenta Consultant, Marakana Marko Gargenta founded Marakana in 2001 to help underprivileged youth, minorities, and inner-city kids learn web technologies and get ahead in life. So Marakana emerged with goal of helping people get better at what they do professionally, focused on

From playlist OSCON 2012

Video thumbnail

Vectors | Physics Ep 3 - #sciencegoals

Explore the importance of vectors and how they simplify intricate systems and structures into manageable mathematical terms. Thank you to Google’s Making & Science team for making this video possible. Google Making and Science #ScienceGoal playlist: https://www.youtube.com/playlist?list=

From playlist SciJoy Uploads

Video thumbnail

The Plate Tectonics Revolution: Crash Course Geography #19

Today we're going to tell the story of a quiet revolution in the 1960s that shifted our entire understanding of how the Earth works. We currently believe that the Earth's broken outer shell rises from the mantle and folds back in - kind of like a dance of creative destruction and reconstru

From playlist Geography

Video thumbnail

Alistair Croll interviewed at Stata Summit NY 2011

Alistair is the Founder of Bitcurrent, a research firm focused on cloud computing. He is also a principal at startup accelerator Rednod and incubator Year One Labs; an advisor to various technology venture firms; an executive at CloudOps; the founder of the Bitnorth conference; the founder

From playlist Strata NY 2011

Video thumbnail

"C" Programming Language: Brian Kernighan - Computerphile

"C" is one of the most widely used programming languages of all time. Prof Brian Kernighan wrote the book on "C", well, co-wrote it - on a visit to the University of Nottingham we asked him how it came about. "Most Difficult Program" - Ackermann Function: http://youtu.be/i7sm9dzFtEI Co

From playlist Subtitled Films

Video thumbnail

Cohomology for computer science - Alex Lubotzky

https://www.math.ias.edu/seminars/abstract?event=83684

From playlist Computer Science/Discrete Mathematics

Video thumbnail

Pearson to Person: Social Networking in the Enterprise

(November 30, 2011) Karen Gettman from Pearson Education discusses the ways in which social networks within corporations (such as NEO) can aid productivity and supplement emails. Stanford University: http://www.stanford.edu/ Stanford School of Engineering: http://engineering.stanford.ed

From playlist Engineering

Related pages

Unifying Theories of Programming | Formal methods | Z notation