×


 x 

Shopping cart

Operating systems

Results 385 - 396 of 396

Operating systems

Paperback. Constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011. This book features the papers that are organized in topical sections on protocols, cryptanalysis, secret-key cryptography, and security proofs. Editor(s): Nitaj, Abderrahmane; Pointcheval, David. Series: Lecture Notes in Computer Science. Num Pages: 387 pages, 44 black & white illustrations, 8 colour illustrations, biography. BIC Classification: UKN; UL; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
387
Condition
New
SKU
V9783642219689
ISBN
9783642219689
Paperback
Condition: New

€ 67.15

paperback. Features the papers that investigate many facets of data provenance, process documentation, data derivation, and data annotation. Editor(s): McGuinness, Deborah L.; Michaelis, James R. Series: Lecture Notes in Computer Science. Num Pages: 306 pages, 34 black & white illustrations, 53 colour illustrations, biography. BIC Classification: UBJ; UKN; UKR; UL; UND. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 20. Weight in Grams: 499.
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Number of pages
306
Condition
New
Edition
2010th Edition
SKU
V9783642178184
ISBN
9783642178184
Paperback
Condition: New

€ 67.49

Hardback. Features the 35 refereed articles that report on original results in various areas of operator theory and connected fields, many of them strongly related to contributions of Sz-Nagy. Editor(s): Kerchy, Laszlo; Foias, Ciprian; Gohberg, Prof. Israel; Langer, Heinz. Series: Operator Theory: Advances and Applications. Num Pages: 720 pages, biography. BIC Classification: PBKF; UL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 38. Weight in Grams: 1460.
Format
Hardback
Publication date
2001
Publisher
Birkhauser Verlag AG Switzerland
Number of pages
720
Condition
New
SKU
V9783764366070
ISBN
9783764366070
Hardback
Condition: New

€ 193.57

Paperback. Constitutes the refereed post-conference proceedings of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). Editor(s): Hayel, Yezekael; Hart, Emma; El-Azouzi, Rachid; Carrera, Iacopo; Altman, Eitan. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 203 pages, 79 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 13. Weight in Grams: 340.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
203
Condition
New
SKU
V9783642128073
ISBN
9783642128073
Paperback
Condition: New

€ 66.46

Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
Format
Paperback
Publication date
2002
Publisher
Springer London Ltd United Kingdom
Number of pages
420
Condition
New
SKU
V9781852333591
ISBN
9781852333591
Paperback
Condition: New

€ 127.54

Paperback. Constitutes the refereed proceedings of the International Workshops on the Applications of Evolutionary Computation, EvoApplications 2010, held in Istanbul, Turkey, in April 2010 colocated with the Evo* 2010 events. Editor(s): Chio, Cecilia di; Brabazon, Anthony; Caro, Gianni Di; Ebner, Marc; Farooq, Muddassar; Fink, Andreas; Grahl, Jorn; Greenfield, Gary; Machado, Penousal; O'Neill, Michael. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, 150 black & white illustrations, biography. BIC Classification: MJCM; UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 25. Weight in Grams: 748.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
476
Condition
New
SKU
V9783642122415
ISBN
9783642122415
Paperback
Condition: New

€ 130.22

Paperback. This work constitutes the refereed post-proceedings of the Second International Conference on Cooperative Multimodal Communication, 1998. It covers topical sections on multimodal generation, multimodal co-operation, multimodal interpretation, and multimedia platforms and test environments. Editor(s): Bunt, Harry; Beun, Robbert-Jan. Series: Lecture Notes in Computer Science. Num Pages: 256 pages, 51 black & white illustrations, 3 colour illustrations, 4 black & white tables, biography. BIC Classification: UL; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 14. Weight in Grams: 452.
Format
Paperback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
256
Condition
New
SKU
V9783540428060
ISBN
9783540428060
Paperback
Condition: New

€ 64.07

Hardback. This volume is devoted to some topical problems and applications of operator theory and its interplay with modern complex analysis. It consists of 20 selected survey papers that represent updated addresses to the IWOTRA 2000 conference. Editor(s): Borichev, Alexander A.; Nikol'skii, N. K. Series: Operator Theory: Advances and Applications. Num Pages: 545 pages, biography. BIC Classification: PBKF; UL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 38. Weight in Grams: 1120.
Format
Hardback
Publication date
2001
Publisher
Birkhauser Verlag AG Switzerland
Number of pages
545
Condition
New
SKU
V9783764366452
ISBN
9783764366452
Hardback
Condition: New

€ 192.98

Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
339
Condition
New
SKU
V9783642170706
ISBN
9783642170706
Paperback
Condition: New

€ 67.49

Paperback. Constitutes the refereed proceedings of the 24th International Conference on Architecture of Computing Systems, ARCS 2011, held in Lake Como, Italy, in February 2011. This book features the papers that are organized in topical sections on customization and application specific accelerators; multi/many-core architectures; and, more. Editor(s): Berekovic, Mladen; Fornaciari, William; Brinkschulte, Uwe; Silvano, Cristina. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 54 black & white illustrations, 60 colour illustrations, biography. BIC Classification: UKN; UKR; UL; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
271
Condition
New
SKU
V9783642191367
ISBN
9783642191367
Paperback
Condition: New

€ 65.15

Paperback. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers. Editor(s): Aichernig, Bernhard K.; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 393 pages, 145 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2012
Number of pages
393
Condition
New
SKU
V9783642252709
ISBN
9783642252709
Paperback
Condition: New

€ 67.91

Paperback. Editor(s): Shirazi, Behrooz A.; etc. Num Pages: 520 pages, Illustrations. BIC Classification: UL; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 310 x 174 x 27. Weight in Grams: 1163.
Format
Paperback
Publication date
1995
Publisher
IEEE Computer Society Press,U.S. United States
Edition
1st Edition
Number of pages
520
Condition
New
SKU
V9780818665875
ISBN
9780818665875
Paperback
Condition: New

€ 108.00

Page 17 of 17

Subscribe to our newsletter

News on special offers, signed editions & more!