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.
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 | ||
| ||
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 | ||
| ||
A Compendium of Continuous Lattices / G. Gierz ... [et al.]
| A Compendium of Continuous Lattices / G. Gierz ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | xx, 371 p. ; 24 cm |
| Soggetto non controllato |
Algebra
Boundary Element Methods Collaboration Computer Function spaces Functions Language Lattices Mathematics Semantics Steady association Story Time |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261495 |
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Compendium of Continuous Lattices / G. Gierz ... [et al.]
| A Compendium of Continuous Lattices / G. Gierz ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | xx, 371 p. ; 24 cm |
| Soggetto topico |
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
06A12 - Semilattices [MSC 2020] 06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 06C20 - Complemented modular lattices, continuous geometries [MSC 2020] 06D20 - Heyting algebras (lattice-theoretic aspects) [MSC 2020] 46-XX - Functional analysis [MSC 2020] 46L30 - States of selfadjoint operator algebras [MSC 2020] 46L40 - Automorphisms of selfadjoint operator algebras [MSC 2020] 54H12 - Topological lattices, etc. (topological aspects) [MSC 2020] |
| Soggetto non controllato |
Algebra
Boundary Element Methods Collaboration Computer Function spaces Functions Language Lattices Mathematics Semantics Steady association Story Time |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261495 |
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithms: Main Ideas and Applications / by Vladimir Uspensky and Alexei Semenov
| Algorithms: Main Ideas and Applications / by Vladimir Uspensky and Alexei Semenov |
| Autore | Uspensky, Vladimir A. |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1993 |
| Descrizione fisica | xii, 269 p. : ill. ; 24 cm |
| Altri autori (Persone) | Semenov, Alekseĭ L. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Arithmetic Boundary Element Methods Complexity Design Entropy Forms Hardware Information Theory Informations Logic Mathematical logic Notation Randomness Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00290920 |
|
Uspensky, Vladimir A.
|
||
| Dordrecht, : Springer, : Kluwer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Annotation, exploitation and evaluation of parallel corpora : TC3 I / / edited by Silvia Hansen-Schirra, Oliver Čulo, Stella Neumann
| Annotation, exploitation and evaluation of parallel corpora : TC3 I / / edited by Silvia Hansen-Schirra, Oliver Čulo, Stella Neumann |
| Autore | Hansen-Schirra Silvia |
| Pubbl/distr/stampa | Language Science Press, 2017 |
| Descrizione fisica | 1 online resource (522 pages) : PDF, digital file(s) |
| Collana | Translation and multilingual natural language processing |
| Soggetto topico |
Corpora (Linguistics)
Linguistics |
| Soggetto non controllato |
empirical confirmation of theories
methodology of translation studies model building Cognate Noun Part of speech Semantics Source text Syntax Target text |
| ISBN | 3-96110-025-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910251395503321 |
|
Hansen-Schirra Silvia
|
||
| Language Science Press, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beleidigungswörter : die semantik und pragmatik pejorativer personenbezeichnungen. / / Björn Technau
| Beleidigungswörter : die semantik und pragmatik pejorativer personenbezeichnungen. / / Björn Technau |
| Autore | Technau Björn |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : De Gruyter, , [2018] |
| Descrizione fisica | 1 online resource (390 pages) |
| Disciplina | 408.2 |
| Collana | Linguistik - Impulse & Tendenzen |
| Soggetto topico | Invective |
| Soggetto non controllato |
Insults
Pejoration Pragmatics Semantics |
| ISBN |
3-11-056091-7
3-11-056387-8 |
| Classificazione | GC 8401 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Danksagung -- Inhalt -- Abkürzungsverzeichnis -- Tabellenverzeichnis -- Abbildungsverzeichnis -- 1. Einleitung -- 2. Semantik der Pejorativa -- 3. Pragmatik der Pejorativa -- 4. Ergebnisse und Ausblick -- Anhang -- Quellenverzeichnis -- Register |
| Record Nr. | UNINA-9910796761003321 |
|
Technau Björn
|
||
| Berlin ; ; Boston : , : De Gruyter, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beleidigungswörter : die semantik und pragmatik pejorativer personenbezeichnungen. / / Björn Technau
| Beleidigungswörter : die semantik und pragmatik pejorativer personenbezeichnungen. / / Björn Technau |
| Autore | Technau Björn |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : De Gruyter, , [2018] |
| Descrizione fisica | 1 online resource (390 pages) |
| Disciplina | 408.2 |
| Collana | Linguistik - Impulse & Tendenzen |
| Soggetto topico | Invective |
| Soggetto non controllato |
Insults
Pejoration Pragmatics Semantics |
| ISBN |
3-11-056091-7
3-11-056387-8 |
| Classificazione | GC 8401 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Danksagung -- Inhalt -- Abkürzungsverzeichnis -- Tabellenverzeichnis -- Abbildungsverzeichnis -- 1. Einleitung -- 2. Semantik der Pejorativa -- 3. Pragmatik der Pejorativa -- 4. Ergebnisse und Ausblick -- Anhang -- Quellenverzeichnis -- Register |
| Record Nr. | UNINA-9910817696503321 |
|
Technau Björn
|
||
| Berlin ; ; Boston : , : De Gruyter, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Biblical lexicology : Hebrew and Greek : semantics - exegesis - translation / / edited by Eberhard Bons, Jan Joosten and Regine Hunziker-Rodewald ; with the collaboration of Romina Vergari
| Biblical lexicology : Hebrew and Greek : semantics - exegesis - translation / / edited by Eberhard Bons, Jan Joosten and Regine Hunziker-Rodewald ; with the collaboration of Romina Vergari |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 |
| Descrizione fisica | 1 online resource (404 p.) |
| Disciplina | 492.401/4 |
| Collana | Beihefte zur Zeitschrift für die alttestamentliche Wissenschaft |
| Soggetto topico |
Hebrew language - Lexicology
Greek language, Biblical - Lexicology |
| Soggetto non controllato |
Hebrew Philology
Koine Lexicography Semantics Septuagint |
| ISBN |
3-11-038311-X
3-11-031216-6 |
| Classificazione | BC 7820 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Preface -- Part I: Hebrew -- Words and Their Worlds / Smith, Mark S. -- "Was du ererbt von deinen Vätern ... " / Kottsieper, Ingo -- The Recovery of the Ancient Hebrew Language: The Astonishing Wealth of its Unrecognized Vocabulary / Clines, David J. A. -- Semitic Etymology in A Biblical Hebrew Lexicon: the Limits of Usefulness / Kogan, Leonid -- Hebräische Hapaxlegomena in den Samuelbüchern / Dietrich, Walter -- Die lebendige næpæš. Das Alte Testament und die Frage nach der "Seele" / Janowski, Bernd -- Comment le verbe כִּלְכֵּל a-t-il pris le sens de supporter? La lexicalisation de l'emploi métaphorique en hébreu ancien / Shuali, Eran -- Part II: Hebrew and Greek -- The Interplay between Hebrew and Greek in Biblical Lexicology: Language, Text, and Interpretation / Joosten, Jan -- Part III: Greek -- La lexicographie de la Septante entre Sem et Japhet / Dorival, Gilles -- Quelques remarques sur le vocabulaire du travail dans la Bible à l'épreuve de la traduction des Septante / Dogniez, Cécile -- The dynamic semantic role of etymology in the meaning of Greek biblical words. The case of the word ἐκκλησία / Papademetriou, Kyriakoula -- Aspects of Polysemy in Biblical Greek: the Semantic Micro-Structure of Kρισις / Vergari, Romina -- Part IV: Projects -- The Historical Dictionary of the Hebrew Language: a Presentation / Tal, Abraham -- Semantics and Lexicography: A Methodological Conundrum / Williamson, H. G. M. -- Lexicon of Samaritan Hebrew According to the Samaritan Pentateuch Tradition / Schorch, Stefan -- The "Historical and Theological Lexicon of the Septuagint" (HTLS) / Bons, Eberhard -- Bible reference index -- Index of Hebrew words -- Index of Greek words |
| Record Nr. | UNINA-9910788814603321 |
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Biblical lexicology : Hebrew and Greek : semantics - exegesis - translation / / edited by Eberhard Bons, Jan Joosten and Regine Hunziker-Rodewald ; with the collaboration of Romina Vergari
| Biblical lexicology : Hebrew and Greek : semantics - exegesis - translation / / edited by Eberhard Bons, Jan Joosten and Regine Hunziker-Rodewald ; with the collaboration of Romina Vergari |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 |
| Descrizione fisica | 1 online resource (404 p.) |
| Disciplina | 492.401/4 |
| Collana | Beihefte zur Zeitschrift für die alttestamentliche Wissenschaft |
| Soggetto topico |
Hebrew language - Lexicology
Greek language, Biblical - Lexicology |
| Soggetto non controllato |
Hebrew Philology
Koine Lexicography Semantics Septuagint |
| ISBN |
3-11-038311-X
3-11-031216-6 |
| Classificazione | BC 7820 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Preface -- Part I: Hebrew -- Words and Their Worlds / Smith, Mark S. -- "Was du ererbt von deinen Vätern ... " / Kottsieper, Ingo -- The Recovery of the Ancient Hebrew Language: The Astonishing Wealth of its Unrecognized Vocabulary / Clines, David J. A. -- Semitic Etymology in A Biblical Hebrew Lexicon: the Limits of Usefulness / Kogan, Leonid -- Hebräische Hapaxlegomena in den Samuelbüchern / Dietrich, Walter -- Die lebendige næpæš. Das Alte Testament und die Frage nach der "Seele" / Janowski, Bernd -- Comment le verbe כִּלְכֵּל a-t-il pris le sens de supporter? La lexicalisation de l'emploi métaphorique en hébreu ancien / Shuali, Eran -- Part II: Hebrew and Greek -- The Interplay between Hebrew and Greek in Biblical Lexicology: Language, Text, and Interpretation / Joosten, Jan -- Part III: Greek -- La lexicographie de la Septante entre Sem et Japhet / Dorival, Gilles -- Quelques remarques sur le vocabulaire du travail dans la Bible à l'épreuve de la traduction des Septante / Dogniez, Cécile -- The dynamic semantic role of etymology in the meaning of Greek biblical words. The case of the word ἐκκλησία / Papademetriou, Kyriakoula -- Aspects of Polysemy in Biblical Greek: the Semantic Micro-Structure of Kρισις / Vergari, Romina -- Part IV: Projects -- The Historical Dictionary of the Hebrew Language: a Presentation / Tal, Abraham -- Semantics and Lexicography: A Methodological Conundrum / Williamson, H. G. M. -- Lexicon of Samaritan Hebrew According to the Samaritan Pentateuch Tradition / Schorch, Stefan -- The "Historical and Theological Lexicon of the Septuagint" (HTLS) / Bons, Eberhard -- Bible reference index -- Index of Hebrew words -- Index of Greek words |
| Record Nr. | UNINA-9910808873703321 |
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||