Computer science
Results 2977 - 3000 of 15246
Computer science
Paperback. Editor(s): Diaz, Roberto Moreno; Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 664 pages, 276 black & white illustrations, biography. BIC Classification: UGK; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 664
- Condition
- New
- SKU
- V9783642275784
- ISBN
- 9783642275784
Paperback
Condition: New
€ 70.61
€ 70.61
Paperback. Editor(s): Moreno-Diaz, Roberto (Universidad de Las Palmas de Gran Canaria); Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 564 pages, 268 black & white illustrations, biography. BIC Classification: UGC; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 564
- Condition
- New
- SKU
- V9783642538612
- ISBN
- 9783642538612
Paperback
Condition: New
€ 69.10
€ 69.10
Paperback. Editor(s): Moreno-Diaz, Roberto (Universidad de Las Palmas de Gran Canaria); Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 542 pages, 190 black & white illustrations, biography. BIC Classification: UGC; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642538551
- ISBN
- 9783642538551
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Editor(s): Diaz, Roberto Moreno; Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 662 pages, biography. BIC Classification: UGK; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783642275487
- ISBN
- 9783642275487
Paperback
Condition: New
€ 70.57
€ 70.57
Paperback. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 558 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 558
- Condition
- New
- SKU
- V9783319415277
- ISBN
- 9783319415277
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 538 pages, 126 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 538
- Condition
- New
- SKU
- V9783319415390
- ISBN
- 9783319415390
Paperback
Condition: New
€ 68.90
€ 68.90
Paperback. Editor(s): Biere, Armin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 911 pages, 205 black & white illustrations, biography. BIC Classification: UMZ; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 46. Weight in Grams: 1371.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 911
- Condition
- New
- SKU
- V9783319088662
- ISBN
- 9783319088662
Paperback
Condition: New
€ 133.01
€ 133.01
Paperback. Editor(s): Kroening, Daniel; Pasareanu, Corina S. Series: Lecture Notes in Computer Science. Num Pages: 487 pages, 107 black & white illustrations, biography. BIC Classification: UMZ; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 487
- Condition
- New
- SKU
- V9783319216676
- ISBN
- 9783319216676
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. Editor(s): Kroening, Daniel; Pasareanu, Corina S. Series: Lecture Notes in Computer Science. Num Pages: 700 pages, 141 black & white illustrations, biography. BIC Classification: UMZ; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1062.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 700
- Condition
- New
- SKU
- V9783319216898
- ISBN
- 9783319216898
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 28. Weight in Grams: 1700.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783540223429
- ISBN
- 9783540223429
Paperback
Condition: New
€ 136.05
€ 136.05
Paperback. Constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. This book presents papers that address various issues in computer aided verification and model checking - from foundational and methodological issues. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 579 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 579
- Condition
- New
- SKU
- V9783540374060
- ISBN
- 9783540374060
Paperback
Condition: New
€ 136.50
€ 136.50
Paperback. These are the the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540439974
- ISBN
- 9783540439974
Paperback
Condition: New
€ 138.03
€ 138.03
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 737 pages, biography. BIC Classification: UMB; UMZ; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 737
- Condition
- New
- SKU
- V9783642026577
- ISBN
- 9783642026577
Paperback
Condition: New
€ 132.17
€ 132.17
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA. Editor(s): Gopalakrishnan, Ganesh C.; Qadeer, Shaz. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 778 pages, 134 black & white illustrations, 46 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1079.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 778
- Condition
- New
- SKU
- V9783642221095
- ISBN
- 9783642221095
Paperback
Condition: New
€ 71.69
€ 71.69
Paperback. Editor(s): Sharygina, Natasha; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1037 pages, 237 black & white illustrations, biography. BIC Classification: UMZ; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 51. Weight in Grams: 1538.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1037
- Condition
- New
- SKU
- V9783642397981
- ISBN
- 9783642397981
Paperback
Condition: New
€ 135.05
€ 135.05
Computer Aided Verification: 10th International Conference, CAV'98, Va...
Hu, Alan J., Vardi, Moshe Y.
Paperback. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 720. 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings. Series: Lecture Notes in Computer Science. 568 pages, black & white illustrations. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Cateogry: (P) Professional & Vocational. BIC Classification: UM; UY. Dimension: 234 x 156 x 29. Weight: 720.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 562
- Condition
- New
- SKU
- V9783540646082
- ISBN
- 9783540646082
Paperback
Condition: New
€ 136.32
€ 136.32
paperback. Constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. This title addresses the issues in computer aided verification and model checking - from foundational and methodological issues to the evaluation of major tools and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 577 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer Germany
- Edition
- 2007th Edition
- Number of pages
- 577
- Condition
- New
- SKU
- V9783540733676
- ISBN
- 9783540733676
Paperback
Condition: New
€ 69.82
€ 69.82
Paperback. Editor(s): Gutierrez, Jaime; Schicho, Josef; Weimann, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 222 pages, 29 black & white illustrations, biography. BIC Classification: PBF; UMB; UYA; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 222
- Condition
- New
- SKU
- V9783319150802
- ISBN
- 9783319150802
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Grabmeier, Johannes; Kaltofen, Erich (North Carolina State University, USA); Weispfenning, Volker. Translator(s): Hitz, M. Num Pages: 637 pages, biography. BIC Classification: PBF; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 997.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 637
- Condition
- New
- SKU
- V9783642629884
- ISBN
- 9783642629884
Paperback
Condition: New
€ 197.64
€ 197.64
Hardcover. Computer Algebra Handbook Editor(s): Grabmeier, Johannes; Kaltofen, Erich (North Carolina State University, USA); Weispfenning, Volker. Translator(s): Hitz, M. Num Pages: 637 pages, biography. BIC Classification: PBF; UYAM. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 36. Weight in Grams: 1236.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2002
- Edition
- 2003rd Edition
- Condition
- New
- SKU
- V9783540654667
- ISBN
- 9783540654667
Hardback
Condition: New
€ 199.30
€ 199.30
Hardcover. Computer Algebra in Quantum Field Theory Editor(s): Schneider, Carsten; Blumlein, Johannes. Series: Texts and Monographs in Symbolic Computation. Num Pages: 425 pages, 41 black & white illustrations, biography. BIC Classification: PBKF; PHQ; PHS; PHU; UYAM. Category: (P) Professional & Vocational. Dimension: 242 x 161 x 28. Weight in Grams: 772.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Number of pages
- 450
- Condition
- New
- SKU
- V9783709116159
- ISBN
- 9783709116159
Hardback
Condition: New
€ 129.83
€ 129.83
Paperback. Editor(s): Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. Series: Lecture Notes in Computer Science. Num Pages: 526 pages, 61 black & white illustrations, biography. BIC Classification: PBD; UGK; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 526
- Condition
- New
- SKU
- V9783319456409
- ISBN
- 9783319456409
Paperback
Condition: New
€ 68.78
€ 68.78
Paperback. Editor(s): Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 459 pages, 58 black & white illustrations, biography. BIC Classification: PBD; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 459
- Condition
- New
- SKU
- V9783319022963
- ISBN
- 9783319022963
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Editor(s): Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 42 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642329722
- ISBN
- 9783642329722
Paperback
Condition: New
€ 67.77
€ 67.77