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.
2022 Forum on Specification & Design Languages (FDL) / / Institute of Electrical and Electronics Engineers
| 2022 Forum on Specification & Design Languages (FDL) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Institute of Electrical and Electronics Engineers, , 2022 |
| Descrizione fisica | 1 online resource |
| Disciplina | 499.99 |
| Soggetto topico | Languages, Artificial |
| ISBN | 1-66547-332-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996574980203316 |
| [Place of publication not identified] : , : Institute of Electrical and Electronics Engineers, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interlinguistics [[electronic resource] ] : aspects of the science of planned languages / / edited by Klaus Schubert, in collaboration with Dan Maxwell
| Interlinguistics [[electronic resource] ] : aspects of the science of planned languages / / edited by Klaus Schubert, in collaboration with Dan Maxwell |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, 1989 |
| Descrizione fisica | 1 online resource (360 p.) |
| Disciplina | 499/.99 |
| Altri autori (Persone) |
MaxwellDan
SchubertKlaus |
| Collana | Trends in Linguistics. Studies and Monographs [TiLSM] |
| Soggetto topico |
Languages, Artificial
Linguistics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-088611-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Part I: Introductions -- The proof of the pudding ... / MARTINET, ANDRÉ -- Interlinguistics - its aims, its achievements, and its place in language science / SCHUBERT, KLAUS -- Part II: Planned Languages in Linguistics -- Ethnic language and planned language / DULIČENKO, ALEKSANDR DMITRIEVIČ -- Planned languages - a survey of some of the main problems / BLANKE, DETLEV -- Interlingustics: a branch of applied linguistics? / KUZNECOV, SERGEJ NIKOLAEVIČ -- Part III: Language Design and Language Change -- Principles for constructing Planned Languages / MAXWELL, DAN -- Optimization in language planning / JACOMO, FRANÇOIS LO -- A few notes on the evolution of Esperanto / PIRON, CLAUDE -- Part IV: Sociolinguistics and Psycholinguistics -- Linguistic artificiality and cognitive competence / POOL, JONATHAN / GROFMAN, BERNARD -- Who are the speakers of Esperanto? / PIRON, CLAUDE -- Planned auxiliary language and communicative competence / CARLEVARO, TAZIO -- Part V: The Language of Literature -- Planning nonstandard language / HALVELIK, MANUEL -- If Shakespeare had written in Esperanto... / JANTON, PIERRE -- Part VI: Grammar -- Degree words in Esperanto and categories in Universal Grammar / DASGUPTA, PROBAL -- An unplanned development in planned languages / SCHUBERT, KLAUS -- Part VII: Terminology and Computational Lexicography -- Terminological standardization - its roots and fruits in planned languages / BLANKE, WERA -- Terminics in the interethnic language / EICHHOLZ, RÜDIGER -- Knowledge-driven terminography for machine translation / SADLER, VICTOR -- Index -- Backmatter |
| Record Nr. | UNINA-9910462534503321 |
| Berlin ; ; New York, : Mouton de Gruyter, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interlinguistics : aspects of the science of planned languages / / edited by Klaus Schubert, in collaboration with Dan Maxwell
| Interlinguistics : aspects of the science of planned languages / / edited by Klaus Schubert, in collaboration with Dan Maxwell |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, 1989 |
| Descrizione fisica | 1 online resource (360 pages) : illustrations |
| Disciplina | 499/.99 |
| Altri autori (Persone) |
MaxwellDan
SchubertKlaus |
| Collana | Trends in Linguistics. Studies and Monographs [TiLSM] |
| Soggetto topico |
Languages, Artificial
Linguistics |
| ISBN | 3-11-088611-1 |
| Classificazione | EE 1500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Part I: Introductions -- The proof of the pudding ... / MARTINET, ANDRÉ -- Interlinguistics - its aims, its achievements, and its place in language science / SCHUBERT, KLAUS -- Part II: Planned Languages in Linguistics -- Ethnic language and planned language / DULIČENKO, ALEKSANDR DMITRIEVIČ -- Planned languages - a survey of some of the main problems / BLANKE, DETLEV -- Interlingustics: a branch of applied linguistics? / KUZNECOV, SERGEJ NIKOLAEVIČ -- Part III: Language Design and Language Change -- Principles for constructing Planned Languages / MAXWELL, DAN -- Optimization in language planning / JACOMO, FRANÇOIS LO -- A few notes on the evolution of Esperanto / PIRON, CLAUDE -- Part IV: Sociolinguistics and Psycholinguistics -- Linguistic artificiality and cognitive competence / POOL, JONATHAN / GROFMAN, BERNARD -- Who are the speakers of Esperanto? / PIRON, CLAUDE -- Planned auxiliary language and communicative competence / CARLEVARO, TAZIO -- Part V: The Language of Literature -- Planning nonstandard language / HALVELIK, MANUEL -- If Shakespeare had written in Esperanto... / JANTON, PIERRE -- Part VI: Grammar -- Degree words in Esperanto and categories in Universal Grammar / DASGUPTA, PROBAL -- An unplanned development in planned languages / SCHUBERT, KLAUS -- Part VII: Terminology and Computational Lexicography -- Terminological standardization - its roots and fruits in planned languages / BLANKE, WERA -- Terminics in the interethnic language / EICHHOLZ, RÜDIGER -- Knowledge-driven terminography for machine translation / SADLER, VICTOR -- Index -- Backmatter |
| Record Nr. | UNINA-9910785822203321 |
| Berlin ; ; New York, : Mouton de Gruyter, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interlingvistikaj kajeroj
| Interlingvistikaj kajeroj |
| Pubbl/distr/stampa | [Milan] Italy, : Università degli Studi di Milano |
| Soggetto topico |
Languages, Artificial
Language planning |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | ita |
| Altri titoli varianti | InKoj |
| Record Nr. | UNINA-9910894354603321 |
| [Milan] Italy, : Università degli Studi di Milano | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics and languages for reliability and security [[electronic resource] /] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg
| Logics and languages for reliability and security [[electronic resource] /] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
EsparzaJavier
SpanfelnerBernd GrumbergOrna |
| Collana | NATO science for peace and security series. D, Information and communication security |
| Soggetto topico |
Programming languages (Electronic computers)
Languages, Artificial Computers - Reliability Computer security |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6612692677
1-282-69267-4 9786612692673 1-60750-100-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata
Implicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index |
| Record Nr. | UNINA-9910459167603321 |
| Washington, D.C., : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics and languages for reliability and security [[electronic resource] /] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg
| Logics and languages for reliability and security [[electronic resource] /] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
EsparzaJavier
SpanfelnerBernd GrumbergOrna |
| Collana | NATO science for peace and security series. D, Information and communication security |
| Soggetto topico |
Programming languages (Electronic computers)
Languages, Artificial Computers - Reliability Computer security |
| ISBN |
6612692677
1-282-69267-4 9786612692673 1-60750-100-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata
Implicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index |
| Record Nr. | UNINA-9910785024303321 |
| Washington, D.C., : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logopandecteision, or, An introdvction to the vniversal langvage [[electronic resource] ] : digested into these six several books, Neaudethaumata, Chrestasbeia, Cleronomaporia, Chryseomystes, Nelcadicastes, & Philoponauxesis / / by Sir Thomas Urquhart of Cromartie .
| Logopandecteision, or, An introdvction to the vniversal langvage [[electronic resource] ] : digested into these six several books, Neaudethaumata, Chrestasbeia, Cleronomaporia, Chryseomystes, Nelcadicastes, & Philoponauxesis / / by Sir Thomas Urquhart of Cromartie . |
| Autore | Urquhart Thomas, Sir, <1611-1660.> |
| Pubbl/distr/stampa | London, : Printed and are to be sold by Giles Calvert ... and by Richard Tomlins ..., 1653 |
| Descrizione fisica | [8], 77, [3], 50, [16] p |
| Soggetto topico | Languages, Artificial |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996386280703316 |
Urquhart Thomas, Sir, <1611-1660.>
|
||
| London, : Printed and are to be sold by Giles Calvert ... and by Richard Tomlins ..., 1653 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
