Ever since graduation, people have been asking me: “What’s now?” My answer has been an unequivocal: “I don’t know.” I used to think that by the time I finish...
- JavaScript 4 Python Programmers
- AP CS Principles - Student Edition
- AP CSP - Teacher
- AP CSA Java Review
- C++ for Python Programmers
- Problem Solving with Algorithms and Data Structures using C++
- AP CS Awesome
- Foundations of Python Programming
- How to Think Like a Data Scientist
- Runestone Interactive Overview
- Java for Python Programmers
- Learn Computer Graphics using WebGL
- Runestone Interactive Overview
- Problem Solving with Algorithms and Data Structures
- Solución de problemas con algoritmos y estructuras de datos
- How to Think like a Computer Scientist: Interactive Edition
- Fundamentals of Web Programming
Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course) from Hebrew University of Jerusalem. What you’ll achieve: In this project-centered course* you will build a modern computer system, from the ground up. ...
At some point, you can’t get any further with linked lists, selection sort, and voodoo Big O, and you have to go get a real algorithms textbook and learn all that horrible math, at least a little. But which book? There are tons of them. I haven’t read every algorithms book out there, but I…
The joyous lion of theoretical computer science Boaz Barak is reporting on Avi Wigderson's book Mathematics and Computation which is on Avi's homepage. I read through an earlier version and it is highly recommended! Let me also recommend Avi's earlier survey on interaction between CS and math.
The CS Education Library project at Stanford is an online library which collects and organizes computer science education materials, and gives them away for free.
The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. Back in July, we implemented a type safe bowling kata in which we could not create a bowling game that would not satisfy the rules of the…
Lectures in the 2016 Seminar on "Proofs, beliefs and algorithms through the lens of Sum of Squares" at Harvard and MIT, see http://www.boazbarak.org/sos/
f Psychology, Neuroscience, and Linguistics, and many areas of Computer Science (e.g., artificial intelligence, robotics, vison, learning, speech, neural networks), Philosophy (e.g., mind, language, knowledge, science, logic), Biology (
Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
This is main web page for Computers In Society course (CIS) at the University of York. This page provides links to material for the topics in the course.
Sistemas Hipermídia são programas capazes de armazenar e recuperar informações não-lineares, estabelecendo uma estrutura complexa e flexível representada por nós interligados. À medida em que aumenta o espaço de navegação, tal como acontece na
In computer science, an AVL tree is a self-balancing binary search tree, and the first such data structure to be invented[citation needed]. In an AVL tree the heights of the two child subtrees of any node differ by at most one, therefore it is also called
Structure and Interpretation of Computer Programs has been MIT's introductory pre-professional computer science subject since 1981. It emphasizes the role of computer languages as vehicles for expressing knowledge and it presents basic principles of abstr
Edsger Wybe Dijkstra was one of the most influential members of computing science's founding generation. Among the domains in which his scientific contributions are fundamental are
This is the homepage of the Shape Contexts based approach to break Gimpy, the CAPTCHA test used at Yahoo! to screen out bots. Our method can successfully pass that test 92% of the time. See EZ-Gimpy in action at Yahoo! The approach we take uses general pu
This paper demonstrates a systematic approach to modelling and designing KBSs in a purely object-oriented fashion through the use of profile mechanism. The profile is constructed using compliant standards of modelling software systems by adopting the XMF
J. Brings, M. Daun, M. Kempe, and T. Weyer. EASE'18: Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering, (2018)