» książki » Computers - Machine Theory
 |
Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
ISBN: 9783540403340 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems... The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherl... |
cena:
201,24 |
 |
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:
423,85 |
 |
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:
120,57 |
 |
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:
402,53 |
 |
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:
201,24 |
 |
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:
783,64 |
 |
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:
206,88 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
402,53 |
 |
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:
201,24 |
 |
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:
301,89 |
 |
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:
724,58 |
 |
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:
201,24 |
 |
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:
386,87 |
 |
Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings
ISBN: 9783642048197 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers presented at the 6th International Conference on ModelingDecisionsforArti?cialIntelligence(MDAI2009), heldinAwajiIsland, Japan, November 30 - December 2, 2009. This conference followed MDAI 2004 (Barcelona, Catalonia), MDAI 2005 (Tsukuba, Japan), MDAI 2006 (Tarragona, Catalonia), MDAI 2007 (Kitakyushu, Japan), and MDAI 2008 (Sabadell, C- alonia) with proceedings also published in the LNAI series (Vols. 3131, 3558, 3885, 4617, and 5285). The aim of this conference was to provide a forum for researchers to d- cuss the theory and tools for modeling decisions, as well...
This volume contains papers presented at the 6th International Conference on ModelingDecisionsforArti?cialIntelligence(MDAI2009), heldinAwajiIsland, J...
|
cena:
201,24 |
 |
System Modeling and Optimization: 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers
ISBN: 9783642048012 / Angielski / Twarda / 507 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, which was held in C- cow, Poland, on July 23-27, 2007. It contains 7 plenary and 22 contributed articles, the latter selected via a peer reviewing process. Most of the papers are concerned with optimization and optimal control. Some of them deal with practical issues, e. g., p- formance-based design for seismic risk reduction, or evolutionary optimization in structural engineering. Many contributions concern optimization of infini- dimensional...
rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, whic...
|
cena:
805,10 |
 |
Transactions on Rough Sets XI
ISBN: 9783642114786 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and applications. This volume provides further evidence of the number of research streams that were either directly or indirectly initiated by the seminal work on rough 1 sets by Zdzis law Pawlak (1926-2006) . Evidence of the growth of various rough 2 set-based research streams can be found in the rough set database . Thisvolumecontainsarticlesintroducingadvancesinthefoundationsand- plicationsofroughsets.These advancesinclude:...
Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and...
|
cena:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
