ilość książek w kategorii: 2224
Computer-Supported Cooperative Work: Introduction to Distributed Applications
ISBN: 9783540669845 / Angielski / Twarda / 529 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for quite some time now. This book is a revised and extended version of the 2nd edition of the German textbook "Rechnergestutzte Gruppenarbeit: Eine Einfuhrung in verteilte Anwendungen." It has two main objectives: first, to outline the meaning of both terms, and second, to point out both the numer ous opportunities for users of groupware and the risks of applying such sys tems. The book intends to introduce an area of distributed systems, namely...
The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for...
|
|
cena:
195,42 zł |
Ubiquitous Convergence Technology: First International Conference, Icuct 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
ISBN: 9783540717881 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects with embedded computing - pabilities are now commonplace and, between mobile phones and RFID tags, further deployment proceeds at an unstoppable pace. The next major step of the ubiquitous computing evolution is the move, already partly underway, from isolated smart objects to distributed systems of smart objects and appropriate back-end infrastructure: microelectronics and communication technology c- verging with healthcare technology, communication technology, sports...
Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects with embedded computing -...
|
|
cena:
195,42 zł |
Pervasive Computing: 5th International Conference, Pervasive 2007, Toronto, Canada, May 13-16, 2007, Proceedings
ISBN: 9783540720362 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing, PERVASIVE 2007, held in Toronto, Canada in May 2007. The 21 revised full papers are organized in topical sections on reaching out, context and its application, security and privacy, understanding use, sensing, as well as finding and positioning. This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing, PERVASIVE 2007, held in Toronto, Canada ... |
|
cena:
195,42 zł |
Coordination Models and Languages: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
ISBN: 9783540727934 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, June 2007, as one of the federated conferences on Distributed Computing Techniques. It examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by exploring the spectrum of languages, middleware, services, and algorithms. This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in... |
|
cena:
195,42 zł |
User-Centred Design of Systems
ISBN: 9783540760078 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal specification of the system. The past decade or two has seen the rise of another approach, that of human-computer interaction (HCI). Given the number of incidents and accidents which are attributed to 'human error', it is sensible to develop an approach to system design which views humans as an essential element in the system. Thus, an important aspect of designing systems is the study of the interaction between humans and the technology that...
System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal s...
|
|
cena:
195,42 zł |
High-Integrity System Specification and Design
ISBN: 9783540762263 / Angielski / Miękka / 701 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Errata, detected in Taylor's Logarithms. London: 4to, 1792. sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4 18'3," read cos. 14 18'2." - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4 18'3," read cos. 14 18' 3." - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such...
Errata, detected in Taylor's Logarithms. London: 4to, 1792. sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA de...
|
|
cena:
195,42 zł |
Correct Systems: Building a Business Process Solution
ISBN: 9783540762461 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware...
Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developi...
|
|
cena:
195,42 zł |
Software Agent-Based Applications, Platforms and Development Kits
ISBN: 9783764373474 / Angielski / Miękka / 451 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces major agent platforms, frameworks, systems, tools, and applications. Each system is described by their developers in sufficient detail so that the reader can get a good understanding of the architecture, functionality, and application areas of the system. All systems are running systems. One main focus of the book lies on agent platforms and toolkits. This book introduces major agent platforms, frameworks, systems, tools, and applications. Each system is described by their developers in sufficien... |
|
cena:
195,42 zł |
Simulation Systems
ISBN: 9789056996666 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Simulation Systems expolres a wide spectrum of topics including simulation software, logic simulation, query-driven simulation, multi-computer simulation and manufacturing simulation. Although such papers are presented in Journals and conference proceedings it is difficult to find a single source where the foremost papers are presented. Contributions in Simulation Systms are freom leading researchers and practioners which explore a wide spectrum of topics. The chapters include topics such as presentation of SIMULA/OBJECTR, which is a query driven simulation support environment and a method of...
Simulation Systems expolres a wide spectrum of topics including simulation software, logic simulation, query-driven simulation, multi-computer simulat...
|
|
cena:
918,20 zł |
Real-Time Systems: Modeling, Design and Applications
ISBN: 9789810244248 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications.
Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical...
|
|
cena:
1054,62 zł |
Software Engineering of Fault Tolerant Systems
ISBN: 9789812705037 / Angielski / Twarda / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to...
When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the s...
|
|
cena:
781,78 zł |
Computer-Aided Specification Techniques
ISBN: 9789971978532 / Angielski / Twarda / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
377,77 zł |
Parallel Lisp: Languages and Systems: Us/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
ISBN: 9783540527824 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, QLisp at Stanford, Lucid and Parcel at Illinois, PaiLisp at Tohoku University, Multiprocessor Lisp on TOP-1 at IBM Tokyo research, and concurrent programming in TAO. Most papers present languages and systems of Parallel Lisp and are in particular concerned with language constructs of Parallel Lisp and their meanings from the standpoint of implementing Parallel Lisp systems; some important technical issues such as...
This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes M...
|
|
cena:
195,42 zł |
Cmm(r) Handbuch: Das Capability Maturity Model(r) Für Software
ISBN: 9783540677710 / Niemiecki / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses verst ndliche Handbuch gibt einen fundierten berblick ber das Capability Maturity Model (CMM) des Software Engineering Instituts (SEI).
Das CMM ist ein Modell, das h ufig bei der Software-Prozessverbesserung verwendet wird. Es ist stark abstrahiert, um eine Anwendung bei den meisten Software-Entwicklungsprozessen zu erm glichen. Dieses Handbuch macht das CMM all jenen zug nglich, die sein Konzept untersuchen und verstehen m chten. Piktogramme und verst ndliche Erkl rungen erm glichen dem Leser die effiziente Umsetzung des CMM bei den Schl sselprozessbereichen. Dieses verst ndliche Handbuch gibt einen fundierten berblick ber das Capability Maturity Model (CMM) des Software Engineering Instituts (SEI).
Das ... |
|
cena:
200,89 zł |
Trends in Enterprise Application Architecture: 2nd International Conference, Teaa 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selct
ISBN: 9783540759119 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues in enterprise application architecture and proposes as well as evaluates a solution. Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, data integration, enterprise grid computing, load balancing, and enterprise component platforms. This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture,... |
|
cena:
195,42 zł |
Secure Integrated Circuits and Systems
ISBN: 9780387718279 / Angielski / Twarda / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On any advanced integrated circuit or "system-on-chip" there is a need for security. In many applications the actual implementation has become the weakest link in security rather than the algorithms or protocols. The purpose of the book is to give the integrated circuits and systems designer an insight into the basics of security and cryptography from the implementation point of view. As a designer of integrated circuits and systems it is important to know both the state-of-the-art attacks as well as the countermeasures. Optimizing for security is different from optimizations for speed,... On any advanced integrated circuit or "system-on-chip" there is a need for security. In many applications the actual implementation has become the ... |
|
cena:
390,87 zł |
Guide to Advanced Empirical Software Engineering
ISBN: 9781848000438 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Empirical studies have become an important part of software engineering research and practice. Ten years ago, it was rare to see a conference or journal article about a software development tool or process that had empirical data to back up the claims. Today, in contrast, it is becoming more and more common that software engineering conferences and journals are not only publishing, but eliciting, articles that describe a study or evaluation. Moreover, a very successful conference (International Symposium on Empirical Software Engineering and Measurement), journal (Empirical Software...
Empirical studies have become an important part of software engineering research and practice. Ten years ago, it was rare to see a conference or journ...
|
|
cena:
625,42 zł |
Improvements in System Safety: Proceedings of the Sixteenth Safety-Critical Systems Symposium, Bristol, Uk, 5-7 February 2008
ISBN: 9781848000995 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included in this volume offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments in the field. The book begins with a tutorial examining... Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, ... |
|
cena:
586,33 zł |
Information Processing in Sensor Networks: Second International Workshop, Ipsn 2003, Palo Alto, Ca, Usa, April 22-23, 2003, Proceedings
ISBN: 9783540021117 / Angielski / Miękka / 684 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003). The workshop was held at the Palo Alto Research Center (PARC), Palo Alto, California, on April 22-23, 2003. Informationprocessinginsensornetworksisaninterdisciplinaryresearcharea with deep connections to signal processing, networking and protocols, databases and information management, as well as distributed algorithms. Because of - vances in MEMS microsensors, wireless networking, and embedded processing, ad hoc networks of sensors are becoming increasingly...
This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003). The workshop was held...
|
|
cena:
390,87 zł |
Algebraic System Specification and Development
ISBN: 9783540540601 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond software to the development...
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issu...
|
|
cena:
195,42 zł |