General

Systematically teaches key paradigmic algorithm design methods Provides a deep insight into randomizationBook InformationISBN 9783540239499Author Juraj HromkovicFormat HardbackPage Count 277Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co...

This is a rigorous and self-contained monograph on a central topic in theoretical computer science. For the first time in book form, original results from the last ten years are presented, some previously unpublished, using combinatorial and algebraic...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540092513Author F. L. BauerFormat PaperbackPage Count 654Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin...

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth...

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during...

Details robustness, stability, and performance of Evolutionary Algorithms in dynamic environmentsBook InformationISBN 9783642059520Author Ronald W. MorrisonFormat PaperbackPage Count 149Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co...

The primary goal of this book is unifying and making more widely accessible the vibrant stream of research - spanning more than two decades - on the theory of semi-feasible algorithms. In doing so it demonstrates the richness inherent in central notions...

Multicore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines. It uses a simple yet powerful parallel dialect of C called ParC as the basic programming language...

This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information and Management, AAIM 2006, held in Hong Kong, June 2006. The book presents 34 revised full papers together with abstracts of 2...

/My tailor is Object-Oriented". Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded with some OO ?avors. The range of areas where OO...

This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789334082944Author Sivakumar R DFormat PaperbackPage Count 128Imprint Sivakumar R DPublisher Sivakumar R DWeight(grams) 181g

This book constitutes the refereed proceedings of the 27th International Conference on Developments in Language Theory, DLT 2023, held in Umeå, Sweden, during June 12–16, 2023. The 20 full papers included in this book were carefully reviewed and selected...

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798227449061Author Billy H GreenFormat PaperbackPage Count 96Imprint Soriful82Publisher Soriful82Weight(grams) 150g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798224603350Author MR TroyFormat PaperbackPage Count 76Imprint MR TroyPublisher MR TroyWeight(grams) 109g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789361282317Author Sivakumar R DFormat PaperbackPage Count 120Imprint 978-93-6128-231-7Publisher 978-93-6128-231-7Weight(grams) 172g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783866288010Author Matheus CavalcanteFormat PaperbackPage Count 224Imprint Hartung & GorrePublisher Hartung & GorreWeight(grams) 272g

This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101...

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of...

This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully...

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed...

This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three...

This festschrift volume, published in honor of Bernd Kramer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and theoretical computer science, software and service...

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed...

This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and...

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist...

The information infrastructure - comprising computers, embedded devices, networks and software systems - is vital to operations in every sector: inf- mation technology, telecommunications, energy, banking and ?nance, tra- portation systems, chemicals,...

First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory. This conference...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639009071Author Manel Guerrero-ZapataFormat PaperbackPage Count 112Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams)...

IBERAMIA is the international conference series of the Ibero-American Art- cialIntelligencecommunitythathasbeenmeetingeverytwoyearssincethe1988 meeting in Barcelona. The conference is supported by the main Ibero-American societies of AI and provides...

Nowadays, Web applications are almost omnipresent. The Web has become a platform not only for information delivery, but also for eCommerce systems, social networks, mobile services, and distributed learning environments. Engineering Web applications...

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. The 45 revised full papers presented together with 5 invited lectures...

This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW 2007, held in Lanzhou, China in August 2007. Topics covered in the papers include bioinformatics, discrete structures, geometric...

The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, China, in June 2008. The 66 revised full papers presented were carefully reviewed and selected from 172 submissions. The papers...

This book constitutes the refereed proceedings of the First International Conference on Scientific Computing in Object-Oriented Parallel Environments, ISCOPE '97, held in Marina del Rey, California, in December 1997. The volume presents 36 revised papers...

Evolutionary algorithms are general-purpose search procedures based on the mechanisms of natural selection and population genetics. They are appealing because they are simple, easy to interface, and easy to extend. This volume is concerned with...

This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is the premier European event on object-oriented programming and technology. The 25 full refereed...

The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality and reliability of software process and product. was one. Within REQUEST. the research described in this...

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium...