Home | Amazing | Today | Tags | Publishers | Years | Search 
Java How to Program (early objects) (9th Edition) (Deitel)
Java How to Program (early objects) (9th Edition) (Deitel)

Welcome to Java and Java How to Program, Ninth Edition! This book presents leadingedge computing technologies for students, instructors and software developers.

The new Chapter 1 engages students with intriguing facts and figures to get them excited about studying computers and programming. The chapter includes a table of some of...

Introduction to MATLAB for Engineers
Introduction to MATLAB for Engineers

Formerly used mainly by specialists in signal processing and numerical analysis, MATLAB® in recent years has achieved widespread and enthusiastic acceptance throughout the engineering community. Many engineering schools now require a course based entirely or in part on MATLAB early in the curriculum. MATLAB is programmable and has...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

haXe 2 Beginner's Guide
haXe 2 Beginner's Guide

Remember the olden days?

I vaguely remember this odd box called a computer gradually conquering corners of my living room and bedroom. Can you recall those times? We would "use a computer" for some specific tasks, such as writing a letter.

The term computer was quite popular back then. Now, the word is no...

Public Libraries and the Internet: Roles, Perspectives, and Implications
Public Libraries and the Internet: Roles, Perspectives, and Implications

The integration of technology into public library services has been a continual process across the eighteenth, nineteenth, twentieth, and twenty-first centuries, in which libraries have responded to new technologies, altering the ways that information could be recorded, accessed, and used. The Internet is a prominent recent example,...

Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa)
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa)

The journal Computing has established a series of supplement volumes the fourth of which appears this year. Its purpose is to provide a coherent presentation of a new topic in a single volume. The previous subjects were Computer Arithmetic 1977, Fundamentals of Numerical Computation 1980, and Parallel Processes and Related Automata...

Utility-Based Learning from Data
Utility-Based Learning from Data

Statistical learning — that is, learning from data — and, in particular, probabilistic model learning have become increasingly important in recent years. Advances in information technology have facilitated an explosion of available data. This explosion has been accompanied by theoretical advances, permitting new and...

Knowledge Discovery from Data Streams (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
Knowledge Discovery from Data Streams (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

In the last three decades, machine learning research and practice have focused on batch learning usually using small datasets. In batch learning, the whole training data is available to the algorithm, which outputs a decision model after processing the data eventually (or most of the times) multiple times. The rationale behind this...

Demand-Driven Associative Classification (SpringerBriefs in Computer Science)
Demand-Driven Associative Classification (SpringerBriefs in Computer Science)

The ultimate goal of computers is to help humans to solve problems. The solutions for such problems are typically programmed by experts, and the computers need only to follow the specified steps to solve the problem. However, the solution of some problems may be too difficult to be explicitly programmed. In such difficult cases,...

How To Think Like A Computer Scientist: C++ Version
How To Think Like A Computer Scientist: C++ Version

The goal of this book is to teach you to think like a computer scientist. 1 like the way computer scientists think because they combine some of the best fea tures of Mathematics, Engineering, and Natural Science. Like mathematicians, computer scientists use formal languages to denote ideas (specifically computa tions). Like engineers,...

Temporal Logic for Real-Time Systems (Advanced Software Development Series)
Temporal Logic for Real-Time Systems (Advanced Software Development Series)

This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

Java 2: The Complete Reference, Fifth Edition
Java 2: The Complete Reference, Fifth Edition

The past few years document the following fact: The Web has irrevocably recast the face of computing and programmers unwilling to master its environment will be left behind.

The preceding is a strong statement. It is also true. More and more, applications must interface to the Web. It no longer matters much what the...

Result Page: 238 237 236 235 234 233 232 231 230 229 228 227 226 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy