Home > Tags: theoretical (Total 171 Records)
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
Algorithms By:Willem-Paul de Roever 2008-12-18 00:00:00
ISBN10:0521103509 ISBN13:9780521103503
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refin data refinement, model-oriented proof methods, data refinement correct, data refinement proofs, highly applicable method
Tags: computer data science method theoretical tracts refinement cambridge proof comparison
Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)
Algorithms By:Hartmut Ehrig 2015-12-22 00:00:00
ISBN10:3662479796 ISBN13:9783662479797
by Hartmut Ehrig (Author), Claudia Ermel (Author), Ulrike Golas (Author), Frank Hermann (Author) Authors among the leading scientists and educators in the field Techniques applicable in software engineering, concurrent and distributed systems, and visual modelling Comprehensive treatment, includes a model transformation, theoretical computer science, software engineering, m-adhesive transformation systems, triple graph grammars
Tags: computer application graph series model framework science theoretical monographs transformation eatcs
Computer Modeling in Bioengineering: Theoretical Background, Examples and Software
Computer Science By:Milos Kojic 2008-06-09 00:00:00
ISBN10:0470060352 ISBN13:9780470060353
Bioengineering is a broad-based engineering discipline that applies engineering principles and design to challenges in human health and medicine, dealing with bio-molecular and molecular processes, product design, sustainability and analysis of biological systems. Applications that benefit from bioe bioengineering topics, broad-based engineering discipline, theoretical background, bioengineering students, classical computational modeling
Tags: computer example software model theoretical background bioengineering
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
Computer Science By:Mohammad Taghi Hajiaghayi and Mohammad Reza Mousavi 2016-02-16 00:00:00
ISBN10:3319286773 ISBN13:9783319286778
This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015. The 10 full papers presented together with 3 invited talks were carefully reviewed and selected ifip wg, international conference, theoretical computer science, lecture notes, selected papers
Tags: computer lecture science topic conference papers theoretical ifip tehran iran ttcs
Rational Series and Their Languages (Eatcs Monographs on Theoretical Computer Science)
Computer Science By:Jean Berstel 1988-11-00 00:00:00
ISBN10:0387186263 ISBN13:9780387186269
This book is a systematic exposition of the theory of rational formal power series and the associated formal languages. It is the first to present an algebraic approach. It contains all fundamental results, starting with the KleeneSchutzenberger theorem, up to the latest developments. Relations with rational formal power, theoretical computer science, rational series, systematic exposition, formal languages
Tags: computer language series science theoretical rational monographs eatcs
STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings (Lecture Notes in Computer Science)
Computer Science By:Wolfgang Thomas 2007-03-22 00:00:00
ISBN10:3540709177 ISBN13:9783540709176
This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007. The 56 revised full papers presented together with 3 invited papers address the whole range of theoretical computer science as 24th annual symposium, theoretical aspects, lecture notes, refereed proceedings, science
Tags: computer lecture science symposium proceedings annual theoretical aspects stacs
Algorithmics of Large and Complex Networks: Design, Analysis, and Simulation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Computer Science By:Jurgen Lerner 2009-08-12 00:00:00
ISBN10:3642020933 ISBN13:9783642020933
Networks play a central role in today’s society, since many sectors employing information technology, such as communication, mobility, and transport - even social interactions and political activities - are based on and rely on networks. In these times of globalization and the current global financi lecture notes, global financial crisis, science / theoretical, theoretical computer science, general issues
Tags: computer design network analysis algorithm lecture science simulation issue theoretical
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
Computer Science By:Jorg Desel 1995-01-27 00:00:00
ISBN10:0521465192 ISBN13:9780521465199
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, choice petri nets, free choice petri, alike.free choice petri, cambridge tracts
Tags: computer science nets choice theoretical petri tracts cambridge
Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)
Programming By:Antje Dusterhoft 2012-02-18 00:00:00
ISBN10:3642282784 ISBN13:9783642282782
Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday (Lecture Notes in ... Applications, incl. Internet/Web, and HCI) 60th birthday, conceptual modelling, theoretical foundations, lecture notes, occasion
Tags: concept application foundations model lecture hci theoretical dedicated occasion birthday bernhard thalheim
