.png){kind=logo}
Computing
Results 30181 - 30200 of 30848
Computing
Paperback. Constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. This book presents the results on the analysis and verification of distributed software systems using the SPIN model checker. Editor(s): Ball, Thomas; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science. Num Pages: 249 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783540401179
- ISBN
- 9783540401179
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Editor(s): Ball, Marion J.; Douglas, Judith V. Series: Health Informatics. Num Pages: 204 pages, 24 black & white tables, biography. BIC Classification: MBP; MBPM; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 204
- Condition
- New
- SKU
- V9781461268000
- ISBN
- 9781461268000
Paperback
Condition: New
€ 127.10
€ 127.10
Coordination, Organizations, Institutions, and Norms in Agent Systems ...
. Ed(S): Balke, Tina; Dignum, Frank; Riemsdij...
Paperback. Editor(s): Balke, Tina; Dignum, Frank; Riemsdijk, M. Birna van; Chopra, Amit K. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 391 pages, 84 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 391
- Condition
- New
- SKU
- V9783319073132
- ISBN
- 9783319073132
Paperback
Condition: New
€ 67.57
€ 67.57
Advanced Electronic Technologies and Systems Based on Low-Dimensional ...
. Ed(S): Balkanski, Minko; Andreev, N.A.
Hardback. Proceedings of the NATO Advanced Study Institute, Sozopol, Bulgaria, 18-28 September 1996 Editor(s): Balkanski, Minko; Andreev, N.A. Series: NATO Science Partnership Subseries: 3. Num Pages: 312 pages, biography. BIC Classification: TJFD5; TTB; UK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 312
- Condition
- New
- SKU
- V9780792348757
- ISBN
- 9780792348757
Hardback
Condition: New
€ 255.37
€ 255.37
Paperback. Editor(s): Balka, Ellen; Smith, Richard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 308 pages, biography. BIC Classification: UYZG; YQT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 308
- Condition
- New
- SKU
- V9781475769777
- ISBN
- 9781475769777
Paperback
Condition: New
€ 128.03
€ 128.03
Hardback. These proceedings discuss how different areas of society are being transformed by computer technology. They focus on women's experiences as computer scientists, and the mechanisms through which various aspects of system design contribute to the gendered nature of computing. Editor(s): Balka, Ellen; Smith, Richard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 308 pages, biography. BIC Classification: KCF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 308
- Condition
- New
- SKU
- V9780792378648
- ISBN
- 9780792378648
Hardback
Condition: New
€ 133.85
€ 133.85
Paperback. This text focuses on various factors associated with orphan diseases. It explores new avenues which are opened by information technologies and Health 2.0 and also highlights the economic opportunities of orphan disease medicine. Editor(s): Bali, Rajeev K.; Bos, Lodewijk; Gibbons, Michael Christopher; Ibell, Simon R. Series: Communications in Medical and Care Compunetics. Num Pages: 325 pages, 14 black & white illustrations, biography. BIC Classification: KCQ; MBG; MQW; UBH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 325
- Condition
- New
- SKU
- V9783662522332
- ISBN
- 9783662522332
Paperback
Condition: New
€ 127.76
€ 127.76
Hardback. Rare Diseases in the Age of Health 2.0 Editor(s): Bali, Rajeev K.; Bos, Lodewijk; Gibbons, Michael Christopher; Ibell, Simon. Series: Communications in Medical and Care Compunetics. Num Pages: 325 pages, 14 black & white illustrations, biography. BIC Classification: KCQ; MBG; MQW; UBH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 325
- Condition
- New
- SKU
- V9783642386428
- ISBN
- 9783642386428
Hardback
Condition: New
€ 128.93
€ 128.93
New Trends in Nanotechnology and Fractional Calculus Applications
. Ed(S): Baleanu, Dumitru; Guvenc, Ziya Burha...
Paperback. In recent years, fractional calculus has played a major role in various fields such as mechanics, electricity, biology and economics. This book presents the state-of-the-art in the study of fractional systems and the application of fractional differentiation. Editor(s): Baleanu, Dumitru; Guvenc, Ziya Burhanettin; Machado, J. A. Tenreiro. Num Pages: 542 pages, biography. BIC Classification: GPFC; TBJ; TBN; TGB; THR; UGK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 542
- Condition
- New
- SKU
- V9789400790995
- ISBN
- 9789400790995
Paperback
Condition: New
€ 251.90
€ 251.90
New Trends in Nanotechnology and Fractional Calculus Applications
. Ed(S): Baleanu, Dumitru; Guvenc, Ziya Burha...
Hardback. In recent years, fractional calculus has played a major role in various fields such as mechanics, electricity, biology and economics. This book presents the state-of-the-art in the study of fractional systems and the application of fractional differentiation. Editor(s): Baleanu, Dumitru; Guvenc, Ziya Burhanettin; Machado, J. A. Tenreiro. Num Pages: 531 pages, biography. BIC Classification: PBW; TBN; TGB; TJF; UGC; UGK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 2060.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer Netherlands
- Number of pages
- 531
- Condition
- New
- SKU
- V9789048132928
- ISBN
- 9789048132928
Hardback
Condition: New
€ 269.12
€ 269.12
Paperback / so. Editor(s): Baldoni, Roberto; Nisse, Nicolas; Van Steen, Maarten. Series: Lecture Notes in Computer Science / Theoretical Computer Sci. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783319038490
- ISBN
- 9783319038490
Paperback
Condition: New
€ 66.70
€ 66.70
Hardback. This analysis of the software infrastructure in the financial sector looks at vulnerability to cyber attack and existing protection methods. It then shows how information sharing among financial institutions helps them react more effectively to cyber attacks. Editor(s): Baldoni, Roberto; Chockler, Gregory. Num Pages: 248 pages, biography. BIC Classification: UKN; UNC; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783642204197
- ISBN
- 9783642204197
Hardback
Condition: New
€ 128.31
€ 128.31
Paperback. Editor(s): Baldoni, Matteo; Muller, Jorg P. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 66 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319509822
- ISBN
- 9783319509822
Paperback
Condition: New
€ 66.18
€ 66.18
Paperback. Editor(s): Baldoni, Matteo; Dennis, Louise; Mascardi, Viviana; Vasconcelos, Wamberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 221 pages, 42 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642378898
- ISBN
- 9783642378898
Paperback
Condition: New
€ 85.05
€ 85.05
PRIMA 2016: Princiles and Practice of Multi-Agent Systems
. Ed(S): Baldoni, Matteo; Chopra, Amit K.; So...
Paperback. Editor(s): Baldoni, Matteo; Chopra, Amit K.; Son, Tran Cao; Torroni, Paolo. Series: Lecture Notes in Computer Science. Num Pages: 418 pages, 100 black & white illustrations, biography. BIC Classification: UMX; UNH; UYA; UYQ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 418
- Condition
- New
- SKU
- V9783319448312
- ISBN
- 9783319448312
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Baldoni, Matteo; Baroglio, Cristina; Numao, Masayuki; Suarez, Merlin Teodosia. Series: Lecture Notes in Computer Science. Num Pages: 169 pages, 39 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 169
- Condition
- New
- SKU
- V9783319462172
- ISBN
- 9783319462172
Paperback
Condition: New
€ 65.65
€ 65.65
Paperback. Editor(s): Baldoni, Matteo; Baroglio, Cristina; Boella, Guido; Micalizio, Roberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 558 pages, 128 black & white illustrations, biography. BIC Classification: PBCD; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 558
- Condition
- New
- SKU
- V9783319035239
- ISBN
- 9783319035239
Paperback
Condition: New
€ 69.55
€ 69.55
Paperback. Editor(s): Baldoni, Matteo; Baresi, Luciano; Dastani, Mehdi. Series: Lecture Notes in Computer Science. Num Pages: 241 pages, 55 colour illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 241
- Condition
- New
- SKU
- V9783319261836
- ISBN
- 9783319261836
Paperback
Condition: New
€ 66.22
€ 66.22
Physical and Data-Link Security Techniques for Future Communication Sy...
. Ed(S): Baldi, Marco; Tomasin, Stefano
Hardback. Editor(s): Baldi, Marco; Tomasin, Stefano. Series: Lecture Notes in Electrical Engineering. Num Pages: 222 pages, biography. BIC Classification: TJK; UNA; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 502.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 222
- Condition
- New
- SKU
- V9783319236087
- ISBN
- 9783319236087
Hardback
Condition: New
€ 194.29
€ 194.29
Paperback. This volume presents 43 articles dealing with models and methods of data analysis and classification, statistics and stochastics, information systems and WWW- and Internet-related topics as well as many applications. Editor(s): Balderjahn, Ingo; Mathar, Rudolf; Schader, Martin. Series: Studies in Classification, Data Analysis, and Knowledge Organization. Num Pages: 423 pages, 25 black & white illustrations, 41 black & white tables, biography. BIC Classification: JHBC; KCH; PBW; UN. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 22. Weight in Grams: 727.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 423
- Condition
- New
- SKU
- V9783540639091
- ISBN
- 9783540639091
Paperback
Condition: New
€ 129.53
€ 129.53