![]() |
Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, Uk, June 22-26, 1992. Proceedings
ISBN: 9783540556763 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from universities and research institutions. The 1992 conference was organized by the School of Computing and Management Sciences at Sheffield City Polytechnic, England. The volume contains twoinvited papers,...
This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June ...
|
cena:
201,24 |
![]() |
Machine Learning: From Theory to Applications: Cooperative Research at Siemens and Mit
ISBN: 9783540564836 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume includes some of the key research papers in the area of machine learning produced at MIT and Siemens during a three-year joint research effort. It includes papers on many different styles of machine learning, organized into three parts. Part 1 includes three papers on theoretical aspects of machine learning. The first two use the theory of computational complexity to derive some fundamental limits on what is efficiently learnable. The third provides an efficient algorithm for identifying finite automata.
This volume includes some of the key research papers in the area of machine learning produced at MIT and Siemens during a three-year joint research ef...
|
cena:
201,24 |
![]() |
Hybrid Systems
ISBN: 9783540573180 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components - digital computers, sensors, and actuators controlled by programs. This volume of...
Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturi...
|
cena:
201,24 |
![]() |
Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
ISBN: 9783540581529 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets. This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 199...
|
cena:
201,24 |
![]() |
Multiprocessing
ISBN: 9780792393702 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irregular computations for multiprocessor systems. This book includes techniques which enable researchers and application developers to quantitatively determine the effects of algorithm data dependencies on execution time, on communication requirements, on processor utilization and on the speedups possible.
Starting with simple, two-dimensional, diamond-shaped directed acyclic graphs, the analysis is extended to more complex and higher dimensional... Multiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irregular...
|
cena:
402,53 |
![]() |
Advances in Petri Nets 1991
ISBN: 9783540543985 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 11th International Conference on Applications and Theory of Petri Nets held in Paris in 1991. It contains the Bibliography of Petri Nets 1990, with over 4000 entries.
This volume presents the proceedings of the 11th International Conference on Applications and Theory of Petri Nets held in Paris in 1991. It contains ...
|
cena:
402,53 |
![]() |
Artificial Neural Networks: International Workshop Iwann '91, Granada, Spain, September 17-19, 1991. Proceedings
ISBN: 9783540545378 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An examination of advances in the field of artificial neural networks, which are parallel networks designed to function as biological nervous systems. The contributors cover biological perspectives, architectures, software development, hardware implementations and applications.
An examination of advances in the field of artificial neural networks, which are parallel networks designed to function as biological nervous systems....
|
cena:
201,24 |
![]() |
Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee
ISBN: 9783540567783 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace...
These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, Fr...
|
cena:
201,24 |
![]() |
Parallel Problem Solving from Nature - Ppsn III: International Conference on Evolutionary Computation. the Third Conference on Parallel Problem Solvin
ISBN: 9783540584841 / Angielski / Miękka / 647 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume comprises the 61 revised refereed papers accepted for presentation at the ICEC/PPSN III conferences held jointly in Jerusalem, Israel in October 1994.
With the appearance of more and more powerful computers, there is increased interest in algorithms relying upon analogies to natural processes. This book presents a wealth of new theoretical and experimental results on artificial problem solving by applying evolutionary computation metaphors, including evolution strategies, evolutionary programming, genetic algorithms, genetic programming, and classifier systems. Topics such as... This volume comprises the 61 revised refereed papers accepted for presentation at the ICEC/PPSN III conferences held jointly in Jerusalem, Israel in O...
|
cena:
402,53 |
![]() |
Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings
ISBN: 9783540591726 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994.
Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for inclusion in this volume. TPPP '94 focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programs, semantics of languages,... This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Jap...
|
cena:
201,24 |
![]() |
Adaptive Processing of Sequences and Data Structures: International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures
ISBN: 9783540643418 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is devoted to adaptive processing of structured information similar to flexible and intelligent information processing by humans - in contrast to merely sequential processing of predominantly symbolic information within a deterministic framework. Adaptive information processing allows for a mixture of sequential and parallel processing of symbolic as well as subsymbolic information within deterministic and probabilistic frameworks.
The book originates from a summer school held in September 1997 and thus is ideally suited for advanced courses on adaptive information processing and... This book is devoted to adaptive processing of structured information similar to flexible and intelligent information processing by humans - in contra...
|
cena:
201,24 |
![]() |
Hybrid Systems: Computation and Control: First International Workshop, Hscc'98, Berkeley, California, Usa, April 13 - 15, 1998, Proceedings
ISBN: 9783540643586 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of... This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, Calif...
|
cena:
201,24 |
![]() |
Workload Characterization of Emerging Computer Applications
ISBN: 9780792373155 / Angielski / Twarda / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analytical characterization of workloads is important to understand and exploit the interesting features of workloads. This book includes ten chapters on various aspects of workload characterizati on. File caching characteristics of the industry-standard web-serving benchmark SPECweb99 are presented by Keller et al. in Chapter 1, while value locality of...
The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization...
|
cena:
805,10 |
![]() |
Parallel Symbolic Languages and Systems: International Workshop, Psls '95, Beaune, France, October (2-4), 1995. Proceedings
ISBN: 9783540611431 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the International Workshop on Parallel Symbolic Languages and Systems, PSLS '95, held in Beaune, France, in October 1995.
The 21 full papers included in the book were carefully selected for presentation at the meeting and thoroughly revised afterwards. Parallel symbolic computing has gained in importance for high-performance computing; in recent years, many applications have been implemented using C, C++, and their parallel extensions. This volume is organized in sections on evaluation strategies, programming tools, irregular data structures... This book presents the refereed proceedings of the International Workshop on Parallel Symbolic Languages and Systems, PSLS '95, held in Beaune, France...
|
cena:
201,24 |
![]() |
High Performance Computing - HiPC'99: 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings
ISBN: 9783540669074 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India. The meeting serves as a forum for presenting current work by researchers from around the world as well as highlighting activities in Asia in the high performance computing area. The meeting emphasizes both the design and the analysis of high performance computing systems and their scientific, engineering, and commercial applications. Topics covered in the meeting series include: Parallel Algorithms Scientific Computation Parallel Architectures...
These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India. The me...
|
cena:
201,24 |
![]() |
Functional Programming Languages and Computer Architecture: Portland, Oregon, Usa, September 14-16, 1987. Proceedings
ISBN: 9783540183174 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987.
Contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-...
|
cena:
189,17 |
![]() |
Automata, Languages and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
ISBN: 9783540513711 / Angielski / Miękka / 790 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages,...
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, ...
|
cena:
402,53 |
![]() |
Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
ISBN: 9783540600299 / Angielski / Miękka / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one... This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995...
|
cena:
201,24 |
![]() |
Computer Vision: Specialized Processors for Real-Time Image Analysis: Workshop Proceedings Barcelona, Spain, September 1991
ISBN: 9783540570165 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dynamic scene analysis is essential for future robotic systems. This ESPRIT volume reports on research on dedicated architectures for managing real-time vision tasks. The papers reflect fundamental research as well as diverse practical applications.
Dynamic scene analysis is essential for future robotic systems. This ESPRIT volume reports on research on dedicated architectures for managing real-ti...
|
cena:
402,53 |
![]() |
Fundamentals of Computation Theory: International Conference Fct '89, Szeged, Hungary, August 21-25, 1989. Proceedings
ISBN: 9783540514985 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; - Logics and Meanings of Programs: Algebraic and Categorical...
This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The c...
|
cena:
201,24 |