Teaching Formal Methods

Teaching Formal Methods

Author: C. Neville Dean

Publisher: Springer Science & Business Media

Published: 2004-11-17

Total Pages: 258

ISBN-13: 3540236112

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Methods, TFM 2004, held in Ghent, Belgium in November 2004. The 15 revised full papers presented together with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from numerous submissions. The papers presented explore the failures and successes of formal methods education, consider how the failures might be resolved, evaluate how to learn from the successes, and attempt promoting cooperative projects to further the teaching and learning and the usage and acceptance of formal methods.


Writing the City Square

Writing the City Square

Author: Martin Zerlang

Publisher: Taylor & Francis

Published: 2023-05-03

Total Pages: 232

ISBN-13: 1000865703

DOWNLOAD EBOOK

The history of cities is also the history of city squares. The agora, the forum, the piazza, the plaza: All presuppose the idea of a center. It’s a material and mental phenomenon. Literature is an important part of this history, and the interplay between the square as physical space and the square as literature is the topic of this book. This is an encyclopedic book combining an overview of the history of city squares with a plethora of analytical examples of its reflection in literature: Literature uses the city square as a frame; city squares serve as frames for drama; novels and other kinds of literature comment on city squares; city squares are sources of inspiration for all sorts of literary activities. Socrates in the agora, Cicero in the Forum, Calderón in the Plaza Mayor, Corneille in the Place Royale, Richardson in Grosvenor Square, James in Washington Square, Woolf in Bloomsbury Square, Döblin and Gröschner in Alexanderplatz, Rodoreda in Diamond Square in Barcelona, DeLillo in Times Square, Al Aswany in Tahrir Square, the Maidanistas in the Maidan of Kyiv: These are just some of the examples presented and analyzed in this book. The book is of direct interest for researchers, students, and professionals such as architects and urban planners, but it is written in a way that makes it accessible for all readers with an interest in urban culture, architecture, history, literature, and cultural studies.


Language Planning from Practice to Theory

Language Planning from Practice to Theory

Author: Robert B. Kaplan

Publisher: Multilingual Matters

Published: 1997-01-01

Total Pages: 420

ISBN-13: 9781853593710

DOWNLOAD EBOOK

Language Planning from Practice to Theory examines and reviews the field of language policy and planning. In the first section of the book language policy and planning definitions, current practices, goals and ways of thinking are discussed as a foundation for understanding current practice in the discipline. The central elements of language policy and planning practice are then described from two perspectives. In the second section, the methodology for collecting language planning data is outlined and the key cross-societal issues of language-in-education planning, literacy and economics in language planning are discussed. In the third section, case studies related to language and power, bilingualism and status and specific purpose issues in language planning are covered. The final two chapters draw together the critical issues and problems which have arisen from current practice and which must be considered in building a theory of the discipline. A reference appendix to language planning in national situations is included. The book provides the only up-to-date overview and review of the field of language policy and planning and challenges language planners to think more critically about their discipline. Since language will be planned, there is a need to consider how it will be done.


Unamuno's Theory of the Novel

Unamuno's Theory of the Novel

Author: C.A. Longhurst

Publisher: Routledge

Published: 2017-07-05

Total Pages: 449

ISBN-13: 1351538209

DOWNLOAD EBOOK

Miguel de Unamuno (1864-1936) is widely regarded as Spain's greatest and most controversial writer of the first half of the twentieth century. Professor of Greek, and later Rector, at the University of Salamanca, and a figure with a noted public profile in his day, he wrote a large number of philosophical, political and philological essays, as well as poems, plays and short stories, but it is his highly idiosyncratic novels, for which he coined the word nivola, that have attracted the greatest critical attention. Niebla (Mist, 1914) has become one of the most studied works of Spanish literature, such is the enduring fascination which it has provoked. In this study, C. A. Longhurst, a distinguished Unamuno scholar, sets out to show that behind Unamuno's fictional experiments there lies a coherent and quasi-philosophical concept of the novelesque genre and indeed of writing itself. Ideas about freedom, identity, finality, mutuality and community are closely intertwined with ideas on writing and reading and give rise to a new and highly personal way of conceiving fiction.


Catalog

Catalog

Author: University of Texas. Library. Latin American Collection

Publisher:

Published: 1969

Total Pages: 812

ISBN-13:

DOWNLOAD EBOOK


Daniel Cosío Villegas:

Daniel Cosío Villegas:

Author: James W. Wilkie

Publisher: El Colegio de Mexico AC

Published: 2013-09-19

Total Pages: 173

ISBN-13: 6074625506

DOWNLOAD EBOOK

Las entrevistas que el profesor de la Universidad de California en Berkeley, James J. Wilkie, y su esposa Edna Monzón Wilkie le hicieron a don Daniel en el año de 1964 no sólo constituyen un espléndido ejercicio de historia oral, a medio camino de la autobiografía y de las memorias tanto como del oficio de historiar, sino un material de lectura e investigación ineludible para quien aspire a estudiar con mayor hondura y alcance el periodo histórico en cuestión, al personaje protagonista, y a su trasfondo y paisaje. La entrevista aquí presentada, en edición y notas de Rafael Rodríguez Castañeda, Adolfo Castañón y Diego Flores Magón, formó parte en su origen de una obra de más amplia envergadura, editada hace más de quince años en 1995, en cuatro volúmenes e incluía a otros dieciséis protagonistas de aquella etapa constructiva de la Revolución Mexicana. En el curso a la par simpático y acucioso de este ensayo impecable de historia oral, pautado por las preguntas hechas por los investigadores, va reconstruyéndose el itinerario, los años de formación y de aprendizaje, las ideas rectoras y la génesis de este eminente historiador, investigador, escritor, maestro y creador de instituciones, "caudillo y empresario cultural" (para aludir a las expresiones acuñadas por su biógrafo Enrique Krauze), que fue don Daniel Cosío Villegas.


Morphologically Derived Adjectives in Spanish

Morphologically Derived Adjectives in Spanish

Author: Antonio Fábregas

Publisher: John Benjamins Publishing Company

Published: 2020-11-15

Total Pages: 391

ISBN-13: 9027260338

DOWNLOAD EBOOK

This is the first book that presents a complete empirical description and theoretical analysis of all major classes of derived adjectives in Spanish, both deverbal and denominal. The reader will find here both a detailed empirical description of the syntactic, morphological and semantic properties of derived adjectives in contemporary Spanish and a cohesive Neo-Constructionist analysis of the syntactic and semantic tools that contemporary Spanish has available to build adjectives from other grammatical categories within a Nanosyntactic-oriented framework. In doing so, this book sheds light on the nature of adjectives as a grammatical category and argues that adjectives are syntactically built by recycling functional heads belonging to other categories. The book will be useful both to researchers in Spanish linguistics or theoretical morphology and to advanced students of Spanish interested in the main ways of building new adjectives through suffixation in this language.