Computer Science BooksComputer Science Books

Formal Specification andDocumentation using Z A Case Study Approach (by Jonathan Bowen)

Advertisement

Formal Specification andDocumentation using Z A Case Study Approach (by Jonathan Bowen)

Formal Specification andDocumentation using Z A Case Study Approach (by Jonathan Bowen)

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

s Pages
Similar Books
Mathematics for Computer Science

Mathematics for Computer Science

This PDF covers the following topics related to Computer Science :Intro to Proofs, Well Ordering Principle, Logical Formulas, Mathematical Data Types, Induction, Recursive Data Types, Infinite Sets, Number Theory, Directed Graphs and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs, Sums and Asymptotics, Cardinality Rules, Generating Functions, Events and Probability Spaces, Conditional Probability, Random Variables, Deviation From the Mean, Random Walks.

s427 Pages
Introduction To Computer System by Tilak Maharashtra Vidyapeeth

Introduction To Computer System by Tilak Maharashtra Vidyapeeth

This note covers the following topics: Components of a Computer System, Input Devices and Output Devices, PrimaryStorage and Secondary Storage Devices, Number Systems, Boolean algebra and Logic Circuits, Computer Software, Programming Languages and Program Development, Popular Operating System.

s109 Pages
Computer Skills

Computer Skills

This note provides an introduction to computer skills that gives all students the abilities and activities to know Computer components, computer functions and benefits, computer viruses and measure of protection, Introduction to operating systems, PCs operating systems (DOS and Windows), Application software including word processing, spreadsheets and presentation applications, Internet and email.

sNA Pages
Lecture Notes On High Performance Computing

Lecture Notes On High Performance Computing

This lecture note explains the following topics: Cluster Computing, Scalable Parallel Computer Architectures, Components for Clusters, Cluster Middleware and Single System Image, Evolution of Metacomputing, Load Sharing and Balancing, Grid Computing, Cloud Computing, Virtual Machine and its Provisioning, Time and Space-shared Provisioning.

s69 Pages
The ZNotation a Reference Manual (by J. M. Spivey)

The ZNotation a Reference Manual (by J. M. Spivey)

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
The Chaos Hypertextbook

The Chaos Hypertextbook

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
How to ThinkLike a Computer Scientist

How to ThinkLike a Computer Scientist

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
StackComputers The New Wave

StackComputers The New Wave

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
Patternsfor Adaptive Programming (AP)

Patternsfor Adaptive Programming (AP)

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
Categories,Types and Structures An introduction to Category Theory for the ComputerScientist (Giuseppe Longo)

Categories,Types and Structures An introduction to Category Theory for the ComputerScientist (Giuseppe Longo)

Currently this section contains no detailed description for the page, will update this page soon.

s Pages

Advertisement