» książki » Computers - Software Development & Engineering - Systems Analysis & Design
Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design
ilość książek w kategorii: 2227
 |
Information Systems Engineering: A Formal Approach
ISBN: 9780521110648 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyze and design them. These models can be used to verify the behavior of the systems, or as an executable specification of them. In this book, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism that can be used as a prototyping language. It has three components: Petri nets, extended with time, token values and hierarchy; a specification language that is a subset of Z; and a binary data...
Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyze and design them. These models can be used t...
|
cena:
352,56 zł |
 |
Hybrid Systems: Computation and Control: 12th International Conference, Hscc 2009, San Francisco, Ca, Usa, April 13-15, 2009, Proceedings
ISBN: 9783642006012 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009) held in San Francisco, CaliforniaduringApril13-15,2009. Theannualconferenceonhybridsystems- cuses on researchin embedded, reactive systems involving the interplay between discrete switching and continuous dynamics. HSCC is a forum for academic and industrial researchers and practitioners to exchange information on the latest advancements, both practical and theoretical, in the design, analysis, control, optimization, and implementation of hybrid systems. HSCC 2009...
This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009) held in San Francisco,...
|
cena:
194,52 zł |
 |
Passive and Active Network Measurement: 10th International Conference, Pam 2009, Seoul, Korea, April 1-3, 2009, Proceedings
ISBN: 9783642009747 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Passive and Active Measurement, PAM 2009, held in Seoul, Korea, in April 2009. The 22 revised full papers and 2 revised demo papers presented were carefully reviewed and selected from 77 submissions. The papers focus on research and practical applications of routing and forwarding, topology and delay, methods for large-scale measurements, wireless, management tools, audio and video traffic, peer-to-peer, traffic measurements, and measurements of anomalous and unwanted traffic.
This book constitutes the refereed proceedings of the 10th International Conference on Passive and Active Measurement, PAM 2009, held in Seoul, Korea,...
|
cena:
194,52 zł |
 |
Performance Evaluation and Benchmarking of Intelligent Systems
ISBN: 9781441904911 / Angielski / Twarda / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To design and develop capable, dependable, and affordable intelligent systems, their performance must be measurable. Scienti?c methodologies for standardization and benchmarking are crucial for quantitatively evaluating the performance of eme- ing robotic and intelligent systems technologies. There is currently no accepted standard for quantitatively measuring the performance of these systems against user-de?ned requirements; and furthermore, there is no consensus on what obj- tive evaluation procedures need to be followed to understand the performance of these systems. The lack of...
To design and develop capable, dependable, and affordable intelligent systems, their performance must be measurable. Scienti?c methodologies for stand...
|
cena:
583,65 zł |
 |
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:
1043,19 zł |
 |
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:
199,97 zł |
 |
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:
194,52 zł |
 |
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:
597,65 zł |
 |
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:
583,65 zł |
 |
Constructing the Infrastructure for the Knowledge Economy: Methods and Tools, Theory and Practice
ISBN: 9780306485541 / Angielski / Twarda / 716 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constructing the Infrastructure for the Knowledge Economy: Methods and Tools, Theory and Practice is the proceedings of the 12th International Conference on Information Systems Development, held in Melbourne, Australia, August 29-31, 2003. The purpose of these proceedings is to provide a forum for research and practice addressing current issues associated with Information Systems Development (ISD). ISD is undergoing dramatic transformation; every day, new technologies, applications, and methods raise the standards for the quality of systems expected by organizations... Constructing the Infrastructure for the Knowledge Economy: Methods and Tools, Theory and Practice is the proceedings of the 12th I... |
cena:
778,22 zł |
 |
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,71 zł |
 |
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:
583,65 zł |
 |
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:
194,52 zł |
 |
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:
428,00 zł |
 |
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:
389,09 zł |
 |
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:
778,22 zł |
 |
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:
194,52 zł |
 |
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:
389,09 zł |
 |
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:
194,52 zł |
 |
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:
350,18 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
