Computer Science

In October of last year experts from different research disciplines, like control engineering, systems engineering, sociology, art, philosophy, and politics met in Krems (Austria) to discuss the interplay between recent developments in automation and the...

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented...

It is our pleasure to present the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems (ISSADS) in this LNCS volume. The symposium was held in the city of Guadalajara,Mexico from January 24 to 28,...

The Dynamic Student Development Metatheodel (DSDM) is a meta-theory based on empirically based inferences drawn from a national survey entitled the University Learning Outcomes Assessment (UniLOA). The UniLOA's current dataset consists of over 500,000...

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on...

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have...

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary talks...

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this...

The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program ming languages, but rather with their commonalities. The task of formal program...

This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15-19, 2010. The FoIKS symposia provide a biennial forum for...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783039214433Author Alberto Alvarellos GonzalezFormat PaperbackPage Count 160Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 354gDimensions(mm) 244mm * 170mm *...

Hybrid Intelligent Systems has become an important research topic in computer science and a key application field in science and engineering. This book offers a gentle introduction to the engineering aspects of hybrid intelligent systems, also...

This book constitutes the refereed proceedings of the 11th Brazilian Symposium on Bioinformatics, BSB 2018, held in Rio de Janeiro, Brazil, in October/November 2018. The 13 revised full papers presented were carefully reviewed and selected from 26...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540071358Author Tse-Yun FengFormat PaperbackPage Count 433Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin...

Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. of a controller. Even if timing is not essential for the correct behaviour...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450326773Author Riit 13 Conference CommitteeFormat PaperbackPage Count 102Imprint ACMPublisher ACMWeight(grams) 259g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725802197Author Shujin LaimaFormat HardbackPage Count 542Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1361g

This book constitutes the proceedings of the 15th International Conference on Algorithms and Computation, WALCOM 2021, which was planned to take place in Yangon, Myanmar in February/March 2021. The conference changed to an online format due to the...

An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.Book InformationISBN 9783540643104Author Heribert VollmerFormat...

Maple is a computer algebraic system with a fast-growing number of users in schools, universities, and other institutions. Intended for anyone who is encountering Maple for the first time, First Steps in Maple provides a detailed step-by-step...

This volume contains the proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), which was held on March 23-25, 2000, in Pittsburgh, Pennsylvania. The proceedings of the rst two workshops in this series...

Biology is witnessing a transformation towards a more quantitative science, based on the major technological breakthroughs of the past decade. In this transformation, biology is incorporating mathematical modeling techniques and computational approaches...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036570525Author Savvas A ChatzichristofisFormat HardbackPage Count 264Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 771g

Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between...

The Brown Boveri Symposia are by now part of a firm!ly established tradition. This is the ninth event in a series which was initiated shortly after Corporate Research was created as a separate entity within our Company; the Symposia are held every other...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725800469Author Giuseppe CasoFormat HardbackPage Count 242Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 721g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036598598Author Diana SavinFormat HardbackPage Count 310Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 866g

By 'model' we mean a mathematical description of a world aspect. With the proliferation of computers a variety of modeling paradigms emerged under computational intelligence and soft computing. An advancing technology is currently fragmented due, as...

This book provides a framework for the design of competent optimization techniques by combining advanced evolutionary algorithms with state-of-the-art machine learning techniques. The primary focus of the book is on two algorithms that replace...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639071108Author Christer AhlstrmFormat PaperbackPage Count 232Imprint VDM VerlagPublisher VDM VerlagWeight(grams) 345g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836444965Author Dino AhrFormat PaperbackPage Count 220Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 358g

This book constitutes the refereed proceedings of the First Asian Semantic Web Conference, ASWC 2006, held in Beijing, China, in September 2006. The 36 revised full papers and 36 revised short papers presented together with three invited contributions...

This book reviews the field of helioseismology and its outstanding challenges and also offers a detailed discussion of the latest computational methodologies. The focus is on the development and implementation of techniques to create 3-D images of...

The advances of live cell video imaging and high-throughput technologies for functional and chemical genomics provide unprecedented opportunities to understand how biological processes work in subcellularand multicellular systems. The interdisciplinary...

Relational matching is a method for finding the best correspondences betweenstructural descriptions. It is widely used in computer vision for the recognition and location of objects in digital images. For this purpose, the digital images and...

The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications. Computer system design, in the light of these changes, involves understanding these modem workloads, identifying bottlenecks during...

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: *...

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this...

The field of natural computing has been the focus of a substantial research effort in recent decades. One particular strand of this research concerns the development of computational algorithms using metaphorical inspiration from systems and phenomena...

This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic,...