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.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
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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 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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui