## Home > Tags: algebraic (Total 45 Records)

### CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science)

Programming By:Peter D. Mosses 2008-06-13 00:00:00

CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language common algebraic specification, algebraic specification language, casl reference manual, algebraic specification languagecasl, complete documentation

Tags:
*computer*
*language*
*reference*
*lecture*
*science*
*specification*
*manual*
*algebraic*
*documentation*
*common*
*casl*

### Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

Computer Science By:Mihai Codescu and Razvan Diaconescu 2016-02-06 00:00:00

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus algebraic development techniques, international workshop, formal specification techniques, conceptual modeling methods, lecture notes

Tags:
*computer*
*technique*
*lecture*
*science*
*development*
*trends*
*algebraic*
*papers*
*romania*
*wadt*
*sinaia*

### Algebraic and Geometric Topology (Proceedings of Symposia in Pure Mathematics)

Cryptography By:R. James Milgram 1978-12-31 00:00:00

The American Mathematical Society held its 24th Summer Research Institute at Stanford University from August 2-21, 1976. The topic of the meeting was Algebraic and Geometric Topology. Particular emphasis was placed on Algebraic K- and L-Theory, Surgery and Surgery Classifying Spaces, Group Actio 24th summer research, american mathematical society, surgery classifying spaces, pure mathematics, algebraic

Tags:
*geometric*
*mathematics*
*pure*
*algebraic*
*proceedings*
*topology*
*symposia*

### Hyper-lattice Algebraic Model for Data Warehousing

Computer Science By:Soumya Sen, Agostino Cortesi, Nabendu Chaki 2016-00-00 00:00:00

This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and propose a novel algebraic structure in the form of Hyper-lattice to overcome problems with lattice. Th algebraic structure.hyper-lattice algebraic, algebraic model, hyper-lattice algebraic model, new algebraic model, novel algebraic structure

Tags:
*data*
*model*
*algebraic*
*warehousing*

### Principles of Compilers: A New Approach to Compilers Including the Algebraic Method

Programming By:Yunlin Su 2011-11-01 00:00:00

"Principles of Compilers: A New Approach to Compilers Including the Algebraic Method" introduces the ideas of the compilation from the natural intelligence of human beings by comparing similarities and differences between the compilations of natural languages and programming languages. The notation algebraic method, new approach, algebraic formal method, compilers, increasingly important alternative

### Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

Programming By:S. Aguzzoli, A. Ciabattoni, B. Gerla 2007-10-26 00:00:00

Published in honor of Daniele Mundici on the occasion of his 60th birthday, the 17 revised papers of this Festschrift volume include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held lecture notes, 60th birthday, non-classical logics, proof-theoretic aspects, artificial intelligence

Tags:
*lecture*
*intelligence*
*artificial*
*algebraic*
*papers*
*occasion*
*birthday*
*aspects*
*logics*
*honor*
*daniele*
*mundici*

### Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics, Vol. 3)

Cryptography By:NEAL Koblitz 2004-06-24 00:00:00

This is a textbook for a course (or self-instruction) in cryptography with emphasis on algebraic methods. The first half of the book is a self-contained informal introduction to areas of algebra, number theory, and computer science that are used in cryptography. Most of the material in the second ha self-contained informal introduction, data security.algebraic aspects, hyperelliptic curves, hyperelliptic systems, cryptography

Tags:
*algorithm*
*cryptography*
*computation*
*mathematics*
*algebraic*
*aspects*

### Algebraic Coding Theory (Revised Edition)

Cryptography By:Elwyn R Berlekamp 2015-05-26 00:00:00

This is the revised edition of Berlekamp's famous book, "Algebraic Coding Theory", originally published in 1968, wherein he introduced several algorithms which have subsequently dominated engineering practice in this field. One of these is an algorithm for decoding Reed-Solomon and Bose–Chaudhuri–Ho algebraic coding theory, finite fields, long binary bch, precise asymptotic results, symbolic manipulation systems

### Automata, Formal Languages and Algebraic Systems

Computer Science By:Masami Ito 2010-08-31 00:00:00

This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and gramma formal languages, algebraic systemsthis volume, mainly recent developments, automata theory, grobner bases

### Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Programming By:Jens Palsberg 2009-08-28 00:00:00

This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semanti peter d. mosses, 60th birthday, action semantics, formal program semantics, object-oriented action semantics

Tags:
*computer*
*lecture*
*science*
*specification*
*algebraic*
*issue*
*semantics*
*theoretical*
*dedicated*
*occasion*
*birthday*
*peter*
*mosses*