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 |
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 |
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 |
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 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-VAN00265716 |
Bokowski, Jürgen
![]() |
||
Berlin, : Springer, 1989 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 |
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 |
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 |
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 | ||
|
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 | ||
|
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 |
90-XX - Operations research, mathematical programming [MSC 2020]
90B50 - Management decision making, including multiple objectives [MSC 2020] 90C31 - Sensitivity, stability, parametric optimization [MSC 2020] 91A35 - Decision theory for games [MSC 2020] 91A40 - Other game-theoretic models [MSC 2020] 91B06 - Decision theory [MSC 2020] 91B08 - Individual preferences [MSC 2020] 91B16 - Utility theory [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-VAN00268800 |
Yu, Po-Lung
![]() |
||
New York, : Plenum, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|