• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Computers - Distributed Systems - General

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 40 złBezpłatna dostawa dla zamówień powyżej 40 zł

Kategorie główne

• Nauka
 [3024499]
• Literatura piękna
 [1802625]

  więcej...
• Turystyka
 [51831]
• Informatyka
 [155501]
• Komiksy
 [36021]
• Encyklopedie
 [21868]
• Dziecięca
 [608303]
• Hobby
 [102470]
• AudioBooki
 [1725]
• Literatura faktu
 [190942]
• Muzyka CD
 [413]
• Słowniki
 [2916]
• Inne
 [434034]
• Kalendarze
 [547]
• Podręczniki
 [165743]
• Poradniki
 [418062]
• Religia
 [502012]
• Czasopisma
 [555]
• Sport
 [60428]
• Sztuka
 [241531]
• CD, DVD, Video
 [3419]
• Technologie
 [227102]
• Zdrowie
 [97362]
• Książkowe Klimaty
 [125]
• Zabawki
 [2526]
• Puzzle, gry
 [4084]
• Literatura w języku ukraińskim
 [272]
• Art. papiernicze i szkolne
 [8602]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Distributed Systems - General

ilość książek w kategorii: 784

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


Vector and Parallel Processing - Vecpar'96: Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portu Palma, Jose M. L. M. 9783540628286 Springer
Vector and Parallel Processing - Vecpar'96: Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portu

ISBN: 9783540628286 / Angielski / Miękka / 469 str.

ISBN: 9783540628286/Angielski/Miękka/469 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jose Palma; Jose M. L. M. Palma; Jack Dongarra
This book constitutes a carefully arranged selection of revised full papers chosen from the presentations given at the Second International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR'96, held in Porto, Portugal, in September 1996.
Besides 10 invited papers by internationally leading experts, 17 papers were accepted from the submitted conference papers for inclusion in this documentation following a second round of refereeing. A broad spectrum of topics and applications for which parallelism contributes to progress is covered, among them parallel linear...
This book constitutes a carefully arranged selection of revised full papers chosen from the presentations given at the Second International Conference...
cena: 203,13

Job Scheduling Strategies for Parallel Processing: Ipps '96 Workshop, Honolulu, Hawaii, April 16, 1996. Proceedings Feitelson, Dror G. 9783540618645 Springer
Job Scheduling Strategies for Parallel Processing: Ipps '96 Workshop, Honolulu, Hawaii, April 16, 1996. Proceedings

ISBN: 9783540618645 / Angielski / Miękka / 300 str.

ISBN: 9783540618645/Angielski/Miękka/300 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Feitelson; Dror G. Feitelson; Larry Rudolph
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Job Scheduling Strategies for Parallel Processing, held in conjunction with IPPS '96 symposium in Honolulu, Hawaii, in April 1996.
The book presents 15 thoroughly revised full papers accepted for inclusion on the basis of the reports of at least five program committee members. The volume is a highly competent contribution to advancing the state-of-the-art in the area of job scheduling for parallel supercomputers. Among the topics addressed are job scheduler, workload evolution, gang...
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Job Scheduling Strategies for Parallel Processi...
cena: 203,13

Applied Parallel Computing. Large Scale Scientific and Industrial Problems: 4th International Workshop, Para'98, Umea, Sweden, June 14-17, 1998, Proce Kagström, Bo 9783540654148 Springer
Applied Parallel Computing. Large Scale Scientific and Industrial Problems: 4th International Workshop, Para'98, Umea, Sweden, June 14-17, 1998, Proce

ISBN: 9783540654148 / Angielski / Miękka / 598 str.

ISBN: 9783540654148/Angielski/Miękka/598 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
B. Kagstrom; G. D. Knott; J. Dongarra
This book constitutes the carefully refereed proceedings of the 4th International Workshop on Applied Parallel Computing, PARA'98, held in Umea, Sweden, in June 1998.
The 75 revised papers presented were carefully reviewed and selected for inclusion in the book. The papers address a variety of topics in large scale scientific and industrial-strength computing, in particular high-performance computing and networking; tools, languages, and environments for parallel processing; scientific visualization and virtual reality; and future directions in high-performance computing and...
This book constitutes the carefully refereed proceedings of the 4th International Workshop on Applied Parallel Computing, PARA'98, held in Umea, Swede...
cena: 406,31

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 6th European Pvm/Mpi Users' Group Meeting, Barcelona, Spain, September 26-2 Dongarra, Jack 9783540665496 Springer
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 6th European Pvm/Mpi Users' Group Meeting, Barcelona, Spain, September 26-2

ISBN: 9783540665496 / Angielski / Miękka / 562 str.

ISBN: 9783540665496/Angielski/Miękka/562 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
M. J. Dongarra; E. Luque; T. Margalef
Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications. This volume comprises 67 revised contributions presented at the Sixth European PVM/MPI Users' Group Meeting, which was held in Barcelona, Spain, 26-29 September 1999. The conference was organized by the Computer Science Department of the Universitat Autonoma de Barcelona. This conference has been previously held in Liverpool, UK (1998) and Cracow, Poland...
Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing...
cena: 203,13

Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems Brezany, Peter 9783540628408 Springer
Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems

ISBN: 9783540628408 / Angielski / Miękka / 293 str.

ISBN: 9783540628408/Angielski/Miękka/293 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Peter Brezany
Massively parallel processing is possibly a promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programming environments and has stimulated the design and production of massively parallel supercomputers. The efficiency of concurrent computation and input/output essentially depends on the proper utilization of specific architectural features of the underlying hardware. This work focuses on development of runtime systems supporting execution of parallel code and on supercompilers automatically parallelizing code...
Massively parallel processing is possibly a promising answer to the quest for increased computer performance. This has resulted in the development of ...
cena: 203,13

Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, Lcr 2000 Rochester, Ny, Usa, May 25-27, 2000 Selected P Dwarkadas, Sandhya 9783540411857 Springer
Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, Lcr 2000 Rochester, Ny, Usa, May 25-27, 2000 Selected P

ISBN: 9783540411857 / Angielski / Miękka / 299 str.

ISBN: 9783540411857/Angielski/Miękka/299 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
S. Dwarkadas; Sandhya Dwarkadas
This volume constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computing, LCR 2000, held in Rochester, NY, USA in May 2000. The 22 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on data-intensive computing, static analysis, openMP support, synchronization, software DSM, heterogeneous/-meta-computing, issues of load, and compiler-supported parallelism.
This volume constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Languages, Compilers, and Run-Time System...
cena: 203,13

Applied Parallel Computing. New Paradigms for HPC in Industry and Academia: 5th International Workshop, Para 2000 Bergen, Norway, June 18-20, 2000 Pro Sorevik, Tor 9783540417293 Springer
Applied Parallel Computing. New Paradigms for HPC in Industry and Academia: 5th International Workshop, Para 2000 Bergen, Norway, June 18-20, 2000 Pro

ISBN: 9783540417293 / Angielski / Miękka / 408 str.

ISBN: 9783540417293/Angielski/Miękka/408 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Springer; T. Soerevik; Tor Sorevik
The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing. PARA 2000 was held in Bergen, Norway, June 18-21, 2000. The workshop was organized by Parallab and the Department of Informatics at the University of Bergen. The general theme for PARA 2000 was New paradigms for HPC in industry and academia focusing on: { High-performance computing applications in academia and industry, { The use of Java in high-performance computing, { Grid and Meta computing, { Directions in high-performance computing and networking, { Education in...
The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing. PARA 2000 was held in Bergen, N...
cena: 203,13

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 8th European Pvm/Mpi Users' Group Meeting, Santorini/Thera, Greece, Septemb Cotronis, Yiannis 9783540426097 Springer
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 8th European Pvm/Mpi Users' Group Meeting, Santorini/Thera, Greece, Septemb

ISBN: 9783540426097 / Angielski / Miękka / 444 str.

ISBN: 9783540426097/Angielski/Miękka/444 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Y. Cotronis; J. Dongarra; Jack Dongarra
Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel appli- tions. This volume comprises 50 revised contributions presented at the Eighth - ropean PVM/MPI Users' Group Meeting, which was held on Santorini (Thera), Greece,23-26September2001.TheconferencewasorganizedbytheDepartment of Informatics and Telecommunications, University of Athens, Greece. This conference has been previously held in Balatofured, ] Hungary (2000),...
Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing...
cena: 203,13

Concurrency and Hardware Design: Advances in Petri Nets Cortadella, Jordi 9783540001997 Springer
Concurrency and Hardware Design: Advances in Petri Nets

ISBN: 9783540001997 / Angielski / Miękka / 346 str.

ISBN: 9783540001997/Angielski/Miękka/346 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
J. Cortadella; A. Yakovlev; Jordi Cortadella
As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon real estate rocket to billions of dollars that have to be spent on design, veri?cation,...
As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - ...
cena: 203,13

Parallel Computing Technologies: 4th International Conference, Pact-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings Malyshkin, Victor 9783540633716 Springer
Parallel Computing Technologies: 4th International Conference, Pact-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings

ISBN: 9783540633716 / Angielski / Miękka / 461 str.

ISBN: 9783540633716/Angielski/Miękka/461 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Victor Malyshkin; V. E. Malyshkin
This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in September 1997.
The volume presents a total of 54 contributions: 21 full papers, 20 short papers, 10 posters, and three tutorials. All papers were selected for inclusion in the proceedings from numerous submissions on the basis of three independent reviews. The volume covers all current topics in parallel processing; it is divided into sections on theory, software, hardware and architecture, applications, posters, and tutorials.
This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, ...
cena: 203,13

Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures Roever, Willem-Paul de 9783540654933 Springer
Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

ISBN: 9783540654933 / Angielski / Miękka / 647 str.

ISBN: 9783540654933/Angielski/Miękka/647 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Hans Langmaack; W. P. De Roever; A. Pnueli
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters ...
cena: 406,31

Advanced Parallel Processing Technologies: 5th International Workshop, Appt 2003, Xiamen, China, September 17-19, 2003, Proceedings Zhou, Xingming 9783540200543 Springer
Advanced Parallel Processing Technologies: 5th International Workshop, Appt 2003, Xiamen, China, September 17-19, 2003, Proceedings

ISBN: 9783540200543 / Angielski / Miękka / 678 str.

ISBN: 9783540200543/Angielski/Miękka/678 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Xingming Zhou; Stefan Jhnichen; Ming Xu
This book constitutes the refereed proceedings of the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003, held in Xiamen, China in September 2003.The 57 revised full papers and 21 revised short papers presented were carefully reviewed and selected from 191 full paper submissions. All current aspects in parallel and distributed computing are addressed ranging from hardware and software issues to algorithmic aspects and advanced applications. The papers are organized in topical sections on architecture, software and theory, grid and network, and applied...
This book constitutes the refereed proceedings of the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003, held in Xiam...
cena: 406,31

Concur 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings Brim, Lubos 9783540440437 Springer
Concur 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings

ISBN: 9783540440437 / Angielski / Miękka / 609 str.

ISBN: 9783540440437/Angielski/Miękka/609 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
L. Brim; P. Jancar; Niklaus Brantschen
These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002. The 32 revised full papers presented together with abstracts of seven invited contributions were reviewed and selected from 101 submissions. The papers are organized in topical sections on verification and model checking, logic, mobility, probabilistic systems, models of computation and process algebra, security, Petri nets, and bisimulation.
These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 200...
cena: 406,31

Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings Sangiorgi, Davide 9783540648963 Springer
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings

ISBN: 9783540648963 / Angielski / Miękka / 663 str.

ISBN: 9783540648963/Angielski/Miękka/663 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
D. Sangiorgi; R. De Simone; Davide Sangiorgi
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in Septembe...
cena: 406,31

Vector and Parallel Processing - Vecpar 2000: 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks Palma, Jose M. L. M. 9783540419990 Springer
Vector and Parallel Processing - Vecpar 2000: 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks

ISBN: 9783540419990 / Angielski / Miękka / 584 str.

ISBN: 9783540419990/Angielski/Miękka/584 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jose M. L. M. Palma; J. M. Palma; Jose M. L. M. Palma
This book is the ?nal outcome of VECPAR 2000 - 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 1993, with the main objective of disseminating new knowledge on parallel computing. Readership of This Book The book is aimed at an audience of researchers and graduate students in a broad range of scienti?c areas, including not only computer science, but also applied mathematics and numerical analysis, physics, and engineering. Book Plan From a total of...
This book is the ?nal outcome of VECPAR 2000 - 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences...
cena: 203,13

Job Scheduling Strategies for Parallel Processing: 11th International Workshop, Jsspp 2005, Cambridge, Ma, Usa, June 19, 2005, Revised Selected Papers Feitelson, Dror 9783540310242 Springer
Job Scheduling Strategies for Parallel Processing: 11th International Workshop, Jsspp 2005, Cambridge, Ma, Usa, June 19, 2005, Revised Selected Papers

ISBN: 9783540310242 / Angielski / Miękka / 283 str.

ISBN: 9783540310242/Angielski/Miękka/283 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
D. Feitelson; Dror Feitelson; Eitan Frachtenberg
Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, 2005, held in conjunction with the 19th ACM International Conference on Supercomputing. This book covers a range of parallel architectures, from distributed grids, through clusters, to massively-parallel supercomputers.
Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, 2005, held in conjun...
cena: 203,13

Job Scheduling Strategies for Parallel Processing: Ipdps 2000 Workshop, Jsspp 2000, Cancun, Mexico, May 1, 2000 Proceedings Feitelson, Dror G. 9783540411208 Springer
Job Scheduling Strategies for Parallel Processing: Ipdps 2000 Workshop, Jsspp 2000, Cancun, Mexico, May 1, 2000 Proceedings

ISBN: 9783540411208 / Angielski / Miękka / 212 str.

ISBN: 9783540411208/Angielski/Miękka/212 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
D. G. Feitelson; L. Rudolph; Dror G. Feitelson
This volume contains the papers presented at the sixth workshop on Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with the IPDPS 2000 Conference in Cancun, Mexico, on 1 May 2000. The papers have been through a complete refereeing process, with the full version being read and evaluated by ?ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Andrea Arpaci-Dusseau, Fran Berman, Steve Chapin, Allen Downey, Allan Gottlieb, Atsushi Hori, Phil Krueger, Richard Lagerstrom, Virginia Lo, Reagan Moore,...
This volume contains the papers presented at the sixth workshop on Job Sched- ing Strategies for Parallel Processing, which was held in conjunction wi...
cena: 203,13

Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, Para 2002, Espoo, Finland, June 15-18, 2002. Proceedings Fagerholm, Juha 9783540437864 Springer
Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, Para 2002, Espoo, Finland, June 15-18, 2002. Proceedings

ISBN: 9783540437864 / Angielski / Miękka / 614 str.

ISBN: 9783540437864/Angielski/Miękka/614 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Juha Fagerholm; Juha Haataja; Jari Jarvinen
This volume constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland, in June 2002. The 50 revised full papers presented together with nine keynote lectures were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on data mining and knowledge discovery, parallel program development, practical experience in parallel computing, computer science, numerical algorithms with hierarchical memory optimization, numerical methods and algorithms, cluster computing,...
This volume constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland,...
cena: 545,69

NUMERICAL LINEAR ALGEBRA ON HIGH-PERFORMANCE COMPUTERS J. J. Dongarra Iain S. Duff 9780898714289 SOCIETY FOR INDUSTRIAL & APPLIED MATHEMATICS,
NUMERICAL LINEAR ALGEBRA ON HIGH-PERFORMANCE COMPUTERS

ISBN: 9780898714289 / Angielski

ISBN: 9780898714289/Angielski

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
J. J. Dongarra; Iain S. Duff
This book presents a unified treatment of recently developed techniques and current understanding about solving systems of linear equations and large scale eigenvalue problems on high-performance computers. It provides a rapid introduction to the world of vector and parallel processing for these linear algebra applications. Topics include major elements of advanced-architecture computers and their performance, recent algorithmic development, and software for direct solution of dense matrix problems, direct solution of sparse systems of equations, iterative solution of sparse systems of...
This book presents a unified treatment of recently developed techniques and current understanding about solving systems of linear equations and large ...
cena: 343,73

Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship Olderog, E. -R 9780521400442 CAMBRIDGE UNIVERSITY PRESS
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship

ISBN: 9780521400442 / Angielski / Twarda / 278 str.

ISBN: 9780521400442/Angielski/Twarda/278 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
E-. R. Olderog
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the...
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des...
cena: 521,89

Pierwsza Podprzednia  4  5  6  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia