» 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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 Concurrent Systems
ISBN: 9781848822573 / Angielski / Twarda / 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 |
 |
PC Viruses: Detection, Analysis and Cure
ISBN: 9781447112587 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. PC viruses are not necessarily a major disaster despite what is sometimes written about them. But a virus infection is at the very least a nuisance, and potentially can lead to loss of data. Quite often it is the user's panic reaction to discovering a virus infection that does more than the virus itself. This book demystifies PC viruses, providing clear, accurate information about this relatively new PC problem. It enables managers and PC users to formulate an appropriate response; adequate for prevention and cure, but not over the top'. Over 100 PC viruses and variants are documented in...
PC viruses are not necessarily a major disaster despite what is sometimes written about them. But a virus infection is at the very least a nuisance, a...
|
cena:
201,24 |
 |
Kerberos in heterogenen Netzwerken: Windows und Linux gemeinsam mit Active Directory Services verwalten
ISBN: 9783842877696 / Niemiecki / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welche Voraussetzungen sind zu schaffen, um in heterogenen Netzwerken eine einheitliche, effiziente und sichere Authentifizierung gegenuber einem Active Directory Verzeichnis realisieren zu konnen? Das vorliegende Buch ist das Ergebnis einer Machbarkeitsstudie zur Evaluierung der Moglichkeiten einer Authentifizierung mittels Kerberos v5 in heterogenen Netzwerken gegenuber einem zentralen Active Directory Verzeichnis. Der Fokus liegt dabei in einer Vereinfachung und Vereinheitlichung des Vorgehens fur unterschiedliche Administrationsbereiche (Active Directory, Client, Server,...
Welche Voraussetzungen sind zu schaffen, um in heterogenen Netzwerken eine einheitliche, effiziente und sichere Authentifizierung gegenuber einem Acti...
|
cena:
201,24 |
 |
Trusted Systems: 7th International Conference, Intrust 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
ISBN: 9783319315492 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Trusted Systems, INTRUST 2015, held in Beijing, China, in December 2015. The revised 12 full papers presented have been carefully reviewed and selected from 29 submissions. They are devoted to all aspects of trusted computing systems, including trusted modules, platforms; networks, services and applications. The papers are organized in the following sections: encryptions and signatures; security model; trusted technologies; software and system security. This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Trusted Systems, INTRUST 2015, hel... |
cena:
201,24 |
 |
Dataflow Supercomputing Essentials: Algorithms, Applications and Implementations
ISBN: 9783319661247 / Angielski / Twarda / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This illuminating text/reference reviews the fundamentals of programming for effective DataFlow computing. The DataFlow paradigm enables considerable increases in speed and reductions in power consumption for supercomputing processes, yet the programming model requires a distinctly different approach. The algorithms and examples showcased in this book will help the reader to develop their understanding of the advantages and unique features of this methodology.
This work serves as a companion title to DataFlow Supercomputing Essentials: Research, Development and Education, which... This illuminating text/reference reviews the fundamentals of programming for effective DataFlow computing. The DataFlow paradigm enables considerable ...
|
cena:
201,24 |
 |
Dataflow Supercomputing Essentials: Algorithms, Applications and Implementations
ISBN: 9783319881836 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Windows Phone: Mobile operating system
ISBN: 9786130142155 / Angielski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Windows Phone is a mobile operating system developed by Microsoft, and is the successor to its Windows Mobile platform. The system is primarily aimed at the consumer market as compared to its predecessor which targeted the enterprise market. Windows Phone was launched in the second half of 2010, with a release in Asia in early 2011. With Windows Phone, Microsoft created a new user interface, which featured its design language called Metro. In addition, the software...
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Windows Phone is a mob...
|
cena:
201,29 |
 |
Basics of Windows 7 with color images
ISBN: 9781448614325 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn the basics of how to use Windows 7 with easy to follow directions and color pictures guiding you through each step.
Learn the basics of how to use Windows 7 with easy to follow directions and color pictures guiding you through each step.
|
cena:
202,10 |
 |
Operating System Basics and Practice: A Hands-on Approach with openEuler
ISBN: 9789819521845 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,65 |
 |
Ihm Adaptative Suivant Le Niveau Du Chauffeur Et Le Risque d'Accident
ISBN: 9783838143781 / Francuski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. La diversitA(c) des opA(c)rateurs humains et celle des situations rencontrA(c)es lors d'une coopA(c)ration homme-machine rendent l'adaptation des IHM au profil de l'opA(c)rateur courant et au contexte de l'interaction une nA(c)cessitA(c) pressante. Dans ce contexte de recherche, nous prA(c)sentons une IHM automatiquement reconfigurable pour faciliter l'utilisation de la machine G7-GrA(c)goire en tenant compte du niveau de compA(c)tence des chauffeurs ainsi que du risque de renversement.
La diversitA(c) des opA(c)rateurs humains et celle des situations rencontrA(c)es lors d'une coopA(c)ration homme-machine rendent l'adaptation des IHM ...
|
cena:
205,31 |
 |
Iris Recognition System for Windows Security
ISBN: 9786138957508 / Angielski / Miękka / 80 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
205,31 |
 |
Melhorar o sistema de controlo de um simulador de dedos
ISBN: 9786208587819 / Portugalski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
205,31 |
 |
Miglioramento del sistema di controllo di un simulatore di dita
ISBN: 9786208587833 / Włoski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
205,31 |
 |
Amélioration du système de contrôle d'un simulateur de doigts
ISBN: 9786208587826 / Francuski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Récemment, différents types de petits circuits imprimés programmables et moins gourmands en énergie ont été utilisés pour faire fonctionner divers projets ou systèmes électroniques. En outre, ces petits circuits imprimés permettent également de contrôler les applications des simulateurs. L'école d'ingénierie mécanique et des systèmes de l'université de Newcastle possède actuellement quatre simulateurs pneumatiques qui étaient auparavant utilisés pour tester des prothèses de doigt. Chaque appareil a effectué environ cent millions de cycles de flexion et d'extension....
Récemment, différents types de petits circuits imprimés programmables et moins gourmands en énergie ont été utilisés pour faire fonctionner div...
|
cena:
205,31 |
 |
Verbesserung des Steuerungssystems eines Fingersimulators
ISBN: 9786208588014 / Niemiecki / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In letzter Zeit wurden verschiedene Arten kleiner, programmierbarer und weniger energieverbrauchender Leiterplatten für den Betrieb verschiedener elektronischer Projekte oder Systeme verwendet. Außerdem eignen sich diese kleinen Leiterplatten auch zur Steuerung der Anwendungen der Simulatoren. Die School of Mechanical & Systems Engineering der Newcastle University verfügt derzeit über vier pneumatische Simulatoren, die früher zum Testen von Fingerprothesen verwendet wurden. Jedes Gerät hat etwa hundert Millionen Beuge- und Streckzyklen durchgeführt. Ziel dieses Projekts ist es, das...
In letzter Zeit wurden verschiedene Arten kleiner, programmierbarer und weniger energieverbrauchender Leiterplatten für den Betrieb verschiedener ele...
|
cena:
205,31 |
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
