![]() |
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:
729,07 |
![]() |
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:
468,67 |
![]() |
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:
519,50 |
![]() |
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:
173,37 |
![]() |
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:
211,90 |
![]() |
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:
173,47 |
![]() |
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:
202,80 |
![]() |
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:
282,42 |
![]() |
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:
582,60 |
![]() |
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:
423,42 |
![]() |
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:
605,23 |
![]() |
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:
248,80 |
![]() |
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:
201,72 |
![]() |
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:
201,72 |
![]() |
Information Hiding: 5th International Workshop, Ih 2002, Noordwijkerhout, the Netherlands, October 7-9, 2002, Revised Papers
ISBN: 9783540004219 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These post-proceedings contain 27 papers that were accepted for presentation at the Fifth International Workshop on Information Hiding, held 7-9 October 2002, in Noordwijkerhout, The Netherlands. The papers were selected from 78 submissions on the basis of their scienti?c excellence and novelty by the program committee. We tried to have a balanced program covering several aspects of information hiding. The program committee was composed of Ross J. Anderson (Univ- sity of Cambridge, UK), Jan Camenisch (IBM Zurich Research Laboratory, Switzerland), Ingemar J. Cox (NEC Research Institute, USA),...
These post-proceedings contain 27 papers that were accepted for presentation at the Fifth International Workshop on Information Hiding, held 7-9 Octob...
|
cena:
201,72 |
![]() |
Privacy Enhancing Technologies: Second International Workshop, Pet 2002, San Francisco, Ca, Usa, April 14-15, 2002, Revised Papers
ISBN: 9783540005650 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second Privacy Enhancing Technologies workshop (PET2002), held April 14-15, 2002 in San Francisco, California, continued the enthusiasm and quality of the ?rst workshop in July 2000 (then called "Designing Privacy Enhancing Technologies: Design Issues in Anonymity and Unobservability," LNCS 2009). The workshop focused on the design and realization of anonymity and an- censorship services for the Internet and other communication networks. For c- venienceitwasheldattheCathedralHillHoteljustpriortotheTwelfthConf- ence on Computers, Freedom, and Privacy (CFP2002), but it was not formally...
The second Privacy Enhancing Technologies workshop (PET2002), held April 14-15, 2002 in San Francisco, California, continued the enthusiasm and qualit...
|
cena:
201,72 |
![]() |
Communications and Multimedia Security. Advanced Techniques for Network and Data Protection: 7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings
ISBN: 9783540201854 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th IFIP International Conference on Communications and Multimedia Security, CMS 2003, held in Torino, Italy in October 2003.The 21 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on cryptography, network security, mobile and wireless network security, trust and privacy, application security, and multimedia security.
This book constitutes the refereed proceedings of the 7th IFIP International Conference on Communications and Multimedia Security, CMS 2003, held in T...
|
cena:
201,72 |
![]() |
Pervasive Computing: Second International Conference, Pervasive 2004, Vienna Austria, April 21-23, 2004, Proceedings
ISBN: 9783540218357 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Pervasive Computing, PERVASIVE 2004, held in Vienna, Austria in April 2004. from a total of 278 submissions. The papers are organized in topical sections on activity recognition, context computing, near body interfaces, software, sensors, security, architectures and systems, algorithms, and new interfaces.
This book constitutes the refereed proceedings of the Second International Conference on Pervasive Computing, PERVASIVE 2004, held in Vienna, Austria ...
|
cena:
201,72 |
![]() |
Advances in Cryptology - Crypto 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 15-19, 2004, Proceedings
ISBN: 9783540226680 / Angielski / Miękka / 579 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Crypto 2004, the 24th Annual Crypto Conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara. The program committee accepted 33 papers for presentation at the conf- ence. These were selected from a total of 211 submissions. Each paper received at least three independent reviews. The selection process included a Web-based discussion phase, and a one-day program committee meeting at New...
Crypto 2004, the 24th Annual Crypto Conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the...
|
cena:
403,47 |
![]() |
Power-Aware Computer Systems: Third International Workshop, Pacs 2003, San Diego, Ca, Usa, December 1, 2003, Revised Papers
ISBN: 9783540240310 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th Annual International Symposium on Microarchitecture (MICRO-36). The increase in power and - ergy dissipation in computer systems has begun to limit performance and has also resulted in higher cost and lower reliability. The increase also implies - ducedbatterylifeinportablesystems.Becauseofthemagnitudeoftheproblem, alllevelsofcomputersystems, includingcircuits, architectures, andsoftware, are being employed to address power and energy issues. PACS 2003 was the third...
Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th Annual International Symposi...
|
cena:
201,72 |