Home > Tags: theoretical (Total 177 Records)
Combinatorial Optimization and Theoretical Computer Science: Interfaces and Perspectives (ISTE)
Computer Science By:Vangelis Th. Paschos 2008-04-04 00:00:00
This volume is dedicated to the theme “Combinatorial Optimization – Theoretical Computer Science: Interfaces and Perspectives†and has two main objectives: the first is to show that bringing together operational research and theoretical computer science can yield useful results for a range of Computer Science
Tags: optimization computer science perspectives interface theoretical combinatorial iste
Theoretical Computer Science and Discrete Mathematics: First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, ... Papers (Lecture Notes in Computer Science)
Computer Science By:S. ArumugamJay BaggaLowell W. BeinekeB.S. Panda 2017-09-21 00:00:00
This volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical Computer Science and Discrete Mathematics, held in Krishnankoil, India, in December 2016. The 57 revised full papers were carefully reviewed and selected from 210 submissions. The papers c Computer Science
Tags: computer mathematics lecture science conference papers discrete theoretical ictcsdm krishnankoil
Advances in Data Mining. Applications and Theoretical Aspects: 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings (Lecture Notes in Computer Science)
Algorithms By:vances in Data Mining. Applications and Theoretical Aspects: 17th Industrial Conference, ICDM 2017, 2017-08-09 00:00:00
This book constitutes the refereed proceedings of the 17th Industrial Conference on Advances in Data Mining, ICDM 2017, held in New York, NY, USA, in July 2017. The 27 revised full papers presented were carefully reviewed and selected from 71 submissions. The topics range from theoretical aspects of Algorithms
Tags: computer data application lecture science mining industrial proceedings conference theoretical aspects icdm york
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Programming By:Peter Padawitz 1992-10-30 00:00:00
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the developm Programming
Tags: computer programming science theoretical tracts declarative cambridge deductive
Algorithms and Complexity. Handbook of Theoretical Computer Science, Vol. A
Computer Science By:Jan Van Leeuwen 1990-09-26 00:00:00
This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science. Computer Science
Tags: computer handbook algorithm science theoretical complexity
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Computer Science By:Patrick Blackburn 2002-09-30 00:00:00
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory Computer Science
Tags: computer science logic theoretical tracts cambridge modal
The Joy of UX: User Experience and Interactive Design for Developers (Usability)
Programming By:David Platt 2013-00-00 00:00:00
For years now, Ive been running around preaching to anyone wholl listen that UX is something that everybody (not just UX people) needs to be doing. Dave has done an excellent job of explaining what developers need to know about UX, in a complete but compact, easy-to-absorb, and implementable form. D imprecise-information processing, showcases cutting-edge concepts, rigid linguistic values, flexible linguistic values, new theoretical
Tags: design developer system technology experience processing interactive usability theoretical ux joy
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