Network hardware
Results 101 - 120 of 232
Network hardware
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 138.27
€ 138.27
Paperback. Contains a selection of the papers presented at the 10th International Workshop on Multi-Agent-Based Simulation (MABS 2009), a workshop co-located with the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), which was held on May 10-15, 2009 in Budapest, Hungary. Editor(s): Tosto, Gennaro di; Parunak, H. Van dyke. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 158 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 158
- Condition
- New
- SKU
- V9783642135521
- ISBN
- 9783642135521
Paperback
Condition: New
€ 69.15
€ 69.15
Advanced Computer Science and Information Technology
. Ed(S): Tomar, G.S.; Chang, Ruay-Shiung; Ger...
Paperback. Constitutes the refereed proceedings of the 2nd International Conference on Advanced Science and Technology, AST 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Tomar, G.S.; Chang, Ruay-Shiung; Gervasi, Osvaldo; Kim, Tai-hoon; Bandyopadhyay, Samir Kumar. Series: Communications in Computer and Information Science. Num Pages: 195 pages, 97 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 195
- Condition
- New
- SKU
- V9783642133459
- ISBN
- 9783642133459
Paperback
Condition: New
€ 69.76
€ 69.76
Paperback. Editor(s): Tiropanis, Thanassis; Vakali, Athena; Sartori, Laura; Burnap, Pete. Series: Lecture Notes in Computer Science. Num Pages: 171 pages, 25 black & white illustrations, biography. BIC Classification: UKN; UNF; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 171
- Condition
- New
- SKU
- V9783319186085
- ISBN
- 9783319186085
Paperback
Condition: New
€ 55.01
€ 55.01
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Evolvable Systems, ICES 2010, held in York, UK, in September 2010. Editor(s): Tempesti, Gianluca; Tyrrell, Andy M.; Miller, Julian. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 228 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642153228
- ISBN
- 9783642153228
Paperback
Condition: New
€ 71.63
€ 71.63
Computational Science and its Applications - ICCSA 2010
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
Paperback. This four-volume set synthesizes the International Conference on Computational Science and Its Applications, ICCSA 2010. Topics include computational methods, algorithms and scientific application, high performance computing and networks, and more. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 540 pages, 227 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783642121883
- ISBN
- 9783642121883
Paperback
Condition: New
€ 137.50
€ 137.50
Computational Science and its Applications - ICCSA 2010
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
Paperback. This four-volume set synthesizes the International Conference on Computational Science and Its Applications, ICCSA 2010. Topics include computational methods, algorithms and scientific application, high performance computing and networks, and more. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 570 pages, 284 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 30. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 570
- Condition
- New
- SKU
- V9783642121784
- ISBN
- 9783642121784
Paperback
Condition: New
€ 137.80
€ 137.80
Computational Science and Its Applications - ICCSA 2010: International...
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
paperback. Includes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2010, held in Fukuoka, Japan, in March 2010. This title covers topics such as geographical analysis, urban modeling, spatial statistics, wireless and ad hoc networking, and sensor network and its applications. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 602 pages, 258 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 239 x 152 x 33. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 602
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642121647
- ISBN
- 9783642121647
Paperback
Condition: New
€ 138.13
€ 138.13
Paperback. Constitutes the refereed proceedings of the Second International Conference on Electronic Participation, ePart 2010, that was held in Lausanne, Switzerland, in August/September, 2010. Editor(s): Tambouris, Efthimios; Macintosh, Ann; Glassey, Olivier. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 237 pages, 31 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642151576
- ISBN
- 9783642151576
Paperback
Condition: New
€ 70.02
€ 70.02
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. Editor(s): Szmuc, Tomasz; Szpyrka, Marcin; Zendulka, Jaroslav. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 276 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783642280375
- ISBN
- 9783642280375
Paperback
Condition: New
€ 70.23
€ 70.23
Mechanisms for Autonomous Management of Networks and Services: 4th Int...
. Ed(S): Stiller, Burkhard; Turck, Filip de
paperback. Constitutes the refereed proceedings of the 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, held in Zurich, Switzerland, in June 2010. Editor(s): Stiller, Burkhard; Turck, Filip de. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 192
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642139857
- ISBN
- 9783642139857
Paperback
Condition: New
€ 69.62
€ 69.62
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 69.20
€ 69.20
Paperback. Editor(s): Ruyter, Boris de; Wichert, Reiner; Keyson, David V.; Markopoulos, Panos; Streitz, Norbert A.; Divitini, Monica; Georgantas, Nikolaos; Gomez, Antonio Mana. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci. Num Pages: 371 pages. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. .
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642169168
- ISBN
- 9783642169168
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. Constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, that was held in Edinburgh, UK. Editor(s): Romanovsky, Alexander; Vardanega, Tullio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 27 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642213373
- ISBN
- 9783642213373
Paperback
Condition: New
€ 70.08
€ 70.08
Paperback. Constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology. Editor(s): Real, Jorge; Vardanega, Tullio. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 65 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642135491
- ISBN
- 9783642135491
Paperback
Condition: New
€ 70.39
€ 70.39
Paperback. Constitutes the carefully refereed post-conference proceedings of two International Workshops: Self-Managing Solutions for Smart Environments, S3E 2011; and the workshop on Health and Well-being Technologies and Services for Elderly, HWTS 2011; as well as a Doctoral Colloquium, held in conjunction with, GPC 2011, in Oulu, Finland, in May 2011. Editor(s): Rautiainen, Mika; Korhonen, Timo; Mutafungwa, Edward; Ovaska, Eila; Katasonov, Artem; Evesti, Antti; Ailisto, Heikki; Quigley, Aaron; Hakkila, Jonna; Milic-Frayling, Natasa. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 182 pages, 52 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 182
- Condition
- New
- SKU
- V9783642279157
- ISBN
- 9783642279157
Paperback
Condition: New
€ 87.00
€ 87.00
Paperback. Constitutes the refereed proceedings of the Third International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2010. Editor(s): Ranka, Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore; Dua, Sumeet; Mishra, Prabhat; Moona, Rajat; Poon, Sheung-Hung; Wang, Cho-Li. Series: Communications in Computer and Information Science. Num Pages: 275 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 229 x 155 x 15. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642148248
- ISBN
- 9783642148248
Paperback
Condition: New
€ 70.55
€ 70.55
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, held in Bhubaneswar, India, in February 2012. This title covers theoretical foundations, computational tools, and societal applications. Editor(s): Ramanujam, Ram; Ramaswamy, Srini. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 277 pages, 111 black & white illustrations, biography. BIC Classification: UKN; UM; UNH; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642280726
- ISBN
- 9783642280726
Paperback
Condition: New
€ 88.09
€ 88.09
Paperback. A book constitutes the proceedings of the 11th Pacific Rim Conference on Advances in Multimedia Information Processing, that was held in Shanghai in September 2010. Editor(s): Qiu, Guoping; Lam, Kin Man; Kiya, Hitoshi; Xue, Xiang-Yang; Kuo, C.-C. Jay; Lew, Michael S. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 745 pages, 384 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 1057.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 745
- Condition
- New
- SKU
- V9783642157011
- ISBN
- 9783642157011
Paperback
Condition: New
€ 138.99
€ 138.99
Paperback. A book that constitutes the proceedings of the 11th Pacific Rim Conference on Advances in Multimedia Information Processing, that was held in Shanghai in September 2010. Editor(s): Qiu, Guoping; Lam, Kin Man; Kiya, Hitoshi; Xue, Xiang-Yang; Kuo, C.-C. Jay; Lew, Michael S. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 759 pages, 433 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 1057.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 759
- Condition
- New
- SKU
- V9783642156953
- ISBN
- 9783642156953
Paperback
Condition: New
€ 138.99
€ 138.99