ilość książek w kategorii: 10253
Opc Unified Architecture
ISBN: 9783540688983 / Angielski / Twarda / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The new OPC Unified Architecture unifies existing standards for online data exchange between automation systems. This introduction to OPC UA explains the concept of the standard and other relevant topics not directly addressed by the standard.
The new OPC Unified Architecture unifies existing standards for online data exchange between automation systems. This introduction to OPC UA explains ...
|
|
cena:
331,49 zł |
Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
ISBN: 9783540692652 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second WRAC, NASA/IEEE Workshop on Radical Agent Concepts, was held at NASA Goddard Space Flight Center, Greenbelt, MD, September 20-22, 2005. The workshop was sponsored by the Information Systems Division of NASA Goddard and IEEE Computer Society Technical Committee on Complexity in Computing and IEEE Task Force on Autonomous and Autonomic Systems. The workshop also received generous financial support from IBM, without which the workshop would not have been possible. Agent technology, along with autonomous and autonomic computing, has emerged as a major field in computing, and will...
The second WRAC, NASA/IEEE Workshop on Radical Agent Concepts, was held at NASA Goddard Space Flight Center, Greenbelt, MD, September 20-22, 2005. The...
|
|
cena:
194,97 zł |
Kommunikation in Verteilten Systemen (Kivs) 2009: 16. Fachtagung Kommunikation in Verteilten Systemen (Kivs 2009) Kassel, 2. - 6. März 2009
ISBN: 9783540926658 / Niemiecki / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die 16. GI/ITG-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2009) befasst sich als wichtigstes deutschsprachiges Forum fur Forschung und Entwicklung auf den Gebieten Kommunikation und Verteilte Systeme mit einer groen Vielfalt von innovativen und zukunftsorientierten Fragestellungen. Sie spannt dabei einen Bogen von allgegenwartigen verteilten Anwendungen uber Middleware-Konzepte und Protokolltechniken bis hin zu modernen Netztechniken mit ihren Mobilitats- und Sicherheitsfragen. Die KiVS dient der Standortbestimmung aktueller Entwicklungen, der Prasentation laufender... Die 16. GI/ITG-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2009) befasst sich als wichtigstes deutschsprachiges Forum fur Forschung und E... |
|
cena:
328,01 zł |
Engineering Interactive Systems: Eis 2007 Joint Working Conferences Ehci 2007, Dsv-Is 2007, Hcse 2007, Salamanca, Spain, March 22-24, 2007. Selected P
ISBN: 9783540926979 / Angielski / Miękka / 656 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human-computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: - HCSE 2007 - Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a...
Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the ...
|
|
cena:
389,98 zł |
Artificial Life Models in Software
ISBN: 9781848822849 / Angielski / Twarda / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The advent of powerful processing technologies and the advances in software development tools have drastically changed the approach and implementation of computational research in fundamental properties of living systems through simulating and synthesizing biological entities and processes in artificial media. Nowadays realistic physical and physiological simulation of natural and would-be creatures, worlds and societies becomes a low-cost task for ordinary home computers. The progress in technology has dramatically reshaped the structure of the software, the execution of a code, and... The advent of powerful processing technologies and the advances in software development tools have drastically changed the approach and implementat... |
|
cena:
585,00 zł |
Grid Computing in Life Science: First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
ISBN: 9783540252085 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. However, many important issues must be addressed before the Life Science Grid becomes commonplace. The 1st International Life Science Grid Workshop (LSGRID 2004) was held in Kanazawa Japan, May 31 June 1, 2004. This workshop focused on life s- ence applications of grid systems especially for bionetwork research and systems biology which...
Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computation...
|
|
cena:
194,97 zł |
Foundations of Software Science and Computational Structures: 9th International Conference, Fossacs 2006, Held as Part of the Joint European Conferenc
ISBN: 9783540330455 / Angielski / Miękka / 447 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and...
|
|
cena:
194,97 zł |
Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, Uk, May 8-11, 2006, Proceedings, Part I
ISBN: 9783540340706 / Angielski / Miękka / 1204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006, held in Glasgow, UK, during May 8 11, 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core...
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006, held in Glasgo...
|
|
cena:
389,98 zł |
Unifying Theories of Programming: First International Symposium, Utp 2006, Walworth Castle, County Durham, Uk, February 5-7, 2006, Revised Selected Pa
ISBN: 9783540347507 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks. This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, ... |
|
cena:
194,97 zł |
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
ISBN: 9783540356318 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics. This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuress... |
|
cena:
194,97 zł |
Theory and Practice of Geometric Modeling
ISBN: 9783540514725 / Angielski / Twarda / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a result of the lectures and discussions during the conference "Theory and Practice of Geometric Modeling." The event has been organized by the Wilhelm-Schickard-Institut fiir Informatik, Universitat Tiibingen and took place at the Heinrich-Fabri-Institut in Blaubeuren from October 3 to 7, 1988. The conference brought together leading experts from academic and industrial research institutions, CAD system developers and experien ced users to exchange their ideas and to discuss new concepts and future directions in geometric modeling. The main intention has been to bridge the gap...
This book is a result of the lectures and discussions during the conference "Theory and Practice of Geometric Modeling." The event has been organized ...
|
|
cena:
780,00 zł |
Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
ISBN: 9783540681427 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic. Unf- tunately there seems to be a tendency to regard communication as a kind of information exchange that can easily be covered using the standard FIPA ACL. However, the papers in this volume show that research in agent communication is far from ?nished. If we want to develop the full potential of multi-agent s- tems, agent communication should also develop to a level beyond parameter or value passing as is done in OO approaches In this book we present...
Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic. Unf- tunat...
|
|
cena:
194,97 zł |
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
ISBN: 9783540689775 / Angielski / Miękka / 658 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages...
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in p...
|
|
cena:
389,98 zł |
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings
ISBN: 9783540697350 / Angielski / Miękka / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions. The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMC... |
|
cena:
194,97 zł |
Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
ISBN: 9783540735502 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, held in Medford, MA, USA in July 2007. The 19 revised full papers presented were carefully reviewed and selected from 89 submissions. The papers feature new trends in global software services and distributed systems architectures to push the limits of established and tested component-based methods, tools and platforms. Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGS... |
|
cena:
194,97 zł |
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning: Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symp
ISBN: 9783540779476 / Angielski / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS), editions 2005, 2006 and 2007, held in Paris, Brussels and Maastricht. The goal of the ALAMAS symposia, and this associated book, is to increase awareness and interest in adaptation and learning for single agents and mul- agent systems, and encourage collaboration between machine learning experts, softwareengineeringexperts, mathematicians, biologistsandphysicists, andgive a representative overviewof current state of a?airs in this area. It is an inclusive...
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS), editions 20...
|
|
cena:
194,97 zł |
Field-Based Coordination for Pervasive Multiagent Systems
ISBN: 9783540279686 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More and more, software systems involve autonomous and distributed software components that have to execute and interact in open and dynamic environments, such as in pervasive, autonomous, and mobile applications. The requirements with respect to dynamics, openness, scalability, and decentralization call for new approaches to software design and development, capable of supporting spontaneous configuration, tolerating partial failures, or arranging adaptive reorganization of the whole system. Inspired by the behaviour of complex natural systems, scientists and engineers have started... More and more, software systems involve autonomous and distributed software components that have to execute and interact in open and dynamic enviro... |
|
cena:
389,98 zł |
Learn Mac OS X Snow Leopard
ISBN: 9781430219460 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Whether you re new to the Mac or just new to Snow Leopard, we wrote this book for you. We didn t say new to computers. That s what makes this book unique. Maybe you re an infrequent upgrader or a programmer from another platform who bought a Mac to write so- ware for the iPhone. We talk to you, without talking down to you. We don t explain to you what a mouse is, but we do tell how using a mouse on a Mac is different from using a mouse on Windows. We give detailed summaries of every part of Mac OS X, from the Finder to Terminal. We give you a tour of the Applications folder, with chapters...
Whether you re new to the Mac or just new to Snow Leopard, we wrote this book for you. We didn t say new to computers. That s what makes this book uni...
|
|
cena:
116,81 zł |
High Assurance Services Computing
ISBN: 9780387876573 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available... Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented sy... |
|
cena:
585,00 zł |
Computer Performance Evaluation. Modelling Techniques and Tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings
ISBN: 9783540408147 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are pleased to present the proceedings of Performance TOOLS 2003, the 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The series of TOOLS conferences has provided a forum for our community of performance engineers with all their diverse interests. TOOLS 2003, held in Urbana, Illinois during September 2-5, 2003, was the most recent meeting of the series, which in the past has been held in the following cities: 1984 Paris 1992 Edinburgh 2000 Chicago 1985 Sophia-Antipolis 1994 Vienna 2002 London 1987 Paris 1995 Heidelberg 2003 Urbana 1988...
We are pleased to present the proceedings of Performance TOOLS 2003, the 13th International Conference on Modelling Techniques and Tools for Computer ...
|
|
cena:
194,97 zł |