00757cam0 22002411 450 SOBE0001893220150417091451.020111021d1954 |||||ita|0103 baengUS<<The >>god that failedArthur Koestler [et al.]Richard CrossmanNew YorkBantam Books1954277 p.16 cmCROSSMAN, RichardAF00023556070ITUNISOB20150417RICAUNISOBUNISOB8206200SOBE00018932M 102 Monografia moderna SBNM820000165SI6200acquistoRgarofaloUNISOBUNISOB20111021103142.020150417091451.0AlfanoGod that failed55518UNISOB03327nam 2200637Ia 450 991045704290332120200520144314.01-283-09302-2978661309302890-272-8636-1(CKB)2550000000033115(EBL)680948(OCoLC)714568543(SSID)ssj0000530841(PQKBManifestationID)11339085(PQKBTitleCode)TC0000530841(PQKBWorkID)10569189(PQKB)11179873(MiAaPQ)EBC680948(Au-PeEL)EBL680948(CaPaEBR)ebr10464492(CaONFJC)MIL309302(EXLCZ)99255000000003311519850304d1985 uy 0engur|n|---|||||txtccrFocus on Scotland[electronic resource] /edited by Manfred GörlachAmsterdam ;Philadelphia J. Benjamins Pub. Co.19851 online resource (246 p.)Varieties of English around the world. General series,0017-7362 ;v. 5Description based upon print version of record.90-272-4863-X Includes bibliographies and index.Title page; Copyright page; Table of contents; Introduction; Nationalism and the Scots Renaissance now; SCOTS AND LOW GERMAN: THE SOCIAL HISTORY OF TWO MINORITY LANGUAGES; The rise and fall of the Morningside/Kelvinside accent; LINGUISTIC FIELDWORK IN A SCOTTISH NEW TOWN; Overt and covert prestige: Evaluative boundaries in the speech community; 'Knappin', 'Proper English', 'Modified Scottish' Some language attitudes in the Shetland Isles; The narrative skills of a Scottish coal miner; On the variability of Hebridean English syntax: the verbal group; Variation in Hebridean EnglishThe search for a Scots narrative voiceOur ain leid? The predicament of a Scots writer; The debate on Scots orthography; THE CHRISTMAS STORY IN SCOTS; Poetry in Glasgow dialect; INDEX; Authors' addresses; The series Varieties of English Around the WorldThis collection comprises 15 essays ranging from the social history of and attitudes towards Scots to the representation of Scottishness in literary language and to modern sociolinguistic work. The uniqueness of the historical and present-day linguistic situation in Scotland makes the volume of particular concern not only to Scotophiles, but also to linguists interested in bidialectalism, language planning, literary dialect, urban surveys, and language and education. The authors include linguistist Scotland, England, the United States, Scandinavia and Germany.Varieties of English around the world.General series ;v. 5.Scots languageScots languageSocial aspectsScotlandScots languageVariationElectronic books.Scots language.Scots languageSocial aspectsScots languageVariation.427/.9411Görlach Manfred403284MiAaPQMiAaPQMiAaPQBOOK9910457042903321Focus on Scotland2267412UNINA03281nam 22006615 450 991087384300332120241212213550.097838007550113800755017(CKB)4100000011881316606f24c1-ef78-4a5d-bcb4-378eb0dd2d03(EXLCZ)99410000001188131620210325d2021 ||| |enguruuu---uuuuutxtrdacontentcrdamediacrrdacarrierITG-Fb. 296: MBMV 2021 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenNeuerscheinungBerlinVDE Verlag2021Online-Ressource (139 S.)ITG-FachberichtePublicationDate: 202103259783800755004 3800755009 Long description: Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen: • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung • Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung • Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung • Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch • Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen • Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) • Schaltungen und Systeme in sicherheitsrelevanten Produkten • Verifikation nichtfunktionaler Eigenschaften • Simulationsbasierte Verifikation und Validierung • Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse • Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und SystemenOptimierungModellierungSimulationMachine LearningEchtzeitsystemeSyntheseSchaltungen und SystemeFormale VerifikationKI-basierte ModelleModellierungsspracheVerhaltensmodellierungsicherheitsrelevante ProdukteOptimierungModellierungSimulationMachine LearningEchtzeitsystemeSyntheseSchaltungen und SystemeFormale VerifikationKI-basierte ModelleModellierungsspracheVerhaltensmodellierungsicherheitsrelevante ProdukteVDE/VDI GMMedtVDE ITGedtLőkös MargitedtPROCEEDING9910873843003321ITG-Fb. 296: MBMV 20213884117UNINA