Higher Order Operational Techniques in Semantics
ISBN: 9780521631686 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Most object-oriented or functional languages are higher order languages, ones in which the means of manipulation can itself be manipulated. This important reference contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments recounted in the book is that...
Most object-oriented or functional languages are higher order languages, ones in which the means of manipulation can itself be manipulated. This impor...
|
|
cena:
453,32 zł |
A Concise Introduction to Languages and Machines
ISBN: 9781848001206 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical, and features: - Clear explanations of formal notation and jargon, - Extensive use of examples to illustrate algorithms and proofs, - Pictorial representations of key concepts, - Chapter opening overviews providing an... A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal lan... |
|
cena:
116,54 zł |
Theory and Applications of Models of Computation: 5th International Conference, Tamc 2008, Xi'an, China, April 25-29, 2008, Proceedings
ISBN: 9783540792277 / Angielski / Miękka / 598 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi'an, China in April 2008. The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference... This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, ... |
|
cena:
389,09 zł |
Computer Science - Theory and Applications: Third International Computer Science Symposium in Russia, Csr 2008, Moscow, Russia, June 7-12, 2008, Proce
ISBN: 9783540797081 / Angielski / Miękka / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Third International Computer Science Symposium in Russia (CSR-2008) was held during June 7-12, 2008 in Moscow, Russia, hosted by Dorodnicyn Computing Centre of Russian Academy of Sciences, Institute for System P- gramming of Russian Academy of Sciences, Moscow State University, Moscow Institute of Open Education, andInstitute ofNew Technologies.It was the third event in the series of regular international meetings following CSR-2006 in St. Petersburg and CSR-2007 in Ekaterinburg. The symposiumwascomposedof twotracks: Theory andApplications/Te- nology.The opening lecture was given by Avi...
The Third International Computer Science Symposium in Russia (CSR-2008) was held during June 7-12, 2008 in Moscow, Russia, hosted by Dorodnicyn Comput...
|
|
cena:
194,52 zł |
Computational Structural Dynamics: Proceedings of the International Workshop, Iziis, Skopje, Macedonia, 22-24 February 2001
ISBN: 9789058093684 / Angielski / Twarda / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume deal with the demonstration of the possibilities offered by computational technology as to finding better solutions to problems in different fields of structural dynamics, with a special emphasis on earthquake structural dynamics.
The papers in this volume deal with the demonstration of the possibilities offered by computational technology as to finding better solutions to probl...
|
|
cena:
730,42 zł |
Highlights Aus Der Informatik
ISBN: 9783540601876 / Niemiecki / Twarda / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die durch ihre Forschung und didaktischen Fahigkeiten ausgewiesen sind, Glanzlichter aus der neueren Informatikforschung aufbereiteten und sie so Studenten und interessierten Laien zuganglich gemacht haben. Dabei wird das ganze Spektrum von tiefliegenden theoretischen Ergebnissen uber anwendungsorientierte Entwicklungen bis zur uberraschenden Losung altbekannter kombinatorischer Probleme behandelt. Die Autoren zeigen kenntnisreich und bisweilen...
Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die dur...
|
|
cena:
199,97 zł |
Languages and Compilers for Parallel Computing: 12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings
ISBN: 9783540678588 / Angielski / Miękka / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD). The workshop is an annual international forum for leading research groups to present their current research activities and the latest results. It has also been a place for researchers and practitioners to - teract closely and exchange ideas about future directions. Among the topics of interest to the workshop are language features, code...
In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group fro...
|
|
cena:
194,52 zł |
Developments in Language Theory: 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
ISBN: 9783540404347 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003. The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems;...
This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in S... |
|
cena:
194,52 zł |
Automated Modeling of Physical Systems
ISBN: 9783540606413 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions.
This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical sides are presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for... This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submis...
|
|
cena:
194,52 zł |
Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings
ISBN: 9783540610649 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linkoping, Sweden, in April 1996.
The 21 full revised papers presented were selected from 44 submissions; also included are invited papers by Samson Abramsky and Frank Pfenning. In keeping with the tradition of the CAAP conferences, this volume covers algebraic, logical, and combinatorial properties of discrete structures and their application to computer science, in particular to the theory of computation and to programming theory. This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linkoping, ...
|
|
cena:
194,52 zł |
Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings
ISBN: 9783540501107 / Angielski / Miękka / 563 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute...
This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS ...
|
|
cena:
389,09 zł |
Algorithms and Data Structures: Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings
ISBN: 9783540515425 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the papers presented at the 1989 Workshop on Algorithms and Data Structures, which succeeds the 1988 Scandinavian Workshop on Algorithm Theory. It presents current research in various areas of algorithms, computational geometry, geometric searching, VLSI placement and routing, graph algorithms, parallel algorithms, distributed algorithms, databases, and text searching.
This book contains the papers presented at the 1989 Workshop on Algorithms and Data Structures, which succeeds the 1988 Scandinavian Workshop on Algor...
|
|
cena:
194,52 zł |
Data Mining: Theory, Methodology, Techniques, and Applications
ISBN: 9783540325475 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical developments and industrial applications. The collection of chapters is based on works presented at the Australasian Data Mining conferences and industrial forums. Authors include some of Australia's leading researchers and practitioners in data mining. The volume also contains chapters by regional and international authors. This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical developments and industria... |
|
cena:
194,52 zł |
Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
ISBN: 9783540358428 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, organization theory, and law. Papers for these...
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Ne...
|
|
cena:
291,81 zł |
Fuzzy Logic and Applications: 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
ISBN: 9783540310198 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing. The papers are organized in topical section on fuzzy sets and systems, fuzzy control, neuro-fuzzy systems,... This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in... |
|
cena:
194,52 zł |
The Classical Decision Problem
ISBN: 9783540423249 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these disci- plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert's Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ- ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic...
This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these d...
|
|
cena:
700,39 zł |
Anticipatory Behavior in Adaptive Learning Systems: From Psychological Theories to Artificial Cognitive Systems
ISBN: 9783642025648 / Angielski / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Anticipatory behavior in adaptive learning systems continues attracting attention of researchers in many areas, including cognitive systems, neuroscience, psychology, and machine learning. This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Anticipatory Behavior in Adaptive Learning Systems, ABiALS 2008, held in Munich, Germany, in June 2008, in collaboration with the six-monthly Meeting of euCognition 'The Role of Anticipation in Cognition'. The 18 revised full papers presented were carefully selected during two rounds of reviewing... Anticipatory behavior in adaptive learning systems continues attracting attention of researchers in many areas, including cognitive systems, neuros... |
|
cena:
389,09 zł |
Multiagent System Technologies: 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings
ISBN: 9783642041426 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The seventh German Conference on Multi-Agent System Technologies (MATES 2009) took place in Hamburg, Germany, during September 9-11, 2009, and was colocated with the tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). MATES 2009 wasorganizedby the German"Gesellschaft fur Informatik" (GI) Special Interest Groups on "Distributed Arti?cial Intelligence" and "Communication and D- tributed Systems" in cooperation with the Steering Committee of MATES. One main aim of...
The seventh German Conference on Multi-Agent System Technologies (MATES 2009) took place in Hamburg, Germany, during September 9-11, 2009, and was col...
|
|
cena:
194,52 zł |
Fundamentals of Computation Theory: 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings
ISBN: 9783540424871 / Angielski / Miękka / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 13th International Symposium Fundamentals of Computation Theory, FCT 2001, as well as of the International Workshop on Efficient Algorithms, WEA 2001, held in Riga, Latvia, in August 2001. The 28 revised full FCT papers and 15 short papers presented together with six invited contributions and 8 revised full WEA papers as well as three invited WEA contributions have been carefully reviewed and selected. Among the topics addressed are a broad variety of topics from theoretical computer science, algorithmics and programming theory. The WEA...
This volume constitutes the refereed proceedings of the 13th International Symposium Fundamentals of Computation Theory, FCT 2001, as well as of the I...
|
|
cena:
194,52 zł |
Sparse Modeling: Theory, Algorithms, and Applications
ISBN: 9781439828694 / Angielski / Twarda / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sparse models are particularly useful in scientific applications, such as biomarker discovery in genetic or neuroimaging data, where the interpretability of a predictive model is essential. Sparsity can also dramatically improve the cost efficiency of signal processing. Sparse Modeling: Theory, Algorithms, and Applications provides an introduction to the growing field of sparse modeling, including application examples, problem formulations that yield sparse solutions, algorithms for finding such solutions, and recent theoretical results on sparse recovery. The book gets you up to speed... Sparse models are particularly useful in scientific applications, such as biomarker discovery in genetic or neuroimaging data, where the interpreta... |
|
cena:
377,75 zł |