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

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

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

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

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

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

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

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

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

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*