Computer en informatica

Blijf bij in een wereld vol digitale innovatie met boeken over software, hardware, data en meer. Of je nu programmeert, onderzoekt of gewoon nieuwsgierig bent – hier ontdek je de kracht van technologie.

Zoek verder in Computer en informatica

Bekijk resultaten in...

Alle producten Managementboeken Seminars + Trainingen Online magazine Sale

Filteren 1

Pagina 2494 van 55.769 resultaten

G. Zhang

Logic of Domains

gebondenEngels9780817635701 1-1-1991

This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Feasible Mathematics II

gebondenEngels9780817636753 22-12-1994

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? Meer

98,54

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Moss E. Sweedler

Logical Methods

gebondenEngels9780817636906 26-1-1994

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Meer

183,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Control Under Lack of Information

gebondenEngels9780817636982 22-12-1994

The mathematical theory of control, essentially developed during the last decades, is used for solving many problems of practical importance. The efficiency of its applications has increased in connection with the refine ment of computer techniques and the corresponding mathematical soft ware. Meer

96,94

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Howard Straubing

Finite Automata, Formal Logic, and Circuit Complexity

gebondenEngels9780817637194 3-5-1994

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Harley Flanders

Scientific Pascal

paperbackEngels9780817637606 29-11-1995

Guide to this Book My main objective is to teach programming in Pascal to people in the hard sciences and technology, who don't have much patience with the standard textbooks with their lengthy, pedantic approach, and their many examples of no interest to scientists and engineers. Meer

61,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Subrecursive Programming Systems

gebondenEngels9780817637675 1-8-1994

1.1. What This Book is About This book is a study of • subrecursive programming systems, • efficiency/program-size trade-offs between such systems, and • how these systems can serve as tools in complexity theory. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Robert J. Lopez

Maple via Calculus

paperbackEngels9780817637712 1-8-1994

Modern software tools like Maple have the potential to alter radically the way mathematics is taught, learned, and done. Bringing such tools into the classroom during lectures, assignments, and examinations means that new ways oflooking at mathematics can becomepermanent fixtures ofthe curriculum. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Linear Systems Theory

gebondenEngels9780817637798 27-8-2004

Includes MATLAB-based computational and design algorithms utilizing the "Linear Systems Toolkit." All results and case studies presented in both the continuous- and discrete-time settings. Meer

96,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Jefferey C. Allen

H-infinity Engineering and Amplifier Optimization

gebondenEngels9780817637804 13-7-2004

H-infinity engineering continues to establish itself as a discipline of applied mathematics. As such, this extensively illustrated monograph makes a significant application of H-infinity theory to electronic amplifier design, demonstrating how recent developments in H-infinity engineering equip amplifier designers with new tools and avenues for research. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Polynomial and Matrix Computations

gebondenEngels9780817637866 1-8-1994

Our Subjects and Objectives. This book is about algebraic and symbolic computation and numerical computing (with matrices and polynomials). It greatly extends the study of these topics presented in the celebrated books of the seventies, [AHU] and [BM] (these topics have been under-represented in [CLR], which is a highly successful extension and updating of [AHU] otherwise). Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Erwin Engeler

The Combinatory Programme

gebondenEngels9780817638016 1-11-1994

Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Adaptive Systems

gebondenEngels9780817638771 30-7-1996

Loosely speaking, adaptive systems are designed to deal with, to adapt to, chang ing environmental conditions whilst maintaining performance objectives. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Systems and Control in the Twenty-First Century

gebondenEngels9780817638818 1-2-1997

The mathematical theory of networks and systems has a long, and rich history, with antecedents in circuit synthesis and the analysis, design and synthesis of actuators, sensors and active elements in both electrical and mechanical systems. Meer

183,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Peter Gloor

Elements of Hypermedia Design: Techniques for Navigation & Visualization in Cyberspace

paperbackEngels9780817639112 1-2-1997

The hypermedia authoring process has been vividly described in a special issue of the Economist as a combination of writing a book, a play, a film, and a radio or television show: A hypermedia document combines all these elements and adds some of its own. Meer

61,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Stabilization of Linear Systems

gebondenEngels9780817639709 1-6-1999

One of the main problems in control theory is the stabilization problem consisting of finding a feedback control law ensuring stability; when the linear approximation is considered, the nat ural problem is stabilization of a linear system by linear state feedback or by using a linear dynamic controller. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Modern Software Tools for Scientific Computing

gebondenEngels9780817639747 1-4-1997

Looking back at the years that have passed since the realization of the very first electronic, multi-purpose computers, one observes a tremendous growth in hardware and software performance. Meer

122,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Donald Greenspan

Particle Modeling

gebondenEngels9780817639853 23-9-1997

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

George Grätzer

First Steps in LaTeX

paperbackEngels9780817641320 1-10-1999

Are you in a hurry? A friend received a letter from the American Mathematical Society (AMS) inform ing him that his paper had been accepted for publication in the Proceedings of the AMS. Meer

61,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Nonlinear Control and Analytical Mechanics

gebondenEngels9780817641474 8-9-2000

During the past decade we have had to confront a series of control design prob lems - involving, primarily, multibody electro-mechanical systems - in which nonlinearity plays an essential role. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Uw winkelwagen

Computer en informatica

jQuery - de basis

Hardlopers

Aanbiedingen

Aanraders

ITIL 4 – Pocketguide 2e druk