ilość książek w kategorii: 2460
![]() |
Ubiquitous Computing Systems: Second International Symposium, Ucs, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers
ISBN: 9783540278931 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a collection of papers presented at UCS 2004, held on November 8 9 in Tokyo. UCS is a series of international symposia sponsored by the special interest group Ubiquitous Computing Systems of the Information Processing Society of Japan. The ?rst UCS was held on November 17, 2003 in Kyoto. It was held as an invitation-based symposium. UCS 2004 was the second of the series, and the ?rst submission-based conference. UCS focuses on the emerging researcharea of ubiquitous computing systems. This emergence is an outcome of the rapid evolution in smart appliances and devices, as well as...
This book is a collection of papers presented at UCS 2004, held on November 8 9 in Tokyo. UCS is a series of international symposia sponsored by the s...
|
cena:
202,66 |
![]() |
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaille
ISBN: 9783540287018 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines, V- sailles, France, 1 3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci?cation, analysis and veri?cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which...
This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines, V- sa...
|
cena:
202,66 |
![]() |
Next Generation Teletraffic and Wired/Wireless Advanced Networking: 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings
ISBN: 9783540344292 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN 2006, held in St. Petersburg, Russia in May/June 2006. The book includes 49 revised full papers presented together with 2 keynote talks. The papers are organized in topical sections on teletraffic, traffic characterization and modeling, 3G/UMTS, sensor networks, WLAN, QoS, MANETs, lower layer techniques, PAN technologies, and TCP. This book constitutes the refereed proceedings of the 6th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Netwo... |
cena:
202,66 |
![]() |
Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germany, July 1996. Proceedings
ISBN: 9783540614630 / Angielski / Miękka / 647 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic... This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held i...
|
cena:
405,36 |
![]() |
Perspectives on Content-Based Multimedia Systems
ISBN: 9780792379447 / Angielski / Twarda / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multimedia data comprising of images, audio and video is becoming increasingly common. The decreasing costs of consumer electronic devices such as digital cameras and digital camcorders, along with the ease of transportation facilitated by the Internet, has lead to a phenomenal rise in the amount of multimedia data generated and distributed. Given that this trend of increased use of multimedia data is likely to accelerate, there is an urgent need for providing a clear means of capturing, storing, indexing, retrieving, analyzing and summarizing such data.
Content-based access to... Multimedia data comprising of images, audio and video is becoming increasingly common. The decreasing costs of consumer electronic devices such as dig...
|
cena:
834,37 |
![]() |
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M
ISBN: 9783540256977 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer, communication and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2005 (Moby) was...
Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School on Formal Methods for the Design of Computer, Commun...
|
cena:
202,66 |
![]() |
Dependable Computing - Edcc 2005: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
ISBN: 9783540257233 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year s conference was a special one due...
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in ...
|
cena:
202,66 |
![]() |
Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
ISBN: 9783540295723 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Latin-American Symposium on Dependable Computing, LADC, isthemain Latin-American event dedicated to the discussion of the many issues related to dependability in computer systems and networks. It is a forum for researchers and practitioners (from all over the world) to present and discuss their latest results and experiences in this ?eld. LADC2005, thesecondeditionofthisevent, followedonthesuccessofLADC 2003, which took place at the Polytechnic School of the University of S ao Paulo. It was organized by LaSiD, the Distributed Systems Laboratoryassociated with the Department of Computer...
The Latin-American Symposium on Dependable Computing, LADC, isthemain Latin-American event dedicated to the discussion of the many issues related to d...
|
cena:
202,66 |
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held as Part of the Joint European Confere
ISBN: 9783540672821 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.
The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation,... This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of System...
|
cena:
405,36 |
![]() |
Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 7-9, 2002. Proceedings
ISBN: 9783540443070 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiled from the proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France, in October 2002, this volume contains 13 invited papers and 17 revised full papers. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modelling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault tolerance.
Compiled from the proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France, in October 2002, thi...
|
cena:
202,66 |
![]() |
Biomimetic Neural Learning for Intelligent Robots: Intelligent Systems, Cognitive Robotics, and Neuroscience
ISBN: 9783540274407 / Angielski / Miękka / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains selected papers contributed by researchers in intelligent systems, cognitive robotics, and neuroscience including contributions from the MirrorBot project and from the NeuroBotics Workshop 2004. The research work presented demonstrates novel developments in biologically inspired neural models for use in intelligent robot environments.
Contains selected papers contributed by researchers in intelligent systems, cognitive robotics, and neuroscience including contributions from the Mirr...
|
cena:
202,66 |
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere
ISBN: 9783540418658 / Angielski / Miękka / 594 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques... This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysi...
|
cena:
405,36 |
![]() |
Contemporary Trends in Systems Development
ISBN: 9780306466083 / Angielski / Twarda / 433 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a result of ISD2000-The Ninth International Conference on Infor mation Systems Development: Methods and Tools, Theory and Practice, held August 14-16, in Kristiansand, Norway. The ISD conference has its roots in the first Polish Scandinavian Seminar on Current Trends in Information Systems Development Method ologies, held in Gdansk, Poland in 1988. This year, as the conference carries into the new millennium this fine tradition, it was fitting that it returned to Scandinavia. Velkommen tilbake Next year, ISD crosses the North Sea and in the traditions of the Vikings, invades...
This book is a result of ISD2000-The Ninth International Conference on Infor mation Systems Development: Methods and Tools, Theory and Practice, held ...
|
cena:
1079,79 |
![]() |
Technologies for Advanced Heterogeneous Networks: First Asian Internet Engineering Conference, Aintec 2005, Bangkok, Thailand, December 13-15, 2005, P
ISBN: 9783540308843 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Asian Internet Engineering Conference (AINTEC) brings together researchers and engineers interested in practical and theoretical problems in Internet technologies. The conference aims at addressing issues pertinent to the Asian region with vast diversities of socio-economic and networking conditions while inviting high-quality and recent research results from the global inter- tional research community. The ?rst event was jointly organized by the Internet Education and Research Laboratory of the Asian Institute of Technology (AIT) and the WIDE Project with support from the APAN-TH...
The Asian Internet Engineering Conference (AINTEC) brings together researchers and engineers interested in practical and theoretical problems in Inter...
|
cena:
202,66 |
![]() |
Web Engineering and Peer-To-Peer Computing: Networking 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers
ISBN: 9783540441779 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed joint post-proceedings of two workshops on web engineering and peer-to-peer computing held in conjunction with NETWORKING 2002 in Pisa, Italy, in May 2002.The 31 revised full papers presented were carefully selected during two rounds of reviewing and improvement. They are organized in topical sections, models and characterization of web traffic, caching infrastructure and content delivery networks, building web-based systems, web server performance analysis, routing and discovery in peer-to-peer networks, applications, programming models for...
This book constitutes the thoroughly refereed joint post-proceedings of two workshops on web engineering and peer-to-peer computing held in conjunctio...
|
cena:
202,66 |
![]() |
Architecture of Computing Systems - Arcs 2008: 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings
ISBN: 9783540781523 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008. The 19 revised full papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers cover a wide spectrum reaching from pre-fabrication adaptation of architectural templates to dynamic run-time adaptation of deployed systems with special focus on adaptivity and adaptive system architectures. The papers are organized in topical sections on hardware design,... This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresde... |
cena:
202,66 |
![]() |
Building Software: A Practitioner's Guide
ISBN: 9780849373039 / Angielski / Twarda / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Novel in its approach to software design, development, and management, Building Software: A Practitioner's Guide shows you how to successfully build and manage a system. The approach the authors recommend is a simple, effective framework known as Solution Engineering Execution (SEE). Novel in its approach to software design, development, and management, Building Software: A Practitioner's Guide shows you how to ... |
cena:
667,93 |
![]() |
Principles of Distributed Systems: 9th International Conference, Opodis 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
ISBN: 9783540363217 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in Pisa, Italy in December 2005. The volume presents 30 revised full papers and abstracts of 2 invited talks. The papers are organized in topical sections on nonblocking synchronization, fault-tolerant broadcast and consensus, self-stabilizing systems, peer-to-peer systems and collaborative environments, sensor networks and mobile computing, security and verification, real-time systems, and peer-to-peer systems. This book constitutes the refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in ... |
cena:
202,66 |
![]() |
The Method Framework for Engineering System Architectures
ISBN: 9781420085754 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The architects of today s large and complex systems all too often struggle with the lack of a consistent set of principles and practices that adequately address the entire breadth of systems architecture. The Method Framework for Engineering System Architectures (MFESA) enables system architects and process engineers to create methods for effectively and efficiently engineering high-quality architecture for systems, subsystems, and software components. Meets the Needs of Specific Projects The book begins by documenting the... The architects of today s large and complex systems all too often struggle with the lack of a consistent set of principles and practices that adequ... |
cena:
667,93 |
![]() |
Governing Lethal Behavior in Autonomous Robots
ISBN: 9781420085945 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Expounding on the results of the author s work with the US Army Research Office, DARPA, the Office of Naval Research, and various defense industry contractors, Governing Lethal Behavior in Autonomous Robots explores how to produce an "artificial conscience" in a new class of robots, humane-oids, which are robots that can potentially perform more ethically than humans in the battlefield. The author examines the philosophical basis, motivation, theory, and design recommendations for the implementation of an ethical control and reasoning system in autonomous robot... Expounding on the results of the author s work with the US Army Research Office, DARPA, the Office of Naval Research, and various defense industry ... |
cena:
326,49 |