» książki » Computers - Software Development & Engineering - Systems Analysis & Design
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design
ilość książek w kategorii: 2336
 |
Responsive Computing: A Special Issue of Real-Time Systems the International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)
ISBN: 9780792395119 / Angielski / Twarda / 103 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Responsive Computing brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area.
Responsive Computing serves as an excellent reference, providing insight into some of the most important issues in the field. Responsive Computing brings together in one place important contributions and state-of-the-art research results in this rapidly advancing are...
|
cena:
402,53 |
 |
High Performance Transaction Systems: 2nd International Workshop, Asilomar Conference Center, Pacific Grove, Ca, Usa, September 28-30, 1987. Proceedin
ISBN: 9783540510857 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Lecture Notes volume is based on the "International Workshop on High Performance Transaction Systems" held in the Asilomar Conference Center, September 28-30, 1987. Many of the problems identified during the workshop are liable to determine the future development of transaction systems and distributed high performance systems in general for many years to come. So the organizers of HPTS '87 felt encouraged to collect the papers presented at the workshop in order to make them accessible to a wider audience of interested developers and researchers. Since some of the contributions...
This Lecture Notes volume is based on the "International Workshop on High Performance Transaction Systems" held in the Asilomar Conference Cent...
|
cena:
201,24 |
 |
Parle '89 - Parallel Architectures and Languages Europe: Volume II: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings
ISBN: 9783540512851 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strategic Programme for Research and Development in Information Technology of the Commission of the European Communities). Their scope covers central themes in the area of parallel architectures and languages, including such topics as concurrent, object-oriented, logic and functional programming; MIMD,...
Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the ...
|
cena:
201,24 |
 |
Next Generation Teletraffic and Wired/Wireless Advanced Networking
ISBN: 9783540748328 / Angielski / Miękka / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN 2007. The 39 revised full papers presented were carefully reviewed and selected from a total of 113 submissions. 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 7th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Netwo... |
cena:
201,24 |
 |
Stabilization, Safety, and Security of Distributed Systems
ISBN: 9783540766261 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming. This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SS... |
cena:
201,24 |
 |
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
ISBN: 9783764385705 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In all modern military doctrines the mission effectiveness shall be dramatically increased by the robust networking of all forces, sharing of information and distributed intelligent information processing, generating situational awareness and providing decision support. In addition, these principles also offer an effective way to improve security systems that support the fight against terrorists and organized crime. Intelligent Agents are a key technology to realize such modern defence and security systems and are therefore increasingly investigated by researchers and practioners in that... In all modern military doctrines the mission effectiveness shall be dramatically increased by the robust networking of all forces, sharing of infor... |
cena:
201,24 |
 |
Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
ISBN: 9783540009139 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3 5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop...
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during Ap...
|
cena:
402,53 |
 |
Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures
ISBN: 9783540219453 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents revised versions of tutorial lectures given at the IEEE/CS Symposium on modeling, analysis, and simulation of computer and telecommunication systems held in Orlando, FL, USA in October 2003.The lectures are grouped into three parts on performance and QoS of modern wired and wireless networks, current advances in performance modeling and simulation, and other specific applications of these methodologies.This tutorial book is targeted to both practitioners and researchers. The practitioner will benefit from numerous pointers to performance and QoS issues; the pedagogical...
This book presents revised versions of tutorial lectures given at the IEEE/CS Symposium on modeling, analysis, and simulation of computer and telecomm...
|
cena:
201,24 |
 |
Neural Networks: Eurasip Workshop 1990 Sesimbra, Portugal, February 15-17, 1990. Proceedings
ISBN: 9783540522553 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This proceedings volume starts with two invited papers on the formal study of the capabilities of neural networks. The following papers are organized into parts dealing with theory and algorithms, speech processing, image processing, and implementation.
This proceedings volume starts with two invited papers on the formal study of the capabilities of neural networks. The following papers are organized ...
|
cena:
140,86 |
 |
Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
ISBN: 9783540578772 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques.
This volume contains the papers selected for presentation at CC '94,... The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler ...
|
cena:
201,24 |
 |
High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Appli
ISBN: 9783540579809 / Angielski / Miękka / 461 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. High-performance computing and networking (HPCN) is driven by several initiatives in Europe, the United States, and Japan. In Europe several groups encouraged the Commission of the European Communities to start an HPCN programme. This two-volume work presents the proceedings of HPCN Europe 1994. Volume 1 includes sections on: keynote talks, HPCN and visualization in industry, algorithms for engineering applications, electrical computer-aided engineering, computational fluid dynamics, computational chemistry, materials science, weather simulations, environmental applications and...
High-performance computing and networking (HPCN) is driven by several initiatives in Europe, the United States, and Japan. In Europe several groups en...
|
cena:
201,24 |
 |
Formal Development of Reactive Systems: Case Study Production Cell
ISBN: 9783540588672 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and...
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technol...
|
cena:
201,24 |
 |
Euro-Par '95: Parallel Processing: First International Euro-Par Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings
ISBN: 9783540602477 / Angielski / Miękka / 730 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the First International EURO-PAR Conference on Parallel Processing, held in Stockholm, Sweden in August 1995. EURO-PAR is the merger of the former PARLE and CONPAR-VAPP conference series; the aim of this merger is to create the premier annual scientific conference on parallel processing in Europe.
The book presents 50 full revised research papers and 11 posters selected from a total of 196 submissions on the basis of 582 reviews. The scope of the contributions spans the full spectrum of parallel processing ranging from theory over design to... This book presents the proceedings of the First International EURO-PAR Conference on Parallel Processing, held in Stockholm, Sweden in August 1995. EU...
|
cena:
402,53 |
 |
Computer Aided Systems Theory - Eurocast '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Au
ISBN: 9783540553540 / Angielski / Miękka / 770 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers presented at the second European workshop EUROCAST '91, held in Krems, Austria, in April 1991. It gives an overview of the current state of Computer Aided Systems Theory research and its relation to CAD applications in the engineering fields. CAST research requires the application of the most advanced information processing technology in software and hardware for the implementation of CAST method base systems. Engineers in the field of information and control engineering have the opportunity in CAST to present the state ofthe art in modeling tools to...
This volume contains a selection of papers presented at the second European workshop EUROCAST '91, held in Krems, Austria, in April 1991. It gives an ...
|
cena:
402,53 |
 |
Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives
ISBN: 9783540577676 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993, when key researchers and practitioners in the area met to discuss the experiences of industrial practitioners, to provide a perspective on the state-of-the-art of fault tolerance research, to determine whether the subject is becoming mature, and to learn from the experiences so far in order to identify what might be important research topics for the coming years.
Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993, when key researchers and pr...
|
cena:
201,24 |
 |
Parallel Scientific Computing: First International Workshop, Para '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings
ISBN: 9783540587125 / Angielski / Miękka / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the First International workshop on Parallel Scientific Computing, PARA '94, held in Lyngby, Denmark in June 1994.
It reports interdisciplinary work done by mathematicians, scientists and engineers working on large-scale computational problems in discussion with computer science specialists in the field of parallel methods and the efficient exploitation of modern high-performance computing resources. The 53 full refereed papers provide a wealth of new results: an up-to-date overview on high-speed computing facilities, including different parallel and... This volume presents the proceedings of the First International workshop on Parallel Scientific Computing, PARA '94, held in Lyngby, Denmark in June 1...
|
cena:
402,53 |
 |
Dependable Computing - Eddc-3: Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
ISBN: 9783540664833 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in different European countries, agreed that there is no longer any point in keeping pre viously independent activities apart and created a steering committee which took the responsibility for preparing the EDCC calendar and appointing the chairs for the in dividual conferences. There is no single European or global professional organization that took...
The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, wh...
|
cena:
201,24 |
 |
Mobile Information Systems: Infrastructure and Design for Adaptivity and Flexibility
ISBN: 9783540310068 / Angielski / Twarda / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a framework for mobile information systems, focusing on quality of service and adaptability at all architectural levels. These levels range from adaptive applications to e-services, middleware, and infrastructural elements, as developed in the "Multichannel Adaptive Information Systems" (MAIS) project. The design models, methods, and tools developed in the project allow the realization of adaptive mobile information systems in a variety of different architectures. This book presents a framework for mobile information systems, focusing on quality of service and adaptability at all architectural levels. These l... |
cena:
402,53 |
 |
New Trends in Neural Computation: International Workshop on Artificial Neural Networks, Iwann'93, Sitges, Spain, June 9-11, 1993. Proceedings
ISBN: 9783540567981 / Angielski / Miękka / 754 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Neural computation arises from the capacity of nervous tissue to process information and accumulate knowledge in an intelligent manner. Conventional computational machines have encountered enormous difficulties in duplicating such functionalities. This has given rise to the development of artificial neural networks where computation is distributed over a great number of local processing elements with a high degree of connectivity and in which external programming is replaced with supervised and unsupervised learning.
Neural computation arises from the capacity of nervous tissue to process information and accumulate knowledge in an intelligent manner. Conventional c...
|
cena:
402,53 |
 |
Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings
ISBN: 9783540631668 / Angielski / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.
The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record... This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Is...
|
cena:
201,24 |
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
