ilość książek w kategorii: 2460
![]() |
Hpc@green It: Green High Performance Computing Methods
ISBN: 9783642017889 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making the most ef?cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. However, the focus of these discussions is often on single, isolated, and speci?c architectural and technological improvements for power reduction and conservation, while ignoring the fact that power ef?ciency as a ratio of performance to power consumption is equally in?uenced by performance improvements and architectural power red- tion. Furthermore, ef?ciency can be in?uenced on all levels of today's system hi- archies from single cores all the...
Making the most ef?cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. How...
|
cena:
202,66 |
![]() |
Real Life Applications of Soft Computing
ISBN: 9781439822876 / Angielski / Twarda / 686 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rapid advancements in the application of soft computing tools and techniques have proven valuable in the development of highly scalable systems and resulted in brilliant applications, including those in biometric identification, interactive voice response systems, and data mining. Although many resources on the subject adequately cover the theoretic concepts, few provide clear insight into practical application. Filling this need, Real Life Applications of Soft Computing explains such applications, including the underlying technology and its implementation.... Rapid advancements in the application of soft computing tools and techniques have proven valuable in the development of highly scalable systems and... |
cena:
867,57 |
![]() |
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
ISBN: 9783642046933 / Angielski / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri?cation during the exe- tion of programs. This approach complements the o?ine use of formal methods, which often use large resources. Runtime veri?cation methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held during June 26-28 in Grenoble, adjacent to...
The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV works...
|
cena:
202,66 |
![]() |
Robot Development Using Microsoft Robotics Developer Studio
ISBN: 9781439821657 / Angielski / Twarda / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Microsoftr Robotics Developer Studio (MSRDS) and LEGOr robots together offer a flexible platform for creating robotic systems. Designed for novices with basic programming skills, Robot Development Using Microsoftr Robotics Developer Studio provides clear instructions on developing and operating robots. It includes an extensive array of examples, with corresponding step-by-step tutorials and explanations. The first several chapters of the book introduce the development environment of MSRDS, including concurrency and coordination runtime (CCR), decentralized software services (DSS), visual...
The Microsoftr Robotics Developer Studio (MSRDS) and LEGOr robots together offer a flexible platform for creating robotic systems. Designed for novice...
|
cena:
1041,10 |
![]() |
Advanced Techniques in Computing Sciences and Software Engineering
ISBN: 9789048136599 / Angielski / Twarda / 599 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advanced Techniques in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences. Advanced Techniques in Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2008) which was part of the International Joint Conferences on... Advanced Techniques in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and det... |
cena:
810,77 |
![]() |
Fault-Tolerant Parallel and Distributed Systems
ISBN: 9780792380696 / Angielski / Twarda / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and every thing is inter-networked. The application will be dominated by storage, search, retrieval, analysis, exchange and updating of information in a wide variety of forms. Heavy demands will be placed on systems by many simultaneous re quests. And, fundamentally, all this shall be delivered at much higher levels of dependability, integrity and security. Increasingly, large parallel computing systems and networks are providing unique challenges to...
The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and ever...
|
cena:
608,07 |
![]() |
Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proc
ISBN: 9783540665885 / Angielski / Miękka / 942 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM 99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These...
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range o...
|
cena:
405,36 |
![]() |
Smart Sensing and Context: 4th European Conference, Eurossc 2009, Guildford, Uk, September 16-18, 2009. Proceedings
ISBN: 9783642044700 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of the 4th European Conference on Smart Se- ing and Context hosted by the Centre for Communication Systems Research, University of Surrey, in Guildford, UK. Smart sensing and context are the key enablers for e?ective autonomous systems, providing transparent technologies to realize the vision of ubiquitous computing, intelligent services and networking. (Wireless) Sensor and actuator networks, tightly integratedinto the structure of the Internet provide the und- lying manifestation of the physical world into the Internet of Things. Networked...
Welcome to the proceedings of the 4th European Conference on Smart Se- ing and Context hosted by the Centre for Communication Systems Research, Univer...
|
cena:
202,66 |
![]() |
Management Enabling the Future Internet for Changing Business and New Computing Services: 12th Asia-Pacific Network Operations and Management Symposiu
ISBN: 9783642044915 / Angielski / Miękka / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are delighted to present the proceedings of the 12th Asia-Paci?c Network Operations and Management Symposium (APNOMS 2009), which was held in Jeju, Korea, during September 23-25, 2009. Recently, various convergences in wired and wireless networks, and conv- gence of telecommunications and broadcastings, are taking place for ubiquitous multimedia service provisioning. For example, broadband IP/MPLS wired n- works are actively converged with IEEE 802.11e wireless LAN, IEEE 802.16 Wireless MAN, 3G/4G wireless cellular networks, and direct multimedia bro- cast (DMB) networks. For e?cient...
We are delighted to present the proceedings of the 12th Asia-Paci?c Network Operations and Management Symposium (APNOMS 2009), which was held in Jeju,...
|
cena:
405,36 |
![]() |
Traffic Management and Traffic Engineering for the Future Internet: First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 2008, Revised Sel
ISBN: 9783642045752 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designing the future internet requires an in-depth consideration of the mana- ment, dimensioningandtra?ccontrolissuesthatwillbe involvedinthe network operations of these networks. The International Workshop on Tra?c Mana- ment and Tra?c Engineering of the Future Internet, FITraMEn2008, organized 1 within the framework of the Network of Excellence Euro-NF, providedanopen forum to present and discuss new ideas in this area in the context of ?xed, wireless and spontaneous (ad hoc and sensor) networks. TheNetworkofExcellenceEuro-NF AnticipatingtheNetworkoftheFuture - From Theory to Design is a...
Designing the future internet requires an in-depth consideration of the mana- ment, dimensioningandtra?ccontrolissuesthatwillbe involvedinthe network ...
|
cena:
202,66 |
![]() |
Distributed Database Management
ISBN: 9780470407455 / Angielski / Twarda / 768 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book addresses issues related to managing data across a distributed database system. It is unique because it covers traditional database theory and current research, explaining the difficulties in providing a unified user interface and global data dictionary. The book gives implementers guidance on hiding discrepancies across systems and creating the illusion of a single repository for users. It also includes three sample frameworks--implemented using J2SE with JMS, J2EE, and Microsoft .Net--that readers can use to learn how to implement a distributed database management system. IT and...
This book addresses issues related to managing data across a distributed database system. It is unique because it covers traditional database theory a...
|
cena:
725,11 |
![]() |
Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, Asea 2009 Held as Part of the Future
ISBN: 9783642106187 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the advancement of FGIT as a whole. Of particular interest are hybrid solutions that c- bine ideas taken from multiple disciplines in order to achieve something more signi- cant than the sum of the individual parts. Through such hybrid philosophy, a new principle...
As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common t...
|
cena:
202,66 |
![]() |
High Performance Algorithms and Software in Nonlinear Optimization
ISBN: 9780792354833 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: 22 dni roboczych This book contains a selection of papers presented at the conference on High Performance Software for Nonlinear Optimization (HPSN097) which was held in Ischia, Italy, in June 1997. The rapid progress of computer technologies, including new parallel architec- tures, has stimulated a large amount of research devoted to building software environments and defining algorithms able to fully exploit this new computa- tional power. In some sense, numerical analysis has to conform itself to the new tools. The impact of parallel computing in nonlinear optimization, which had a slow start at the...
This book contains a selection of papers presented at the conference on High Performance Software for Nonlinear Optimization (HPSN097) which was held ...
|
443,26 |
![]() |
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, Uk, 9-11th February 2010
ISBN: 9781849960854 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The first paper reflects a tutorial - on... Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 201... |
cena:
608,07 |
![]() |
Information System Concepts: Towards a Consolidation of Views
ISBN: 9780412639500 / Angielski / Twarda / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a compilation of papers presented at the Information System Concepts conference in Marburg, Germany. The special focus is consolidation and harmonisation of the numerous and widely diverging views in the field of information systems. This issue has become a hot topic, as many leading information system researchers and practitioners come to realise the importance of better communication among the members of the information systems community, and of a better scientific foundation of this rapidly evolving field.
This is a compilation of papers presented at the Information System Concepts conference in Marburg, Germany. The special focus is consolidation and ha...
|
cena:
810,77 |
![]() |
Information Systems Development for Decentralized Organizations: Proceedings of the Ifip Working Conference on Information Systems Development for Dec
ISBN: 9780412640001 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. TC8 is one of IFIP's most active committees. This book focusses on information systems support for organisations looking particularly at business process reengineering, co-operation between organisations and support for improved work flow in organisations. These are topical subjects and will appeal to both business and research communities.
TC8 is one of IFIP's most active committees. This book focusses on information systems support for organisations looking particularly at business proc...
|
cena:
810,77 |
![]() |
Computers in Building: Proceedings of the Caadfutures'99 Conference. Proceedings of the Eighth International Conference on Computer Aided Arc
ISBN: 9780792385363 / Angielski / Twarda / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the establishment of the CAAD Futures Foundation in 1985, CAAD experts from all over the world meet every two years to present and document the state of the art of research in Computer Aided Architectural Design. Together, the series provides a good record of the evolving state of research in this area over the last fourteen years. The Proceedings this year is the eighth in the series. The conference held at Georgia Institute of Technology in Atlanta, Georgia, includes twenty-five papers presenting new and exciting results and capabilities in areas such as computer graphics, building...
Since the establishment of the CAAD Futures Foundation in 1985, CAAD experts from all over the world meet every two years to present and document the ...
|
cena:
608,07 |
![]() |
Model-Driven Domain Analysis and Software Development: Architectures and Functions
ISBN: 9781616928742 / Angielski / Twarda / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model-driven domain analysis and software development: architectures and functions displays how to map and respond to the real-world challenges and purposes which software must solve. The implications can be far-reaching and apply to domains such as mechatronic, embedded and high risk systems, where failure could cost human lives. It is also important for complex business systems, wherein failures could lead to huge financial losses. This book forms an essential reference for developers and researchers by providing both cases and theories to ensure a strong and suitable domain analysis to...
Model-driven domain analysis and software development: architectures and functions displays how to map and respond to the real-world challenges and pu...
|
cena:
932,58 |
![]() |
Software Automatisch Testen: Verfahren, Handhabung Und Leistung
ISBN: 9783540676393 / Niemiecki / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Autoren stellen die praktische Handhabung und die Werkzeuge f r automatische Software-Testverfahren ausf hrlich dar. Besondere Ber cksichtigung findet dabei die Qualit tssicherung sowohl beim Test-Design, bei den verwendeten Testwerkzeugen als auch bei der Dokumentation der Ergebnisse.
Das Buch f hrt den Praktiker Schritt f r Schritt durch den Test-Proze von der anf nglichen Planung, Implementierung, Management bis zum Report. Die CD-ROM enth lt umfangreiche PDF-Dokumente zu automatischen Testverfahren, insbesondere zu ATLM (Automated Test Life-Cycle Methodology). Die Autoren stellen die praktische Handhabung und die Werkzeuge f r automatische Software-Testverfahren ausf hrlich dar. Besondere Ber cksichtigung fi...
|
cena:
340,82 |
![]() |
Softwareentwicklung Eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung
ISBN: 9783540234050 / Niemiecki / Book Termin realizacji zamówienia: ok. 5-8 dni roboczych. Eingebettete Systeme ubernehmen komplexe Steuerungs- und Regelungsaufgaben fur technische Systeme. Ihre Funktionalitat wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsachlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Uberblick uber das Thema. Klassifikationen und Themen wie Nebenlaufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter... Eingebettete Systeme ubernehmen komplexe Steuerungs- und Regelungsaufgaben fur technische Systeme. Ihre Funktionalitat wird durch das Zusammenspiel... |
cena:
215,92 |