الصفحة 3
الصفحة 3
Sequence Analysis and Modern C++ : The Creation of the SeqAn3 Bioinformatics Library
Every developer who previously worked with C++ will enjoy the in-depth chapter on important changes in the language from C++11 up to and including C++20. In contrast to many resources on Modern C++ that present new features only in small isolated examples, this book represents a more holistic approach: readers will understand the relevance of new features and how they interact in the context of a large software project and not just within a "toy example". Previous experience in creating software with C++ is highly recommended to fully appreciate these aspects. SeqAn3 is a new, re-designed software library. The conception and implementation process is detailed in this book, including a critical reflection on the previous versions of the library. This is particularly helpful to readers who are about to create a large software project themselves, or who are planning a major overhaul of an existing library or framework. While the focus of the book is clearly on software development and design, it also touches on various organisational and administrative aspects like licensing, dependency management and quality control.
Scalable Uncertainty Management ; 2nd International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings
The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical techniques required to manage the uncertainty that arises in large scale real world applications and to cope with large volumes of uncertainty and inconsistency in databases, the Web, the semantic Web, and artificial intelligence in general.
Runtime Verification ; 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
Rough Sets and Current Trends in Computing ; 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings
This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision support systems, clustering, pattern recognition and image processing, as well as bioinformatics. The three special session papers cover topics such as rough sets in data warehousing, classification challenges in email archiving, and approximation theories: granular computing vs. rough sets.
Robot operating system (ROS) for absolute beginners : Robotics programming made easy
You'll learn the basic foundation of Ubuntu Linux. Begin with the fundamentals. Installation and useful commands will give you the basic tools you need while programming a robot. Then add useful software applications that can be used while making robots. Programming robots can be done using any of the programming languages. Most popular programming languages are Python and C++. You will incorporate the fundamentals of C++ by learning object oriented programing concepts from example and building C++ projects. You will: Install Ubuntu 20 / Install ROS Noetic/ Use ROS Programming with roscpp and rospy / Build a mobile robot from scratch using ROS
Rigorous Development of Complex Fault-Tolerant Systems
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.
Rewriting Techniques and Applications; 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
Reversible Computation; 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
Reversible Computation ; 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
Reversible Computation : Extending Horizons of Computing: Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.
Rethinking Productivity in Software Engineering
Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, guidelines for measuring productivity in specific contexts, best practices and pitfalls, and theories and open questions on productivity. You'll benefit from the many short chapters, each offering a focused discussion on one aspect of productivity in software engineering.
Reliable Software Technologies - Ada-Europe 2008 ; 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
Reconfigurable Computing : Architectures, Tools and Applications ; 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized for a long time that the microprocessor provides high fiexibility but at a very low performance merit in terms of MIPS/W or other such measures. Reconfigurable systems are thus attractive as they can be configured to provide the best match for the computational requirements at that specific time, giving much better area – speed – power performance. However, the practicalities of achieving such a reconfigurable system are - merous andrequire the development of: suitable reconfigurable hardware to s- portthe dynamic behavior; programming tools to allowthe dynamic behavior of the reconfigurability to be modelled; programming languages to support recfiguration
Recent Advances in Parallel Virtual Machine and Message Passing Interface ; 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, synchronisation issues in point-to-point and one-sided communications, tools, and verification of message passing programs.
Recent Advances in Constraints ; 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and identifying future directions.
Rapid Integration of Software Engineering Techniques ; Vol. 3943 ; Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2005, held in Heraklion, Crete, Greece in September 2005. The 19 revised full papers presented together with the abstract of a keynote paper went through two rounds of reviewing and improvement and were selected from 43 initial submissions. Among the topics addressed are modelling safety case evolution, practical approaches in model mapping, context-aware service composition, techniques for representing product line core assets for automation, formal development of reactive fault-tolerant systems, stepwise feature introduction in practice, programming languages, aspects and contracts.
Quality of Software Architectures. Models and Architectures ; 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, architecture evaluation, architecture evolution, architecting process and architectural knowledge.
Python lernen in abgeschlossenen Lerneinheiten : Programmieren für Einsteiger mit vielen Beispielen = Learn Python in self-contained learning units : Programming for beginners with many examples.
Teaches beginners how to program with Python using individual, self-contained learning units. It demonstrates the design of efficient data and process structures, thereby enabling readers to understand algorithmic concepts and implement them in program code.
Python for Cybersecurity : Using Python for Cyber Offense and Defense
Delivers an intuitive and hands-on explanation of using Python for cybersecurity. It relies on the MITRE ATT&CK framework to structure its exploration of cyberattack techniques, attack defenses, and the key cybersecurity challenges facing network administrators and other stakeholders today. Offering downloadable sample code, the book is written to help you discover how to use Python in a wide variety of cybersecurity situations, including: Reconnaissance, resource development, initial access, and execution / Persistence, privilege escalation, defense evasion, and credential access / Discovery, lateral movement, collection, and command and control / Exfiltration and impact
Python Crash Course
Fast-paced, thorough introduction to programming with Python will have you writing code, solving problems, and making cool projects that work in no time. In the first half of the book, you'll learn basic programming concepts, such as variables, lists, loops, and classes, and practice writing clean code with exercises for each topic. You'll also learn how to make your programs interactive and test your code safely before adding it to a project. In the second half, you'll put your new knowledge into practice with three substantial projects: a Space Invaders' inspired arcade game, a set of data visualizations with Python's handy libraries, and a simple web app you can deploy online
