Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Cultural, Training and Educational Spaces
For two centuries, the school system has been a central point around which other players have gravitated: local authorities, voluntary organizations and the world of work. Over the course of the 20th century, this school centric configuration underwent a transformation, with local authorities tending to become integrated into the vertical culture of the school system. This was only the beginning of a process that brought schools and socio cultural players into constant contact. Cultural, Training and Educational Spaces first examines the relationships with knowledge generated by the links between the school system and other cultural, training and educational spaces, taking a historical, pedagogical and philosophical perspective. Easy access to learning materials creates different relationships with knowledge than those observed in schools. The book then looks at the pedagogical practices in these different cultural educational spaces, such as libraries and media libraries, museums and historical sites, places of heritage, history and entertainment, social networks and other multimedia formats.
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.
The City's Hinterland
Despite the fact that the rural commuter belts of cities are major loci of population change, economic growth and dynamic social change within city regions, most research tends to ignore this area while focusing on the built-up city core. However, with the current emphasis on the role of rural areas in policy debates, it is vital to recognize the importance of the 'commuter belt'. By comparing four major European cities (in England, France, Germany and Spain), this book offers the first comparative investigation of the dynamism of city rural hinterlands. It assesses whether rural areas will become effectively integrated into quality of life improvements as a result of their inter-dependencies with cities, focusing on the critical arenas of employment change, housing and service provision. In doing so, it investigates how change in these three fields impact on the quality of life and physical environment of rural hinterlands.
Sustainability Impact Assessment of Land Use Changes
There are many reasons why strategic intelligence is required to support policy decisions. These primarily stem from the nature of today's kno- edge society with two contrasting trends. On the one hand, there is a trend of increasing human intelligence in the economic, social and political s- tems. On the other hand, there is a trend towards dissolving certainties about the problems and solutions of today's society. Clearly, more inf- mation does not necessary imply more certainties on how to act. What is more, the same facts are often interpreted in markedly different ways: the same policy relevant information can – and often does – results in confli- ing framing of a problem by differe...
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.
Reachability Problems
This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019. The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.
CONCUR 2008 - Concurrency Theory
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 135 submissions. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003.The 26 revised full papers presented together with an invited paper were carefully reviewed and selectednbsp; from 96 submissions. Among the topics covered are algebraic models; automata and language theory; behavioral equivalences; categorical models; computation processes over discrete and continuous data; computation structures; logics of programs; models of concurrent, reactive, distributed, and mobile systems; process algebras and calculi; semantics of programming languages; software specification and refinement; transition systems; and type systems and type theory.
