.png){kind=logo}
Network hardware
Results 1221 - 1240 of 1397
Network hardware
Paperback. This edited volume explores the technological challenge of realizing a world in which devices and applications seamlessly interconnect, intelligently cooperate, and autonomously manage themselves, blurring the boundaries between virtual and real worlds. Editor(s): Vasilakos, Athanasios V.; Parashar, Manish; Karnouskos, Stamatis; Pedrycz, Witold. Num Pages: 392 pages, biography. BIC Classification: TJK; UKN; UT; UYD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 392
- Condition
- New
- SKU
- V9781489982797
- ISBN
- 9781489982797
Paperback
Condition: New
€ 195.10
€ 195.10
Paperback. Num Pages: 218 pages, biography. BIC Classification: TJF; UKN; UYS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 1996
- Number of pages
- 218
- Condition
- New
- SKU
- V9781441951663
- ISBN
- 9781441951663
Paperback
Condition: New
€ 249.30
€ 249.30
Automated Technology for Verification and Analysis: 12th International...
. Ed(S): Cassez, Franck; Raskin, Jean-Francoi...
paperback. Editor(s): Cassez, Franck; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 454 pages, 109 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Switzerland
- Edition
- 2014th Edition
- Number of pages
- 454
- Condition
- New
- SKU
- V9783319119359
- ISBN
- 9783319119359
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. Editor(s): Mukund, Madhavan; Chakraborty, Supratik. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 452 pages, 106 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783642333859
- ISBN
- 9783642333859
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis. Editor(s): Bultan, Tevfik; Hsiung, Pao-Ann. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 546 pages, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 764.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642243714
- ISBN
- 9783642243714
Paperback
Condition: New
€ 69.38
€ 69.38
Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 444 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783540883869
- ISBN
- 9783540883869
Paperback
Condition: New
€ 68.47
€ 68.47
Paperback. Editor(s): Hung, Dang van; Ogawa, Mizuhito. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 542 pages, 115 black & white illustrations, biography. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 542
- Condition
- New
- SKU
- V9783319024431
- ISBN
- 9783319024431
Paperback
Condition: New
€ 69.40
€ 69.40
Hardback. Automated Security Management Editor(s): Al-Shaer, Ehab S.; Ou, Xinming; Xie, Geoffrey. Num Pages: 195 pages, 62 black & white illustrations, 16 black & white tables, biography. BIC Classification: UKN; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 461.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 195
- Condition
- New
- SKU
- V9783319014326
- ISBN
- 9783319014326
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Al-Shaer, Ehab S.; Ou, Xinming; Xie, Geoffrey. Num Pages: 195 pages, 62 black & white illustrations, 16 black & white tables, biography. BIC Classification: UKN; URD; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 195
- Condition
- New
- SKU
- V9783319345369
- ISBN
- 9783319345369
Paperback
Condition: New
€ 65.80
€ 65.80
Hardcover. Automated Firewall Analytics Num Pages: 132 pages, 20 black & white illustrations, 12 colour illustrations, 6 black & white tables, biograph. BIC Classification: UKN; URY; UT. Category: (P) Professional & Vocational. Dimension: 243 x 161 x 14. Weight in Grams: 372.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319103709
- ISBN
- 9783319103709
Hardback
Condition: New
€ 127.42
€ 127.42
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 1142 pages, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 57. Weight in Grams: 1689.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1142
- Condition
- New
- SKU
- V9783662476710
- ISBN
- 9783662476710
Paperback
Condition: New
€ 135.08
€ 135.08
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 65 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1145.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783662476659
- ISBN
- 9783662476659
Paperback
Condition: New
€ 70.85
€ 70.85
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 654 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 654
- Condition
- New
- SKU
- V9783662439500
- ISBN
- 9783662439500
Paperback
Condition: New
€ 69.91
€ 69.91
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1124 pages, 74 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 56. Weight in Grams: 1660.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1124
- Condition
- New
- SKU
- V9783662439470
- ISBN
- 9783662439470
Paperback
Condition: New
€ 74.15
€ 74.15
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 724 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1001.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 724
- Condition
- New
- SKU
- V9783642392115
- ISBN
- 9783642392115
Paperback
Condition: New
€ 71.21
€ 71.21
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta Zofia; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 880 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1212.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 880
- Condition
- New
- SKU
- V9783642392054
- ISBN
- 9783642392054
Paperback
Condition: New
€ 72.70
€ 72.70
Paperback. A two-volume set that constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011. Editor(s): Aceto, Luca; Henzinger, Monika; Sgall, Jiri. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 692 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 692
- Condition
- New
- SKU
- V9783642220111
- ISBN
- 9783642220111
Paperback
Condition: New
€ 132.47
€ 132.47
Paperback. Originally presented as the author's thesis (doctoral)--Universit'at Z'urich, Wintersemester 1990/91. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMN. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540545460
- ISBN
- 9783540545460
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 206 pages, biography. BIC Classification: THR; TJK; UKN. 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
- 2 Rev ed
- Number of pages
- 206
- Condition
- New
- SKU
- V9781461370581
- ISBN
- 9781461370581
Paperback
Condition: New
€ 127.04
€ 127.04
Paperback. Editor(s): Randall, Marcus; Chalup, Stephan; Blair, Alan D. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 462 pages, 151 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYQP; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 24. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 462
- Condition
- New
- SKU
- V9783319148021
- ISBN
- 9783319148021
Paperback
Condition: New
€ 68.20
€ 68.20