![]() |
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1
ISBN: 9783319088662 / Angielski / Miękka / 877 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination;...
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer...
|
cena:
402,53 |
![]() |
Effective AWK Programming, 4e
ISBN: 9781491904619 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When processing text files, the awk language is ideal for handling data extraction, reporting, and data-reformatting jobs. This practical guide serves as both a reference and tutorial for POSIX-standard awk and for the GNU implementation, called gawk. This book is useful for novices and awk experts alike. In this thoroughly revised edition, author and gawk lead developer Arnold Robbins describes the awk language and gawk program in detail, shows you how to use awk and gawk for problem solving, and then dives into specific... When processing text files, the awk language is ideal for handling data extraction, reporting, and data-reformatting jobs. This practical gu... |
cena:
185,55 |
![]() |
101 Computing Challenges
ISBN: 9781291918083 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boost your programming skills by completing fun and enthusing computing challenges. Learn how to program using HTML, CSS, JavaScript, Scratch, Python and Database software. From ""Hello World"" to complex retro arcade games, choose a challenge based on your abilities and interests. This book is targeted at both learners (from 9 to 99 years old and above) and educators (parents, teachers) who want to adopt a challenging and enthusing approach towards learning about computing concepts whilst developing their programming skills.
Boost your programming skills by completing fun and enthusing computing challenges. Learn how to program using HTML, CSS, JavaScript, Scratch, Python ...
|
cena:
50,02 |
![]() |
Concur 2014 - Concurrency Theory: 25th International Conference, Concur 2014, Rome, Italy, September 2-5, 2014. Proceedings
ISBN: 9783662445839 / Angielski / Miękka / 594 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitatvice models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in Septemb...
|
cena:
201,24 |
![]() |
The Agile Consultant: Guiding Clients to Enterprise Agility
ISBN: 9781430260523 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn the agile philosophy of lean processes, incremental delivery, deep client participation, decentralized authority, and just-in-time planning to bring speed, creativity, empowerment and increased productivity to product development. This book is your guide to becoming the go-to advisor for the enterprise agile transition. Many organizations have brought in agile coaches and achieved great progress in software development productivity, only to find teams slipping back into old methods as they encounter enterprise resistance and dysfunction. The consultative skills required to... Learn the agile philosophy of lean processes, incremental delivery, deep client participation, decentralized authority, and just-in-time planning t... |
cena:
241,50 |
![]() |
Sharing Data and Models in Software Engineering
ISBN: 9780124172951 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting with a background section of practical lessons and warnings for beginner data scientists for software engineering, this edited volume proceeds to identify critical questions of contemporary software engineering related to data and models. Learn how to adapt data from other organizations to local problems, mine privatized data, prune spurious information, simplify complex results, how to... Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects... |
cena:
303,61 |
![]() |
Programming for Absolute Beginners
ISBN: 9780990402039 / Angielski / Miękka / 68 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
40,43 |
![]() |
Computer Safety, Reliability, and Security: 33rd International Conference, Safecom 2014, Florence, Italy, September 10-12, 2014. Proceedings
ISBN: 9783319105055 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages...
This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held...
|
cena:
201,24 |
![]() |
Computer Safety, Reliability, and Security: Safecomp 2014 Workshops: Ascoms, Decsos, Devvarts, Isse, Resa4ci, Sassur. Florence, Italy, September 8-9,
ISBN: 9783319105567 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification... This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, ... |
cena:
201,24 |
![]() |
Computational Technologies: Advanced Topics
ISBN: 9783110359947 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book discusses questions of numerical solutions of applied problems on parallel computing systems. Nowadays, engineering and scientific computations are carried out on parallel computing systems, which provide parallel data processing on a few computing nodes. In constructing computational algorithms, mathematical problems are separated in relatively independent subproblems in order to solve them on a single computing node. This book discusses questions of numerical solutions of applied problems on parallel computing systems. Nowadays, engineering and scientific comput... |
cena:
212,26 |
![]() |
Quantitative Evaluation of Systems: 11th International Conference, Qest 2014, Florence, Italy, September 8-10, 2014, Proceedings
ISBN: 9783319106953 / Angielski / Miękka / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic...
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, ...
|
cena:
201,24 |
![]() |
Programming for the Absolute Beginner
ISBN: 9781305504431 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Are you interested in learning to program computers? PROGRAMMING FOR THE ABSOLUTE BEGINNER, SECOND EDITION is a friendly guide that will teach you the fundamentals of computer programming through the hands-on (and fun ) development of computer games. This book teaches programming using Just BASIC, a free, easy-to-learn software that lets you create programs for computers running Windows. Popular author and educator Jerry Ford, Jr., teaches you fundamental programming principles and gives you a broad view of computer programming and its many possibilities. As you work through this book, you...
Are you interested in learning to program computers? PROGRAMMING FOR THE ABSOLUTE BEGINNER, SECOND EDITION is a friendly guide that will teach you the...
|
cena:
201,01 |
![]() |
Generalized Nets
ISBN: 9789810205980 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Generalized Nets (GNs), are extensions of Petri nets and of different Petri nets modifications. This book gives definitions and the basic properties of GNs and discusses the extensions and reductions. GNs, which describe the functioning and results of the work of different types of petri nets, different types of finite automata and of Turing machines, are given. Over the GNs are defined different operation, relations and operators. They can also be transferred onto other nets. Many open problems in the GNs theory are given.
The Generalized Nets (GNs), are extensions of Petri nets and of different Petri nets modifications. This book gives definitions and the basic properti...
|
cena:
475,08 |
![]() |
Open Distributed Systems: On Concepts, Methods, and Design from a Logical Point of View
ISBN: 9783528053581 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work presents a new, abstract and comprehensive view of open distributed systems. The starting point is a small number of core concepts and basic principles, which are informally introduced and precisely defined using mathematical logic. It is shown how the basic concepts of open systems interconnection (OSI), which are currently the most important standardization activities in the context of open distributed systems, can be obtained by specialization and extension of these basic concepts. Application examples include the formal treatment of the interaction point concept and the...
This work presents a new, abstract and comprehensive view of open distributed systems. The starting point is a small number of core concepts and basic...
|
cena:
206,88 |
![]() |
Programmieren Mit Modula-3: Eine Einführung in Stilvolle Programmierung
ISBN: 9783662094860 / Niemiecki / Miękka / 577 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Schwierigkeit der Programmierung liegt darin, dass wir unsere Ideen in eine Form bringen mussen, die maschinell verarbeitet werden kann. Diese Umsetzung von Ideen in mechanische Form fallt oft schwer und kann den Anfanger entmutigen. Das Buch zeigt, wie durch richtige Strukturierung, durch die Ausbildung eines guten "Stils," auch komplexe Programme geschrieben und verstanden werden konnen. Dazu bedient es sich der Sprache Modula-3, die als Nachfolger von Pascal und Modula-2 auf den in diesen Sprachen bereits bewahrten Konzepten aufbaut und sie erweitert. Der dadurch ermoglichte...
Die Schwierigkeit der Programmierung liegt darin, dass wir unsere Ideen in eine Form bringen mussen, die maschinell verarbeitet werden kann. Diese Ums...
|
cena:
188,08 |
![]() |
Environment Modeling-Based Requirements Engineering for Software Intensive Systems
ISBN: 9780128019542 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the book presents a new view of software capability, i.e. the effect-based software capability in terms of environment modeling.
Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the... |
cena:
274,03 |
![]() |
Relating System Quality and Software Architecture
ISBN: 9780124170094 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with software architecture and how quality attributes are exhibited by the architecture of the system. Contributions from leading researchers and industry evangelists detail the techniques required to achieve quality management in software architecting, and the best way to apply these techniques effectively in various application domains (especially in cloud, mobile and ultra-large-scale/internet-scale architecture) Taken together, these approaches show how... System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with softwar... |
cena:
406,51 |
![]() |
Semantics of Probabilistic Processes: An Operational Approach
ISBN: 9783662451977 / Angielski / Twarda / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be...
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to...
|
cena:
201,24 |
![]() |
Using Advanced MPI : Modern Features of the Message-Passing Interface
ISBN: 9780262527637 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a practical guide to the advanced features of the MPI (Message-Passing Interface) standard library for writing programs for parallel computers. It covers new features added in MPI-3, the latest version of the MPI standard, and updates from MPI-2. Like its companion volume, Using MPI, the book takes an informal, example-driven, tutorial approach. The material in each chapter is organized according to the complexity of the programs used as examples, starting with the simplest example and moving to more complex ones. Using Advanced MPI covers major... This book offers a practical guide to the advanced features of the MPI (Message-Passing Interface) standard library for writing programs for parall... |
cena:
437,89 |
![]() |
Programming Concepts for the Non-Programmer
ISBN: 9781502474520 / Angielski / Miękka / 26 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
21,77 |