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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels
| Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels |
| Autore | Bokowski, Jürgen |
| Pubbl/distr/stampa | Berlin, : Springer, 1989 |
| Descrizione fisica | viii, 172 p. ; 24 cm |
| Altri autori (Persone) | Sturmfels, Bernd |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
05-XX - Combinatorics [MSC 2020] 68Rxx - Discrete mathematics in relation to computer science [MSC 2020] 05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 51D20 - Combinatorial geometries and geometric closure systems [MSC 2020] 51A20 - Configuration theorems in linear incidence geometry [MSC 2020] 52Bxx - Polytopes and polyhedra [MSC 2020] 14M15 - Grassmannians, Schubert varieties, flag manifolds [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Complexity Computer algebra Construction Discrete geometry Fields Knowledge Manifolds Mathematica Mathematics Microsoft Access Processing Vector spaces eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0265716 |
Bokowski, Jürgen
|
||
| Berlin, : Springer, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels
| Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels |
| Autore | Bokowski, Jürgen |
| Pubbl/distr/stampa | Berlin, : Springer, 1989 |
| Descrizione fisica | viii, 172 p. ; 24 cm |
| Altri autori (Persone) | Sturmfels, Bernd |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 14M15 - Grassmannians, Schubert varieties, flag manifolds [MSC 2020] 51A20 - Configuration theorems in linear incidence geometry [MSC 2020] 51D20 - Combinatorial geometries and geometric closure systems [MSC 2020] 52Bxx - Polytopes and polyhedra [MSC 2020] 68Rxx - Discrete mathematics in relation to computer science [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Complexity Computer algebra Constructions Discrete geometry Fields Knowledge Manifolds Mathematica Mathematics Microsoft Access Processing Vector spaces eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00265716 |
Bokowski, Jürgen
|
||
| Berlin, : Springer, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Empirical perspectives on anaphora resolution / / edited by Anke Holler and Katja Suckow
| Empirical perspectives on anaphora resolution / / edited by Anke Holler and Katja Suckow |
| Pubbl/distr/stampa | Berlin, [Germany] : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (306 p.) |
| Disciplina | 415 |
| Collana | Linguistische Arbeiten |
| Soggetto topico | Reference (Linguistics) |
| Soggetto genere / forma | Conference papers and proceedings. |
| Soggetto non controllato |
Language Acquisition
Processing Psycholinguistics Salience |
| ISBN |
3-11-046410-1
3-11-046232-X |
| Classificazione | ET 770 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- The role of syntax, semantics, and pragmatics in pronoun resolution: A cross-linguistic overview -- Effects of coherence on anaphor resolution, and vice versa: Evidence from French personal pronouns and anaphoric demonstratives -- How clausal linking affects noun phrase salience in pronoun resolution -- Information structure effects on null and overt subject comprehension in Spanish -- Factors determining the choice of anaphora in Old High German – A survey of zero and personal pronoun usage in Otfrid -- Constraints on choice of referring expression in Yurakaré -- Strong indefinites in Turkish, referential persistence, and salience structure -- Anaphoric reference by demonstrative pronouns in German. In search of the relevant parameters -- Thematic role as prominence cue during pronoun resolution in German -- Binding and coreference in non-native language processing -- Children’s eye gaze reveals their use of discourse context in object pronoun resolution -- Index |
| Record Nr. | UNINA-9910798351603321 |
| Berlin, [Germany] : , : De Gruyter, , 2016 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Empirical perspectives on anaphora resolution / / edited by Anke Holler and Katja Suckow
| Empirical perspectives on anaphora resolution / / edited by Anke Holler and Katja Suckow |
| Pubbl/distr/stampa | Berlin, [Germany] : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (306 p.) |
| Disciplina | 415 |
| Collana | Linguistische Arbeiten |
| Soggetto topico | Reference (Linguistics) |
| Soggetto genere / forma | Conference papers and proceedings. |
| Soggetto non controllato |
Language Acquisition
Processing Psycholinguistics Salience |
| ISBN |
3-11-046410-1
3-11-046232-X |
| Classificazione | ET 770 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- The role of syntax, semantics, and pragmatics in pronoun resolution: A cross-linguistic overview -- Effects of coherence on anaphor resolution, and vice versa: Evidence from French personal pronouns and anaphoric demonstratives -- How clausal linking affects noun phrase salience in pronoun resolution -- Information structure effects on null and overt subject comprehension in Spanish -- Factors determining the choice of anaphora in Old High German – A survey of zero and personal pronoun usage in Otfrid -- Constraints on choice of referring expression in Yurakaré -- Strong indefinites in Turkish, referential persistence, and salience structure -- Anaphoric reference by demonstrative pronouns in German. In search of the relevant parameters -- Thematic role as prominence cue during pronoun resolution in German -- Binding and coreference in non-native language processing -- Children’s eye gaze reveals their use of discourse context in object pronoun resolution -- Index |
| Record Nr. | UNINA-9910824907903321 |
| Berlin, [Germany] : , : De Gruyter, , 2016 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fourier Techniques and Applications / edited by John F. Price
| Fourier Techniques and Applications / edited by John F. Price |
| Pubbl/distr/stampa | New York, : Plenum, 1985 |
| Descrizione fisica | viii, 231 p. ; 24 cm |
| Soggetto topico |
94-XX - Information and communication theory, circuits [MSC 2020]
42-XX - Harmonic analysis on Euclidean spaces [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Calculus
Diffusion Distribution Functions Metals Processing Spectroscopy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268765 |
| New York, : Plenum, 1985 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Fourier Techniques and Applications / edited by John F. Price
| Fourier Techniques and Applications / edited by John F. Price |
| Pubbl/distr/stampa | New York, : Plenum, 1985 |
| Descrizione fisica | viii, 231 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
42-XX - Harmonic analysis on Euclidean spaces [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] |
| Soggetto non controllato |
Calculus
Diffusion Distribution Functions Metals Processing Spectroscopy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268765 |
| New York, : Plenum, 1985 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Fuzzy Models and Algorithms for Pattern Recognition and Image Processing / James C. Bezdek ... [et al.]
| Fuzzy Models and Algorithms for Pattern Recognition and Image Processing / James C. Bezdek ... [et al.] |
| Pubbl/distr/stampa | New York, : Springer, : Kluwer, 1999 |
| Descrizione fisica | xv, 776 p. ; 24 cm |
| Soggetto non controllato |
Algorithms
Cluster Cognition Computer Computer vision Fuzzy sets Image Analysis Image processing Pattern recognition Processing Remote sensing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00300302 |
| New York, : Springer, : Kluwer, 1999 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Multiple-Criteria Decision Making : Concepts, Techniques, and Extensions / Po-Lung Yu ; With the assistance of Yoon-Ro Lee and Antonie Stam
| Multiple-Criteria Decision Making : Concepts, Techniques, and Extensions / Po-Lung Yu ; With the assistance of Yoon-Ro Lee and Antonie Stam |
| Autore | Yu, Po-Lung |
| Pubbl/distr/stampa | New York, : Plenum, 1985 |
| Descrizione fisica | xiv, 388 p. : ill. ; 24 cm |
| Soggetto topico |
91B06 - Decision theory [MSC 2020]
91B16 - Utility theory [MSC 2020] 91A35 - Decision theory for games [MSC 2020] 90B50 - Management decision making, including multiple objectives [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C31 - Sensitivity, stability, parametric optimization [MSC 2020] 91A40 - Other game-theoretic models [MSC 2020] 91B08 - Individual preferences [MSC 2020] |
| Soggetto non controllato |
Control
Decision making Linear optimization Management Modeling Nonlinear optimization Operations Research Optimal Control Optimization Probability Processing Programming Satisficing Variance |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268800 |
Yu, Po-Lung
|
||
| New York, : Plenum, 1985 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||