This monograph has two main objectives. The first one is to give a self-contained exposition of the relevant facts about set operads, in the context of combinatorial species and its operations. This a
The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence – quickly and with a high quality. The intent is to
This book is based on the research papers presented in the 3rd Computer Science On-line Conference 2014 (CSOC 2014). The conference is intended to provide an international forum for discussions on the
CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing t
CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing t
CSIE2012 is an integrated conference concentrating its focus on Computer Science and Information Engineering . In the proceeding, you can learn much more knowledge about Computer Science and Informati
CSE2011 is an integrated conference concentration its focus on computer science and education. In the proceeding, you can learn much more knowledge about computer science and education of researchers
Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circ
Geometric algebra has established itself as a powerful and valuable mathematical tool for solving problems in computer science, engineering, physics, and mathematics. The articles in this volume, writ
The ?rst International Summer School on Theoretical Aspects of Computer Science was organized by the Institute for Studies in Theoretical Physics and Mathematics(IPM)inTehran,Iran. ProgramCommittee Co
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an
Now in a second, expanded edition, this book bridges the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics and introduces a range of geometri
This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in ?pindleruv Mlyn, Czech Republic,
This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a substantial impact on everyday life (lo
The emergence of high performance computers and sophisticated software technology has led to significant advances in the development and application of operations research. In turn, the growing com
This volume contains the proceedings of the 2012 International Conference of Modern Computer Science and Applications (MCSA 2012) which was held on September 8, 2012 in Wuhan, China. The MCSA 2012 pro
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revis
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014.The 13 th
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Buda
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29
The latest inventions in computer technology influence most of human daily activities. In the near future, there is tendency that all of aspect of human life will be dependent on computer applications
The latest inventions in computer technology influence most of human daily activities. In the near future, there is tendency that all of aspect of human life will be dependent on computer applications
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in
This book constitutes the proceedings of the International Conference on Trusted Systems, held in Beijing, China, in December 2010.The 23 contributed papers presented together with nine invited talks
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2008, held in Durham, UK, in June/July
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
The book is an introductory textbook mainly for students of computer science and mathematics. Its guiding phrase is "what every theoretical computer scientist should know about linear programming". A
Lattice gauge theory is a fairly young research area in Theoretical Particle Physics. It is of great promise as it offers the framework for an ab-initio treatment of the nonperturbative features of st
This book teaches introductory computer programming using Maple, offering more mathematically oriented exercises and problems than those found in traditional programming courses, while reinforcing and
This book originated from several recent workshops and related activities conducted by the IFIP Working Group 7.6 on "Optimization-Based Computer Aided Modeling and Design." This group has been active
A comprehensive survey of proper connection of graphs is discussed in this book with real world applications in computer science and network security. Beginning with a brief introduction, comprising r
This book is aimed at undergraduate and graduate students in applied mathematics or computer science, as a tool for solving real-world design problems. The present work covers fundamentals in mul
The book introduces to the basics of biotechnology and lets young and old cartoon fans enjoy science in a relaxed and comprehensive way. Together with Professor Nanoroo, the story's likeable protagoni
This book provides a comprehensive basics-to-advanced course in an aero-thermal science vital to the design of engines for either type of craft. The text classifies engines powering aircraft and singl
This book is devoted to Control System Technology applied to aerospace and covers the four disciplines Cognitive Engineering, Computer Science, Operations Research, and Servo-Mechanisms. This edited b
In this new text, designed for sophomores studying mathematics and computer science, the authors cover the basics of difference equations and some of their applications in computing and in population
