.png){kind=logo}
Computing
Results 5953 - 5976 of 28610
Computing
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 160 x 236 x 33. Weight in Grams: 822.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783540229407
- ISBN
- 9783540229407
Paperback
Condition: New
€ 75.04
€ 75.04
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, real-time systems, verification techniques, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1304 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 830.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1304
- Condition
- New
- SKU
- V9783540283096
- ISBN
- 9783540283096
Paperback
Condition: New
€ 76.07
€ 76.07
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. This book contains papers that are organized in topical sections on model checking, process calculi, minimization and equivalence checking, types, semantics and probability. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540373766
- ISBN
- 9783540373766
Paperback
Condition: New
€ 130.19
€ 130.19
Paperback. Constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. This title includes topics such as model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 537 pages, biography. BIC Classification: UKN; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 537
- Condition
- New
- SKU
- V9783540853602
- ISBN
- 9783540853602
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 651 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 651
- Condition
- New
- SKU
- V9783642040801
- ISBN
- 9783642040801
Paperback
Condition: New
€ 131.34
€ 131.34
Paperback. Editor(s): Koutny, Maciej; Ulidowski, Irek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 596 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783642329395
- ISBN
- 9783642329395
Paperback
Condition: New
€ 69.91
€ 69.91
Paperback. Editor(s): D'Argenio, Pedro R.; Melgratti, Hernan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 576 pages, 83 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 872.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 576
- Condition
- New
- SKU
- V9783642401831
- ISBN
- 9783642401831
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Editor(s): Baldan, Paolo; University of Roma "La Sapienza". Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 616 pages, biography. BIC Classification: UMZ; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 932.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 616
- Condition
- New
- SKU
- V9783662445839
- ISBN
- 9783662445839
Paperback
Condition: New
€ 69.58
€ 69.58
Paperback. This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement. Editor(s): Baeten, J. C. M.; Mauw, Sjouke. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 1820.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783540664253
- ISBN
- 9783540664253
Paperback
Condition: New
€ 136.83
€ 136.83
Hardcover. Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. Num Pages: 434 pages, Illustrations (some col.). BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 243 x 190 x 30. Weight in Grams: 986.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 434
- Format
- Hardback
- Publication date
- 2006
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780470093559
- ISBN
- 9780470093559
Hardback
Condition: New
€ 79.78
€ 79.78
Paperback. Editor(s): Voss, Klaus; Genrich, Hartmann J.; Rozenberg, Grzegorz. Num Pages: 622 pages, biography. BIC Classification: UKN; UYZG. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 32. Weight in Grams: 1086.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 622
- Condition
- New
- SKU
- V9783642728242
- ISBN
- 9783642728242
Paperback
Condition: New
€ 71.14
€ 71.14
Hardback. Failures of system components, can be viewed as undesirable events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work. This work explores significant issues in all three strands. Editor(s): Ezhilchelvan, Paul; Romanovsky, Alexander. Num Pages: 310 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 310
- Condition
- New
- SKU
- V9781402070433
- ISBN
- 9781402070433
Hardback
Condition: New
€ 200.43
€ 200.43
Paperback. In this practical book, you'll learn how Go was written to help introduce and master these concepts, as well as how to use basic concurrency patterns to form large systems that are reliable and remain simple and easy to understand. Num Pages: 300 pages. BIC Classification: UM. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491941195
- ISBN
- 9781491941195
Paperback
Condition: New
€ 52.99€ 37.55
€ 52.99
€ 37.55
Paperback. Num Pages: 422 pages, 126 black & white illustrations, 4 black & white tables, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 422
- Condition
- New
- SKU
- V9781849969512
- ISBN
- 9781849969512
Paperback
Condition: New
€ 195.76
€ 195.76
Hardback. Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising. Num Pages: 422 pages, 126 black & white illustrations, 4 black & white tables, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 847.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 422
- Condition
- New
- SKU
- V9781852338954
- ISBN
- 9781852338954
Hardback
Condition: New
€ 196.75
€ 196.75
Paperback. This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers that examine the research areas to which he has contributed, from logic programming to software engineering, as well as his many achievements. Editor(s): Degano, Pierpaolo; De Nicola, Rocco; Meseguer, Jose. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 825 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 41. Weight in Grams: 1252.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 825
- Condition
- New
- SKU
- V9783540686767
- ISBN
- 9783540686767
Paperback
Condition: New
€ 133.08
€ 133.08
Concurrent and Comparative Discrete Event Simulation
Ulrich, Ernst G.; Agrawal, Vishwani D.; Hill,...
Hardback. In the design experimentation of nuclear power plant operations, many scenarios can be simulated to derive desirable designs or safe operating procedures. Concurrent fault simulation is a technique in the computer aided design of digital systems. This book covers an application area in the scientific and business world. Num Pages: 186 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 186
- Condition
- New
- SKU
- V9780792394112
- ISBN
- 9780792394112
Hardback
Condition: New
€ 131.66
€ 131.66
Hardcover. Concurrent and Distributed Computing in Java addresses fundamental concepts in concurrent computing with Java examples. This groundbreaking textbook describes important concepts in distributed computing without excessive mathematical notation and allows readers to run and experiment with actual algorithms in Java. Num Pages: 336 pages, Illustrations. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 243 x 168 x 23. Weight in Grams: 618.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 336
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471432302
- ISBN
- 9780471432302
Hardback
Condition: New
€ 177.66
€ 177.66
Hardcover. Editor(s): Becker, Alexander S. Num Pages: 242 pages, b/w illus. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 261 x 186 x 21. Weight in Grams: 694.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 242
- Condition
- New
- SKU
- V9781604562743
- ISBN
- 9781604562743
Hardback
Condition: New
€ 237.63€ 162.43
€ 237.63
€ 162.43
Paperback. This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject. Series: Worldwide Series in Computer Science. Num Pages: 526 pages, illustrations. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230 x 181 x 30. Weight in Grams: 896.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 526
- Condition
- New
- SKU
- V9780471623731
- ISBN
- 9780471623731
Paperback
Condition: New
€ 78.50
€ 78.50
Paperback. Num Pages: 250 pages, biography. BIC Classification: TJFC; UYF; WM. Category: (G) General (US: Trade). Dimension: 229 x 152 x 19. Weight in Grams: 533.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 250
- Condition
- New
- SKU
- V9781468465204
- ISBN
- 9781468465204
Paperback
Condition: New
€ 128.33
€ 128.33
Paperback. Proceedings of the NATO Advanced Study Institute on Concurrent Engineering Tools and Technologies for Mechanical System Design, held in Iowa City, Iowa, May 25-June 5, 1992 Editor(s): Haug, Edward J. Series: NATO ASI Subseries F. Num Pages: 998 pages, biography. BIC Classification: KJQ; TBD; UGC. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 51. Weight in Grams: 1717.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 998
- Condition
- New
- SKU
- V9783642781216
- ISBN
- 9783642781216
Paperback
Condition: New
€ 75.32
€ 75.32
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 197 pages, biography. BIC Classification: KJMV5; KJMV6; KJQ; UKN. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 197
- Condition
- New
- SKU
- V9781461368236
- ISBN
- 9781461368236
Paperback
Condition: New
€ 193.38
€ 193.38
Paperback. Num Pages: 288 pages, biography. BIC Classification: PBT; THR; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 15. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 288
- Condition
- New
- SKU
- V9781461380498
- ISBN
- 9781461380498
Paperback
Condition: New
€ 127.57
€ 127.57