Computer Science

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725803354Author Behzad Djafari-RouhaniFormat HardbackPage Count 232Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 699gDimensions(mm) 244mm * 170mm * 19mm

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036552255Author Gabriele VajenteFormat HardbackPage Count 428Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1116g

This book constitutes the refereed proceedings of the 8th International Conference, VISIGRAPP 2013 consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Computer Graphics, GRAPP 2013, and the International...

This book constitutes the refereed proceedings of the 11th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2025, held in Coimbatore, India, during February 13–15, 2025. The 30 full papers included in this book were...

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14–20, 2023. The 45 full papers...

This book presents the most interesting talks given at ISSE 2012 - the forum for the inter-disciplinary discussion of how to adequately secure electronic business processes. The topics include: - Information Security Strategy; Enterprise and Cloud...

Since the early 1960's there has developed a great interest, both in industry and academia, in the subjects of maintenance and reliability of digital systems. The increased complexity of current systems makes this interest well justified. Costs...

This, the 21st issue of the Transactions on Computational Science journal, edited by Ajith Abraham, is devoted to the topic of nature-inspired computing and applications. The 15 full papers included in the volume focus on the topics of neurocomputing,...

This book constitutes the thoroughly refereed, selected papers on Cyber Security and Privacy EU Forum 2013, held in Belgium, in April 2013. The 14 revised full papers presented were carefully reviewed and selected from various submissions. The papers are...

People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and...

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information...

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of...

This book contains a selection of the best papers from WEBIST 2008 (the Fourth International Conference on Web Information Systems and Technologies), held in Funchal, Madeira, in 2008, organized by the Institute for Systems and Technologies of...

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639091434Author Philip ShilaneFormat PaperbackPage Count 176Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 245g

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

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

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th...

Interested readers will find here the thoroughly refereed post-proceedings of the International Workshop of Sequences, Subsequences and Consequences, SSC 2007, held in Los Angeles, USA, in 2007. The 16 revised invited full papers and one revised...

For anyone needing to keep up to date with all the latest research in the field of membrane computing, this book will come as a breath of fresh air. It is the extended post-proceedings of the 8th International Workshop on Membrane Computing, held in June...

Human-centredness: A Challenge to Post-industrial Europe? The key power in industrial society has been linked to the possession of capital and factory. In the "information society" it could be rather different. If one accepts that that the key power in...

This book constitutes the refereed proceedings of the Third International Conference on High Performance Computing and Communications, HPCC 2007. The 75 revised full papers address all current issues of parallel and distributed systems and high...

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed...

This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC 2007, held in Mangaratiba, Brazil, in March 2007. The 27 full papers and 10 short papers presented together with a late-comer...

This book constitutes the refereed proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2007, held in Toronto, Canada in May 2007 in conjunction with the Second International Conference...

This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ISAS 2006, held in Helsinki, Finland, in May 2006. The 19 revised full papers cover availability modeling, estimation and analysis,...

This volume contains the proceedings of the LATIN 2000 International Conference (LatinAmerican Theoretical INformatics), to be held in Punta del Este, Uruguay,April 10-14, 2000. This is the fourth event in the series following Sao " Paulo, Brazil...

Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers...

This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. The symposium, organized alternately in the Czech...

TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri...

This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998. The volume presents three invited surveys together with 52 revised full...

This book constitutes the refereed proceedings of the 1997 International Conference on Spatial Information Theory, COSIT'97, held in Laurel Highlands, Pennsylvania, USA, in October 1997. The 31 revised full papers presented were carefully selected from a...

This book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97, held in Nova Scotia, Halifax, Canada, in August 1997. The 37 revised full papers presented were carefully selected from a total...

This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997. The 40 revised full papers presented were carefully selected from...

This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996. The volume presents 28 revised full...

This book presents the refereed proceedings of the Third International Conference on Intelligent Tutoring Systems, ITS '96, held in Montreal, Canada, in June 1996. The book contains 69 revised papers selected from a total of 128 submissions; also...

This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on...

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual...

This volume presents the proceedings of the first French-Israeli Workshop on Algebraic Coding, which took place in Paris in July 1993. The workshop was a continuation of a French-Soviet Workshop held in 1991 and edited by the same board. The thoroughly...