"46" Result
Sort By:
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part I…
A dictionary of computer science: over 6500 entries
0
Type: Book
Providing comprehensive coverage of computer applications in industry, school, work, education, and the home, this fully revised dictionary is the ideal reference for students, professionals, and anyone who uses computers. Previously named A Dictionary of Computing, this bestse…
"During World War II, when the newly minted Jet Propulsion Laboratory needed quick-thinking mathematicians to calculate jet velocities and plot missile trajectories, they recruited an elite group of young women--known as human computers--who, with only pencil, paper, and mathema…
