×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!