![]() |
ADA 2012 Reference Manual. Language and Standard Libraries: International Standard Iso/Iec 8652/2012 (E)
ISBN: 9783642454189 / Angielski / Miękka / 921 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 2012 Reference Manual. Language and Standard Libraries
Ada 2012 Reference Manual. Language and Standard Libraries
|
cena:
603,81 |
![]() |
Parallel Computing on Distributed Memory Multiprocessors
ISBN: 9783642634604 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in microelectronic technology have made massively parallel computing a reality and triggered an outburst of research activity in parallel processing architectures and algorithms. Distributed memory multiprocessors - parallel computers that consist of microprocessors connected in a regular topology - are increasingly being used to solve large problems in many application areas. In order to use these computers for a specific application, existing algorithms need to be restructured for the architecture and new algorithms developed. The performance of a computation on a distributed...
Advances in microelectronic technology have made massively parallel computing a reality and triggered an outburst of research activity in parallel pro...
|
cena:
525,32 |
![]() |
Operating Systems and Services
ISBN: 9781461372912 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Operating Systems and Services brings together in one place important contributions and up-to-date research results in this fast moving area.
Operating Systems and Services serves as an excellent reference, providing insight into some of the most challenging research issues in the field. Operating Systems and Services brings together in one place important contributions and up-to-date research results in this fast moving area....
|
cena:
402,53 |
![]() |
Architecture of Computing Systems -- Arcs 2014: 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
ISBN: 9783319048901 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 27th International Conference on Architecture of Computing Systems, ARCS 2014, held in Lubeck, Germany, in February 2014. The 20 papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: parallelization: applications and methods; self-organization and trust; system design; system design and sensor systems; and virtualization: I/O, memory, cloud; dependability: safety, security, and reliability aspects.
This book constitutes the proceedings of the 27th International Conference on Architecture of Computing Systems, ARCS 2014, held in Lubeck, Germany, i...
|
cena:
201,24 |
![]() |
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:
201,24 |
![]() |
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:
201,24 |
![]() |
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:
201,24 |
![]() |
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,11 |
![]() |
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:
402,53 |
![]() |
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:
402,53 |
![]() |
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,03 |
![]() |
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:
402,53 |
![]() |
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:
201,24 |
![]() |
OpenJDK Cookbook
ISBN: 9781849698405 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,98 |
![]() |
Learning Raspbian
ISBN: 9781784392192 / Angielski / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
114,59 |
![]() |
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:
201,24 |
![]() |
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:
201,24 |
![]() |
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:
560,94 |
![]() |
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:
268,23 |
![]() |
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:
925,87 |