ilość książek w kategorii: 10275
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings
ISBN: 9789811550560 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
383,73 zł |
Applied Computer Sciences in Engineering: 8th Workshop on Engineering Applications, Wea 2021, Medellín, Colombia, October 6-8, 2021, Proceedings
ISBN: 9783030867010 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
383,73 zł |
The Logic of Software. a Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
ISBN: 9783031081651 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad... This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
Af... |
|
cena:
383,73 zł |
Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, May 21, 2022, Proceedings
ISBN: 9783031150760 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.
The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much... This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.<...
|
|
cena:
383,73 zł |
Quantum Software Engineering
ISBN: 9783031053238 / Angielski / Twarda / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Through the collaboration of the software engineering community with the quantum computing community new architectural paradigms for quantum-enabled computing systems will be anticipated and developed.The book starts with a chapter that introduces the main concepts and general foundations related to quantum computing. This is followed by a number of chapters dealing with the quantum software engineering methods and techniques. Topics like...
This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software developme...
|
|
cena:
383,73 zł |
Product-Focused Software Process Improvement: 23rd International Conference, Profes 2022, Jyväskylä, Finland, November 21-23, 2022, Proceedings
ISBN: 9783031213878 / Angielski / Miękka / 682 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022, which took place in Jyväskylä, Finland in November 2022.The 24 full technical papers, 9 short papers, and 6 poster papers presented in this volume were carefully reviewed and selected from 75 submissions. The book also contains and 8 doctoral symposium papers and 7 tutorial and workshop papers.The contributions were organized in topical sections as follows: Keynote; Cloud and AI; Empirical Studies; Process Management; Refactoring and Technical...
This book constitutes the refereed proceedings of the 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022, whic...
|
|
cena:
383,73 zł |
Composing Model-Based Analysis Tools
ISBN: 9783030819170 / Angielski / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools“, which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed.The book is structured in two parts, and organized around five fundamental core...
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal...
|
|
cena:
383,73 zł |
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
ISBN: 9783031274800 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, i...
|
|
cena:
383,73 zł |
Quantum Software Engineering
ISBN: 9783031053269 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Through the collaboration of the software engineering community with the quantum computing community new architectural paradigms for quantum-enabled computing systems will be anticipated and developed. The book starts with a chapter that introduces the main concepts and general foundations related to quantum computing. This is followed by a number of chapters dealing with the quantum software engineering methods and techniques.... This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software develo... |
|
cena:
383,73 zł |
Dependable Computing - Edcc 2024 Workshops: Safeautonomy, Trust in Blockchain, Leuven, Belgium, April 8, 2024, Proceedings
ISBN: 9783031567759 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
383,73 zł |
Soft Real-Time Systems: Predictability vs. Efficiency: Predictability vs. Efficiency
ISBN: 9780387237015 / Angielski / Twarda / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built under pessimistic assumptions to cope with worst-case scenarios, so they often waste resources. Soft real-time systems are built to reduce resource consumption, tolerate overloads and adapt to system changes. They are also more suited to novel applications of real-time technology, such as multimedia systems, monitoring apparatuses, telecommunication networks, mobile robotics, virtual reality, and interactive computer games. This unique monograph provides concrete methods...
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built under pessimistic assumption...
|
|
cena:
383,73 zł |
Process Assessment and Iso/Iec 15504: A Reference Book
ISBN: 9780387300481 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Second Edition presents updated version of the practical aspects of process assessment Helps readers understand the power and benefits of a process approach and process assessment Guides the reader through the various parts of the standard in an understandable and practical manner
Second Edition presents updated version of the practical aspects of process assessment Helps readers understand the power and benefits of a proc... |
|
cena:
383,73 zł |
Project E-Society: Building Bricks: 6th IFIP International Conference on e-Commerce, e-Business, and e-Government (13e 2006), October 11-13, 2006, Tur
ISBN: 9780387392264 / Angielski / Twarda / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 13E 2006, the 6th in this series of IFIP conferences, marked the congregation of researchers and practitioners in the areas of e-Commerce, e-Business, and e-Government. The conference was sponsored by IFIP TC 6 in cooperation with TC 8 and TC 11. The conference provided a forum for researchers, engineers and interested users in academia, industry, and government to discuss the latest research, cutting-edge practice and upcoming trends in the growing areas of e-Commerce, e-Business, and particularly e-Government. Sophisticated applications as well as the underlying technology that... 13E 2006, the 6th in this series of IFIP conferences, marked the congregation of researchers and practitioners in the areas of e-Commerce, e-Busine... |
|
cena:
383,73 zł |
Classic Operating Systems: From Batch Processing to Distributed Systems
ISBN: 9780387951133 / Angielski / Twarda / 598 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An essential reader containing the 25 most important papers in the development of modern operating systems for computer science and software engineering. The papers illustrate the major breakthroughs in operating system technology from the 1950s to the 1990s. The editor provides an overview chapter and puts all development in perspective with chapter introductions and expository apparatus. Essential resource for graduates, professionals, and researchers in CS with an interest in operating system principles.
An essential reader containing the 25 most important papers in the development of modern operating systems for computer science and software engineeri...
|
|
cena:
383,73 zł |
A System V Guide to Unix and Xenix
ISBN: 9780387970219 / Angielski / Miękka / 733 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Readers are guided through the features of the UNIX system step by step. They learn how to use, modify, and customize the features of UNIX, starting with the basics and proceeding to complex and powerful concepts.
Readers are guided through the features of the UNIX system step by step. They learn how to use, modify, and customize the features of UNIX, starting w...
|
|
cena:
383,73 zł |
Systolic Computations
ISBN: 9780792317081 / Angielski / Twarda / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'Et moi, .. " si j'avait su comment en revenir, je One service mathematics bas rendered the human race. It bas put common sense back n'y serais point aile.' where it belongs, on the topmost shelf next to Jules Verne the dusty canister labelled 'discarded nonsense' . Eric T. Bell The series is divergent; therefore we may be able to do something with it O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlineari ties abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sci ences. Applying a...
'Et moi, .. " si j'avait su comment en revenir, je One service mathematics bas rendered the human race. It bas put common sense back n'y serais point ...
|
|
cena:
383,73 zł |
Automatic Re-Engineering of Software Using Genetic Programming
ISBN: 9780792386537 / Angielski / Twarda / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application area - software re-engineering in general and automatic parallelization specifically. Unlike most uses of Genetic Programming, this book evolves sequences of provable transformations rather than actual programs. It demonstrates that the benefits of this approach are twofold: first, the time required for evaluating a population is drastically reduced, and second, the transformations can subsequently be used to prove that the new program is...
Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application a...
|
|
cena:
383,73 zł |
Scheduling and Automatic Parallelization
ISBN: 9780817641498 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Readership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. This book is notan introductory book to parallel processing, nor is it an introductory book to parallelizing compilers. Weassume thatreaders are familiar withthebooks High Performance Compilers for Parallel Computingby Wolfe 121] and Super compilers for Parallel and Vector Computers by Zima and Chapman 125], and that they want to know more about scheduling transformations. In this book we describe both task graph scheduling and loop nest scheduling....
Readership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. This book is no...
|
|
cena:
383,73 zł |
Advances and Innovations in Systems, Computing Sciences and Software Engineering
ISBN: 9781402062636 / Angielski / Twarda / 578 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances and Innovations in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems. Advances and Innovations in Systems, Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2006) which was part of the International Joint Conferences on... Advances and Innovations in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscr... |
|
cena:
383,73 zł |
Distributed and Parallel Systems: Cluster and Grid Computing
ISBN: 9781402072093 / Angielski / Twarda / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed and Parallel Systems: Cluster and Grid Computing is the proceedings of the fourth Austrian-Hungarian Workshop on Distributed and Parallel Systems organized jointly by Johannes Kepler University, Linz, Austria and the MTA SZTAKI Computer and Automation Research Institute. The papers in this volume cover a broad range of research topics presented in four groups. The first one introduces cluster tools and techniques, especially the issues of load balancing and migration. Another six papers deal with grid and global computing including grid infrastructure,... Distributed and Parallel Systems: Cluster and Grid Computing is the proceedings of the fourth Austrian-Hungarian Workshop on Distr... |
|
cena:
383,73 zł |