Computer Science

This book on PDE Constrained Optimization contains contributions on the mathematical analysis and numerical solution of constrained optimal control and optimization problems where a partial differential equation (PDE) or a system of PDEs appears as an...

This book focuses on a development of optimal, flexible, and efficient models and algorithms for cell formation in group technology. Its main aim is to provide a reliable tool that can be used by managers and engineers to design manufacturing cells based...

The foundation of computer science is built upon the following questions: What is an algorithm? What can be computed and what cannot be computed? What does it mean for a function to be computable? How does computational power depend upon programming...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725810611Author Sebastian SkatullaFormat HardbackPage Count 490Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1252g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036591926Author Alexander TikhomirovFormat HardbackPage Count 322Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 894g

This book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21–23, 2023.The 16 full papers included in this book were carefully reviewed and selected...

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with three invited talks and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540124962Author C.H. LiuFormat PaperbackPage Count 477Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin and...

In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836465922Author Dennis K NilssonFormat PaperbackPage Count 184Imprint VDM VerlagPublisher VDM VerlagWeight(grams) 254g

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,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450310543Author Icfp 12 Conference CommitteeFormat PaperbackPage Count 394Imprint ACMPublisher ACMWeight(grams) 912g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781614998136Author Mamta MittalFormat PaperbackPage Count 618Imprint IOS PressPublisher IOS PressWeight(grams) 853g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317283Author Cf 12 Proceedings CommitteeFormat PaperbackPage Count 320Imprint ACMPublisher ACMWeight(grams) 744g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639028300Author Ajay GuptaFormat PaperbackPage Count 108Imprint VDM VerlagPublisher VDM VerlagWeight(grams) 154g

This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT'98), held at the European education centre Europaisches Bildungszentrum (ebz) Otzenhausen, Germany, October 8{ 10, 1998. The...

This proceedings contains the papers presented at the 2004 IFIP International Conference on Network and Parallel Computing (NPC 2004), held at Wuhan, China, from October 18 to 20, 2004. The goal of the conference was to establish an international forum...

The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just...

The book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It explores general trends in hardware and software development, and then focuses specifically on the future of high-performance...

The Third International Conference onUnconventional Models of C- putation,UMC2002 was organized by the Center for Discrete Mathematics andTheoreticalComputerScienceandtheKansaiAdvancedResearchCenterof the Communications Research Laboratory, Kansai, Japan...

Nowadays there is an increasing emphasis on all aspects of adaptively gener ating a grid that evolves with the solution of a PDE. Another challenge is to develop efficient higher-order one-step integration methods which can handle very stiff equations...

This book constitutes the strictly refereed post-conference proceedings of the 5th International Symposium on Graph Drawing, GD'97, held in Rome, Italy, in September 1997. The 33 revised full papers and 10 systems demonstrations presented were selected...

This book constitutes the refereed proceedings of the Third Annual International Computing and Combinatorics Conference, COCOON'97, held in Shanghai, China, in August 1997. The volume presents 53 revised full papers selected from a total of 106...

This book constitutes the refereed proceedings of the 10th International Workshop on Distributed Algorithms, WDAG '96, held in Bologna, Italy, in October 1996. The volume presents 21 revised full papers selected from 75 submissions together with invited...

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included...

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67...

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the...

This volume contains the complete set of tutorial papers presented at the 16th IFIP (International Federation for Information Processing) Working Group 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation, and a...

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linkoeping, Sweden, August 20-22, 1990. The aim of the workshop was to...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639018905Author Verhanneman TineFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 200g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836483568Author Julian StottingerFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 122g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836492416Author Kai EssigFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 336g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836490016Author Herbert H TsangFormat PaperbackPage Count 160Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 222g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836481717Author Anna V ZhdanovaFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 227g

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in...

"Mitigating Paradox at the eSociety Tipping Point" In the first two decades of the past Century, having as driving factor the automobile and its mass production, the command economy has radically changed our lifestyles, enabling the creation of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725800711Author Jing ZhangFormat HardbackPage Count 174Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 576g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317306Author Nossdav Proceedings CommitteeFormat PaperbackPage Count 116Imprint ACMPublisher ACMWeight(grams) 286g

What is this book good for? Imagine you are a computer scientist working in the bioinformatics area. P- bably you will be a member of a highly interdisciplinary team consisting of biologists, chemists, mathematicians, computer scientists ranging from p-...

Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing...