## Home > Tags: theoretical (Total 175 Records)

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

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