» książki » Computers - Operating Systems - General
topmenu
 |
Understanding Concurrent Systems
ISBN: 9781447126003 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style. An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a...
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential P...
|
cena:
201,24 |
 |
Simple Interface for Windows 98
ISBN: 9783844316506 / Angielski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Interrupts are an important part of computer architecture. Each computer design has its own interrupt mechanism, but several functions are common. Interrupt need to be hooked for several reasons. One reason is to change the behavior of the system services exported by the operating system. By hooking the software interrupts, monitoring applications can be written. Hooking can prove useful in studying operating system internals. This can also serve as a way to hook system services. In this work, interrupt gate be hooked under Windows 98 by saving the old vector of its entry and add a new vector...
Interrupts are an important part of computer architecture. Each computer design has its own interrupt mechanism, but several functions are common. Int...
|
cena:
219,18 |
 |
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
ISBN: 9783642362484 / Angielski / Miękka / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is assurances: the provision of evidence that the system satisfies its stated...
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems abl...
|
cena:
201,24 |
 |
Sistemas Operativos Para Ingenieros
ISBN: 9783845485355 / Hiszpański / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Este libro entrega los conceptos de la tecnologia de los Sistemas Operativos desde la perspectiva de los estudiantes de Ingenieria. Aborda temas del area de programacion, base de datos y de los sistemas distribuidos. Un sistema operativo desempena 5 funciones basicas en la operacion de un sistema informatico: suministro de interfaz al usuario, administracion de recursos, administracion de archivos, administracion de tareas y servicio de soporte y utilidades. Un sistema operativo es un software de sistema, es decir, un conjunto de programas de computacion destinados a realizar muchas tareas...
Este libro entrega los conceptos de la tecnologia de los Sistemas Operativos desde la perspectiva de los estudiantes de Ingenieria. Aborda temas del a...
|
cena:
219,18 |
 |
Human Error and Learnability Evaluation
ISBN: 9783844304428 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learnability and Human Errors are influential factors of the usability of most interacting systems. This book explores the human errors and the learnability situation of authentication systems to contribute to the development of more usable interactive system. The authors investigated through observations and interviews to achieve the aim of this study. A minimalist portable test lab was developed in order to conduct the observation process in a controlled environment. At the end of the study, the authors presented the list of identified human errors and learnability issues, and provided...
Learnability and Human Errors are influential factors of the usability of most interacting systems. This book explores the human errors and the learna...
|
cena:
263,91 |
 |
Passive and Active Measurement: 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013, Proceedings
ISBN: 9783642365157 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Passive and Active Measurement, PAM 2013, held in Hong Kong, China, in March 2013. The 24 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers have been organized in the following topical sections: measurement design, experience and analysis; Internet wireless and mobility; performance measurement; protocol and application behavior; characterization of network usage; and network security and privacy. In addition, 9 poster abstracts have been included.
This book constitutes the refereed proceedings of the 14th International Conference on Passive and Active Measurement, PAM 2013, held in Hong Kong, Ch...
|
cena:
185,18 |
 |
Le Test Utilisateur Asynchrone Pour Évaluer l'Utilisabilité
ISBN: 9783838176277 / Francuski / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sur le web, on rencontre souvent des sites graphiquement attrayants, mais dont l'utilisation est trA]s laborieuse. Ces sites ont une mauvaise utilisabilitA(c). Ce travail prA(c)sente un cas pratique d'A(c)valuation de l'utilisabilitA(c) le site RODIN, portail de recherche personnalisable dA(c)veloppA(c) par la Haute A(c)cole de gestion de GenA]ve. Pour impliquer les usagers dans le processus de dA(c)veloppement du site, la mA(c)thode du test utilisateur a A(c)tA(c) choisie. Le test a A(c)tA(c) rA(c)alisA(c) de maniA]re asynchrone, c'est-A -dire sans contact direct avec les participants. Ce...
Sur le web, on rencontre souvent des sites graphiquement attrayants, mais dont l'utilisation est trA]s laborieuse. Ces sites ont une mauvaise utilisab...
|
cena:
174,45 |
 |
Method and System for Multidimensional Data Visualization
ISBN: 9783659334702 / Angielski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Visualization of a system state as a whole suggests reflection of all variables together on one "integral" image. This applies to both static and dynamic systems changing its state over time. Maximum number of dimensions reflected on an image is limited by dimensionality of the presentation tools like a sheet of paper or computer screen. Therefore, to visualize a static state dimensionality of an image cannot exceed three and, in the case of dynamic data, only two dimensions given that one of them is needed to show time. A method and software system that fulfill the above requirements are...
Visualization of a system state as a whole suggests reflection of all variables together on one "integral" image. This applies to both static and dyna...
|
cena:
219,18 |
 |
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
ISBN: 9783642369452 / Angielski / Miękka / 515 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages and visions.
This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention,...
|
cena:
201,24 |
 |
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Softw
ISBN: 9783642370502 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 13 papers presented in this book were carefully reviewed and selected from 53 submissions. They have been organized into five topical sections on register allocation, pointer analysis, data and information flow, machine learning, and refactoring.
This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Confe...
|
cena:
185,18 |
 |
Computer Arithmetic and Validity: Theory, Implementation, and Applications
ISBN: 9783110301731 / Angielski / Twarda / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic capability of the computer can be enhanced. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical... This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standa... |
cena:
700,93 |
 |
A critical evaluation of NRW using IS/IT
ISBN: 9783846541203 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Non Revenue Water is a major challenge in the Water Industry in general and Tanzania in particular including AUWSA. In dealing with NRW, number of models and approaches has been developed including water balance concept as discussed in this evaluation. In this report NRW, use of IS/IT strategy and change and change management in addressing NRW in the Authority has been critically evaluated and presented. However, there is no research which has found the permanent solution to remove NRW in the whole water sector except water balance model which has highlighted some means and approach under...
Non Revenue Water is a major challenge in the Water Industry in general and Tanzania in particular including AUWSA. In dealing with NRW, number of mod...
|
cena:
263,91 |
 |
70-688 Managing and Maintaining Windows 8 with Lab Manual and Moac Labs Online Set
ISBN: 9781118667323 / Angielski / Miękka / 658 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This course in the Microsoft Official Academic Course program prepares students for exam 70-688, Managing and Maintaining Windows 8 with Lab Manual and MOAC Labs Online Set.
This course in the Microsoft Official Academic Course program prepares students for exam 70-688, Managing and Maintaining Windows 8 with Lab Manual an...
|
cena:
1239,13 |
 |
70-688 Managing and Maintaining Windows 8 with Lab Manual Set
ISBN: 9781118668443 / Angielski / Miękka / 657 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This course in the Microsoft Official Academic Course program prepares students for exam 70-688, Managing and Maintaining Windows 8 with Lab Manual Set.
This course in the Microsoft Official Academic Course program prepares students for exam 70-688, Managing and Maintaining Windows 8 with Lab Manual Se...
|
cena:
876,70 |
 |
70-688 Managing and Maintaining Windows 8 with Moac Labs Online Set
ISBN: 9781118668580 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This course in the Microsoft Official Academic Course program prepares students for exam 70-688, Managing and Maintaining Windows 8 with MOAC Labs Online Set.
This course in the Microsoft Official Academic Course program prepares students for exam 70-688, Managing and Maintaining Windows 8 with MOAC Labs Onl...
|
cena:
1103,28 |
 |
Inheritance Relationships for Disciplined Software Construction
ISBN: 9781447110927 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it.
This book introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a clear conceptual basis, representing a fundamental, specialised use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting more precise... Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool wit...
|
cena:
201,24 |
 |
Smart Grid Security: First International Workshop, Smartgridsec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
ISBN: 9783642380297 / Angielski / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The engineering, deployment and security of the future smart grid will be an enormous project requiring the consensus of many stakeholders with different views on the security and privacy requirements, not to mention methods and solutions. The fragmentation of research agendas and proposed approaches or solutions for securing the future smart grid becomes apparent observing the results from different projects, standards, committees, etc, in different countries. The different approaches and views of the papers in this collection also witness this fragmentation. This book contains three...
The engineering, deployment and security of the future smart grid will be an enormous project requiring the consensus of many stakeholders with differ...
|
cena:
185,18 |
 |
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
ISBN: 9783642380877 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in...
|
cena:
201,24 |
 |
Understanding Operating Systems
ISBN: 9781285096551 / Angielski / Miękka / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now in its Seventh Edition, UNDERSTANDING OPERATING SYSTEMS continues to provide a clear and straightforward explanation of operating system theory and practice. As in previous editions, the book's highly regarded structure begins with a discussion of fundamentals before moving on to specific operating systems. Fully updated, this new edition includes expanded analysis of the impact on operating systems of such innovations as multi-core processing and wireless technologies. Revised Research Topics in the exercise section encourage independent student research. The final four chapters have...
Now in its Seventh Edition, UNDERSTANDING OPERATING SYSTEMS continues to provide a clear and straightforward explanation of operating system theory an...
|
cena:
443,32 |
 |
Implementierung von BYOD im MS Exchange Umfeld: Eine Evaluierung von Mobile Device Management Lösungen auf Basis einer Nutzwertanalyse
ISBN: 9783842868878 / Niemiecki / Miękka / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die in den letzten Jahren zunehmende Verbreitung von mobilen Endgeraten wie Smartphones und Tablet PCs fuhrt zu Veranderungen in unserer Arbeitswelt. So erlauben viele Arbeitgeber jenen Arbeitnehmern, die uber mobile Endgerate verfugen, orts- und zeitabhangig auf Unternehmensressourcen und -informationen zuzugreifen. Hierfur nutzen laut aktuellen Studien bereits uber 40% der Befragten ausschliesslich private Endgerate. In Zukunft ist also davon auszugehen, dass Arbeitnehmer zunehmend die ihnen vertrauten mobilen Endgerate auch im Unternehmen nutzen mochten. Diesem Trend, der auch...
Die in den letzten Jahren zunehmende Verbreitung von mobilen Endgeraten wie Smartphones und Tablet PCs fuhrt zu Veranderungen in unserer Arbeitswelt. ...
|
cena:
262,96 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
