top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
1. / edited by M. W. Padberg
1. / edited by M. W. Padberg
Pubbl/distr/stampa Amsterdam, : North-Holland, 1980
Descrizione fisica 222 p. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020]
90C27 - Combinatorial optimization [MSC 2020]
Soggetto non controllato Algebra
Algorithms
Combinatorial optimization
Heuristics
Mathematica
Optimization
Polynomials
Programming
Sets
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00261521
Amsterdam, : North-Holland, 1980
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1.A: Description of ALGOL 60 / Heinz Rutishauser
1.A: Description of ALGOL 60 / Heinz Rutishauser
Autore Rutishauser, Heinz
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica xii, 326 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
Soggetto non controllato Algebra
Algol 60
Algorithms
Arithmetic
Differential equations
Equations
Fortran
Functions
Processing
Programming
Programming language
Semantics
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254574
Rutishauser, Heinz  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1.A: Description of ALGOL 60 / Heinz Rutishauser
1.A: Description of ALGOL 60 / Heinz Rutishauser
Autore Rutishauser, Heinz
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica xii, 326 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
Soggetto non controllato Algebra
Algol 60
Algorithms
Arithmetic
Differential equations
Equations
Fortran
Functions
Processing
Programming
Programming language
Semantics
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00254574
Rutishauser, Heinz  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
Autore Grau, Albert A.
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica ix, 403 p. : ill. ; 24 cm
Altri autori (Persone) Hill, Ursula
Langmaack, Hans
Soggetto topico 65-XX - Numerical analysis [MSC 2020]
Soggetto non controllato Algol 60
Algorithms
Arithmetic
Calculation
Functions
Mathematics
Numerical Analysis
Optimization
Programming
Programming language
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254577
Grau, Albert A.  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
Autore Grau, Albert A.
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica ix, 403 p. : ill. ; 24 cm
Altri autori (Persone) Hill, Ursula
Langmaack, Hans
Soggetto topico 65-XX - Numerical analysis [MSC 2020]
Soggetto non controllato Algol 60
Algorithms
Arithmetic
Calculation
Functions
Mathematics
Numerical Analysis
Optimization
Programming
Programming language
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00254577
Grau, Albert A.  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2. / Edited by Roger J.-B. Wets
2. / Edited by Roger J.-B. Wets
Pubbl/distr/stampa Amsterdam, : North-Holland, 1976
Descrizione fisica viii, 263 p. ; 24 cm
Soggetto topico 00Bxx - Conference proceedings and collections of articles [MSC 2020]
60-XX - Probability theory and stochastic processes [MSC 2020]
93-XX - Systems theory; control [MSC 2020]
Soggetto non controllato Approximation
Modeling
Optimal Control
Optimization
Programming
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00257604
Amsterdam, : North-Holland, 1976
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2. / edited by V. J. Rayward-Smith
2. / edited by V. J. Rayward-Smith
Pubbl/distr/stampa Amsterdam, : North-Holland, 1980
Descrizione fisica 142 p. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020]
90C27 - Combinatorial optimization [MSC 2020]
Soggetto non controllato Algorithms
Combinatorial optimization
Linear optimization
Matchings
Optimization
Programming
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00261524
Amsterdam, : North-Holland, 1980
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Linear Algebra / J. H. Wilkinson, C. Reinsch
2: Linear Algebra / J. H. Wilkinson, C. Reinsch
Autore Wilkinson, James H.
Pubbl/distr/stampa Berlin, : Springer, 1971
Descrizione fisica ix, 441 p. : ill. ; 24 cm
Altri autori (Persone) Reinsch, Christian H.
Soggetto topico 65-XX - Numerical analysis [MSC 2020]
15-XX - Linear and multilinear algebra; matrix theory [MSC 2020]
65Fxx - Numerical linear algebra [MSC 2020]
Soggetto non controllato Algebra
Algorithms
Calculation
Computer
Eigenvalue problems
Equations
Finite
Natural
Numerical Analysis
Programming
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0255288
Wilkinson, James H.  
Berlin, : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Linear Algebra / J. H. Wilkinson, C. Reinsch
2: Linear Algebra / J. H. Wilkinson, C. Reinsch
Autore Wilkinson, James H.
Pubbl/distr/stampa Berlin, : Springer, 1971
Descrizione fisica ix, 441 p. : ill. ; 24 cm
Altri autori (Persone) Reinsch, Christian H.
Soggetto topico 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020]
65-XX - Numerical analysis [MSC 2020]
65Fxx - Numerical linear algebra [MSC 2020]
Soggetto non controllato Algebra
Algorithms
Calculation
Computer
Eigenvalue problems
Equations
Finite
Natural
Numerical Analysis
Programming
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00255288
Wilkinson, James H.  
Berlin, : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
Autore Kfoury, Assaf J.
Pubbl/distr/stampa New York, : Springer-Verlag, 1982
Descrizione fisica viii, 251 p. : ill. ; 24 cm
Altri autori (Persone) Arbib, Michael A.
Moll, Robert N.
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03D80 - Applications of computability and recursion theory [MSC 2020]
68N01 - General topics in the theory of software [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]
Soggetto non controllato Algorithms
Classification
Computability theory
Formal languages
Predictability
Programming
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0268469
Kfoury, Assaf J.  
New York, : Springer-Verlag, 1982
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui