Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Suchergebnisse

Suchergebnisse

Ergebnisse: 1-120 von 2185240

Forschung bearbeiten

Aktive Filter:

Simili a: Computer programming and formal systems
Kategorie: Testo
Prolog programming : applications for database systems, expert systems, and natural language systems
Testo
Prolog programming : applications for database systems, expert systems, and natural language systems

Marcus, Claudia

Control systems functions and programming approaches
Testo
Control systems functions and programming approaches

Chorafas, Dimitris N.

Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963
Testo
Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963

Logic Colloquium [8 ; 1963 ; Oxford]

Mathematical programming : theory and algorithms
Testo
Mathematical programming : theory and algorithms

Minoux, Michel

Formal properties of finite automata and applications : LITP Spring school on theoretical computer science, Ramatuelle, France, May 23-27, 1988
Testo
Formal properties of finite automata and applications : LITP Spring school on theoretical computer science, Ramatuelle, France, May 23-27, 1988

Spring school on theoretical computer science <16. ; 1988

CAAP '88 : 13. Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988
Testo
CAAP '88 : 13. Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988

Colloquium on trees in algebra and programming <13. ; 1988

Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987
Testo
Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987
Computer algebra : systems and algorithms for algebraic computation
Testo
Computer algebra : systems and algorithms for algebraic computation

Davenport, James H.

Optimization under constraints : theory and applications of nonlinear programming
Testo
Optimization under constraints : theory and applications of nonlinear programming

Whittle, Peter

Formal power series and linear systems of meromorphic ordinary differential equations
Testo
Formal power series and linear systems of meromorphic ordinary differential equations

Balser, Werner

Linear and integer programming : theory and practice
Testo
Linear and integer programming : theory and practice

Sierksma, Gerard

Dynamic programming and the calculus of variations
Testo
Dynamic programming and the calculus of variations

Dreyfus, Stuart E.

Integer and nonlinear programming
Testo
Integer and nonlinear programming
Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988
Testo
Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988

International workshop PLILP <1. ; 1988

Functional programming : application and implementation
Testo
Functional programming : application and implementation

Henderson, Peter <1944- >

Foundations of logic and functional programming : Workshop, Trento, Italy, December 15-19, 1986
Testo
Foundations of logic and functional programming : Workshop, Trento, Italy, December 15-19, 1986
Mathematical interpretation of formal systems
Testo
Mathematical interpretation of formal systems
Programming and utilizing digital computers
Testo
Programming and utilizing digital computers

Ledley, Robert Steven

Embedded systems : new approaches to their formal description and design
Testo
Embedded systems : new approaches to their formal description and design
Theory of formal systems
Testo
Theory of formal systems

Smullyan, Raymond

Formal techniques in real-time and fault tolerant systems : second international symposium
Testo
Formal techniques in real-time and fault tolerant systems : second international symposium
Dynamic programming and stochastic control
Testo
Dynamic programming and stochastic control

Bertsekas, Dimitri P.

A formal model of visualization in computer graphics systems
Testo
A formal model of visualization in computer graphics systems

Onodera, Tamiya

Interior-point polynomial algorithms in convex programming
Testo
Interior-point polynomial algorithms in convex programming

Nesterov, Yurii E.

Digital computer programming
Testo
Digital computer programming

McCracken, Daniel D.

Mathematical methods and theory in games, programming and economics
Testo
Mathematical methods and theory in games, programming and economics

Karlin, Samuel <1923-2007>

Programming Perl
Testo
Programming Perl

Wall, Larry

Finite element programming
Testo
Finite element programming

Hinton, Ernest

Studies on graphs and discrete programming
Testo
Studies on graphs and discrete programming
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
Testo
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

Logic programming conference <5. ; 1986

Computer programming and architecture : the VAX-11
Testo
Computer programming and architecture : the VAX-11

Levy, Henry M.

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

Kaufmann, Arnold <1911-1994>

Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985
Testo
Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985
The art and theory of dynamic programming
Testo
The art and theory of dynamic programming

Dreyfus, Stuart E.

Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Mathematical programming : structures and algorithms
Testo
Mathematical programming : structures and algorithms

Shapiro, Jeremy F.

Introduction to linear and nonlinear programming
Testo
Introduction to linear and nonlinear programming

Luenberger, David G. <1937- >

Microprocessor programming and software development
Testo
Microprocessor programming and software development

Duncan, Fraser G.

Linear programming and extensions
Testo
Linear programming and extensions

Dantzig, George Bernard

Linear programming : methods and applications
Testo
Linear programming : methods and applications

Gass, Saul Irving <1926-2013>

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987
Testo
Category theory and computer science : Edinburgh, U.K., September 7-9, 1987
Types and programming languages
Testo
Types and programming languages

Pierce, Benjamin Crawford

Linear programming
Testo
Linear programming

Karloff, Howard <1961- >

1: Advanced seminar on foundations of innovative software development 1. and Colloquium on trees in algebra and programming (CAAP '87)
Testo
1: Advanced seminar on foundations of innovative software development 1. and Colloquium on trees in algebra and programming (CAAP '87)

Advanced seminar on foudations of innovative software development <1. ; 1987

Programming languages : history and fundamentals
Testo
Programming languages : history and fundamentals

Sammet, Jean E.

Linear and nonlinear programming
Testo
Linear and nonlinear programming

Luenberger, David G. <1937- >

Nonlinear programming theory and methods
Testo
Nonlinear programming theory and methods

Martos, Bela

Mathematical programming and electrical networks
Testo
Mathematical programming and electrical networks

Dennis, J. B.

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
Testo
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
Proof theory and intuitionistic systems
Testo
Proof theory and intuitionistic systems

Scarpellini, Bruno

Nonlinear programming : theory and algorithms
Testo
Nonlinear programming : theory and algorithms

Bazaraa, Mokhtar S.

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

Temam, Roger

CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988
Testo
CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988

Workshop on computer science logic <2. ; 1988

1: Advanced seminar on foundations of innovative software development 1. and Colloquium on trees in algebra and programming (CAAP '89)
Testo
1: Advanced seminar on foundations of innovative software development 1. and Colloquium on trees in algebra and programming (CAAP '89)

Advanced seminar on Foundations of innovative software development <1989

ECOOP '88 : European conference on object-oriented programming
Testo
ECOOP '88 : European conference on object-oriented programming

European conference on object-oriented programming <2. ; 1988

Foundations of logic programming
Testo
Foundations of logic programming

Lloyd, John Wylie

Linear programming and network flows
Testo
Linear programming and network flows

Bazaraa, Mokhtar S.

Integer and mixed programming : theory and applications
Testo
Integer and mixed programming : theory and applications

Kaufmann, Arnold <1911-1994>

VDM '87 : VDM- a formal method at work
Testo
VDM '87 : VDM- a formal method at work

VDM Europe symposium <1987

Attribute grammars : definitions, systems and bibliography
Testo
Attribute grammars : definitions, systems and bibliography

Deransart, Pierre

Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984
Testo
Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984
1: Matrix games, programming and mathematical economics
Testo
1: Matrix games, programming and mathematical economics

Karlin, Samuel <1923-2007>

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

Aho, Alfred V.

Introduzione alla programmazione ed alla scienza dei calcolatori
Testo
Introduzione alla programmazione ed alla scienza dei calcolatori

Ralston, Anthony

Geometry, physics, and systems
Testo
Geometry, physics, and systems

Hermann, Robert A.

Computer networks and ISDN systems : the international journal of Computer networks and ISDN systems
Testo
Computer networks and ISDN systems : the international journal of Computer networks and ISDN systems
Mathematical foundations of programming language semantics : 3. workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987
Testo
Mathematical foundations of programming language semantics : 3. workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987
Nonlinear programming : theory and algorithms
Testo
Nonlinear programming : theory and algorithms

Bazaraa, Mokhtar S.

Mathematics for stability and optimization of economic systems
Testo
Mathematics for stability and optimization of economic systems

Murata, Yasuo

Exterior differential systems and the calculus of variations
Testo
Exterior differential systems and the calculus of variations

Griffiths, Phillip A. <1938->

Functional programming languages and computer architecture : 5. ACM conference
Testo
Functional programming languages and computer architecture : 5. ACM conference

Association for Computing Machinery

Computer solution of linear algebraic systems
Testo
Computer solution of linear algebraic systems

Forsythe, George E.

Tableau systems for first order number theory and certain higher order theories
Testo
Tableau systems for first order number theory and certain higher order theories

Toledo, Sue Ann <1940-....>

Additive and cancellative interacting particle systems
Testo
Additive and cancellative interacting particle systems

Griffeath, David

Fortran codes for mathematical programming : linear, quadratic and discrete
Testo
Fortran codes for mathematical programming : linear, quadratic and discrete

Land, A. H.

Recent advances in mathematical programming
Testo
Recent advances in mathematical programming
Stochastic approximation methods for constrained and unconstrained systems
Testo
Stochastic approximation methods for constrained and unconstrained systems

Kushner, Harold Joseph <1933- >

Introduction to parallel and vector solution of linear systems
Testo
Introduction to parallel and vector solution of linear systems

Ortega, James M.

Algebraic and logic programming : second international conference
Testo
Algebraic and logic programming : second international conference
Numerical methods and Fortran programming : with applications in engineering and science
Testo
Numerical methods and Fortran programming : with applications in engineering and science

McCracken, Daniel D.

Categories of algebraic systems : vector and projective spaces, semigroups, rings and lattices
Testo
Categories of algebraic systems : vector and projective spaces, semigroups, rings and lattices

Petrich, Mario

Mathematical programming : ˆthe ‰state of art
Testo
Mathematical programming : ˆthe ‰state of art
Category theory and computer science : Manchester, UK, September 5-8, 1989
Testo
Category theory and computer science : Manchester, UK, September 5-8, 1989
Automata, languages and programming : 14. international colloquium
Testo
Automata, languages and programming : 14. international colloquium
Kinetic logic a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course Formal analysis of genetic regulation, held in Brussels, September 6-16, 1977
Testo
Kinetic logic a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course Formal analysis of genetic regulation, held in Brussels, September 6-16, 1977
Structural Analysis and Design of Multivariable Control Systems : an algebraic approach
Testo
Structural Analysis and Design of Multivariable Control Systems : an algebraic approach

Tsay, Yih Tsong

Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
Testo
Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
Differential systems and isometric embeddings
Testo
Differential systems and isometric embeddings

Griffiths, Phillip A. <1938->

Introduction to linear and convex programming
Testo
Introduction to linear and convex programming

Cameron, Neil

Algebraic methods : theory, tools and applications
Testo
Algebraic methods : theory, tools and applications
Dynamic programming and Markov processes
Testo
Dynamic programming and Markov processes

Howard, Ronald A.

Nonlinear differential equations and dynamical systems
Testo
Nonlinear differential equations and dynamical systems

Verhulst, Ferdinand <1939- >

Linear programming : methods and applications
Testo
Linear programming : methods and applications

Gass, Saul Irving <1926-2013>

Theory of linear and integer programming
Testo
Theory of linear and integer programming

Schrijver, Alexander

Dynamical systems and their applications : linear theory
Testo
Dynamical systems and their applications : linear theory

Casti, John L.

Seminar on differential equations and dynamical systems, 2. : Seminar lectures at the University of Maryland, 1969
Testo
Seminar on differential equations and dynamical systems, 2. : Seminar lectures at the University of Maryland, 1969

Seminar on differential equations and dynamical systems <2. ; 1969

Computer algebra and parallelism
Testo
Computer algebra and parallelism

Della Dora, Jean

Linear inequalities and related systems
Testo
Linear inequalities and related systems
Programming language implementation and logic programming : international workshop PLILP '90
Testo
Programming language implementation and logic programming : international workshop PLILP '90

International workshop on programming language implementation and logic programming <2. ; 1990

The mathematics of nonlinear programming
Testo
The mathematics of nonlinear programming

Peressini, Anthony L.

Systems of partial differential equations and Lie pseudogroups
Testo
Systems of partial differential equations and Lie pseudogroups

Pommaret, J.-F.

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987
Testo
CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Workshop on computer science logic <1. ; 1987

Pseudo-boolean programming and applications : presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October 1964
Testo
Pseudo-boolean programming and applications : presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October 1964

Ivanescu, Petru L.

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988
Testo
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Centro internazionale matematico estivo

Nonlinear programming : sequential unconstrained minimization techniques
Testo
Nonlinear programming : sequential unconstrained minimization techniques

Fiacco, Anthony V.

CAAP '86 : 11. Colloquium on trees in algebra and programming
Testo
CAAP '86 : 11. Colloquium on trees in algebra and programming

Colloquium on trees in algebra and programming <11. ; 1986

Programming languages : concepts and constructs
Testo
Programming languages : concepts and constructs

Sethi, Ravi

Formal groups and applications
Testo
Formal groups and applications

Hazewinkel, Michiel

Third international conference on logic programming : Imperial college of science and technology, London, United Kingdom, July 14-18, 1986
Testo
Third international conference on logic programming : Imperial college of science and technology, London, United Kingdom, July 14-18, 1986

International conference on logic programming <3. ; 1986

Computer arithmetic in theory and practice
Testo
Computer arithmetic in theory and practice

Kulisch, Ulrich W.

Regularity theory for quasilinear elliptic systems and Monge-Ampere equations in two dimensions
Testo
Regularity theory for quasilinear elliptic systems and Monge-Ampere equations in two dimensions

Schulz, Friedmar

Software reliability modelling and identification
Testo
Software reliability modelling and identification
Differential equations and dynamical systems
Testo
Differential equations and dynamical systems

Perko, Lawrence

Nonlinear differential equations and dynamical systems
Testo
Nonlinear differential equations and dynamical systems

Verhulst, Ferdinand <1939- >

Nonlinear programming : theory and algorithms
Testo
Nonlinear programming : theory and algorithms

Bazaraa, Mokhtar S.

Dynamic programming : sequential scientific management
Testo
Dynamic programming : sequential scientific management

Kaufmann, Arnold <1911-1994>

Dynamical systems : stability theory and applications
Testo
Dynamical systems : stability theory and applications

Bhatia, Nam Parshad

Foundations of equational logic programming
Testo
Foundations of equational logic programming

Holldobler, Steffen

Game theory : lectures for economists and systems scientists
Testo
Game theory : lectures for economists and systems scientists

Vorobʹev, Nikolaj Nikolaevi

Dynamic programming
Testo
Dynamic programming

Sniedovich, Moshe

1 2 3

Filter Ergebnisse

Schließen

Fächer

Indietro Avanti