KlikkMedia | Google Hirdetés X Online Marketing Tanácsadás

Higher-Order Logic and Type Theory - Bok av John L. (University of Western Ontario) Bell - Häftad

An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.

SEK 316.00

1

Groups of Lie Type and their Geometries - Bok - Häftad

Presented here are papers from the 1993 Como meeting on groups of Lie type and their geometries. This book will be a necessary addition to the library of all researchers in group theory and related areas.

SEK 930.00

1

Type Theory and Formal Proof - An Introduction - Bok av Rob (Technische Universiteit Eindhoven Nederpelt - Inbunden

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

SEK 971.00

1

Wigner-Type Theorems for Hilbert Grassmannians - Bok av Mark Pankov - Häftad

Wigner's theorem plays an important role in the mathematical foundations of quantum mechanics. This book provides a quick, accessible introduction to the geometric approach to Wigner-type theorems, unifying both classical and more recent results, and is suitable for graduate students as well as more experienced researchers.

SEK 846.00

1

Sensations - A Defense of Type Materialism - Bok av Christopher S. Hill - Häftad

This is a book about sensory states and their apparent characteristics. It confronts a whole series of metaphysical and epistemological questions and presents an argument for type materialism: the view that sensory states are identical with the neural states with which they are correlated.

SEK 600.00

1

Sensations - A Defense of Type Materialism - Bok av Christopher S. Hill - Inbunden

This is a book about sensory states and their apparent characteristics. It confronts a whole series of metaphysical and epistemological questions and presents an argument for type materialism: the view that sensory states are identical with the neural states with which they are correlated.

SEK 1097.00

1

Elements of the Representation Theory of Associative Algebras: Volume 2, Tubes and Concealed Algebras of Euclidean type - Bok av Daniel Simson - Inbun

The second of a three-volume set providing a modern account of the representation theory of finite dimensional associative algebras over an algebraically closed field. This volume provides an up-to-date introduction to the representation theory of the representation-infinite hereditary algebras of Euclidean type, as well as concealed algebras of Euclidean type.

SEK 1631.00

1

Elements of the Representation Theory of Associative Algebras: Volume 2, Tubes and Concealed Algebras of Euclidean type - Bok av Daniel Simson - Häfta

The second of a three-volume set providing a modern account of the representation theory of finite dimensional associative algebras over an algebraically closed field. This volume provides an up-to-date introduction to the representation theory of the representation-infinite hereditary algebras of Euclidean type, as well as concealed algebras of Euclidean type.

SEK 900.00

1

The Pragmatic Enlightenment - Recovering the Liberalism of Hume, Smith, Montesquieu, and Voltaire - Bok av Dennis C. (Tufts University Rasmussen - Inb

This is a study of the political theory of the Enlightenment, focusing on four leading eighteenth-century thinkers: David Hume, Adam Smith, Montesquieu and Voltaire. Dennis C. Rasmussen argues that these thinkers exemplify a particularly attractive type of liberalism, one that is more realistic, moderate, flexible, and contextually sensitive than most other branches of this tradition.

SEK 1290.00

1

The Pragmatic Enlightenment - Recovering the Liberalism of Hume, Smith, Montesquieu, and Voltaire - Bok av Dennis C. (Tufts University Rasmussen - Häf

This is a study of the political theory of the Enlightenment, focusing on four leading eighteenth-century thinkers: David Hume, Adam Smith, Montesquieu and Voltaire. Dennis C. Rasmussen argues that these thinkers exemplify a particularly attractive type of liberalism, one that is more realistic, moderate, flexible, and contextually sensitive than most other branches of this tradition.

SEK 467.00

1

Basic Simple Type Theory - Bok av J. Roger (University of Wales Hindley - Inbunden

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

SEK 1441.00

1

Basic Simple Type Theory - Bok av J. Roger (University of Wales Hindley - Häftad

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

SEK 597.00

1

John Baskerville, Type-Founder and Printer, 1706?1775 - Bok av Josiah H. Benton - Häftad

This 1914 biography of John Baskerville was published by Josiah Benton, an American lawyer. Baskerville began working as a type-founder and printer around 1750, and the quality of his books - including the Bible and Milton's Paradise Lost - made them collectors' items. Benton provides here an appendix listing his own collection.

SEK 371.00

1

Spanish America after Independence, c.1820?c.1870 - Bok - Häftad

First published in 1987, Spanish America after Independence c. 1820 - c. 1870 is a selection of chapters brought together to provide a continuous history of Spanish America during the first half century following independence from Spain. The book will be a valuable text for both teachers and students of Latin American history.

SEK 601.00

1

Lie Algebras, Geometry, and Toda-Type Systems - Bok av Alexander V. (Institute of High-Energy Physics Razumov - Häftad

A comprehensive introduction to group algebraic and geometric methods for study of nonlinear integrable systems of Toda type. Written in an accessible 'lecture note' style with many examples and exercises to illustrate key points and to reinforce understanding.

SEK 691.00

1

Spectral Theory of Linear Differential Operators and Comparison Algebras - Bok av Heinz Otto Cordes - Häftad

The main aim of this book is to introduce the reader to the concept of comparison algebra, defined as a type of C*-algebra of singular integral operators.

SEK 1177.00

1

Catalogue of the Type Fossils in the Woodwardian Museum, Cambridge - Bok av Henry Woods - Häftad

First published in 1891, this catalogue by Henry Woods (1868-1962) contains the specific names, classes and orders of 558 fossils in the Sedgwick Museum of Earth Sciences considered 'type specimens' for their species. It is a valuable record of the museum's most important holdings in the late nineteenth century.

SEK 406.00

1

Equilibrium Thermodynamics - Bok av C. J. Adkins - Häftad

SEK 731.00

1

C by Example - Bok av Noel Kalicharan - Häftad

C is one of the most popular programming languages. It is flexible, efficient, and highly portable, and can be used to write many different types of programs - from compilers and assemblers to spreadsheets and games. This book is based on ANSI C, the recently adopted standard for the C language.

SEK 901.00

1

Modular Representations of Finite Groups of Lie Type - Bok av James E. (Retired Professor Humphreys - Häftad

The first comprehensive treatment of the representation theory of finite groups of Lie type over a field of the defining prime characteristic. Ordinary and modular representations are explored in the context of Deligne-Lusztig characters. This treatment is accessible to researchers in neighbouring parts of group theory, number theory, and topology.

SEK 891.00

1

Representations of Finite Groups of Lie Type - Bok av Francois (Universite de Picardie Jules Verne Digne - Inbunden

The original edition of this book, written for beginning graduate students, was the first elementary treatment of representation theory of finite groups of Lie type in book form. This second edition features new material to reflect the continuous evolution of the subject, including chapters on Hecke algebras and Green functions.

SEK 1761.00

1

Advances in Historical Orthography, c. 1500-1800 - Bok - Häftad

SEK 416.00

1

Principles of Magnetostatics - Bok av Richard C. Fernow - Häftad

SEK 507.00

1

More C++ Gems - Bok - Häftad

More C++ Gems picks up where the first book left off, presenting tips, tricks, proven strategies, easy-to-follow techniques, and usable source code.

SEK 1151.00

1

Churchill, Chamberlain and Appeasement - Bok av G. C. Peden - Inbunden

SEK 489.00

1

Performance Marketing Agency

Gain the Advantage with KlikkMedia

Märke

Butik

Pris (EUR)