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
ISBN10:3319627007 ISBN13:9783319627007
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
ISBN10:0521417236 ISBN13:9780521417235
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
ISBN10:0444880712 ISBN13:9780444880710
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
ISBN10:0521527147 ISBN13:9780521527149
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
ISBN10:B01F7SBPJO ISBN13:
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
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
