Computer science
Results 13585 - 13608 of 16981
Computer science
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
Computer Aided Learning and Instruction in Science and Engineering
. Ed(S): Sanchez, Arantza Diaz de Ilarraza; C...
Paperback. This text comprises the proceedings of the Third International Conference, CALISCE '96, held in San Sebastian, Spain, between July 29-31, 1996. Topics covered include: modelling and design; authoring and development tools and techniques; and CAL in distance learning. Editor(s): Sanchez, Arantza Diaz De Ilarraza; Castro, Isabel Fernandez De. Series: Lecture Notes in Computer Science. Num Pages: 485 pages, biography. BIC Classification: JNV; TBC; UY. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 485
- Condition
- New
- SKU
- V9783540614913
- ISBN
- 9783540614913
Paperback
Condition: New
€ 70.54
€ 70.54
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: MB; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 1970
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662244043
- ISBN
- 9783662244043
Paperback
Condition: New
€ 68.86
€ 68.86
Paperback. Proceedings of the 2nd International Workshop on the Numerical Solution of Markov Chains Editor(s): Stewart, William J. Num Pages: 600 pages, biography. BIC Classification: PBT; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 937.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 600
- Condition
- New
- SKU
- V9781461359432
- ISBN
- 9781461359432
Paperback
Condition: New
€ 188.84
€ 188.84
Hardcover. Soft computing is an emerging collection of methodologies that exploit tolerances for imprecision, uncertainty, and partial truth to achieve robustness, tractability, and low total cost. Hard computing solutions are usually more straightforward to analyze, and feature more predictable behavior and stability. Editor(s): Ovaska, Seppo J. Series: IEEE Press Series on Computational Intelligence. Num Pages: 410 pages. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 21. Weight in Grams: 737.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 410
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471476689
- ISBN
- 9780471476689
Hardback
Condition: New
€ 193.41
€ 193.41
Paperback. With contributions by numerous experts Num Pages: 459 pages, 11 black & white tables, biography. BIC Classification: JNV; MBP; UML; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 459
- Condition
- New
- SKU
- V9783642641497
- ISBN
- 9783642641497
Paperback
Condition: New
€ 65.74
€ 65.74
Computational Visualistics, Media Informatics, and Virtual Communities
. Ed(S): Schneider, Jochen; Strothotte, Thoma...
Paperback. Editor(s): Schneider, Jochen; Strothotte, Thomas; Marotzki, Winfried. Series: Bildwissenschaft. Num Pages: 133 pages, 36 black & white illustrations, 1 black & white tables, biography. BIC Classification: JN; UYT. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 7. Weight in Grams: 184.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Deutscher Universitats-Verlag Germany
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 133
- Condition
- New
- SKU
- V9783824445509
- ISBN
- 9783824445509
Paperback
Condition: New
€ 62.32
€ 62.32
Paperback. Editor(s): Hu, Shi-Min; Martin, Ralph. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 280 pages, 116 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783642342622
- ISBN
- 9783642342622
Paperback
Condition: New
€ 82.30
€ 82.30