Computer science
Results 13057 - 13080 of 16990
Computer science
Hardback. This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics. Series: Cognitive Technologies. Num Pages: 233 pages, biography. BIC Classification: HPL; PBC; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642190674
- ISBN
- 9783642190674
Hardback
Condition: New
€ 122.31
€ 122.31
Condition: The Geometry of Numerical Algorithms (Grundlehren der mathe...
Bürgisser, Peter, Cucker, Felipe
Hardcover. Condition Series: Grundlehren der Mathematischen Wissenschaften. Num Pages: 585 pages, biography. BIC Classification: PBKS; PBT; PBU; PDE; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 165 x 36. Weight in Grams: 1002.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Number of pages
- 583
- Condition
- New
- SKU
- V9783642388958
- ISBN
- 9783642388958
Hardback
Condition: New
€ 178.11
€ 178.11
paperback. This book shows how condition monitoring can be used to help avoid equipment failure and lengthen useful life, minimize downtime and reduce maintenance costs. Covers the uses of such techniques as principal component analysis, and much more. Num Pages: 236 pages, 19 black & white tables, biography. BIC Classification: TGBN; TGPR; TGXW; TTBM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer/Sci-Tech/Trade United Kingdom
- Number of pages
- 236
- Condition
- New
- Edition
- 2012th Edition
- SKU
- V9781447161349
- ISBN
- 9781447161349
Paperback
Condition: New
€ 122.13
€ 122.13
Hardback. This book shows how condition monitoring can be used to help avoid equipment failure and lengthen useful life, minimize downtime and reduce maintenance costs. Covers the uses of such techniques as principal component analysis, and much more. Num Pages: 236 pages, 19 black & white tables, biography. BIC Classification: TGBN; TGPR; TGXW; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 158 x 17. Weight in Grams: 490.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 236
- Condition
- New
- SKU
- V9781447123798
- ISBN
- 9781447123798
Hardback
Condition: New
€ 122.94
€ 122.94
Paperback. This volume provides a thorough introduction to transformer condition monitoring for the assessment of power transformers. The fundamental theories are discussed, in addition to the most up-to-date research in this rapidly changing field. Series: Power Systems. Num Pages: 202 pages, 66 black & white tables, biography. BIC Classification: TGPR; THRD; UGK; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 202
- Condition
- New
- SKU
- V9781447126263
- ISBN
- 9781447126263
Paperback
Condition: New
€ 185.77
€ 185.77
Paperback. Series: Information Security and Cryptography. Num Pages: 198 pages, biography. BIC Classification: UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 198
- Condition
- New
- SKU
- V9783642069499
- ISBN
- 9783642069499
Paperback
Condition: New
€ 121.80
€ 121.80
Hardback. Protocols that remain zero-knowledge when many instances are executed concurrently are called concurrent zero-knowledge. This book presents constructions of concurrent zero-knowledge protocols. It shows why 'traditional' proof techniques are not suitable for establishing the concurrent zero-knowledge property of 'message-efficient' protocols. Series: Information Security and Cryptography. Num Pages: 198 pages, biography. BIC Classification: UMB; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 459.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783540329381
- ISBN
- 9783540329381
Hardback
Condition: New
€ 125.31
€ 125.31
Hardback. This book covers the fundamental issues of developing programs for scientific computation on concurrent computers. Its purpose is to construct a conceptual framework that provides a basis for understanding the real issues of concurrency, in order to develop new numerical methods and new software tools that may solve real-world problems efficiently. Series: Texts in Applied Mathematics. Num Pages: 350 pages, 3 black & white illustrations, biography. BIC Classification: UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 350
- Condition
- New
- SKU
- V9780387941950
- ISBN
- 9780387941950
Hardback
Condition: New
€ 107.40
€ 107.40
Paperback. In this title, the author presents a computational model of forestalling common flaws in autonomous robot behaviour and develops a representation for structured reactive plans in which declarative statements for goals, perceptions and beliefs are made explicit. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 236 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783540672418
- ISBN
- 9783540672418
Paperback
Condition: New
€ 66.16
€ 66.16
paperback. This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes. Num Pages: 548 pages, biography. BIC Classification: UK; UMZ; UT; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642446153
- ISBN
- 9783642446153
Paperback
Condition: New
€ 83.86
€ 83.86
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 132 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 196.
- Format
- Paperback
- Publication date
- 1977
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 132
- Condition
- New
- SKU
- V9783540082408
- ISBN
- 9783540082408
Paperback
Condition: New
€ 64.29
€ 64.29
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
€ 121.35
€ 121.35
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
€ 122.31
€ 122.31
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
€ 76.75
€ 76.75
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
€ 126.25
€ 126.25
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
€ 127.60
€ 127.60
Paperback. Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 94 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642115110
- ISBN
- 9783642115110
Paperback
Condition: New
€ 66.16
€ 66.16
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
€ 187.64
€ 187.64
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
€ 187.65
€ 187.65
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
€ 67.97
€ 67.97
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
€ 131.19
€ 131.19
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
€ 66.49
€ 66.49
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
€ 66.60
€ 66.60
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
€ 67.13
€ 67.13