Visar resultat för..."TLA"
626 produkter
626 produkter
Häftad, Engelska
411 kr
Skickas inom 3-6 vardagar
Inbunden, Engelska, 2007
528 kr
Skickas inom 3-6 vardagar
Häftad, Engelska, 2018
459 kr
Skickas inom 10-15 vardagar
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs. You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency. Finally, you’ll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications. What You'll LearnRead and write TLA+ specsCheck specs for broken invariants, race conditions, and liveness bugsDesign concurrency and distributed systemsLearn how TLA+ can help you with your day-to-day production workWho This Book Is ForThose with programming experience who are new to design and to TLA+.
Del 9675 - Lecture Notes in Computer Science
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Häftad, Engelska, 2016
556 kr
Skickas inom 10-15 vardagar
This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.
Del 10817 - Lecture Notes in Computer Science
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Häftad, Engelska, 2018
556 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Häftad, Engelska, 2014
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.
400 kr
Skickas inom 3-6 vardagar
Häftad, Tyska, 2024
379 kr
Skickas inom 3-6 vardagar
Häftad, Engelska, 2025
186 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2025
270 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2025
183 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2025
273 kr
Skickas inom 5-8 vardagar
Häftad, Svenska, 2009
266 kr
Skickas inom 5-8 vardagar
När Allan Edwall hade gjort "Hemsöborna" och "Emil i Lönneberga" överöstes han av reklam- och filmerbjudanden. Senare, när vännen och kollegan Max von Sydow spelade nazist med skånsk brytning i Hollywood och tjänade miljoner kokade Allan Edwall kaffe till publiken på Teater Brunnsgatan Fyra. "Då kan man lika gärna kittla varandra" är en skildring av svensk teater- och filmhistoria och ett porträtt av en stridbar skådespelare som inte tummade på sina ideal.
Häftad, Svenska, 2021
243 kr
Skickas
Många mediterar hela livet utan att finna Nirvana. En del yogar eller utövar extremsporter och det tar många år komma till det magiska tillståndet som så många söker. Kombinerar du tantriska praktiker och kraftfullt inre energiarbete med de lekfulla verktygen som BDSM-världen erbjuder – Då pratar vi krafter! Tantrickinkboken är en lekfull bok som är skriven på ett lättsamt sätt för att kittla din fantasi till att våga leka mer! Verktygen som finns inom Tantrickink skapar enorma förutsättningar för att i olika sammanhang och konstellationer utforska erotik, maktspel, sensation och din egen relationsdynamik. Boken ger dig svar på vad Tantrickink egentligen handlar om och lite om de som utövar både tantra och BDSM. Är de galna på riktigt, eller har de bara behållit lekförmågan? Övningarna i boken är enkla att följa och bjuder in till ett eget utforskande av tantrisk BDSM. Gör du övningarna så skapas förutsättningar för personlig utveckling. Så länge du spelar enligt de överenskomna reglerna så kan du ta några kliv ut ur din komfortzon! Dags att börja leka! Sagt om boken "Boken väcker ditt slumrande jag och plockar fram hela dig in din renaste essäns - Måste bara upplevas!" Kvinna 45 år ”Boken jag önskar att jag läst innan jag huvudstupa som ung, nyfiken och synnerligen naiv kastade mig in på BDSM-scenen” Man 55 år ”För dig som är nyfiken och för dig som inte vet att du är det” kvinna 40 år ”Spännande som F-n, fångar upp en och ens intresse” Kvinna 33 år Sofia Cerne har alltid gått sin egen väg i sökandet efter det där extra. Hon har jobbat med Tantrickink sedan 2012 och lever efter mottot ”Gör din grej!” i sina olika verksamheter. Inspiration och mission för fortsatt lek har varit hennes ledstjärna genom livet oavsett område för passionen. Hon brinner för att det tantriska utforskandet av BDSM ska bli mer rumsrent och fritt från skam och tabun. Trots att svenskläraren uppmanade henne att sluta känna så mycket i uppsatserna hon skrev på gymnasiet så var det just kännandet som blev nyckeln till denna hennes fjärde publicerade bok. Hon har skrivit boken för att hon brinner för att fler ska våga leka och utforska sig själva med en eller flera partners. I flera år har Sofia drivit Xtas och startade för några år sedan Tantrickink. I alla år har jag öppet och fritt pratat och visat BDSM i både traditionell media som TV. Senast skrev Expressen om Tantrickink https://www.expressen.se/premium/relationer/helena-och-erik-fick-nytandning-av-nya-svenska-sextrenden/ Sofia har också lagt upp en del filmer på den egna Youtubekanalen För flera år sedan pratade hon om 50-Shades filmen 2015 i TV4s morgonsoffa Tidigare har jag varit med i Aftonbladets wellness TV och haft smiskskola, samt gett dominanssession på Fråga Olle Media Vad är tantra? Vad är BDSM? Www.tantrickink.se www.xtas.nu
Inbunden, Svenska, 2024, 0-3 år
122 kr
Skickas
Titta under flikarna på denna bok, då får du kanske veta om du vågar…En söt och vacker bok för de minsta med massor av överraskningar, stora flikar och olika saker att känna på. Vågar du kittla en tiger? Eller kanske ge krokodilen en kram? Eller...
Lyft på flikarna och känn på de vilda djuren!På slutet kommer en STOR överraskning!- Nyhet
Kartonnage, Svenska, 2026, 0-3 år
199 kr
Skickas
Är den lilla hunden kittlig? Klappa på de mjuka fläckarna för att se vad hunden säger. Byt sedan sida och upptäck om de andra djuren också är kittliga!
En söt bok med taktila ytor att klappa och känna på samt en integrerad ljudknapp på sista sidan.
Häftad, Engelska, 2017
679 kr
Skickas inom 10-15 vardagar
The Routledge Handbook of Neoplatonism is an authoritative and comprehensive survey of the most important issues and developments in one of the fastest growing areas of research in ancient philosophy. An international team of scholars situates and re-evaluates Neoplatonism within the history of ancient philosophy and thought, and explores its influence on philosophical and religious schools worldwide. Over thirty chapters are divided into seven clear parts:(Re)sources, instruction and interactionMethods and Styles of ExegesisMetaphysics and Metaphysical PerspectivesLanguage, Knowledge, Soul, and SelfNature: Physics, Medicine and BiologyEthics, Political Theory and AestheticsThe legacy of Neoplatonism.The Routledge Handbook of Neoplatonism is a major reference source for all students and scholars in Neoplatonism and ancient philosophy, as well as researchers in the philosophy of science, ethics, aesthetics and religion.
Häftad, Kroatiska, 2025
165 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 1998
898 kr
Skickas inom 5-8 vardagar
The 5th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC '98) was organized under the auspices of the IFAC Technical Committee. This Committee is concerned with the use of emerging software and hardware developments in real-time control.
The AARTC '98 Technical Programme consisted of seventeen sessions, covering major areas of software, hardware and applications for real-time control, namely robotics, modeling and control, software design tools and methodologies, industrial process control and manufacturing systems, parallel and distributed systems, non-linear control systems, neural networks, parallel and distributed algorithms for real-time signal processing and control, transport applications, algorithms, fault tolerant systems and fuzzy control.
The contributions were selected from a large number of high-quality full draft papers and late breaking paper contributions presenting very recent research work.
Häftad, Engelska, 2015
659 kr
Skickas inom 10-15 vardagar
Innovative technologies are changing the way research is performed, preserved, and communicated. Managing Scientific Information and Research Data explores how these technologies are used and provides detailed analysis of the approaches and tools developed to manage scientific information and data. Following an introduction, the book is then divided into 15 chapters discussing the changes in scientific communication; new models of publishing and peer review; ethics in scientific communication; preservation of data; discovery tools; discipline-specific practices of researchers for gathering and using scientific information; academic social networks; bibliographic management tools; information literacy and the information needs of students and researchers; the involvement of academic libraries in eScience and the new opportunities it presents to librarians; and interviews with experts in scientific information and publishing.
Promotes innovative technologies for creating, sharing and managing scientific content Presents new models of scientific publishing, peer review, and dissemination of information Serves as a practical guide for researchers, students, and librarians on how to discover, filter, and manage scientific information Advocates for the adoption of unique author identifiers such as ORCID and ResearcherID Looks into new tools that make scientific information easy to discover and manage Shows what eScience is and why it is becoming a priority for academic libraries Demonstrates how Electronic Laboratory Notebooks can be used to record, store, share, and manage research data Shows how social media and the new area of Altmetrics increase researchers' visibility and measure attention to their research Directs to sources for datasets Provides directions on choosing and using bibliographic management tools Critically examines the metrics used to evaluate research impact Aids strategic thinking and informs decision making
Häftad, Engelska, 2022
1 534 kr
Kommande
Häftad, Engelska, 2021
741 kr
Skickas inom 10-15 vardagar
New digital technologies have transformed how scientific information is created, disseminated-and discovered. The emergence of new forms of scientific publishing based on open science and open access have caused a major shift in scientific communication and a restructuring of the flow of information. Specialized indexing services and search engines are trying to get into information seekers' minds to understand what users are actually looking for when typing all these keywords or drawing chemical structures. Using artificial intelligence (AI), machine learning, and semantic indexing, these "discovery agents" are trying to anticipate users' information needs. In this highly competitive environment, authors should not sit and rely only on publishers, search engines, and indexing services to make their works visible. They need to communicate about their research and reach out to a larger audience. Driving Science Information Discovery in the Digital Age looks through the "eyes" of the main "players" in this "game" and examines the discovery of scientific information from three different, but intertwined, perspectives:
Discovering, managing, and using information (Information seeker perspective) Publishing, disseminating, and making information discoverable (Publisher perspective) Creating, spreading, and promoting information (Author perspective). Presents an overview of the current scientific publishing landscape Shows how users can search for scientific information more efficiently Critically analyses the metrics used to measure the quality of journals and the impact of research Looks at the discovery of scientific information from the perspectives of information seekers, publishers, and authors Delves into the practices used by specialized indexing services and search engines to process scientific information and make it discoverable Recommends strategies that authors could use to promote their research
Häftad, Engelska, 2019
300 kr
Skickas inom 5-8 vardagar
Lesotho 1945. Minor king Mosito is educated at Lovedale College, but then is caught in a struggle between new ways and additions. His traditional counsellors manipulate Mosito's wife to counsel him to commit ritual murder in order to get strong muti to preserve his status as a minor king. Mosito's contemporaries who also went to Lovedale advise against this. Who will he listen to? What will the judge find in the ensuing court case drama?
Inbunden, Engelska, 2000
3 433 kr
Skickas inom 7-10 vardagar
The purpose of this text is to present a problem-oriented introductory survey of electrical engineering, by arousing student enthusiasm while addressing the underlying concepts and methods behind various applications ranging from consumer gadgets and biomedical electronics to sophisticated instrumentation systems, computers, and multifarious electric machinery. The focus is on acquainting students majroing in all branches of engineering and science, especially in courses for non-electrical-engieering majors, with the nature of the subject and the potentialities of its techniques, while emphasizing the principles. Sine principles and concepts are most effectively taught by means of a problem-oriented course, judicially selected topics are treated in sufficient depth so as to permit the assignment of adequately challenging problems which tend to implant the relevant principles in student's minds. In addition to an academic-year (two semesters or three quarters) introductory course traditionally offered to non-electrical engineering majors in a number of universities. Modern technology demands a team approach in which electrical engineers and non-electrical engineers have to work together sharing a common technical vocabulary. This text is a result based on almost 40 years of experience teaching a wide variety of courses to electrical as well as non-electrical majors, an dmore particularly on the need to answer many of the questions raised by so many of my students. The book is divided into five parts in order to provide flexibility. A glance at the Table of Contents will show that Part I concerns itself with basic electric circuits, in which circuit concepts, analysis techniques, time-dependent analysis including transients, as well as three-phase circuits are covered. Part II deals with electronic ananlog and digital systems, in which analog and digital building blocks are considered along with operational amplifiers, semiconductor devices, integrated circuits, and digital circuits. Part III of the book is devoted to energy systems, in which AC power systems, magnetic circuits and transformers, principles of electromechanics, and rotating machines causing electromechanical energy conversion are presented. Part IV of the text deals with information systems, in which the underlying principles of signal processing and communication systems are included. Finally, Part V presents control systems, including the concepts of feedback control, digital control, and power semiconductor-controlled drives. The text material is organized for optimum flexibility, so that certain topics my be omitted without loss of continuity when lack of time or interest dictates.
Inbunden, Engelska, 2009
1 591 kr
Skickas inom 5-8 vardagar
Ancient Greek Philosophy routinely relied upon concepts of number to explain the tangible order of the universe. Plotinus' contribution to this tradition, however, has been often omitted, if not ignored. The main reason for this, at first glance, is the Plotinus does not treat the subject of number in the Enneads as pervasively as the Neopythagoreans or even his own successors Lamblichus, Syrianus, and Proclus. Nevertheless, a close examination of the Enneads reveals that Plotinus systematically discusses number in relation to each of his underlying principles of existence--the One, Intellect, and Soul. Plotinus on Number offers the first comprehensive analysis of Plotinus' concept of number, beginning with its origins in Plato and the Neopythagoreans and ending with its influence on Porphyry's arrangement of the Enneads. It's main argument is that Plotinus adapts Plato's and the Neopythagoreans' cosmology to place number in the foundation of the intelligible realm and in the construction of the universe. Through Plotinus' defense of Plato's Ideal Numbers from Aristotle's criticism, Svetla Slaveva-Griffin reveals the founder of Neoplatonism as the first post-Platonic philosopher who purposefully and systematically develops what we may call a theory of number, distinguishing between number in the intelligible realm and number in the quantitative, mathematical realm. Finally, the book draws attention to Plotinus' concept as a necessary and fundamental linke between Platonic and late Neoplatonic schools of philosophy.
Häftad, Engelska, 2025
420 kr
Skickas inom 5-8 vardagar
As Canada wrestles with the legacy of colonialism, a new understanding of the church is emerging. Racialized and marginalized voices within the church are daring to make sense of their own experiences and understanding of Christianity, turning their faith traditions into a force for decolonization.Decolonizing Church brings together varied theological voices to explore how Christian scholars and church leaders can reconfigure theology, ethics, and church practices. The volume aims to open conversations about how churches can engage the task of redressing the colonial legacy and its harms, and, in so doing, model the gratuitous disruptive power of the good news. The contributors come from diverse places and communities of identity – Indigenous, immigrant, racialized, LGBTQ2AI, disability, and gender – which shapes the way they speak and write, practice theology, and view church structures. Readers will find a range of genres including storytelling, ethnographic narrative, personal and biblical reflection, and practical wisdom. Drawing on decolonial thinking, the book offers other ways of knowing, being, and doing church.Decolonizing Church blends theory and practice as it addresses justice concerns that are at the forefront for the church, for theological education, and for society at large.
Inbunden, Bretonska, 2019
510 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2015
785 kr
Skickas inom 11-20 vardagar
Presenting the first comprehensive art historical study of some magnificent Mesoamerican murals, this book demonstrates how generations of ancient Mexican artists, patrons, and audiences created a powerful statement of communal identity that still captures the imagination.Honorable Mention, ALAA Book Award, Association for Latin American Art/Arvey Foundation, 2016Between AD 650 and 950, artists at the small Central Mexican city-state of Cacaxtla covered the walls of their most important sacred and public spaces with dazzling murals of gods, historical figures, and supernatural creatures. Testimonies of a richly interconnected ancient world, the Cacaxtla paintings present an unexpectedly deep knowledge of the art and religion of the Maya, Zapotec, and other distant Mesoamerican peoples. Painted during a period of war and shifting alliances after the fall of Teotihuacan, the murals’ distinctive fusion of cosmopolitan styles and subjects claimed a powerful identity for the beleaguered city-state.Presenting the first cohesive, art historical study of the entire painting corpus, The Murals of Cacaxtla demonstrates that these magnificent works of art constitute a sustained and local painting tradition, treasured by generations of patrons and painters. Exhaustive chapters on each of the mural programs make it possible to see how the Cacaxtla painting tradition developed over time, responding to political and artistic challenges. Lavishly illustrated, The Murals of Cacaxtla illuminates the agency of ancient artists and the dynamics of artistic synthesis in a Mesoamerican context, offering a valuable counterpoint to studies of colonial and modern art operating at the intersection of cultural traditions.
Inbunden, Engelska, 2022
690 kr
Skickas inom 5-8 vardagar
This handsomely illustrated volume explores the medieval Deccani temple complexes at the UNESCO World Heritage Site of Pattadakal, with careful attention to their makers “Subhashini Kaligotla brings a fresh and forceful voice to this specific field, and to South Asian art history more broadly.”—Adam Hardy, Journal of the Society of Architectural Historians The vibrant red sandstone temples of India’s Deccan Plateau, such as the Pattadakal temple cluster, have attracted visitors since the eighth century or earlier. A UNESCO World Heritage Site and the coronation place of the Chalukya dynasty, Pattadakal and its neighboring sites are of major historical importance. In Shiva’s Waterfront Temples, Subhashini Kaligotla situates these buildings in the cosmopolitan milieu of Deccan India and considers how their makers and awestruck visitors would have seen them in their day. Kaligotla reconstructs how architects and builders approached the sites, including their use of ornamentation, responsiveness to courtly values such as pleasure and play, and ingenious juxtaposition of the first millennium’s Nagara and Dravida aesthetics, a blend largely unique to Deccan plateau architecture. With over 130 color illustrations, this original book elucidates the Deccan’s special place in the lexicon of medieval South Asian architecture.
Inbunden, Engelska, 2000
1 050 kr
Skickas inom 10-15 vardagar
The five parts of this collection of essays systematically and thoroughly examine the two competing theories of balance of payments and adjustment, namely the Keynesian and the Monetary approaches. Each part deals with specific aspects of the two approaches. Part I surveys the theories behind these two approaches, looking at the presuppositions, main theory, and policy recommendations which they include. Part II examines the empirical literature and describes the numerous models which have been proposed. Part III critiques the two theories on their assumptions, policy advice and empirical modeling. Part IV compares and contrasts the two views, both theoretically and empirically. Empirical studies on different countries are performed to emphasize the differing set of accounts and variables of the two approaches. Part V considers the approaches in a regime of flexible exchange rates. Scholars, students and researchers will find this collection of great help in understanding the two approaches to balance of payments and adjustment.
Letar du efter digitala böcker?
E-böcker och ljudböcker handlar du än så länge på vår tidigare sajt.