CAAP'86
Author: Paul Franchi-Zannettacci
Publisher: Springer Science & Business Media
Published: 1986-03
Total Pages: 316
ISBN-13: 9783540164432
DOWNLOAD EBOOKPosts
Lie Groups and Lie Algebras I
Author: V.V. Gorbatsevich
Publisher: Springer Science & Business Media
Published: 1996-12-18
Total Pages: 552
ISBN-13: 9783540612223
DOWNLOAD EBOOKFrom the reviews: "..., the book must be of great help for a researcher who already has some idea of Lie theory, wants to employ it in his everyday research and/or teaching, and needs a source for customary reference on the subject. From my viewpoint, the volume is perfectly fit to serve as such a source, ... On the whole, it is quite a pleasure, after making yourself comfortable in that favourite office armchair of yours, just to keep the volume gently in your hands and browse it slowly and thoughtfully; and after all, what more on Earth can one expect of any book?" --The New Zealand Mathematical Society Newsletter
Mathematical Aspects of Natural and Formal Languages
Author: Gheorghe P?un
Publisher: World Scientific
Published: 1994
Total Pages: 506
ISBN-13: 9789810219147
DOWNLOAD EBOOKThis book contains original reviews by well-known workers in the field of mathematical linguistics and formal language theory, written in honour of Professor Solomon Marcus on the occasion of his 70th birthday.Some of the papers deal with contextual grammars, a class of generative devices introduced by Marcus, motivated by descriptive linguistics. Others are devoted to grammar systems, a very modern branch of formal language theory. Automata theory and the algebraic approach to computer science are other well-represented areas. While the contributions are mathematically oriented, practical issues such as cryptography, grammatical inference and natural language processing are also discussed.
Current Trends in Concurrency
Author: Jacobus W. De Bakker
Publisher: Springer Science & Business Media
Published: 1986-06
Total Pages: 736
ISBN-13: 9783540164883
DOWNLOAD EBOOKSTACS 2006
Author: Bruno Durand
Publisher: Springer
Published: 2006-03-01
Total Pages: 730
ISBN-13: 3540322884
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.
Computer Science
Author: Ricardo Baeza-Yates
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 463
ISBN-13: 1461534224
DOWNLOAD EBOOKIntroduction. Historical Overview. Databases: Office Information Systems Engineering (J. Palazzo, D. Alcoba) Artificial Intelligence, Logic, and Functional Programming: A HyperIcon Interface to a Blackboard System for Planning Research Projects (P. Charlton, C. Burdorf). Algorithms and Data Structures: Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields (A. Averbuch et al.). Object Oriented Systems: A Graphical Interactive Object Oriented Development System (M. Adar et al.). Distributed Systems: Preserving Distributed Data Coherence Us.
New Structures for Physics
Author: Bob Coecke
Publisher: Springer
Published: 2011-01-15
Total Pages: 1034
ISBN-13: 3642128211
DOWNLOAD EBOOKThis volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity. These include the theory of monoidal categories and corresponding graphical calculi, Girard’s linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures. Most of these structures are very prominent in computer science; the chapters here are tailored towards an audience of physicists.
Flow Control of Congested Networks
Author: Amedeo R. Odoni
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 363
ISBN-13: 364286726X
DOWNLOAD EBOOKThis volume is a compendium of papers presented during the NATO Workshop which took place in Capri, Italy, October 12-18, 1986 on the general subject of "Flow Control of Congested Networks: The Case of Data Processing and Transportation", and of which we acted as co-chairmen. The focus of the workshop was on flow control methodologies, as applied to preventing or reducing congestion on: (1) data communication networks; (2) urban transportation networks; and (3) air traffic control systems. The goals of the workshop included: review of the state-of-the-art of flow control methodologies, in general, and in each of the three application areas; identification of similarities and differences in the objective functions, modeling approaches and mathematics used in the three areas; examination of opportunities for "technology transfers" and for future interactions among researchers in the three areaso These goals were pursued through individual presentations of papers on current research by workshop participants and, in the cases of the second and third goals, through a number of open-ended discussion and-review sessions which were interspersed throughout the workshop's programmeD The full texts or extended summaries of all but a few of the papers given at the workshop are included in this volume.
A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences
Author: K. Glazek
Publisher: Springer Science & Business Media
Published: 2013-06-29
Total Pages: 394
ISBN-13: 9401599645
DOWNLOAD EBOOKThis volume presents a short guide to the extensive literature concerning semir ings along with a complete bibliography. The literature has been created over many years, in variety of languages, by authors representing different schools of mathematics and working in various related fields. In many instances the terminology used is not universal, which further compounds the difficulty of locating pertinent sources even in this age of the Internet and electronic dis semination of research results. So far there has been no single reference that could guide the interested scholar or student to the relevant publications. This book is an attempt to fill this gap. My interest in the theory of semirings began in the early sixties, when to gether with Bogdan W ~glorz I tried to investigate some algebraic aspects of compactifications of topological spaces, semirings of semicontinuous functions, and the general ideal theory for special semirings. (Unfortunately, local alge braists in Poland told me at that time that there was nothing interesting in investigating semiring theory because ring theory was still being developed). However, some time later we became aware of some similar investigations hav ing already been done. The theory of semirings has remained "my first love" ever since, and I have been interested in the results in this field that have been appearing in literature (even though I have not been active in this area myself).
Temporal Logic in Specification
Author: Behnam Banieqbal
Publisher: Springer Science & Business Media
Published: 1989-10-11
Total Pages: 458
ISBN-13: 9783540518037
DOWNLOAD EBOOKSelf-concept and coping behaviour are important aspects of development in adolescence. Despite their developmental significance, however, the two areas have rarely been considered in relation to each other. This book is the first in which the two areas are brought together; it suggests that this interaction can open the way to new possibilities for further research and to new implications for applied work with adolescents. Two separate chapters review research carried out in each of the areas. These are followed by a series of more empirically focussed chapters in which issues such as changes in relationship patterns, difficult school situations, leaving school, use of leisure, anxiety and suicidal behaviour are examined in the context of self-concept and coping. The final chapter seeks to identify some of the central themes emerging from this work and discusses possible research and applied implications.
