Browse Results

Showing 25,201 through 25,225 of 27,333 results

Tkinter GUI Application Development Blueprints, Second Edition: Build nine projects by working with widgets, geometry management, event handling, and more, 2nd Edition

by Bhaskar Chaudhary Erik S. Rapert

Geometry Management, Event Handling, and moreKey FeaturesA Practical, guide to learn the application of Python and GUI programming with tkinterCreate multiple cross-platform real-world projects by integrating host of third party libraries and toolsLearn to build beautiful and highly interactive user interfaces, targeting multiple devices.Book DescriptionTkinter is the built-in GUI package that comes with standard Python distributions. It is a cross-platform package, which means you build once and deploy everywhere. It is simple to use and intuitive in nature, making it suitable for programmers and non-programmers alike.This book will help you master the art of GUI programming. It delivers the bigger picture of GUI programming by building real-world, productive, and fun applications such as a text editor, drum machine, game of chess, audio player, drawing application, piano tutor, chat application, screen saver, port scanner, and much more. In every project, you will build on the skills acquired in the previous project and gain more expertise. You will learn to write multithreaded programs, network programs, database-driven programs, asyncio based programming and more. You will also get to know the modern best practices involved in writing GUI apps. With its rich source of sample code, you can build upon the knowledge gained with this book and use it in your own projects in the discipline of your choice.What you will learn-A Practical, guide to help you learn the application of Python and GUI programming with Tkinter- Create multiple, cross-platform, real-world projects by integrating a host of third-party libraries and tools- Learn to build beautiful and highly interactive user interfaces, targeting multiple devices.Who this book is forThis book is for a beginner to intermediate-level Pythonists who want to build modern, cross-platform GUI applications with the amazingly powerful Tkinter. Prior knowledge of Tkinter is required.

Tkinter GUI Application Development Cookbook: A practical solution to your GUI development problems with Python and Tkinter

by Alejandro Rodas de Paz

Discover solutions to all your Tkinter and Python GUI development problemsKey Features Integrate efficient Python GUI programming techniques with Tkinter Efficiently implement advanced MVC architectures in your Python GUI apps Solve all your problems related to Tkinter and Python GUI developmentBook DescriptionAs one of the more versatile programming languages, Python is well-known for its batteries-included philosophy, which includes a rich set of modules in its standard library; Tkinter is the library included for building desktop applications. Due to this, Tkinter is a common choice for rapid GUI development, and more complex applications can benefit from the full capabilities of this library. This book covers all of your Tkinter and Python GUI development problems and solutions.Tkinter GUI Application Development Cookbook starts with an overview of Tkinter classes and at the same time provides recipes for basic topics, such as layout patterns and event handling. Next, we cover how to develop common GUI patterns, such as entering and saving data, navigating through menus and dialogs, and performing long-running actions in the background.You can then make your apps leverage network resources effectively and perform graphical operations on a canvas and related tasks such as detecting collisions between items. Finally, this book covers using themed widgets, an extension of Tk widgets that have a more native look and feel. Finally, this book covers using the canvas and themed widgets.By the end of the book, you will have an in-depth knowledge of Tkinter classes, and will know how to use them to build efficient and rich GUI applications.What you will learnAdd widgets and handle user eventsLay out widgets within windows using frames and the different geometry managersConfigure widgets so that they have a customized appearance and behaviorImprove the navigation of your apps with menus and dialogsApply object-oriented programming techniques in Tkinter applicationsUse threads to achieve responsiveness and update the GUI Explore the capabilities of the canvas widget and the types of items that can be added to itExtend Tkinter applications with the TTK (themed Tkinter) moduleWho this book is forThis book is for Python developers who are familiar with the basics of the language syntax, data structures, and OOP. You do not need previous experience with Tkinter or other GUI development libraries.

Tkinter GUI ApplicationDevelopment HOTSHOT

by Bhaskar Chaudhary

Practical, real-world example projects. Start with the topics that grab your attention or work through each project in sequence.If you have just started with GUI programming, this book is ideal for you. This book is also great if you are an experienced software developer, scientist, researcher, engineer, student, or hobbyist.

Tkinter GUI Programming by Example: Learn to create modern GUIs using Tkinter by building real-world projects in Python

by David Love

Leverage the power of Python and its de facto GUI framework to build highly interactive interfacesKey Features The fundamentals of Python and GUI programming with Tkinter. Create multiple cross-platform projects by integrating a host of third-party libraries and tools. Build beautiful and highly-interactive user interfaces that target multiple devices.Book DescriptionTkinter is a modular, cross-platform application development toolkit for Python. When developing GUI-rich applications, the most important choices are which programming language(s) and which GUI framework to use. Python and Tkinter prove to be a great combination. This book will get you familiar with Tkinter by having you create fun and interactive projects. These projects have varying degrees of complexity. We'll start with a simple project, where you'll learn the fundamentals of GUI programming and the basics of working with a Tkinter application. After getting the basics right, we'll move on to creating a project of slightly increased complexity, such as a highly customizable Python editor. In the next project, we'll crank up the complexity level to create an instant messaging app. Toward the end, we'll discuss various ways of packaging our applications so that they can be shared and installed on other machines without the user having to learn how to install and run Python programs.What you will learn Create a scrollable frame via theCanvas widget Use the pack geometry manager andFrame widget to control layout Learn to choose a data structurefor a game Group Tkinter widgets, such asbuttons, canvases, and labels Create a highly customizablePython editor Design and lay out a chat windowWho this book is forThis book is for beginners to GUI programming who haven’t used Tkinter yet and are eager to start building great-looking and user-friendly GUIs. Prior knowledge of Python programming is expected.

Tmi

by Sarah Quigley

Friends call Becca the Overshare Queen, but her tendency for TMI never seemed like a problem to her until she blabs about her sweet band-geek boyfriend's sloppy kisses-and gets dumped! Realizing it may be better to resist the temptation to overshare face-to-face, Becca decides to blog anonymously about everything instead. On her blog, Too Much Information, Becca unleashes her alter ego, Bella. Bella tells it like it is . . . though perhaps with a bit more drama. After all, no one's going to read it, right?

tmux 2: Productive Mouse-Free Development

by Brian P. Hogan

Your mouse is slowing you down. The time you spend context switching between your editor and your consoles eats away at your productivity. Take control of your environment with tmux, a terminal multiplexer that you can tailor to your workflow. With this updated second edition for tmux 2.3, you'll customize, script, and leverage tmux's unique abilities to craft a productive terminal environment that lets you keep your fingers on your keyboard's home row. You have a database console, web server, test runner, and text editor running at the same time, but switching between them and trying to find what you need takes up valuable time and breaks your concentration. By using tmux 2.3, you can improve your productivity and regain your focus. This book will show you how. This second edition includes many features requested by readers, including how to integrate plugins into your workflow, how to integrate tmux with Vim for seamless navigation - oh, and how to use tmux on Windows 10. Use tmux to manage multiple terminal sessions in a single window using only your keyboard. Manage and run programs side by side in panes, and create the perfect development environment with custom scripts so that when you're ready to work, your programs are waiting for you. Manipulate text with tmux's copy and paste buffers, so you can move text around freely between applications. Discover how easy it is to use tmux to collaborate remotely with others, and explore more advanced usage as you manage multiple tmux sessions, add custom scripts into the tmux status line, and integrate tmux with your system. Whether you're an application developer or a system administrator, you'll find many useful tricks and techniques to help you take control of your terminal.

To Be a Machine: Adventures Among Cyborgs, Utopians, Hackers, and the Futurists Solving the Modest Problem of Death

by Mark O'Connell

An eye-opening journey into a world of visionaries, billionaires, and eccentrics harnessing technology for nothing less than the salvation of mankindTranshumanism is a movement pushing the limits of our bodies—our capabilities, intelligence, and lifespans—in the hopes that, through technology, we can become something better than ourselves. It has found support among Silicon Valley billionaires and some of the world’s biggest businesses. In To Be a Machine, journalist Mark O'Connell explores the staggering possibilities and moral quandaries that present themselves when you of think of your body as a device. He visits the world's foremost cryonics facility to witness how some have chosen to forestall death. He discovers an underground collective of biohackers, implanting electronics under their skin to enhance their senses. He meets a team of scientists urgently investigating how to protect mankind from artificial superintelligence.Where is our obsession with technology leading us? What does the rise of AI mean not just for our offices and homes, but for our humanity? Could the technologies we create to help us eventually bring us to harm? Addressing these questions, O'Connell presents a profound, provocative, often laugh-out-loud-funny look at an influential movement. In investigating what it means to be a machine, he offers a surprising meditation on what it means to be human.

To Save Everything, Click Here

by Evgeny Morozov

The award-winning author of "The Net Delusion" shows how the radical transparency we've become accustomed to online may threaten the spirit of real-life democracy

TOF Range-Imaging Cameras

by David Stoppa Fabio Remondino

Today the cost of solid-state two-dimensional imagers has dramatically dropped, introducing low cost systems on the market suitable for a variety of applications, including both industrial and consumer products. However, these systems can capture only a two-dimensional projection (2D), or intensity map, of the scene under observation, losing a variable of paramount importance, i.e., the arrival time of the impinging photons. Time-Of-Flight (TOF) Range-Imaging (TOF) is an emerging sensor technology able to deliver, at the same time, depth and intensity maps of the scene under observation. Featuring different sensor resolutions, RIM cameras serve a wide community with a lot of applications like monitoring, architecture, life sciences, robotics, etc. This book will bring together experts from the sensor and metrology side in order to collect the state-of-art researchers in these fields working with RIM cameras. All the aspects in the acquisition and processing chain will be addressed, from recent updates concerning the photo-detectors, to the analysis of the calibration techniques, giving also a perspective onto new applications domains.

Tokenomics: The Crypto Shift of Blockchains, ICOs, and Tokens

by Thomas Power Sean Au

<p>Tokenomics is the economy of this new world. This is a no-holds-barred, in-depth exploration of the way in which we can participate in the blockchain economy. The reader will learn the basics of bitcoin, blockchains, and tokenomics; what the very first ICO was; and how over a period of 5 years, various projects managed to raise the enormous sums of money they did. The book then provides insights from ICO experts and looks at what the future holds. By comparing the past, current, and future of this technology, the book will inform anyone, whatever motivates their interest. <p>The crypto shift of blockchains, ICOs, and tokens is much more than just buying bitcoins, creating tokens, or raising millions in a minute in an ICO. It is a new paradigm shift from centralized to decentralized, from closed to open, and from opaqueness to transparency. ICOs and the creation of tokens during the craze of 2017 needed a lot of preparation, an understanding of cryptocurrencies and of emerging legal frameworks, but this has spurred a new movement to tokenize the world. <p>The author gives an unbiased, authoritative picture of the current playing field, exploring the token opportunities and provides a unique insight into the developing world of this tokenized economy. This book will nourish hungry minds wanting to grow their knowledge in this fascinating area.</p>

The Tomato Genome

by Mathilde Causse Mondher Bouzayen Jim Giovannoni Mohamed Zouine

This book describes the strategy used for sequencing, assembling and annotating the tomato genome and presents the main characteristics of this sequence with a special focus on repeated sequences and the ancestral polyploidy events. It also includes the chloroplast and mitochondrial genomes. Tomato (Solanum lycopersicum) is a major crop plant as well as a model for fruit development, and the availability of the genome sequence has completely changed the paradigm of the species' genetics and genomics. The book describes the numerous genetic and genomic resources available, the identified genes and quantitative trait locus (QTL) identified, as well as the strong synteny across Solanaceae species. Lastly, it discusses the consequences of the availability of a high-quality genome sequence of the cultivated species for the research community. It is a valuable resource for students and researchers interested in the genetics and genomics of tomato and Solanaceae.

Tomcat: The Definitive Guide

by Ian F. Darwin Jason Brittain

Jakarta Tomcat is not only the most commonly used open source servlet engine today, it's become the de facto standard by which other servlet engines are measured. Powerful and flexible, it can be used as a stand-alone web server or in conjunction with another server, like Apache or IIS, to run servlets or JSPs. But mastery of Tomcat is not easy: because it's as complex as it is complete. Tomcat: The Definitive Guide answers vexing questions that users, administrators, and developers alike have been asking. This concise guide provides much needed information to help harness Tomcat's power and wealth of features.Tomcat: The Definitive Guide offers something for everyone who uses Tomcat. System and network administrators will find detailed instructions on installation, configuration, and maintenance. For users, it supplies insightful information on how to deploy Tomcat. And seasoned enterprise Java developers will have a complete reference to setting up, running, and using this powerful softwareThe book begins with an introduction to the Tomcat server and includes an overview of the three types of server configurations: stand-alone, in-process, and out-of-process. The authors show how directories are laid out, cover the initial setup, and describe how to set the environment variables and modify the configuration files, concluding with common errors, problems, and solutions. In subsequent chapters, they cover:The server.xml configuration fileJava Security managerAuthentication schemes and Tomcat usersThe Secure Socket Layer (SSL)Tomcat JDBC RealmsInstalling servlets and Java Server PagesIntegrating Tomcat with ApacheAdvanced Tomcat configurationand much more.Tomcat: The Definitive Guide covers all major platforms, including Windows, Solaris, Linux, and Mac OS X, contains details on Tomcat configuration files, and has a quick-start guide to get developers up and running with Java servlets and JavaServer Pages. If you've struggled with this powerful yet demanding technology in the past, this book will provide the answers you need.

Tomcat: The Definitive Guide

by Ian F. Darwin Jason Brittain

Jakarta Tomcat is not only the most commonly used open source servlet engine today, it's become the de facto standard by which other servlet engines are measured. Powerful and flexible, it can be used as a stand-alone web server or in conjunction with another server, like Apache or IIS, to run servlets or JSPs. But mastery of Tomcat is not easy: because it's as complex as it is complete. Tomcat: The Definitive Guide answers vexing questions that users, administrators, and developers alike have been asking. This concise guide provides much needed information to help harness Tomcat's power and wealth of features. Tomcat: The Definitive Guide offers something for everyone who uses Tomcat. System and network administrators will find detailed instructions on installation, configuration, and maintenance. For users, it supplies insightful information on how to deploy Tomcat. And seasoned enterprise Java developers will have a complete reference to setting up, running, and using this powerful software The book begins with an introduction to the Tomcat server and includes an overview of the three types of server configurations: stand-alone, in-process, and out-of-process. The authors show how directories are laid out, cover the initial setup, and describe how to set the environment variables and modify the configuration files, concluding with common errors, problems, and solutions. In subsequent chapters, they cover: The server.xml configuration file Java Security manager Authentication schemes and Tomcat users The Secure Socket Layer (SSL) Tomcat JDBC Realms Installing servlets and Java Server Pages Integrating Tomcat with Apache Advanced Tomcat configuration and much more. Tomcat: The Definitive Guide covers all major platforms, including Windows, Solaris, Linux, and Mac OS X, contains details on Tomcat configuration files, and has a quick-start guide to get developers up and running with Java servlets and JavaServer Pages. If you've struggled with this powerful yet demanding technology in the past, this book will provide the answers you need.

Tomcat: The Definitive Guide, 2nd Edition

by Ian F. Darwin Jason Brittain

It takes a book as versatile as its subject to cover Apache Tomcat, the popular open source Servlet and JSP container and high performance web server. Tomcat: The Definitive Guide is a valuable reference for administrators and webmasters, a useful guide for programmers who want to use Tomcat as their web application server during development or in production, and an excellent introduction for anyone interested in Tomcat. Updated for the latest version of Tomcat, this new edition offers a complete guide to installing, configuring, maintaining and securing this servlet container. In fact, with such a wealth of new information, this is essentially a new book rather than a simple revision. You will find details for using Tomcat on all major platforms, including Windows, Linux, OS X, Solaris, and FreeBSD, along with specifics on Tomcat configuration files, and step-by-step advice for deploying and running web applications. This book offers complete information for: Installation and startup procedures Configuring Tomcat-including realms, roles, users, servlet sessions, and JNDI resources including JDBC DataSources Deploying web applications-individual servlets and JSP pages, and web application archive files Tuning Tomcat to measure and improve performance Integrating Tomcat with Apache Web Server Securing Tomcat to keep online thugs at bay Tomcat configuration files-server.xml and web.xml, and more Debugging and Troubleshooting-diagnosing problems with Tomcat or a web application Compiling your own Tomcat, rather than using the pre-built release Running two or more Tomcat servlet containers in parallel This book also offers an overview of the Tomcat open source project's community resources, including docs, mailing lists, and more. Community interest fueled a strong demand for a Tomcat guide from O'Reilly. The result clearly exceeds expectations.

Tomcat 6 Developer's Guide

by Damodar Chetty

This book taps into the author's wide experience as an architect and programmer to explore Tomcat from the ground up. Each major component of Tomcat is covered in careful detail, both from a conceptual and an implementation perspective. Written with detailed explanations and lots of screenshots, the book covers its topics in a concise, practical, and understandable manner. This book is intended for web developers who want to take their programming skills to the next level, and for server administrators who want to get a better understanding of the container software they manage. This book will give you an expert's understanding of every component that contributes to the overall request processing capabilities of Tomcat. In addition, the concepts you learn will be general enough to be carried over to other servlet containers. This book is also a good starting point for developers who want to understand how high availability and high performance software, such as Tomcat, are designed. If you wish to contribute to the Tomcat project, then this is an ideal book for you. Prior knowledge of the Java programming language, and web development on the Java platform is assumed.

Tomcat. Przewodnik encyklopedyczny. Wydanie II

by Ian F. Darwin Jason Brittain

Poznaj mo?liwo?ci serwera Tomcat! Jak dostroi? Tomcat w celu pomiaru i poprawy wydajno?ci?Jak wdra?a? aplikacje WWW z serwletami i stronami JSP?Jak diagnozowa? problemy z serwerem?Tomcat jest kontenerem serwletów Java i serwerem WWW stworzonym przez organizacj? Apacze Software Foundation. Mo?e pe?ni? rol? serwera produkcyjnego o du?ej wydajno?ci, sprawdza si? równie? jako darmowy kontener serwletów i stron JSP z udost?pnionym kodem ?ród?owym. Tomcat mo?e by? zastosowany niezale?nie lub w po??czeniu z innymi serwerami WWW (np. httpd Apache). Doskonale radzi sobie w ka?dego rodzaju ?rodowisku, zapewniaj?c fundament wymagany do praktycznego wykorzystania w Internecie umiej?tno?ci z zakresu technologii Java.W ksi??ce "Tomcat. Przewodnik encyklopedyczny" znajdziesz szczegó?owe wyja?nienia, jak korzysta? z tego serwera. Czytaj?c j?, poznasz wszelkie procedury instalacyjne oraz mo?liwo?ci konfigurowania obszarów, ról, u?ytkowników i zasobów JNDI. Nauczysz si?, jak uaktywnia? i wy??cza? funkcj? automatycznego prze?adowywania serwletów, a tak?e wdra?a? aplikacje WWW. Niezb?dne informacje dotycz?ce serwera Tomcat znajd? tu nie tylko programi?ci, ale tak?e administratorzy, webmasterzy i wszyscy, którzy chc? si? dowiedzie? czego? o tym kontenerze serwletów.Instalowanie i konfigurowanie TomcataZarz?dzanie obszarami, rolami i u?ytkownikamiUruchamianie i zatrzymywanie serweraKontrolowanie i utrwalanie sesjiOptymalizowanie wydajno?ci serweraIntegracja z serwerem WWW ApacheWdra?anie rozpakowanego katalogu aplikacji WWWPraca z plikami WARZabezpieczenia serwera TomcatPrzewodnik dla wszystkich, którzy chc? u?atwi? sobie prac? z serwerem Tomcat.

Too Big to Know

by David Weinberger

We used to know how to know. We got our answers from books or experts. WeOCOd nail down the facts and move on. But in the Internet age, knowledge has moved onto networks. ThereOCOs more knowledge than ever, of course, but itOCOs different. Topics have no boundaries, and nobody agrees on anything. Yet this is the greatest time in history to be a knowledge seeker . . . if you know how. In "Too Big to Know," Internet philosopher David Weinberger shows how business, science, education, and the government are learning to use networked knowledge to understand more than ever and to make smarter decisions than they could when they had to rely on mere books and experts. This groundbreaking book shakes the foundations of our concept of knowledge?from the role of facts to the value of books and the authority of experts?providing a compelling vision of the future of knowledge in a connected world. "

Too Big to Know

by David Weinberger

We used to know how to know. We got our answers from books or experts. We’d nail down the facts and move on. But in the Internet age, knowledge has moved onto networks. There’s more knowledge than ever, of course, but it’s different. Topics have no boundaries, and nobody agrees on anything. Yet this is the greatest time in history to be a knowledge seeker . . . if you know how. In Too Big to Know, Internet philosopher David Weinberger shows how business, science, education, and the government are learning to use networked knowledge to understand more than ever and to make smarter decisions than they could when they had to rely on mere books and experts. This groundbreaking book shakes the foundations of our concept of knowledge#151;from the role of facts to the value of books and the authority of experts#151;providing a compelling vision of the future of knowledge in a connected world.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Part I (Lecture Notes In Computer Science #10805)

by Marieke Huisman Dirk Beyer

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Part I (Lecture Notes In Computer Science #10805)

by Marieke Huisman Dirk Beyer

This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11429)

by Fabrice Kordon Marieke Huisman Bernhard Steffen Dirk Beyer

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

Tools and Algorithms for the Construction and Analysis of Systems

by Tiziana Margaria Axel Legay

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.

Tools and Algorithms for the Construction and Analysis of Systems

by Tiziana Margaria Axel Legay

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11427)

by Tomáš Vojnar Lijun Zhang

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11428)

by Tomáš Vojnar Lijun Zhang

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Refine Search

Showing 25,201 through 25,225 of 27,333 results