![]() |
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783642548321 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, a...
|
cena:
202,19 |
![]() |
NASA Formal Methods: 6th International Symposium, Nfm 2014, Houston, Tx, Usa, April 29 - May 1, 2014. Proceedings
ISBN: 9783319061993 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in...
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29...
|
cena:
202,19 |
![]() |
Fundamentals of Operating Systems
ISBN: 9781475722543 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An operating system is probably the most important part of the body of soft- ware which goes with any modem computer system. Its importance is reflected in the large amount of manpower usually invested in its construction, and in the mystique by which it is often surrounded. To the non-expert, the design and construction of operating systems has often appeared an activity impenetrable to those who do not practise it. I hope this book will go some way toward dispelling the mystique, and encourage a greater general under- standing of the principles on which operating systems are constructed....
An operating system is probably the most important part of the body of soft- ware which goes with any modem computer system. Its importance is reflect...
|
cena:
202,19 |
![]() |
Grundkurs SAP Apo: Eine Einführung Mit Durchgehendem Fallbeispiel
ISBN: 9783658036539 / Niemiecki / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Lehrbuch vermittelt den Umgang mit dem Advanced Planner and Optimizer (APO) der SAP AG anhand eines durchgehenden Fallbeispiels. In Ubungen wird die betriebswirtschaftliche Theorie IT-seitig veranschaulicht. Das vorliegende Lehrbuch basiert auf einer mehrjahrigen Lehr- sowie Beratungstatigkeit und fuhrt die Studierenden uber das fiktive Unternehmen IDES, das von der SAP AG in Schulungssystemen sowohl fur den Bereich Enterprise Resource Planning (ERP) als auch fur den APO abgebildet wurde, Schritt fur Schritt durch die Anwendung. Von der Ubertragung der Stamm-... Das vorliegende Lehrbuch vermittelt den Umgang mit dem Advanced Planner and Optimizer (APO) der SAP AG anhand eines durchgehenden Fallbeispiels. In... |
cena:
124,70 |
![]() |
Handbook of Data Communications and Networks
ISBN: 9781475709070 / Angielski / Miękka / 1095 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data communications and networks are two of the fastest growing technological areas. This is because there is an almost unlimited demand for information transfer. Increased transfer rates give the opportunity for better applications and improved opportunities. These improvements lead to an increased demand for communications, and so on. Most people in business would now agree that networks and data communications makes their work easier and increases their productivity. Communication systems now cover many important areas of modem life. Without them, there would be no A TM bank services, no...
Data communications and networks are two of the fastest growing technological areas. This is because there is an almost unlimited demand for informati...
|
cena:
404,42 |
![]() |
Peer-to-Peer Computing: Principles and Applications
ISBN: 9783642425370 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Peer-to-peer (P2P) technology, or peer computing, is a paradigm that is viewed as a potential technology for redesigning distributed architectures and, consequently, distributed processing. Yet the scale and dynamism that characterize P2P systems demand that we reexamine traditional distributed technologies. A paradigm shift that includes self-reorganization, adaptation and resilience is called for. On the other hand, the increased computational power of such networks opens up completely new applications, such as in digital content sharing, scientific computation, gaming, or collaborative...
Peer-to-peer (P2P) technology, or peer computing, is a paradigm that is viewed as a potential technology for redesigning distributed architectures and...
|
cena:
404,42 |
![]() |
In Memory Data Management and Analysis: First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzh
ISBN: 9783319139593 / Angielski / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post conference proceedings of the First and Second International Workshops on In Memory Data Management and Analysis held in Riva del Garda, Italy, August 2013 and Hangzhou, China, in September 2014. The 11 revised full papers were carefully reviewed and selected from 18 submissions and cover topics from main-memory graph analytics platforms to main-memory OLTP applications. This book constitutes the thoroughly refereed post conference proceedings of the First and Second International Workshops on In Memory Data Managem... |
cena:
161,78 |
![]() |
Innovation Together: Microsoft Research Asia Academic Research Collaboration
ISBN: 9781461497905 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its establishment in 1998, Microsoft Research Asia's trademark and long term commitment has been to foster innovative research and advanced education in the Asia-Pacific region. Through open collaboration and partnership with universities, government and other academic partners, MSRA has been consistently advancing the state-of-the-art in computer science. This book was compiled to record these outstanding collaborations, as Microsoft Research Asia celebrates its 10th Anniversary. The selected papers are all authored or co-authored by faculty members or students through... Since its establishment in 1998, Microsoft Research Asia's trademark and long term commitment has been to foster innovative research and advanced e... |
cena:
404,42 |
![]() |
Analyzing Computer System Performance with Perl::PDQ
ISBN: 9783642437137 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Makes performance analysis and queueing theory concepts simple to understand and available to anyone with a background in high school algebra
Packed with helpful examples that are based on the author's experience analyzing the performance of large-scale systems over the past 20 years.
Makes performance analysis and queueing theory concepts simple to understand and available to anyone with a background in high school algebra |
cena:
202,19 |
![]() |
OpenJDK Cookbook
ISBN: 9781849698405 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
220,67 |
![]() |
Learning Raspbian
ISBN: 9781784392192 / Angielski / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
121,13 |
![]() |
NASA Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, Usa, April 27-29, 2015, Proceedings
ISBN: 9783319175232 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development;... This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in A... |
cena:
202,19 |
![]() |
Quality-Aware Scheduling for Key-Value Data Stores
ISBN: 9783662473054 / Angielski / Miękka / 97 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book comprehensively illustrates quality-ware scheduling in key-value stores. In addition, it provides scheduling strategies and a prototype framework of quality-aware scheduler as well as a demonstration of online applications. The book offers a rich blend of theory and practice which is suitable for students, researchers and practitioners interested in distributed systems, NoSQL key-value stores and scheduling.
This book comprehensively illustrates quality-ware scheduling in key-value stores. In addition, it provides scheduling strategies and a prototype fram...
|
cena:
202,19 |
![]() |
Computer Systems Architecture
ISBN: 9781482231052 / Angielski / Twarda / 445 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer Systems Architecture provides IT professionals and students with the necessary understanding of computer hardware. It addresses the ongoing issues related to computer hardware and discusses the solutions supplied by the industry. The book describes trends in computing solutions that led to the current available infrastructures, tracing the initial need for computers to recent concepts such as the Internet of Things. It covers computers data representation, explains how computer architecture and its underlying meaning changed over the years, and... Computer Systems Architecture provides IT professionals and students with the necessary understanding of computer hardware. It add... |
cena:
564,39 |
![]() |
Windows Registry Forensics: Advanced Digital Forensic Analysis of the Windows Registry
ISBN: 9780128032916 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Windows Registry Forensics: Advanced Digital Forensic Analysis of the Windows Registry, Second Edition, provides the most in-depth guide to forensic investigations involving Windows Registry. This book is one-of-a-kind, giving the background of the Registry to help users develop an understanding of the structure of registry hive files, as well as information stored within keys and values that can have a significant impact on forensic investigations. Tools and techniques for post mortem analysis are discussed at length to take users beyond the current use of viewers and into real... Windows Registry Forensics: Advanced Digital Forensic Analysis of the Windows Registry, Second Edition, provides the most in-depth guide to ... |
cena:
269,87 |
![]() |
Robot Operating System (Ros): The Complete Reference (Volume 1)
ISBN: 9783319260525 / Angielski / Twarda / 728 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The objective of this book is to provide the reader with a comprehensive coverage on the Robot Operating Systems (ROS) and latest related systems, which is currently considered as the main development framework for robotics applications. The book includes twenty-seven chapters organized into eight parts.
The objective of this book is to provide the reader with a comprehensive coverage on the Robot Operating Systems (ROS) and latest related systems, whi...
|
cena:
930,22 |
![]() |
Exploring the Raspberry Pi 2 with C++
ISBN: 9781484217382 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. You have a Pi 2, but what exactly can you do with it? This book takes you on a tour of the Pi 2 hardware and all of the fantastic things that you can do to create innovative and useful projects with your Pi. Start with creating a workstation that does actual work, and move into installing a custom kernel, creating a clock, learning the ins and outs of the GPIO interface, and pick up some useful C++ skills along the way.
Warren Gay, author of Mastering the Raspberry Pi, takes you through a set of experiments to show just what the Pi 2 is capable of and how you can use it to make your... You have a Pi 2, but what exactly can you do with it? This book takes you on a tour of the Pi 2 hardware and all of the fantastic things that you can ...
|
cena:
181,97 |
![]() |
GPS Praxisbuch Garmin eTrex Touch 25/35: Praxis- und modellbezogen für einen schnellen Einstieg
ISBN: 9783738621495 / Niemiecki / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dies ist eine einfach Bedienanleitung fur die Gerate der eTrex Touch-Serie (eTrex Touch 25, ...35). Fur alle, die "drauen" etwas erleben mochten. - Outdoor-Navigation, die echt Spa macht - Das erste Mal ein GPS-Gerat in den Handen? Fragen uber Fragen, Unsicherheit: "Mache ich das so richtig? Wie sieht das bei anderen aus?..". Dies und alles, was Sie als GPS Einsteiger fur einen sinnvollen und zugigen Start in die Praxis wissen mussen, beantwortet dieses Buch. Leicht verstandlich geschrieben, praxis- und modellbezogen verfasst sowie mit viel Bildmaterial unterlegt zeigt es Schritt fur Schritt...
Dies ist eine einfach Bedienanleitung fur die Gerate der eTrex Touch-Serie (eTrex Touch 25, ...35). Fur alle, die "drauen" etwas erleben mochten. - Ou...
|
cena:
129,42 |
![]() |
Oracle Solaris and Veritas Cluster: An Easy-Build Guide: A Try-At-Home, Practical Guide to Implementing Oracle/Solaris and Veritas Clustering Using a
ISBN: 9781484218327 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn the fundamental concepts of OS clustering, Oracle Solaris clustering high-level design, Oracle Solaris clustering implementation using VirtualBox, and Veritas clustering implementation using VirtualBox. Oracle Solaris and Veritas Cluster: An Easy-build Guide shows you how to implement a cluster on your desktop or laptop devices using virtualized network, host, and storage configuration. This book explains both the architecture design and technical implementation for building Solaris Oracle- or Veritas-based clustered environments.
This book provides snapshot-based steps to set up... Learn the fundamental concepts of OS clustering, Oracle Solaris clustering high-level design, Oracle Solaris clustering implementation using VirtualBo...
|
cena:
133,43 |
![]() |
Softwaretests Mit Python
ISBN: 9783662486023 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,85 |