ilość książek w kategorii: 10253
Interactive Systems: Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
ISBN: 9783540705680 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers...
The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go w...
|
|
cena:
194,97 zł |
Software Engineering Research, Management and Applications
ISBN: 9783540707745 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held in Prague in the Czech Republic on August 20-22. This volume comprises the best 17 papers from those accepted for presentation. The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held in Prague in the Czech Re... |
|
cena:
389,98 zł |
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
ISBN: 9783540291053 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods...
|
|
cena:
194,97 zł |
Software Engineering for Manufacturing Systems: Methods and Case Tools
ISBN: 9780412784606 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing...
Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In...
|
|
cena:
780,00 zł |
CJKV Information Processing: Chinese, Japanese, Korean, and Vietnamese Computing
ISBN: 9780596514471 / Angielski / Miękka / 900 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. First published a decade ago, CJKV Information Processing quickly became the unsurpassed source of information on processing text in Chinese, Japanese, Korean, and Vietnamese. It has now been thoroughly updated to provide web and application developers with the latest techniques and tools for disseminating information directly to audiences in East Asia. This second edition reflects the considerable impact that Unicode, XML, OpenType, and newer operating systems such as Windows XP, Vista, Mac OS X, and Linux have had on East Asian text processing in recent years. First published a decade ago, CJKV Information Processing quickly became the unsurpassed source of information on processing text in Chine... |
|
cena:
256,99 zł |
The Puzzle of Granular Computing
ISBN: 9783540798637 / Angielski / Twarda / 495 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rem tene, verba sequentur (Gaius J. Victor, Rome VI century b.c.) The ultimate goal of this book is to bring the fundamental issues of information granularity, inference tools and problem solving procedures into a coherent, unified, and fully operational framework. The objective is to offer the reader a comprehensive, self-contained, and uniform exposure to the subject.The strategy is to isolate some fundamental bricks of Computational Intelligence in terms of key problems and methods, and discuss their implementation and underlying rationale within a well structured and... Rem tene, verba sequentur (Gaius J. Victor, Rome VI century b.c.) The ultimate goal of this book is to bring the fundamental issues... |
|
cena:
780,00 zł |
Programming Multi-Agent Systems: Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers
ISBN: 9783540790426 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Programming Multi-Agent Systems, ProMAS 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. The 11 revised full papers presented together with 2 invited articles address current issues in the areas of agent platforms, environment and interaction, agent programming languages, and analysis of MAS. This book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Programming Multi-Agent Systems, ProMAS 2007, held i... |
|
cena:
194,97 zł |
Graph Transformations
ISBN: 9783540874041 / Angielski / Miękka / 542 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The International Conferences on Graph Transformation aim at bringing -...
Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the lif...
|
|
cena:
194,97 zł |
Caap '90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
ISBN: 9783540525905 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming,...
This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results...
|
|
cena:
194,97 zł |
Software Product Management and Pricing: Key Success Factors for Software Organizations
ISBN: 9783540769866 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software product management and pricing are key success factors for any organization providing software. This book defines the term "software product" and looks at the business and organizational sides. The focus is on the optimization of long-term success. Software product management and pricing are key success factors for any organization providing software. This book defines the term "software produ... |
|
cena:
272,98 zł |
Software Architecture: Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
ISBN: 9783540880295 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second European Conference on Software Architecture, ECSA 2008, held in Paphos, Cyprus, in September/October 2008. The 12 revised full papers presented together with 2 keynote abstracts, 4 experience papers, 7 emerging research papers, and 12 research challenge poster papers were carefully reviewed and selected from 83 submissions. The papers focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, and evolving software systems. The topics include architecture modeling, architecture...
This book constitutes the refereed proceedings of the Second European Conference on Software Architecture, ECSA 2008, held in Paphos, Cyprus, in Septe...
|
|
cena:
292,48 zł |
Enterprise Interoperability: New Challenges and Approaches
ISBN: 9781846287138 / Angielski / Twarda / 587 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Composed of over 50 papers, "Enterprise Interoperability" ranges from academic research through case studies to industrial and administrative experience of interoperability. The international nature of the authorship continues to broaden. Many of the papers have examples and illustrations calculated to deepen understanding and generate new ideas. This is a concise reference to the state-of-the-art in software interoperability.
Composed of over 50 papers, "Enterprise Interoperability" ranges from academic research through case studies to industrial and administrative exper... |
|
cena:
780,00 zł |
Intelligent Agents VII. Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings
ISBN: 9783540424222 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is based on the seventh Workshop on Agent Theories, Architectures, and Languages, ATAL '99, held in Boston, Massachusetts, USA in July 1999. It includes sections on: agent theories; agent development tools and platforms; and models of agent communication and co-ordination.
This work is based on the seventh Workshop on Agent Theories, Architectures, and Languages, ATAL '99, held in Boston, Massachusetts, USA in July 1999....
|
|
cena:
194,97 zł |
Research Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17-19, 1991 Proceedings
ISBN: 9783540551607 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains most of the papers presented at a workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programmes. These proposals appear in different contexts and are...
This volume contains most of the papers presented at a workshop on research directions in high-level parallel programming languages, held at Mont Sain...
|
|
cena:
194,97 zł |
Wireless Algorithms, Systems, and Applications: Third International Conference, Wasa 2008, Dallas, Tx, Usa, October 26-28, 2008, Proceedings
ISBN: 9783540885818 / Angielski / Miękka / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent advances in cutting-edge wireless communication and computing te- nologies have paved the way for the proliferation of ubiquitous infrastructure and infrastructureless wireless networks. These emerging networks are enabling a broad spectrum of applications ranging from critical infrastructure prot- tion and security, to environment monitoring, health care, and quality of life. The need to deal with the complexity and rami?cations of the ever-growing mobile users and services, however, is intensifying the interest in the devel- ment of sound fundamental principles, novel algorithmic...
Recent advances in cutting-edge wireless communication and computing te- nologies have paved the way for the proliferation of ubiquitous infrastructur...
|
|
cena:
194,97 zł |
Engineering Societies in the Agents World V: 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers
ISBN: 9783540273301 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ?rst workshop "Engineering Societies in the Agents World" (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti?cial Intelligence (ECAI 2000) in Berlin. It was launched by a group of - searchers who thought that the design and development of MASs (multi-agent systems) not only needed adequate theoretical foundations but also a call for new techniques, methodologies and infrastructures to develop MASs as arti?cial societies. The second ESAW was co-located with the European Agent Summer School (ACAI 2001) in Prague, and mostly focused on logics and...
The ?rst workshop "Engineering Societies in the Agents World" (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti...
|
|
cena:
194,97 zł |
Theorem Proving in Higher Order Logics
ISBN: 9783540710653 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference...
This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held d...
|
|
cena:
194,97 zł |
Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, Usa, July 28-31, 2008, Proceedings
ISBN: 9783540799795 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th This volume contains the proceedings of AMAST 2008, the 12 International Conference on Algebraic Methodology and Software Technology, held during July 28-31, 2008, in Urbana, Illinois, USA. The major goal of the AMAST conferences is to promote research toward settingsoftwaretechnologyona?rm, mathematicalbasis.Worktowardthisgoal isacollaborative, internationale?ortwithcontributionsfrombothacademiaand industry. The envisioned virtues of providing software technology developed on a mathematical basis include: correctness, which can be proved mathematically; safety, so that developed software...
th This volume contains the proceedings of AMAST 2008, the 12 International Conference on Algebraic Methodology and Software Technology, held during J...
|
|
cena:
194,97 zł |
Engineering Environment-Mediated Multi-Agent Systems: International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007, Selected Revised and Invited Papers
ISBN: 9783540850281 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the International Workshop on Engineering Environment-Mediated Multi-Agent Systems, EEMMAS 2007, held in Dresden, Germany, in October 2007, in conjunction with ECCS 2007, the European Conference on Complex Systems The volume includes 16 thoroughly revised papers, selected from the lectures given at the workshop, together with 2 papers resulting from invited talks by prominent researchers in the field. The papers are organized in sections on engineering self-organizing applications, stigmergic interaction, modeling and... This book constitutes the thoroughly refereed proceedings of the International Workshop on Engineering Environment-Mediated Multi-Agent Systems, EE... |
|
cena:
194,97 zł |
Data Management in Grid and Peer-To-Peer Systems: First International Conference, Globe 2008, Turin, Italy, September 3, 2008, Proceedings
ISBN: 9783540851752 / Angielski / Miękka / 121 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2008, held in Turin, Italy, September2008. P2P and grid computing are important for scale distributed systems and applications that require effective management of voluminous, distributed, and heterogeneous data. The 10 revised full papers presented were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on P2P storage systems and caching, P2P data integration systems, querying in grid and P2P... This book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 200... |
|
cena:
194,97 zł |