» książki » Computers - Software Development & Engineering - Systems Analysis & Design
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design
ilość książek w kategorii: 2318
 |
Challenges for Action Theories
ISBN: 9783540674559 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated...
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied...
|
cena:
201,72 zł |
 |
Real-Time Search for Learning Autonomous Agents
ISBN: 9780792399445 / Angielski / Twarda / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Autonomous agents or multiagent systems are computational systems in which several computational agents interact or work together to perform some set of tasks. These systems may involve computational agents having common goals or distinct goals.
Real-Time Search for Learning Autonomous Agents focuses on extending real-time search algorithms for autonomous agents and for a multiagent world. Although real-time search provides an attractive framework for resource-bounded problem solving, the behavior of the problem solver is not rational enough for autonomous agents. The problem... Autonomous agents or multiagent systems are computational systems in which several computational agents interact or work together to perform some set ...
|
cena:
605,23 zł |
 |
Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Proceedings
ISBN: 9783540212591 / Angielski / Miękka / 674 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998), Nijmegen, TheNetherlands(1999), Pittsburgh, USA(2000), Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003)....
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March ...
|
cena:
403,47 zł |
 |
Passive and Active Network Measurement: 5th International Workshop, Pam 2004, Antibes Juan-Les-Pins, France, April 19-20, 2004, Proceedings
ISBN: 9783540214922 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Passive and Active Measurement Workshop, PAM 2004, held in Antibes Juan-les-Pins, France in April 2004.The 29 revised full papers presented were carefully reviewed and selected from 184 submissions. The papers are organized in topical sections on P2P and overlay, network optimization, traffic analysis, protocol and system measurement, tools, miscellaneous, network measurement, and BGP and routing.
This book constitutes the refereed proceedings of the 5th International Passive and Active Measurement Workshop, PAM 2004, held in Antibes Juan-les-Pi...
|
cena:
201,72 zł |
 |
Pervasive Computing: Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings
ISBN: 9783540260080 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Pervasive Computing, PERVASIVE 2005, held in Munich, Germany in May 2005. The 20 revised full papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on location techniques, activity and context, location and privacy, handheld devices, sensor systems, and user interaction.
This book constitutes the refereed proceedings of the Third International Conference on Pervasive Computing, PERVASIVE 2005, held in Munich, German... |
cena:
201,72 zł |
 |
Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
ISBN: 9783540273240 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of papers organized in topical sections on design of distributed systems, ad-hoc networks and mobile agents, grid and networks, security, distributed algorithms, self-stabilization, sensor networks, and task/resource allocation.
A collection of papers organized in topical sections on design of distributed systems, ad-hoc networks and mobile agents, grid and networks, security,...
|
cena:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
403,47 zł |
 |
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:
605,23 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
403,47 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
403,47 zł |
 |
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:
806,99 zł |
 |
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:
201,72 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
