Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Search results

Search Results

Results: 1-120 of 1108290

Edit research

Active filters:

Simili a: Computation : finite and infinite machines
Category: Testo
Symbolic and algebraic computation : International symposium ISSAC '88, Rome, Italy, July 4-8, 1988
Testo
Symbolic and algebraic computation : International symposium ISSAC '88, Rome, Italy, July 4-8, 1988

International symposium ISSAC <1988

SIAM journal on scientific and statistical computing
Testo
SIAM journal on scientific and statistical computing
Finite element programming
Testo
Finite element programming

Hinton, Ernest

Hardware specification, verification and synthesis : mathematical aspects
Testo
Hardware specification, verification and synthesis : mathematical aspects

Mathematical sciences institute

Mathematical methods for digital computers
Testo
Mathematical methods for digital computers

Ralston, Anthony

Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989
Testo
Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989
L'elaborazione dei dati sperimentali
Testo
L'elaborazione dei dati sperimentali

Siciliano, Antonio

Finite dimensional multilinear algebra
Testo
Finite dimensional multilinear algebra

Marcus, Marvin

Mathematical foundations of computer science 1988 : proceedings of the 13. Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
Testo
Mathematical foundations of computer science 1988 : proceedings of the 13. Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
Mathematics of program construction : 375. anniversary of the Groningen university, International conference, Groningen, The Netherlands, June 26-30, 1989
Testo
Mathematics of program construction : 375. anniversary of the Groningen university, International conference, Groningen, The Netherlands, June 26-30, 1989
Metodi numerici e software in C++. 1
Testo
Metodi numerici e software in C++. 1
Analytic and plurisubharmonic functions in finite and infinite dimensional spaces : course given at the University of Maryland, Spring 1970
Testo
Analytic and plurisubharmonic functions in finite and infinite dimensional spaces : course given at the University of Maryland, Spring 1970

Herve, Michel

Metodi numerici e software in C++
Testo
Metodi numerici e software in C++

Buzzi Ferraris, Guido

Finite element solution of boundary value problems : theory and computation
Testo
Finite element solution of boundary value problems : theory and computation

Axelsson, Owe

Infinite dimensional morse theory and multiple solution problems
Testo
Infinite dimensional morse theory and multiple solution problems

Chang, Kung-Ching

Programming in mathematica
Testo
Programming in mathematica

Maeder, Roman E.

Mathematical software 3. : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977
Testo
Mathematical software 3. : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977

University of Wisconsin <Madison> : Mathematics research center

Computers in mathematics
Testo
Computers in mathematics
Ricerca operativa
Testo
Ricerca operativa

Baraggia, Paolo

Elements of statistical computing : numerical computation
Testo
Elements of statistical computing : numerical computation

Thisted, Ronald Aaron

Genetic algorithms : concepts and designs
Testo
Genetic algorithms : concepts and designs

Man, Kim F.

The finite element method in partial differential equations
Testo
The finite element method in partial differential equations

Mitchell, Andrew Ronald

Data and computer communications
Testo
Data and computer communications

Stallings, William

USSR computational mathematics and mathematical physics
Testo
USSR computational mathematics and mathematical physics
Algorithms + data structures
Testo
Algorithms + data structures

Wirth, Niklaus

Differential and difference equations through computer experiments
Testo
Differential and difference equations through computer experiments

Koçak, Hüseyin

Computational recreations in Mathematica
Testo
Computational recreations in Mathematica

Vardi, Ilan

Automata, languages and machines
Testo
Automata, languages and machines

Eilenberg, Samuel

Finite elements in plasticity : theory and practice
Testo
Finite elements in plasticity : theory and practice

Owen, David Roger Jones

Automata, languages and machines. 1
Testo
Automata, languages and machines. 1
Stiff computation
Testo
Stiff computation
Computing : Arkiv fur elektronisches Rechnen
Testo
Computing : Arkiv fur elektronisches Rechnen
The mathematics of finite elements and applications : proceedings of the Brunel university conference of the institute of mathematics and its applications, held in April 1972
Testo
The mathematics of finite elements and applications : proceedings of the Brunel university conference of the institute of mathematics and its applications, held in April 1972
Applied algebra, algebraic algorithms and error-correcting codes : 6. international conference, AAECC-6
Testo
Applied algebra, algebraic algorithms and error-correcting codes : 6. international conference, AAECC-6

AAECC <6. ; 1988

Homology of classical groups over finite fields and their associated infinite loop spaces
Testo
Homology of classical groups over finite fields and their associated infinite loop spaces

Fiedorowicz, Zbigniew

Automi, linguaggi e calcolabilit
Testo
Automi, linguaggi e calcolabilit

Hopcroft, John E. <1939- >

The design and analysis of computer algorithms
Testo
The design and analysis of computer algorithms

Aho, Alfred V.

Schaums outline of theory and problems of finite mathematics
Testo
Schaums outline of theory and problems of finite mathematics

Lipschutz, Seymour

The infinite in the finite
Testo
The infinite in the finite

Wilson, Alistair Macintosch

The mathematical revolution inspired by computing : based on the proceedings of a conference on The mathematical revolution inspired by computing organized by The Institute of mathematics and its applications and held at Brighton Polytechnic in April 1989
Testo
The mathematical revolution inspired by computing : based on the proceedings of a conference on The mathematical revolution inspired by computing organized by The Institute of mathematics and its applications and held at Brighton Polytechnic in April 1989

Conference on the mathematical revolution inspired by computing <1989

Sistemi incerti
Testo
Sistemi incerti
Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Graphs, dynamic programming, and finite games
Testo
Graphs, dynamic programming, and finite games

Kaufmann, Arnold <1911-1994>

Infinite-dimensional dynamical systems in mechanics and physics
Testo
Infinite-dimensional dynamical systems in mechanics and physics

Temam, Roger

Computer
Testo
Computer
Sistemi di elaborazione : architettura hardware e software
Testo
Sistemi di elaborazione : architettura hardware e software

Pelagatti, Giuseppe

Bit : Nordisk tidskrift for informations behandling
Testo
Bit : Nordisk tidskrift for informations behandling
Nonlinear processes in engineering : dynamic programming, invariant imbedding, quasilinearization, finite elements, system identification, optimization
Testo
Nonlinear processes in engineering : dynamic programming, invariant imbedding, quasilinearization, finite elements, system identification, optimization

Distefano, Nestor

Primality testing and Abelian varieties over finite fields
Testo
Primality testing and Abelian varieties over finite fields

Adleman, Leonard M.

Dynamical systems and fractals : computer graphics experiments in Pascal
Testo
Dynamical systems and fractals : computer graphics experiments in Pascal

Becker, Karl-Heinz

Finite groups and finite geometries
Testo
Finite groups and finite geometries

Tsuzuku, Toshiro

Mathematical theory of computation
Testo
Mathematical theory of computation

Manna, Zohar

Parallel optimization : theory, algorithms, and applications
Testo
Parallel optimization : theory, algorithms, and applications

Censor, Yair

Periodic solutions of nonlinear dynamical systems : numerical computation, stability, bifurcation and transition to chaos
Testo
Periodic solutions of nonlinear dynamical systems : numerical computation, stability, bifurcation and transition to chaos

Reithmeier, Eduard

Design and implementation of symbolic computation systems : International symposium DISCO '90
Testo
Design and implementation of symbolic computation systems : International symposium DISCO '90

International symposium on design and implementation of symbolic computation systems <1990

Probability and statistics with reliability, queueing, and computer science applications
Testo
Probability and statistics with reliability, queueing, and computer science applications

Trivedi, Kishor Shridharbhai

Fondamenti di programmazione dei calcolatori elettronici
Testo
Fondamenti di programmazione dei calcolatori elettronici
Infinite-dimensional systems : proceedings of the Conference on operator semigroups and applications held in Retzhof (Styria), Austria, June 5-11, 1983
Testo
Infinite-dimensional systems : proceedings of the Conference on operator semigroups and applications held in Retzhof (Styria), Austria, June 5-11, 1983

Conference on operator semigroups and applications <1983

Advanced combinatorics : the art of finite and infinite expansions
Testo
Advanced combinatorics : the art of finite and infinite expansions

Comtet, Louis

Computers in geometry and topology
Testo
Computers in geometry and topology
SIAM journal on scientific computing
Testo
SIAM journal on scientific computing
Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989
Testo
Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989

IWDM <6. ; 1989

Introduction to Maple
Testo
Introduction to Maple

Heck, André <matematico>

Schaum's outline of theory and problems of introduction to computer science
Testo
Schaum's outline of theory and problems of introduction to computer science

Scheid, Francis J.

Programmation des calculatrices numeriques
Testo
Programmation des calculatrices numeriques

McCracken, Daniel D.

Semidynamical systems in infinite dimensional spaces
Testo
Semidynamical systems in infinite dimensional spaces

Saperstone, Stephen H.

Struttura, organizzazione e progetto dei calcolatori : interdipendenza tra hardware e software
Testo
Struttura, organizzazione e progetto dei calcolatori : interdipendenza tra hardware e software

Patterson, David A.

Automi, linguaggi e calcolabilit
Testo
Automi, linguaggi e calcolabilit

Hopcroft, John E. <1939- >

Seminar on algebraic groups and related finite groups : held at the Institute for advanced study, Princeton, NJ, 1968-69
Testo
Seminar on algebraic groups and related finite groups : held at the Institute for advanced study, Princeton, NJ, 1968-69

Seminar on algebraic groups and related finite groups <1968-69

Theory and application of infinite series
Testo
Theory and application of infinite series

Knopp, Konrad

System identification : advances and case studies
Testo
System identification : advances and case studies
A primer for finite elements in elastic structures
Testo
A primer for finite elements in elastic structures

Carroll, W. F.

Computer algebra : EUROCAM '82, European computer algebra conference
Testo
Computer algebra : EUROCAM '82, European computer algebra conference

European computer algebra conference <1. ; 1982

Mathematica : a system for doing mathematics by computer
Testo
Mathematica : a system for doing mathematics by computer

Wolfram, Stephen <1959->

Ingegneria del software : fondamenti e principi
Testo
Ingegneria del software : fondamenti e principi

Ghezzi, Carlo

Concetti dei linguaggi di programmazione
Testo
Concetti dei linguaggi di programmazione

Ghezzi, Carlo

4: Infinite groups
Testo
4: Infinite groups
Functional differential equations with infinite delay
Testo
Functional differential equations with infinite delay

Hino, Yoshiyuki

Infinite dimensional analysis : a hitchhikers guide
Testo
Infinite dimensional analysis : a hitchhikers guide

Aliprantis, Charalambos D.

1: Finite dimensional algebras
Testo
1: Finite dimensional algebras

International conference on representations of algebras <4. ; 1984

Finite dimensional multilinear algebra. 1.
Testo
Finite dimensional multilinear algebra. 1.
A rational finite element basis
Testo
A rational finite element basis

Wachspress, Eugene L.

Schaum's outline of theory and problems of calculus of finite differences and difference equations
Testo
Schaum's outline of theory and problems of calculus of finite differences and difference equations

Spiegel, Murray R.

Inverse problems in quantum scattering theory
Testo
Inverse problems in quantum scattering theory

Chadan, Khosrow

La logica dei sistemi di elaborazione
Testo
La logica dei sistemi di elaborazione

Gerace, Giovanni Battista

Symbolic and algebraic computation : EUROSAM '79, an International symposium on symbolic and algebraic manipulation, Marseilles, France, June 1979
Testo
Symbolic and algebraic computation : EUROSAM '79, an International symposium on symbolic and algebraic manipulation, Marseilles, France, June 1979

International symposium on symbolic and algebraic manipulation <1979

Finite rank torsion free abelian groups and rings
Testo
Finite rank torsion free abelian groups and rings

Arnold, David M.

Neural computation and self-organizing maps : an introduction
Testo
Neural computation and self-organizing maps : an introduction

Ritter, Helge

Algoritmi e strutture dati
Testo
Algoritmi e strutture dati

Demetrescu, Camil

Handbook for automatic computation
Testo
Handbook for automatic computation
Finite element analysis for undergraduates
Testo
Finite element analysis for undergraduates

Akin, J. E.

Finite elements in fluids. 3
Testo
Finite elements in fluids. 3
Numerical recipes in FORTRAN : the art of scientific computing
Testo
Numerical recipes in FORTRAN : the art of scientific computing
ACM transactions on mathematical software
Testo
ACM transactions on mathematical software
IEEE transactions on electronic computers
Testo
IEEE transactions on electronic computers
Group rings of finite groups over p-adic integers
Testo
Group rings of finite groups over p-adic integers

Plesken, Wilhelm

K-theory of finite groups and orders
Testo
K-theory of finite groups and orders

Swan, Richard G.

Current trends in concurrency : overviews and tutorials
Testo
Current trends in concurrency : overviews and tutorials
Communications of the Association for computing machinery
Testo
Communications of the Association for computing machinery
Computational geometry : algorithms and applications
Testo
Computational geometry : algorithms and applications
Convexity and optimization in finite dimensions 1.
Testo
Convexity and optimization in finite dimensions 1.

Stoer, Josef

Informatica istituzioni : linguaggio di riferimento ANSI C
Testo
Informatica istituzioni : linguaggio di riferimento ANSI C

Ceri, Stefano

Progettazione ed analisi degli algoritmi paralleli
Testo
Progettazione ed analisi degli algoritmi paralleli

Akl, Selim G.

Additive number theory : inverse problems and the geometry of sumsets
Testo
Additive number theory : inverse problems and the geometry of sumsets

Nathanson, Melvyn B.

Finite-difference methods for partial differential equations
Testo
Finite-difference methods for partial differential equations

Forsythe, George E.

Journal of symbolic computation
Testo
Journal of symbolic computation
Introduction to the theory of computation
Testo
Introduction to the theory of computation

Engeler, Erwin

3: Quantum mechanics of atoms and molecules
Testo
3: Quantum mechanics of atoms and molecules

Thirring, Walter E. <1927-2014>

Finite element methods and Navier-Stokes equations
Testo
Finite element methods and Navier-Stokes equations

Cuvelier, Cornelius

Proceedings on infinite dimensional holomorphy : University of Kentucky, 1973
Testo
Proceedings on infinite dimensional holomorphy : University of Kentucky, 1973
Software reliability modelling and identification
Testo
Software reliability modelling and identification
The mathematics and physics of disordered media : percolation, random walk, modeling and simulation
Testo
The mathematics and physics of disordered media : percolation, random walk, modeling and simulation
An introduction to support vector machines and other Kernel-based learning methods
Testo
An introduction to support vector machines and other Kernel-based learning methods

Cristianini, Nello

Asymptotic theory of finite dimensional normed spaces
Testo
Asymptotic theory of finite dimensional normed spaces

Milman, Vitali D.

Sampling techniques
Testo
Sampling techniques

Cochran, William Gemmell

Unix : sviluppo del software di networking
Testo
Unix : sviluppo del software di networking

Stevens, W. Richard

Finite presentability of S-arithmetic groups, compact presentability of solvable groups
Testo
Finite presentability of S-arithmetic groups, compact presentability of solvable groups

Abels, Herbert

Finite elements in fluids
Testo
Finite elements in fluids
Supercomputers and parallel computation : based on the proceedings of a workshop on progress in the use of vector and array processors organized by the Institute of mathematics and its applications and held in Bristol, 2-3 September 1982
Testo
Supercomputers and parallel computation : based on the proceedings of a workshop on progress in the use of vector and array processors organized by the Institute of mathematics and its applications and held in Bristol, 2-3 September 1982
Schaum's outline of theory and problems of fluid mechanics and hydraulics
Testo
Schaum's outline of theory and problems of fluid mechanics and hydraulics

Giles, Ranald V.

1 2 3

Filter results

Close

Subjects

Indietro Avanti