Synchronous Programming of Reactive Systems
ISBN: 9780792393115 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will attempt to give a first synthesis of recent works con cerning reactive system design. The term "reactive system" has been introduced in order to at'oid the ambiguities often associated with by the term "real-time system," which, although best known and more sugges tive, has been given so many different meanings that it is almost in evitably misunderstood. Industrial process control systems, transporta tion control and supervision systems, signal-processing systems, are ex amples of the systems we have in mind. Although these systems are more and more computerized, it is sur...
This book will attempt to give a first synthesis of recent works con cerning reactive system design. The term "reactive system" has been introduced in...
|
|
cena:
194,08 zł |
Deadlock Resolution in Computer-Integrated Systems
ISBN: 9780824753689 / Angielski / Twarda / 696 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent software, and computer operating systems, computer networks, distributed database systems, and many other automated systems. Yet, as these systems become more complex, automated, distributed, and computing-intensive, the opportunity for deadlock issues rises exponentially. Deadlock modeling, detection, avoidance, and recovery are critical to improving system performance.
Deadlock Resolution in Computer-Integrated Systems is the first... Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concu...
|
|
cena:
1034,71 zł |
Unix Administration: A Comprehensive Sourcebook for Effective Systems & Network Management
ISBN: 9780849313516 / Angielski / Miękka / 768 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To configure and maintain an operating system is serious business. With UNIX and its wide variety of "flavors," it can be especially difficult and frustrating, and networking with UNIX adds still more challenges.
UNIX Administration: A Comprehensive Sourcebook for Effective Systems & Network Management is a one-stop handbook for the administration and maintenance of UNIX systems and networks. With an outstanding balance of concepts and practical matters, it covers the entire range of administrative tasks, from the most basic to the advanced, from system startup and shutdown to... To configure and maintain an operating system is serious business. With UNIX and its wide variety of "flavors," it can be especially difficult and fru...
|
|
cena:
656,16 zł |
Testing Computers Systems for Fda/Mhra Compliance
ISBN: 9780849321634 / Angielski / Twarda / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There is no substitute for extensive testing when it comes to IT systems. Recognition that problems are easier and cheaper to fix before the system is in use (rather than after), has turned testing into a cost-effective tool. However, when developing computer systems for pharmaceuticals manufacturing, testing to meet regulatory requirements adds an additional layer of complexity. Testing Computers Systems for FDA/MHRA Compliance focuses on software module, software integration, hardware, and system acceptance testing. Reflecting the renewed emphasis of the FDA and other global regulatory...
There is no substitute for extensive testing when it comes to IT systems. Recognition that problems are easier and cheaper to fix before the system is...
|
|
cena:
757,10 zł |
Software Verification and Validation
ISBN: 9780890068892 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book highlights the advantages and disadvantages of various software development lifecycle models, and describes when to apply testing -- and when to use other, more cost-effective techniques. It also shows how to incorporate V&V techniques if your organization does not have a written procedure, and explains how to implement the inspection process.
This book highlights the advantages and disadvantages of various software development lifecycle models, and describes when to apply testing -- and whe...
|
|
cena:
457,70 zł |
Formal Methods and Models for System Design: A System Level Perspective
ISBN: 9781402080517 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of...
Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations...
|
|
cena:
743,77 zł |
Optimal Control of Distributed Systems with Conjugation Conditions
ISBN: 9781402081088 / Angielski / Twarda / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At present, in order to resolve problems of ecology and to save mineral resources for future population generations, it is quite necessary to know how to maintain nature arrangement in an efficient way. It is possible to achieve a rational nature arrangement when analyzing solutions to problems concerned with optimal control of distributed systems and with optimization of modes in which main ground medium processes are functioning (motion of liquids, generation of temperature fields, mechanical deformation of multicomponent media). Such analysis becomes even more difficult because of...
At present, in order to resolve problems of ecology and to save mineral resources for future population generations, it is quite necessary to know how...
|
|
cena:
388,20 zł |
An Introduction to Cryptography
ISBN: 9781584886181 / Angielski / Twarda / 413 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Continuing a bestselling tradition, An Introduction to Cryptography, Second Edition provides a solid foundation in cryptographic concepts that features all of the requisite background material on number theory and algorithmic complexity as well as a historical look at the field.
With numerous additions and restructured material, this edition presents the ideas behind cryptography and the applications of the subject. The first chapter provides a thorough treatment of the mathematics necessary to understand cryptography, including number theory and complexity, while the second chapter... Continuing a bestselling tradition, An Introduction to Cryptography, Second Edition provides a solid foundation in cryptographic concepts that feature...
|
|
cena:
479,45 zł |
Learn VB .Net Through Game Programming
ISBN: 9781590591147 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Beginning programmers often motivate themselves by creating a first project in a subject that they are interested in. Many young programmers are interested in game programming. Learn VB .NET Through Game Programming is a self-paced learning tutorial designed to help any developer master the basics of object-oriented programming (OOP) with Microsoft Visual Basic .NET. Unlike other books on OOP, this easy-to-understand book provides readers with peer-level language, while illustrating concepts with definitive and intuitive game programming examples.
Beginning programmers often motivate themselves by creating a first project in a subject that they are interested in. Many young programmers are in... |
|
cena:
174,67 zł |
Code Generation in Microsoft .Net
ISBN: 9781590591376 / Angielski / Miękka / 760 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Code generation has the potential to revolutionize application development. Rather than handcrafting each piece of code, developers are increasingly turning to code generation based on templates and applications of business logic to automatically perform a variety of tasks. This book teaches the technical details of code generation in .NET through a coherent series of steps that will help you to incorporate code generation into your own development efforts. Veteran author Kathleen Dollard teaches code generation as a scripted repeatable process using templates you... Code generation has the potential to revolutionize application development. Rather than handcrafting each piece of code, developers are increasingl... |
|
cena:
213,50 zł |
Developing Application Frameworks in .Net
ISBN: 9781590592885 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Application frameworks, which provide a base of common services on which applications are built, offer the benefits of extensibility, modularity, and reusability of both code and design to your applications. This book explains what frameworks are and how they fit into applications, and offers many object-oriented techniques used in application frameworks. This book also shows you actually how to develop application frameworks through a concrete framework example called Simplified Application Framework (SAF). The SAF framework was developed by author Xin Chen in C#.... Application frameworks, which provide a base of common services on which applications are built, offer the benefits of extensibility, modularity, a... |
|
cena:
166,91 zł |
The Best Damn Server Virtualization Book Period: Including VMware, Xen, and Microsoft Virtual Server
ISBN: 9781597492171 / Angielski / Miękka / 931 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Server Sprawl and escalating IT costs have managers and system administrators scrambling to find ways to cut costs and reduce Total Cost of Ownership of their physical infrastructure. Combining software applications onto a single server, even if those applications are from the same software vendor, can be dangerous and problems hard to troubleshoot. Virtualization allows you to consolidate many servers onto a single physical server reducing hardware, electrical, cooling, and administrative costs. These virtual servers run completely independent of each other so if one crashes the... Server Sprawl and escalating IT costs have managers and system administrators scrambling to find ways to cut costs and reduce Total Cost of Ownersh... |
|
cena:
406,85 zł |
The Best Damn Exchange, SQL and IIS Book Period
ISBN: 9781597492195 / Angielski / Miękka / 1189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Exchange, SQL and IIS are at the core of most Microsoft enterprise servers. The 2007 releases of these products, along with the release of Windows Vista and Windows 2008 Server, represents the biggest overhaul of Windows enterprise products since Windows 2000. The dramatic changes to security tools and the addition of features that support "anywhere access" present IT professionals with a steep learning curve. Making certain that these products are configured to meet regulatory compliance requirements adds addtionaly complexity to day-to-day management network management. The Best... Exchange, SQL and IIS are at the core of most Microsoft enterprise servers. The 2007 releases of these products, along with the release of Windows ... |
|
cena:
206,89 zł |
Principles of the Spin Model Checker
ISBN: 9781846287695 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider -... Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language wh... |
|
cena:
252,32 zł |
Systems Engineering for Business Process Change: Collected Papers from the Epsrc Research Programme
ISBN: 9781852332228 / Angielski / Twarda / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This important, state-of-the-art book brings together for the first time in one volume the two areas of Legacy Systems and Business Processes. The research discussed has arisen from the EPSRC research programme on Systems Engineering for Business Process Change, and the book contains contributions from leading experts in the field.
Both the consumer and supplier of IT have problems with legacy systems and business process change, so Systems Engineering for Business Process Change will be of great interest to practitioners who are encountering, or likely to encounter, problems with legacy... This important, state-of-the-art book brings together for the first time in one volume the two areas of Legacy Systems and Business Processes. The res...
|
|
cena:
646,10 zł |
Inheritance Relationships for Disciplined Software Construction
ISBN: 9781852334673 / Angielski / Twarda / 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. 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 modelling of systems and capturing the semantic intent of each use of...
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:
533,07 zł |
Virtual Machines
ISBN: 9781852339692 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak," so be it. I love them because they are so much fun, as well as being so useful. They have an element of original sin (writing assembly programs and being in control of an entire machine), while still being able to claim that one is being a respectable member of the community (being structured, modular, high-level, object-oriented, and so on). They also allow one to design machines of one's own, unencumbered by the restrictions of a starts optimising it for some physical particular processor...
I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak," so be it. I love them because they are so much fu...
|
|
cena:
582,32 zł |
Microsoft Log Parser Toolkit: A Complete Toolkit for Microsoft's Undocumented Log Analysis Tool
ISBN: 9781932266528 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written by Microsoft's Log Parser developer, this is the first book available on Microsoft's popular yet undocumented log parser tool. The book and accompanying Web site contain hundreds of customized, working scripts and templates that system administrators will find invaluable for analyzing the log files from Windows Server, Snort IDS, ISA Server, IIS Server, Exchange Server, and other products. System administrators running Windows, Unix, and Linux networks manage anywhere from 1 to thousands of operating systems (Windows, Unix, etc.), Applications (Exchange, Snort, IIS, etc.),... Written by Microsoft's Log Parser developer, this is the first book available on Microsoft's popular yet undocumented log parser tool. The book and... |
|
cena:
275,24 zł |
Mobile Agents: 6th International Conference, Ma 2002, Barcelona, Spain, October 22-25, 2002, Proceedings
ISBN: 9783540000853 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of the 6th IEEE International Conference on Mobile Agents. MA 2002 took place in Barcelona, Spain and was co-located with the 4th International Workshop on Mobile Agents for Telecommunications Applications. Both events were held at the Universitat Pompeu Fabra, October 22-25, 2002. Mobile agents may be de?ned as programs that, with varying degree of - tonomy, can move between hosts across a network. Mobile agents combine the notions of mobile code, mobile computation, and mobile state. Capabilities of mobile agents include: - Supporting unrealiable networks and...
Welcome to the proceedings of the 6th IEEE International Conference on Mobile Agents. MA 2002 took place in Barcelona, Spain and was co-located with t...
|
|
cena:
194,08 zł |
Distributed Communities on the Web: 4th International Workshop, Dcw 2002 Sydney, Australia, April 3-5, 2002, Revised Papers
ISBN: 9783540003014 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Communities are groupings of distributed objects that communicate, directly orindirectly, throughthemediumofasharedcontext.Thisconferencebrought togetherresearchersinterestedinthetechnicalissuesofsupportingcommunities. DCW 2002 was held in Sydney, Australia, and was hosted by the Software EngineeringResearchGroupandtheSchoolofComputerScienceandEngine- ingattheUniversityofNewSouthWales.ItwasthefourthintheDCWseries, thepreviousconferenceshavingtakenplaceinQu ebec(2000, LNCS1830)and inRostock(1998and1999, UniversityofRostockPress). Theprogramcommitteeselected25papersfrom59submissionsfromaround...
Communities are groupings of distributed objects that communicate, directly orindirectly, throughthemediumofasharedcontext.Thisconferencebrought toget...
|
|
cena:
194,08 zł |