Computer science
Results 13585 - 13608 of 16989
Computer science
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
€ 127.73
€ 127.73
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UB; UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540705437
- ISBN
- 9783540705437
Paperback
Condition: New
€ 161.48
€ 161.48
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
€ 66.61
€ 66.61
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
€ 130.12
€ 130.12
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
€ 128.77
€ 128.77
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
€ 68.39
€ 68.39
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
€ 125.97
€ 125.97
Paperback. A volume of conference proceedings organized into different sections on real-time systems, computer aided verification (CAV) theory and applications, symbolic verification, hybrid systems, model checking, improving efficiency and hardware verification. Editor(s): Dill, David L. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783540581796
- ISBN
- 9783540581796
Paperback
Condition: New
€ 70.62
€ 70.62
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
€ 131.61
€ 131.61
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
€ 130.94
€ 130.94
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
€ 129.66
€ 129.66
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
€ 67.45
€ 67.45
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
€ 65.41
€ 65.41
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
€ 127.38
€ 127.38
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
€ 65.86
€ 65.86
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
€ 66.21
€ 66.21
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
€ 67.76
€ 67.76
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
€ 66.06
€ 66.06
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
€ 66.02
€ 66.02
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
€ 67.23
€ 67.23
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 950 pages, biography. BIC Classification: UGC; UGK; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 950
- Condition
- New
- SKU
- V9783642047718
- ISBN
- 9783642047718
Paperback
Condition: New
€ 191.30
€ 191.30
Paperback. The 'Asian Conference on Computer Aided Surgery' ('ACCAS') series provides a forum for academic researchers, clinical scientists, surgeons, and industrial partners to exchange new ideas, techniques, and developments in the field. This title intends to advance the utilization of computers in the development of new technologies for medical services. Editor(s): Dohi, Takeyoshi; Liao, Hongen. Series: Proceedings in Information and Communications Technology. Num Pages: 155 pages, 121 black & white illustrations, 10 black & white tables, biography. BIC Classification: MN; TJF; UGC; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 155
- Condition
- New
- SKU
- V9784431540939
- ISBN
- 9784431540939
Paperback
Condition: New
€ 63.10
€ 63.10
Paperback / so. Editor(s): Scheer, August-Wilhelm; Spath, Dieter (Fraunhofer Institute for Industrial Engineering, Germany); Herrmann, K. Num Pages: 320 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; UB; UDB; UF; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 18. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642620539
- ISBN
- 9783642620539
Paperback
Condition: New
€ 74.85
€ 74.85
Paperback. Bridging the gap between logical design and VLSI design, this text has been revised to reflect recent computer engineering developments. It includes new information on CAD tools, PLAs, NMOs and standard-cell CMOS methodologies. Num Pages: 560 pages, Illustrations. BIC Classification: TJFC; UGC; UY. Category: (UU) Undergraduate. Dimension: 256 x 181 x 31. Weight in Grams: 954.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 4th Edition
- Number of pages
- 560
- Condition
- New
- SKU
- V9780471575276
- ISBN
- 9780471575276
Paperback
Condition: New
€ 295.62
€ 295.62