Computing
Results 5449 - 5472 of 10071
Computing
Paperback. This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540787990
- ISBN
- 9783540787990
Paperback
Condition: New
€ 66.38
€ 66.38
Hardback. BIC Classification: UGC. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540794394
- ISBN
- 9783540794394
Hardback
Condition: New
€ 144.63
€ 144.63
Paperback. Constitutes the refereed proceedings of the 30th annual European Conference on Information Retrieval Research, ECIR 2009, held in Toulouse, France in April 2009. This book presents 42 revised full papers and 18 revised short papers with the abstracts of 3 invited lectures and 25 poster papers that were reviewed and selected from 188 submissions. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 843 pages, biography. BIC Classification: UG; UKR; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 843
- Condition
- New
- SKU
- V9783642009570
- ISBN
- 9783642009570
Paperback
Condition: New
€ 127.28
€ 127.28
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642033582
- ISBN
- 9783642033582
Paperback
Condition: New
€ 66.30
€ 66.30
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 468 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642037405
- ISBN
- 9783642037405
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics include cryptographic protocol analysis, identity management and electronic voting, and wireless security. Series: Lecture Notes in Computer Science. Num Pages: 347 pages, biography. BIC Classification: UR; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 347
- Condition
- New
- SKU
- V9783642038280
- ISBN
- 9783642038280
Paperback
Condition: New
€ 59.30
€ 59.30
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1134 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 38. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1134
- Condition
- New
- SKU
- V9783642040696
- ISBN
- 9783642040696
Paperback
Condition: New
€ 193.39
€ 193.39
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783642041426
- ISBN
- 9783642041426
Paperback
Condition: New
€ 64.18
€ 64.18
Paperback. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 1076 pages, biography. BIC Classification: UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1202.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1076
- Condition
- New
- SKU
- V9783642041457
- ISBN
- 9783642041457
Paperback
Condition: New
€ 192.70
€ 192.70
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 441 pages, biography. BIC Classification: PSA; PSB; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 441
- Condition
- New
- SKU
- V9783642042409
- ISBN
- 9783642042409
Paperback
Condition: New
€ 123.52
€ 123.52
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, biography. BIC Classification: PBD; PBF; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642046384
- ISBN
- 9783642046384
Paperback
Condition: New
€ 64.85
€ 64.85
Paperback. Series: Communications in Computer and Information Science. Num Pages: 497 pages, biography. BIC Classification: UB; UGK; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Condition
- New
- SKU
- V9783642049613
- ISBN
- 9783642049613
Paperback
Condition: New
€ 124.10
€ 124.10
paperback. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 213 pages, biography. BIC Classification: UG; UKN; UNH; UT; UYD. Category: (P) Professional & Vocational. Dimension: 238 x 153 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642049934
- ISBN
- 9783642049934
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 259 pages, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642050305
- ISBN
- 9783642050305
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 939 pages, biography. BIC Classification: UMB; UML; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1413.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 939
- Condition
- New
- SKU
- V9783642050350
- ISBN
- 9783642050350
Paperback
Condition: New
€ 191.52
€ 191.52
Paperback. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 159 pages, biography. BIC Classification: J; UBJ; UGK; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 159
- Condition
- New
- SKU
- V9783642050381
- ISBN
- 9783642050381
Paperback
Condition: New
€ 62.90
€ 62.90
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 428 pages, biography. BIC Classification: UNF; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 428
- Condition
- New
- SKU
- V9783642052231
- ISBN
- 9783642052231
Paperback
Condition: New
€ 65.36
€ 65.36
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 360 pages, biography. BIC Classification: UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783642054143
- ISBN
- 9783642054143
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642055393
- ISBN
- 9783642055393
Paperback
Condition: New
€ 122.64
€ 122.64
Paperback. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 384
- Condition
- New
- SKU
- V9783642059384
- ISBN
- 9783642059384
Paperback
Condition: New
€ 122.08
€ 122.08
Paperback. Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992 Editor(s): Broy, Manfred. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 416 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 416
- Condition
- New
- SKU
- V9783642081644
- ISBN
- 9783642081644
Paperback
Condition: New
€ 239.48
€ 239.48
paperback. Editor(s): O, Ying-Lie; Toet, Alexander; Foster, David; Heijmans, Henk J. A. M.; Meer, Peter. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 682 pages, biography. BIC Classification: UYAM; UYQ; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 1050.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 682
- Condition
- New
- SKU
- V9783642081880
- ISBN
- 9783642081880
Paperback
Condition: New
€ 358.09
€ 358.09
Paperback. Num Pages: 408 pages, biography. BIC Classification: TJFM1; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 408
- Condition
- New
- SKU
- V9783642082320
- ISBN
- 9783642082320
Paperback
Condition: New
€ 186.66
€ 186.66
Paperback. Editor(s): Ozekici, Suleyman. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 596 pages, biography. BIC Classification: PBT; PBWL; TBC; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 926.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 596
- Condition
- New
- SKU
- V9783642082504
- ISBN
- 9783642082504
Paperback
Condition: New
€ 357.32
€ 357.32