Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Theoretical Aspects of Computing – ICTAC 2021
This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages, and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Ambrogio Leone's De Nola, Venice 1514
This volume offers the first comprehensive study of the De Nola (Venice 1514), a hitherto underappreciated Latin text written by the Nolan humanist and physician Ambrogio Leone. Furnished with four pioneering engravings made with the help of the Venetian artist Girolamo Mocetto, the De Nola is an impressively rich and multifaceted text, which contains an antiquarian (and celebratory) study of the city of Nola in the Kingdom of Naples. By describing antiquities, inscriptions, and buildings, as well as social and religious phenomena, the De Nola offers a precious window into a southern Italian Renaissance city, and constitutes a refined example of sixteenth-century antiquarianism. The work is analysed in a multidisciplinary approach, encompassing art and architectural history, antiquarianism, literature, social history, and anthropology.
Reading Books and Prints as Cultural Objects
This book contributes significantly to book, image and media studies from an interdisciplinary, comparative point of view. Its broad perspective spans medieval manuscripts to e-readers. Inventive methodology offers numerous insights into visual, manuscript and print culture: material objects relate to meaning and reading processes; images and texts are examined in varied associations; the symbolic, representational and cultural agency of books and prints is brought forward. An introduction substantiates methods and approaches, ten chapters follow along media lines: from manuscripts to prints, printed books, and e-readers. Eleven contributors from six countries challenge the idea of a unified field, revealing the role of books and prints in transformation and circulation between varying cultural trends, ‘high’ and ‘low’. Mostly Europe-based, the collection offers book and print professionals, academics and graduates, models for future research, imaginatively combining material culture with archival data, cultural and reading theories with historical patterns.
Coalgebraic Methods in Computer Science
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Dynamics of Neo-Latin and the Vernacular
Dynamics of Neo-Latin and the Vernacular offers a collection of studies that deal with the cultural exchange between Neo-Latin and the vernacular, and with the very cultural mobility that allowed for the successful development of Renaissance bilingual culture. Studying a variety of multilingual issues of language and poetics, of translation and transfer, its authors interpret Renaissance cross-cultural contact as a radically dynamic, ever-shifting process of making cultural meaning. With renewed attention for suitable theoretical and methodological frames of reference, Dynamics of Neo-Latin and the Vernacular firmly resists literary history’s temptation to pin down the Early Modern relationship between languages, literatures and cultures, in favour of stressing the sheer variety and variability of that relationship itself. Contributors are Jan Bloemendal, Ingrid De Smet, Annet den Haan, Tom Deneire, Beate Hintzen, David Kromhout, Bettina Noak, Ingrid Rowland, Johanna Svensson, Harm-Jan van Dam, Guillaume van Gemert, Eva van Hooijdonk, and Ümmü Yüksel.
Algebra and Coalgebra in Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.
Language and Automata Theory and Applications
This book constitutes the refereed proceedings of the 5th International Conference on Language and Automata Theory and Applications, LATA 2011, held in Tarragona, Spain in May 2011. The 36 revised full papers presented together with four invited articles were carefully selected from 91 submissions. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.
Algebra and Coalgebra in Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
Foundations of Probabilistic Programming
This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is also available as Open Access on Cambridge Core.
