| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910153632403321 |
|
|
Titolo |
Republic |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Musica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910781721603321 |
|
|
Autore |
Gyarmathi Sámuel <1751-1830.> |
|
|
Titolo |
Grammatical proof of the affinity of the Hungarian language with languages of Fennic origin / / Sámuel Gyarmathi ; translated, annotated, and introduced by Victor E. Hanzeli |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam : , : J. Benjamins, , 1983 |
|
|
|
|
|
|
|
ISBN |
|
1-283-31485-1 |
9786613314857 |
90-272-8644-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (lviii, 327 pages) : portrait |
|
|
|
|
|
|
Collana |
|
Amsterdam studies in the theory and history of linguistic science. Series 1, Amsterdam classics in linguistics, 1800-1925 ; ; v. 15 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
HanzeliVictor Egon <1925-1991.> |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Finno-Ugric languages - Grammar, Comparative |
Hungarian language - Grammar, Comparative |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
GRAMMATICAL PROOF OF THE AFFINITY OF THE HUNGARIAN LANGUAGE WITH LANGUAGES OF FENNIC ORIGIN; Editorial page; Title page; Copyright page; Table of contents; TRANSLATOR'S PREFACE; GYARMATHI AND HIS AFFINITAS; TO PAUL I. MOST AUGUST AND SOVEREIGN AUTOCRAT OF ALL RUSSIA; TABLE OF CONTENTS; COMPARATIVE ORTHOGRAPHY OF HUNGARIAN AND RUSSIAN; PART ONE. AFFINITY OF THE LAPPS' AND FINNS' LANGUAGE; ON DECLENSION; |
|
|
|
|
|
|
|
|
|
|
|
ON COMPARATIVES; ON NUMERALS; ON PRONOUNS; ON POSSESSIVES AND SUFFIXES; ON VERBS; PARADIGM OF THE LAPPS' SUBSTANTIVE VERB; ON ADVERBS; ON PREPOSITIONS; PREPOSED FORMS; SYNTAX |
ON THE SIMILARITY OF HUNGARIAN WORDS TO LAPP AND FINNISH WORDSORTHOGRAPHIES; WORDS WHICH SOUND LIKE HUNGARIAN WORDS BUT HAVE DIFFERENT MEANINGS; PART TWO. GRAMMATICAL PROOF OF THE AFFINITY OF THE HUNGARIAN LANGUAGE WITH ESTONIAN; ON DIMINUTIVES; ON DECLENSION; ON COMPARISON; ON NUMERALS; ON PRONOUNS; ON VERBS; ON ADVERBS; ON SYNTAX; ESTONIAN PROVERBS AND RIDDLES; PART III. OBSERVATIONS ON SEVEN LANGUAGES OF FENNIC ORIGIN WHICH ARE VOGUL, VOTYAK, CHUVASH/ CHEREMIS, PERMIAN, ZYRIAN, MORDVIN INCLUDING VOCABULARIES ILLUSTRATING THESE LANGUAGES; ON CHERMIS POSSESSIVES; ON VERBS |
PARADIGMS OF THE SUBSTANTIVE VERB 'TO BE':ON PREPOSITIONS; VOCABULARY OF SEVEN LANGUAGES IN ADDITION TO LATIN AND HUNGARIAN; NUMERALS OF THE OSTYAKS AND THE HUNGARIANS; APPENDIX I. CONTAINING A TATAR VOCABULARY; APPENDIX II. WORDS ILLUSTRATING THE HUNGARIAN LANGUAGE; A COMPARATIVE VOCABULARY OF SLAVIC LANGUAGES; PREFACE; RUSSIAN-GERMAN-HUNGARIAN VOCABULARY; CZECH-LATIN-HUNGARIAN COMPARATIVE VOCABULARY; POLISH-GERMAN-HUNGARIAN-CÖMPARATIVE VOCABULARY; NAMES OF CERTAIN TOWNS, RIVERS, MANORS AND CITIES OF HUNGARY AND TRANSYLVANIA, BORROWED FROM SLAVIC LANGUAGES |
SUPPLEMENT TO THE LAPP VOCABULARY ON PAGES 61-92 ABOVEFINNISH SUPPLEMENT TO PAGES 61 SQ; APPENDIX III. SCHLOZER'S LETTER; NOTES; REFERENCES; INDEX NOMINUM |
|
|
|
|
|
|
Sommario/riassunto |
|
Sámuel Gyarmathi's Affinitas linguae hungaricae cum linguis fennicae originis grammatice demonstrata (Göttingen 1799) was received as a distinguished work of scholarship in its own days, and its historical importance has been fully recognized ever since. This volume provides an English translation of the entire Latin text, including the Latin glosses of the original (with the exception of zoological and botanical terms, and a few passages where specific reference is made to Latin grammar). This translation includes two additions to the text of Affinitas as reprinted in the Indian |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483460403321 |
|
|
Titolo |
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 369 p. 84 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 9276 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Mathematical logic |
Computer communication systems |
Computer programming |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Computer Communication Networks |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification -- |
|
|
|
|
|
|
|
|
|
|
|
Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation. |
|
|
|
|
|
|
|
| |