Computer Science

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

In the last decade, ontologies have received much attention within computer science and related disciplines, most often as the semantic web. Ontology Learning and Population from Text: Algorithms, Evaluation and Applications discusses ontologies for the...

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) 354g

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

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships...

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 9781599423777Author Dinesh S KatreFormat PaperbackPage Count 222Imprint Dissertation.comPublisher Dissertation.comWeight(grams) 404g

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

This research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on lattice theory. The emphasis is on clustering, classification, and regression applications. It presents novel tools and useful...

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

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

Software product line engineering has proven to be the methodology for developing a diversity of software products and software intensive systems at lower costs, in shorter time, and with higher quality. In this book, Pohl and his co-authors present a...

Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study...

This book constitutes the thoroughly refereed post-workshop proceedings of the First and the Second International Workshop on OpenMP, IWOMP 2005 and IWOMP 2006, held in Eugene, OR, USA, and in Reims, France, in June 2005 and 2006 respectively. The first...