![]() |
Ambient Networks: 16th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2005, Barcelona, Spain,
ISBN: 9783540293880 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe16thIFIP/IEEEInternationalWorkshop on Distributed Systems: Operations and Management (DSOM 2005), which was held at the University Polit ecnica de Catalunya, Barcelona during October 24 26, 2005. DSOM 2005 was the sixteenth workshop in a series of annual workshop and it followed the footsteps of highly successful previous meetings, the most - cent of which were held in Davis, USA (DSOM 2004), Heidelberg, Germany (DSOM 2003), Montreal, Canada (DSOM 2002), Nancy, France (DSOM 2001),...
This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe16thIFIP/IEEEInternationalWorkshop on D...
|
cena:
200,77 |
![]() |
Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
ISBN: 9783540420682 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, PADO 2001, held in Aarhus, Denmark, in May 2001. The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. Various aspects of looking at programs as data objects are covered from the point of view of program analysis, program transformation, and computational complexity.
This volume constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, PADO 2001, held in Aarhus, Denmark, in May 2001....
|
cena:
200,77 |
![]() |
Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings
ISBN: 9783540424239 / Angielski / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS 2001, held in Providence, in August 2001. The 40 revised full papers presented were carefully reviewed and selected from a total of 89 submissions. Among the topics addressed are multiobjective optimization, computational graph theory, approximation, optimization, combinatorics, scheduling, Varanoi diagrams, packings, multi-party computation, polygons, and searching.
This text constitutes the refereed proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS 2001, held in Providence, in ...
|
cena:
200,77 |
![]() |
Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings
ISBN: 9783540425120 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc ] ken, Germany, during 5-8 September 2000, together with the abstract of the invited lecture given by Karsten Weihe. The Workshop on Algorithm Engineering covers research on all aspects of the subject. The goal is to present recent research results and to identify and explore directions for future research. Previous meetings were held in Venice (1997), Saarbruc ] ken (1998), and London (1999). Papers were solicited describing original research in all aspects of algorithm...
This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc ] ken, Germany, during 5-8 Septembe...
|
cena:
200,77 |
![]() |
Ecoop '88 European Conference on Object-Oriented Programming: Oslo, Norway, August 15-17, 1988. Proceedings
ISBN: 9783540500537 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ..... object oriented seems to be becoming in the 1980s what structured programming was in the 1970s. Brian Randell and Pete Lee This quotation is from the invitation to the annual Newcastle University Conference on Main Trends in Computing, September 1988. It seems to capture the situation quite well, only that the object orientation is being materialised in languages and language constructs, as well as in the style of programming and as a perspective upon the task considered. The second European Conference on Object Oriented Programming (ECOOP 88) was held in Oslo, Norway, August 15-17,...
..... object oriented seems to be becoming in the 1980s what structured programming was in the 1970s. Brian Randell and Pete Lee This quotation is fro...
|
cena:
200,77 |
![]() |
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3
ISBN: 9783540510802 / Angielski / Miękka / 718 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth...
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the e...
|
cena:
401,58 |
![]() |
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
ISBN: 9783540607618 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor.
The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting... This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor....
|
cena:
200,77 |
![]() |
Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
ISBN: 9783540609544 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Symposium on Object Technologies for Advanced Software, ISOTAS'96, held in Ishikawa, Japan, in March 1996. ISOTAS'96 was sponsored by renowned Japanese and international professional organisations.
The 14 papers included in final full versions, together with the abstracts of four invited papers, were carefully reviewed and selected from a total of 56 submissions; they address most current topics in object software technology, object-oriented programming, object-oriented databases, etc. The volume is organized in... This book constitutes the refereed proceedings of the Second International Symposium on Object Technologies for Advanced Software, ISOTAS'96, held in ...
|
cena:
200,77 |
![]() |
Parallel Algorithms for Irregularly Structured Problems: Third International Workshop, Irregular '96, Santa Barbara, Ca, Usa, August 19 - 21, 1996. Pr
ISBN: 9783540615491 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '96, held in Santa Barbara, California, in August 1996.
The volume presents 28 revised full papers selected from 51 submissions; also included are one full invited paper by Torben Hagerup and abstracts of four other invited talks. The papers are organized in topical sections on sparse matrix problems, partitioning and domain composition, irregular applications, communication and synchronization, systems support, and mapping and load... This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGUL...
|
cena:
200,77 |
![]() |
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers
ISBN: 9783540662273 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed post-workshop proceedings of the International Workshop on Algorithmic Engineering and Experimentation (ALENEX'99), held in Baltimore, Maryland, USA, in January 1999. The 20 revised full papers presented were carefully selected from a total of 42 submissions during two rounds of reviewing and improvement. The papers are organized into sections on combinatorial algorithms, computational geometry, software and applications, algorithms for NP-hard problems and data structures.
This volume constitutes the refereed post-workshop proceedings of the International Workshop on Algorithmic Engineering and Experimentation (ALENEX'99...
|
cena:
200,77 |
![]() |
Evolvable Systems: From Biology to Hardware: 5th International Conference, Ices 2003, Trondheim, Norway, March 17-20, 2003, Proceedings
ISBN: 9783540007302 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea of evolving machines, whose origins can be traced to the cybernetics movementofthe1940sand1950s, hasrecentlyresurgedintheformofthenascent ?eld of bio-inspired systems and evolvable hardware. The inaugural workshop, Towards Evolvable Hardware, took place in Lausanne in October 1995, followed by the First International Conference on Evolvable Systems: From Biology to Hardware (ICES), held in Tsukuba, Japan in October 1996. The second ICES conference was held in Lausanne in September 1998, with the third and fourth being held in Edinburgh, April 2000 and Tokyo, October 2001...
The idea of evolving machines, whose origins can be traced to the cybernetics movementofthe1940sand1950s, hasrecentlyresurgedintheformofthenascent ?el...
|
cena:
200,77 |
![]() |
Stateless Core: A Scalable Approach for Quality of Service in the Internet: Winning Thesis of the 2001 ACM Doctoral Dissertation Competition
ISBN: 9783540219606 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a revised version of the author's PhD thesis, which was selected as the winning thesis of the 2001 ACM Doctoral Dissertation Competition. Ion Stoica did his PhD work at Carnegie Mellon University with Hui Zhang as thesis adviser.The author addresses the most pressing and difficult problem facing the Internet community today: how to enhance the Internet to support rich functionalities, such as QoS and traffic management, while still maintaining the scalability and robustness properties embodied in the original Internet architecture.The monograph presents complete solutions...
This book is a revised version of the author's PhD thesis, which was selected as the winning thesis of the 2001 ACM Doctoral Dissertation Competition....
|
cena:
200,77 |
![]() |
DNA Computing: 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
ISBN: 9783540420767 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing and held from June 13 to June 17, 2000 at The Lorentz Center, University of Leiden, Leiden, The Netherlands. DNA Computing is a novel and fascinating development at the interface of computer science and molecular biology. It has emerged in recent years, not simply as an exciting technology for information processing, but also as a catalyst for knowledge transfer between information processing, nanotechnology, and biology. This area of research...
The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing...
|
cena:
200,77 |
![]() |
Parallel Computing 1988: Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988; Proceedings
ISBN: 9783540516040 / Angielski / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on parallel computing was to review the progress of research in the field and to discuss the problems which still have to be solved. The papers presented were all invited from researchers within Shell and from universities and computer industries. The subjects covered in the conference were: - Experiences with various hardware and system software configurations; - Parallel programming methods and...
Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered withi...
|
cena:
200,77 |
![]() |
Automata, Languages and Programming: 26th International Colloquium, Icalp'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
ISBN: 9783540662242 / Angielski / Miękka / 726 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, Czech Republic, in July 1999. As well as the 56 revised full papers presented, there are 11 inivited contributions. Among the topics addressed are approximation algorithms, algebra and circuits, concurrency, semantics and rewriting, process algebras, graphs, distributed computing, logic of programs, sorting and searching, automata, nonstandard computing, regular languages, combinatorial optimization, automata and logics, string algorithms, and...
This text constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, ...
|
cena:
401,58 |
![]() |
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
ISBN: 9783540202431 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro?les of UML, appropriate for di?erent purposes; this is one way to make UML less overwh-...
Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the proces...
|
cena:
200,77 |
![]() |
CORBA Komponenten: Effektives Software-Design und Programmierung
ISBN: 9783540009221 / Niemiecki / Twarda / 421 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Softwareindustrie fordert immer mehr verbesserte Methoden zur effektiven Herstellung von komplexen Softwaresystemen. Im Bereich der verteilten Softwaresysteme brachte die Common Object Request Broker Architecture (CORBA) eine wesentliche Verbesserung bei der industriellen Fertigung und dem Betrieb von verteilten Softwaresystemen. Das CORBA Component Model (CCM) baut auf den Vorteilen von CORBA auf und fugt neue Mechanismen hinzu. Dieses Buch wird das CORBA Component Model unter anderem aus der Sicht der Softwareentwicklung betrachten. Dabei gliedert sich das Buch in 3 Teile. Der 1.... Die Softwareindustrie fordert immer mehr verbesserte Methoden zur effektiven Herstellung von komplexen Softwaresystemen. Im Bereich der verteilten ... |
cena:
251,45 |
![]() |
Computer Programming: An Introduction for the Scientifically Inclined
ISBN: 9789081278812 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduction to computer programming for science students (mathematics, physics, chemistry) at university level. Including chapters on scientific simulations and computer graphics and including an overview of available (scientific) libraries. Uses the C programming language, and covers C99. Questions and exercises at the end of each chapter.
Introduction to computer programming for science students (mathematics, physics, chemistry) at university level. Including chapters on scientific simu...
|
cena:
117,18 |
![]() |
Development of a Generic Flash Device Driver for Cellular Phones - Requirements, Design, Implementation
ISBN: 9783836470612 / Angielski / Miękka / 76 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The thesis aim is to develop a generic device driver concept for handling NOR flash memory devices in an embedded cellular phone system. This concept describes the process of designing, implementing as well as testing the software on the Philips Nexperia Cellular System Solution platform. An overview of the current flash market, todays and future meaning of NOR flash memory as well as the Nexperia environment, serves as an introduction into this area of expertise.
The thesis aim is to develop a generic device driver concept for handling NOR flash memory devices in an embedded cellular phone system. This concept ...
|
cena:
218,66 |
![]() |
Perception as Bayesian Inference
ISBN: 9780521064996 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a general paradigm for studying human visual perception. This book provides an introduction to and critical analysis of the Bayesian paradigm. Leading researchers in computer vision and experimental vision science describe general theoretical frameworks for modeling vision, detailed applications to specific problems and implications for experimental studies of human perception. The book provides a dialogue between different perspectives both within...
In recent years, Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a gene...
|
cena:
373,98 |