![]() |
Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proc
ISBN: 9783540346999 / Angielski / Miękka / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed. This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Co... |
cena:
201,24 |
![]() |
Parallel Problem Solving from Nature - Ppsn IX: 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings
ISBN: 9783540389903 / Angielski / Miękka / 1088 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are very pleased to present this LNCS volume, the proceedings of the 9th International Conference on Parallel Problem Solving from Nature (PPSN IX). PPSNisoneofthemostrespectedandhighlyregardedconferenceseriesinevo- tionary computation and natural computing / computation. This biennial event was ?rst held in Dortmund in 1990, and then in Brussels (1992), Jerusalem (1994), Berlin (1996), Amsterdam (1998), Paris (2000), Granada (2002), and Birmingham(2004).PPSNcontinuestobetheconferenceofchoicebyresearchers all over the world, who value its high quality. We received 255 paper submissions...
We are very pleased to present this LNCS volume, the proceedings of the 9th International Conference on Parallel Problem Solving from Nature (PPSN IX)...
|
cena:
402,53 |
![]() |
RISC-Workstation-Architekturen: Prozessoren, Systeme und Produkte
ISBN: 9783540540502 / Niemiecki / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
427,04 |
![]() |
Reliability and Safety Assessment of Dynamic Process Systems
ISBN: 9783540571483 / Angielski / Twarda / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Explores both conventional approaches and dynamic new methodologies which are used in the safety analysis of dynamic processing systems. The need for improved methods is stressed, and special emphasis is placed on the human factor - the need for widespread procedures and training.
Explores both conventional approaches and dynamic new methodologies which are used in the safety analysis of dynamic processing systems. The need for ...
|
cena:
805,10 |
![]() |
Processor Architecture: From Dataflow to Superscalar and Beyond
ISBN: 9783540647980 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Today's microprocessors are the powerful descendants of the von Neumann 1 computer dating back to a memo of Burks, Goldstine, and von Neumann of 1946. The so-called von Neumann architecture is characterized by a se quential control flow resulting in a sequential instruction stream. A program counter addresses the next instruction if the preceding instruction is not a control instruction such as, e. g., jump, branch, subprogram call or return. An instruction is coded in an instruction format of fixed or variable length, where the opcode is followed by one or more operands that can be data,...
Today's microprocessors are the powerful descendants of the von Neumann 1 computer dating back to a memo of Burks, Goldstine, and von Neumann of 1946....
|
cena:
362,27 |
![]() |
Architecture Design and Validation Methods
ISBN: 9783540649762 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advanced research ideas and approaches, and written by eminent researchers in the field, seven chapters cover the whole range from computer aided high-level design of VLSI circuits and systems to layout and testable design, including modeling and synthesis of behavior, of control, and of dataflow, cell based logic optimization, machine assisted verification, and virtual machine design. The chapters presuppose only basic familiarity with computer...
This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advan...
|
cena:
201,24 |
![]() |
Computer Architecture: Complexity and Correctness
ISBN: 9783540674818 / Angielski / Twarda / 553 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other design approaches applied in practice and unlike other textbooks available, the design presented here are modular, clean and complete up to the construction of entire complex machines. The authors' systematically basing their approach on rigorous mathematical formalisms allows for rigorous correctness...
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, ...
|
cena:
201,24 |
![]() |
Embedded Software and Systems: Third International Conference, ICESS 2007 Daegu, Korea, May 14-16, 2007 Proceedings
ISBN: 9783540726845 / Angielski / Miękka / 856 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Korea, May 2007. The 75 revised full papers cover embedded architecture, embedded hardware, embedded software, HW-SW co-design and SoC, multimedia and HCI, pervasive/ubiquitous computing and sensor network, power-aware computing, real-time systems, security and dependability, and wireless communication. This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, K... |
cena:
402,53 |
![]() |
Petri Nets and Other Models of Concurrency-ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Con
ISBN: 9783540730934 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets. This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Co... |
cena:
201,24 |
![]() |
Autonome Mobile Systeme 2007: 20. Fachgespräch Kaiserslautern, 18./19. Oktober 2007
ISBN: 9783540747635 / Niemiecki / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das 20. Fachgesprach Autonome Mobile Systeme (AMS 2007) ist ein Forum, das Wissenschaftlerinnen und Wissenschaftlern aus Forschung und Industrie, die auf dem Gebiet der autonomen mobilen Systeme arbeiten, eine Basis fur den Gedakenaustausch bietet und wissenschfltiche Diskussionen sowie Kooperationen auf diesem Forschungsgebiet fordert bzw. initiiert. Inhaltlich setzt das Fachgesprach den diesjahrigen Schwerpunkt auf Arbeiten im Bereich der kognitiven Automobile und Laufmaschinen. Ausgewahlte Beitrage zu den Themen Fahrerassistenzsysteme, Humanoide Roboter, Kartierung und Lokalisation,... Das 20. Fachgesprach Autonome Mobile Systeme (AMS 2007) ist ein Forum, das Wissenschaftlerinnen und Wissenschaftlern aus Forschung und Industrie, d... |
cena:
376,20 |
![]() |
Switching Machines: Volume 2 Sequential Systems
ISBN: 9789027701978 / Angielski / Twarda / 421 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
603,81 |
![]() |
Computer Architecture: Proceedings of the NATO Advanced Study Institute Held in St. Raphael, France, 12-24 September, 1976
ISBN: 9789027708038 / Angielski / Twarda / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of the NATO Advanced Study Institute, St. Raphael, France, September 12-24, 1976
Proceedings of the NATO Advanced Study Institute, St. Raphael, France, September 12-24, 1976
|
cena:
201,24 |
![]() |
Advanced Computer Performance Modeling and Simulation
ISBN: 9789056995690 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Addresses the major issues involved in computer design and architectures. Dealing primarily with theory, tools, and techniques as related to advanced computer systems, it provides tutorials and surveys and relates new important research results. Each chapter provides background information, describes and analyzes important work done in the field, and provides important direction to the reader on future work and further readings. The topics covered include hierarchical design schemes, parallel and distributed modeling and simulation, parallel simulation tools and techniques, theoretical models...
Addresses the major issues involved in computer design and architectures. Dealing primarily with theory, tools, and techniques as related to advanced ...
|
cena:
538,76 |
![]() |
Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985
ISBN: 9783540159759 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Parle Parallel Architectures and Languages Europe: Vol.1: Parallel Architectures, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
ISBN: 9783540179436 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
![]() |
Parle Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
ISBN: 9783540179450 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
![]() |
Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
ISBN: 9783540188346 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed...
This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux...
|
cena:
201,24 |
![]() |
Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30,
ISBN: 9783540513056 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used...
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The c...
|
cena:
201,24 |
![]() |
Parallel Lisp: Languages and Systems: Us/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
ISBN: 9783540527824 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, QLisp at Stanford, Lucid and Parcel at Illinois, PaiLisp at Tohoku University, Multiprocessor Lisp on TOP-1 at IBM Tokyo research, and concurrent programming in TAO. Most papers present languages and systems of Parallel Lisp and are in particular concerned with language constructs of Parallel Lisp and their meanings from the standpoint of implementing Parallel Lisp systems; some important technical issues such as...
This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes M...
|
cena:
201,24 |
![]() |
Computing in the 90's: The First Great Lakes Computer Science Conference, Kalamazoo Michigan, Usa, October 18-20, 1989. Proceedings
ISBN: 9780387976280 / Angielski / Miękka / 445 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Great Lakes Computer Science Conference is held biannually in Kalamazoo, Michigan. It is a wide-focus conference concerning all areas of Computer Science. Typically, research in data structures, algorithms (both parallel and sequential), database and VLSI design. Artificial intelligence has received the most attention. The 1989 proceedings of the Great Lakes Computer Science Conference consists of 64 papers. Artificial Intelligence, with 11 papers, is the field which was widely attended.
The Great Lakes Computer Science Conference is held biannually in Kalamazoo, Michigan. It is a wide-focus conference concerning all areas of Computer ...
|
cena:
402,53 |