ilość książek w kategorii: 2460
![]() |
System Level Design with .Net Technology
ISBN: 9781439812112 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first book to harness the power of .NET for system design, System Level Design with .NET Technology constitutes a software-based approach to design modeling verification and simulation. World class developers, who have been at the forefront of system design for decades, explain how to tap into the power of this dynamic programming environment for more effective and efficient management of metadata and introspection and interoperability between tools. Using readily available technology, the text details how to capture constraints and requirements at high... The first book to harness the power of .NET for system design, System Level Design with .NET Technology constitutes a software-bas... |
cena:
644,49 |
![]() |
Non-Functional Properties in Service Oriented Architecture: Requirements, Models and Methods
ISBN: 9781605667942 / Angielski / Twarda / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Non-Functional Properties in Service Oriented Architecture: Requirements, Models and Methods offers a selection of chapters that cover three important aspects related to the use of non-functional properties in SOA: requirements specification with respect to non-functional properties, modeling non-functional properties and implementation of non-functional properties. This book serves as both a practical reference and an advanced scientific source for those interested in current issues, new trends, and yet-unresolved areas of the discipline.
Non-Functional Properties in Service Oriented Architecture: Requirements, Models and Methods offers a selection of chapters that cover three important...
|
cena:
932,58 |
![]() |
Wireless Technology: Applications, Management, and Security
ISBN: 9780387717869 / Angielski / Twarda / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wireless technology and handheld devices are dramatically changing the degrees of interaction throughout the world, further creating a ubiquitous network society. The emergence of advanced wireless telecommunication technologies and devices in today's society has increased accuracy and access rate, all of which are increasingly essential as the volume of information handled by users expands at an accelerated pace. The requirement for mobility leads to increasing pressure for applications and wireless systems to revolve around the concept of continuous communication with anyone, anywhere, and...
Wireless technology and handheld devices are dramatically changing the degrees of interaction throughout the world, further creating a ubiquitous netw...
|
cena:
608,07 |
![]() |
Software-Entwicklung Für Echtzeitsysteme
ISBN: 9783642015953 / Niemiecki / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Echtzeitsysteme sollen anfallende Daten unter Einhaltung von Zeitanforderungen verarbeiten. Deshalb hangt deren korrekte Funktion nicht nur von den Berechnungsergebnissen ab, sondern auch vom Zeitpunkt ihrer Erzeugung. Das Buch stellt den Stand der Entwicklungsmethodik von Software fur eingebettete Systeme mit kritischen Zeitbedingungen umfassend dar. Die Autoren behandeln grundlegende Konzepte, Analyse und Entwurf, Synchronisation und Konsistenz, Betriebssysteme, Vernetzung, Programmierung, Qualitat und Sicherheit sowie Ausfuhrungszeitschranken. "Echtzeitsysteme sollen anfallende Daten unter Einhaltung von Zeitanforderungen verarbeiten. Deshalb hangt deren korrekte Funktion nicht nur von den... |
cena:
208,34 |
![]() |
Distributed Applications and Interoperable Systems: 9th Ifip Wg 6.1 International Conference, Dais 2009, Lisbon, Portugal, June 9-12, 2009, Proceeding
ISBN: 9783642021633 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11, 2009. It was hosted by the Faculty of Sciences of the University of Lisbon and formally or- nized by Instituto de Telecomunica, c oes. The DisCoTecconferences jointly coverthe completespectrum ofdistributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The event consisted of the 11th Inter- tional Conference on Coordination Models and Languages(COORDINATION), the 9th IFIP...
This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11, 2009. It was...
|
cena:
202,66 |
![]() |
Design Theory and Computer Science: Processes and Methodology of Computer Systems Design
ISBN: 9780521118156 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The central question posed by the author is whether or not we can construct a theory of design.
The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both ...
|
cena:
440,39 |
![]() |
Practical Computing on the Cell Broadband Engine
ISBN: 9781441903075 / Angielski / Twarda / 485 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Practical Programming in the Cell Broadband Engine offers a unique programming guide for the Cell Broadband Engine, demonstrating a large number of real-life programs to identify and solve problems in engineering, logic design, VLSI CAD, number-theory, graph-theory, computational geometry, image processing, and other subjects. This book:
Practical Programming in the Cell Broadband Engine offers a unique programming guide for the Cell Broadband Engine, demonstrating a large ... |
cena:
608,07 |
![]() |
Future Multimedia Networking
ISBN: 9783642024719 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It isour greatpleasureto welcomeyouto the SecondInternationalWorkshopon Future Multimedia Networking (FMN). Following the ?rst successful workshop (held in Cardi?, Wales) in 2008, this year's workshop continues the tradition of being a premier forum that gives researchers and practitioners a unique - portunity to share their experiences and discuss state-of-the-art research results and major recent accomplishments in the area of multimedia networking. In recent years, real-time multimedia services have contributed extensively to our life experience and are expected to be among the most...
It isour greatpleasureto welcomeyouto the SecondInternationalWorkshopon Future Multimedia Networking (FMN). Following the ?rst successful workshop (he...
|
cena:
202,66 |
![]() |
Architecture-Based Design of Multi-Agent Systems
ISBN: 9783642010637 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book puts the development of multi-agent systems into a larger perspective with traditional software engineering approaches to tackle difficult challenges of modern-day software systems, such as decentralized control, self-adaptation, and large-scale. This book puts the development of multi-agent systems into a larger perspective with traditional software engineering approaches to tackle difficul... |
cena:
445,90 |
![]() |
Advances in Information Security and Assurance: Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, Proceedings
ISBN: 9783642026164 / Angielski / Miękka / 876 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Advances in Information Security and Its Applications, ISA 2009, held in Seoul, Korea, in June 2009. The 41 revised full papers presented were carefully reviewed and selected from 137 submissions. The papers are organized in topical sections on cryptographic algorithms, authentication and identity management, authorization and access control, biometrics and computer forensics, cryptographic protocols, data integrity and privacy, key management and recovery, mobile and RFID network security, firewall, IDs,...
This book constitutes the refereed proceedings of the Third International Conference on Advances in Information Security and Its Applications, ISA 200...
|
cena:
405,36 |
![]() |
The Codesign of Embedded Systems: A Unified Hardware/Software Representation: A Unified Hardware/Software Representation
ISBN: 9780792396369 / Angielski / Twarda / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the...
Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with...
|
cena:
810,77 |
![]() |
Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, l'Aquila, Italy, September 15-16, 2008, Revised Selected Pape
ISBN: 9783642032394 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but...
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in ...
|
cena:
202,66 |
![]() |
Wireless Algorithms, Systems, and Applications: 4th International Conference, Wasa 2009, Boston, Ma, Usa, August 16-18, 2009, Proceedings
ISBN: 9783642034169 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in wireless communication and computing technologies have prolif- ated ubiquitous infrastructure and ad hoc wireless networks, enabling a wide - riety of applications ranging from environment monitoring to health care, from critical infrastructure protection to wireless security, to name just a few. The complexity and rami?cations of the ever-growing number of mobile users and thevarietyofservicesintensifytheinterestindevelopingfundamentalprinciples, novel algorithms, rigorous and repeatable design methodologies, and systematic evaluation frameworks for the next generation of...
Advances in wireless communication and computing technologies have prolif- ated ubiquitous infrastructure and ad hoc wireless networks, enabling a wid...
|
cena:
405,36 |
![]() |
Embedded Software Development with C
ISBN: 9781441906052 / Angielski / Twarda / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded Software Development With C Kai Qian About this textbook:
Embedded Software Development With C Kai Qian About this textbook:
|
cena:
364,82 |
![]() |
Personal Satellite Services: International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers
ISBN: 9783642042591 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the International Conference on Personal Satellite Services (PSATS 2009) in Rome, Italy in March 2009. The 17 papers papers demonstrate recent advances in Internet applications over satellites, satellites technologies, and future satellite location-based systems. This book constitutes the proceedings of the International Conference on Personal Satellite Services (PSATS 2009) in Rome, Italy in March 2009. |
cena:
202,66 |
Mobile Entity Localization and Tracking in GPS-less Environnments: Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009, Proceedings
ISBN: 9783642043789 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction with the 11th International Conference on Ubiquitous Computing (Ubicomp 2009). MELT provides a forum for the presentation of state-of-the-art technologies in mobile localization and tracking and novel applications of location-based s- vices. MELT 2009 continued the success of the ?rst workshop in the series (MELT 2008), which was held is San Francisco, California on September 19,...
This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 20...
|
|
cena:
202,66 |
![]() |
Model Driven Engineering Languages and Systems: 12th International Conference, Models 2009, Denver, Co, Usa, October 4-9, 2009, Proceedings
ISBN: 9783642044243 / Angielski / Miękka / 780 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirinitiativewouldblossomintotoday'shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld,...
The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirin...
|
cena:
405,36 |
![]() |
Advances in Information Security and Its Application: Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009, Proceedings
ISBN: 9783642026324 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the Third International Conference on Information Security and Ass- ance (ISA 2009). ISA 2009 was the most comprehensive conference focused on the various aspects of advances in information security and assurance. The concept of security and assurance is emerging rapidly as an exciting new paradigm to provide reliable and safe life services. Our conference provides a chance for academic and industry professionals to discuss recent progress in the area of communication and networking including modeling, simulation and novel applications associated with the utilization and acceptance...
Welcome to the Third International Conference on Information Security and Ass- ance (ISA 2009). ISA 2009 was the most comprehensive conference focused...
|
cena:
202,66 |
![]() |
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
ISBN: 9783642029486 / Angielski / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe advancementofsoftwarequality. Toprovethe correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the exp- tation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it is...
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at E...
|
cena:
202,66 |
![]() |
Computer Performance Engineering: 6th European Performance Engineering Workshop, Epew 2009 London, Uk, July 9-10, 2009 Proceedings
ISBN: 9783642029233 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumeofLNCScontainstheproceedingsofthe6thEuropeanPerformance EngineeringWorkshop, held at ImperialCollegeLondon during July 9 10,2009. Thiswasthe?rstintheEPEWseriestobeheldintheUK, followingonfromthe highly successful workshops that were held in Toledo (2004), Versailles (2005), Budapest (2006), Berlin (2007) and Palma de Mallorca (2008). As with previousEPEW workshops, the event was supported by submissions from all over the world, including Asia, the Middle East, North America, as well as Europe. There were 33 submissions in total of which 13 were selected for full papers and four as...
ThisvolumeofLNCScontainstheproceedingsofthe6thEuropeanPerformance EngineeringWorkshop, held at ImperialCollegeLondon during July 9 10,2009. Thiswasthe...
|
cena:
202,66 |