| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466226603316 |
|
|
Titolo |
Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-30768-4 |
9786610307685 |
3-540-24773-4 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2004.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 240 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 3052 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Mathematical logic |
Computers |
Software engineering |
Programming languages (Electronic computers) |
Logics and Meanings of Programs |
Mathematical Logic and Foundations |
Theory of Computation |
Software Engineering |
Mathematical Logic and Formal Languages |
Programming Languages, Compilers, Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the |
|
|
|
|
|
|
|
|
|
|
|
Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
|
|
|
|
|
|
Sommario/riassunto |
|
Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com- tation can be expressed through speci?c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re?ned to other ASMs. Stepwise re?nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops. Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in?uential outcome was the f- damental Lipari Guide. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910163880203321 |
|
|
Autore |
Lather Patricia <1948-> |
|
|
Titolo |
(Post)critical methodologies : the science possible after the critiques : the selected works of Patti Lather / / Patti Lather |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York, N.Y. : , : Routledge, , 2017 |
|
|
|
|
|
|
|
ISBN |
|
1-315-61953-9 |
1-317-21422-6 |
1-317-21423-4 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (377 pages) |
|
|
|
|
|
|
Collana |
|
World Library of Educationalists series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Feminism and education |
Postmodernism and education |
Qualitative research |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
pt. I. Forewords : the validity papers : validity has been very very good to me -- pt. II. Forewords : feminist research and pedagogy -- pt. III. Forewords : with/in the postmodern : (post)critical social science and policy studies -- pt. IV. Forewords : (post)qualitative research in the afterward. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
(Post)Critical Methodologies forms a chronology through the texts and concepts that span Patti Lather’s career. Examining (post)critical, feminist and poststructural theories, Lather’s work is organized into thematic sections that span her 35 years of study in this field. These sections include original contributions formed from Lather’s feminism and critical theory background. They contain her most cited works on feminist research and pedagogy, and form a collection of both early and recent writings on the post and post-post, with a focus on critical policy studies and the future of post-qualitative work.With a focus on the implications for qualitative inquiry given the call for scientifically based research in education, this compelling overview moves through Lather’s progressive thoughts on bridging the gap between quantitative and qualitative research in education and provides a unique |
|
|
|
|
|
|
|
|
|
|
|
|
|
commentary on some of the most important issues in higher education over the last 30 years. This compilation of Lather's contribution to educational thinking will prove compelling reading to all those engaged in student learning in higher education worldwide. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910973638503321 |
|
|
Autore |
Flemming Edward Stanton <1968-> |
|
|
Titolo |
Auditory representations in phonology / / Edward S. Flemming |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : Routledge, , 2002 |
|
|
|
|
|
|
|
ISBN |
|
1-135-72625-6 |
1-138-96414-X |
1-315-05480-9 |
1-135-72618-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (184 p.) |
|
|
|
|
|
|
Collana |
|
Outstanding dissertations in linguistics |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Grammar, Comparative and general - Phonology |
Distinctive features (Linguistics) |
Opposition (Linguistics) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Revision of the author's thesis (doctoral)--UCLA, 1995. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 157-168) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Introduction -- 2. The dispersion theory of contrast -- 3. Ways of maximizing distinctiveness -- 4. Consonant-vowel assimilation -- 5. Neutralization -- 6. Minimization of allomorphy -- 7. Conclusions. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book provides evidence for the importance of auditory properties of speech sounds in phonology. |
|
|
|
|
|
|
|
| |