Computer science
Results 13225 - 13248 of 16990
Computer science
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New...
. Ed(S): Kurshan, R. P.; Clarke, E.M.
paperback. This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification. Editor(s): Kurshan, R. P.; Clarke, E.M. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- 1991st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540544777
- ISBN
- 9783540544777
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Consists of papers presented at an International Workshop on Computer Aided Scheduling of Public Transport, held in Massachusetts in 1997. It reflects the greater roles played by computers in the full spectrum of scheduling problems, and societal demand for greater access to public transport. Editor(s): Wilson, N.H.M. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 475 pages, biography. BIC Classification: KNG; RPT; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 475
- Condition
- New
- SKU
- V9783540657750
- ISBN
- 9783540657750
Paperback
Condition: New
€ 124.26
€ 124.26
paperback. This volume gives an overview of new theoretical approaches on computer-aided methods for strategic and operational planning in public mass transit. The important steps of the complete process on planning and operational control are also presented here. Editor(s): Daduna, Joachim R.; Branco, Isabel; Paixao, Jose M. P. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 388 pages, 116 black & white illustrations. BIC Classification: KNG; PBW; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540601937
- ISBN
- 9783540601937
Paperback
Condition: New
€ 64.85
€ 64.85
Paperback. This volume of conference proceedings describes the latest advances in computer-aided research on transit vehicle and crew scheduling, and its implications for the transit industry. It describes the type of database required for transit operations. Editor(s): Desrochers, Martin; Rousseau, Jean-Marc. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 446 pages, 49 black & white illustrations, biography. BIC Classification: KC; KJT; KNG; UY. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 244 x 170 x 23. Weight in Grams: 773.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 446
- Condition
- New
- SKU
- V9783540556343
- ISBN
- 9783540556343
Paperback
Condition: New
€ 123.83
€ 123.83
Hardback. This book covers computer-aided three-dimensional tissue modeling, tissue classification and tissue fabrication and implantation. Reviews rapid prototyping and direct digital fabrication for cell and organs, construction of tissue analogs and more. Editor(s): Liebschner, Michael A.K.; Kim, Daniel H., MD. Series: Methods in Molecular Biology. Num Pages: 360 pages, 19 black & white tables, biography. BIC Classification: MQW; TCB; UY. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 891.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Humana Press Inc. United States
- Number of pages
- 360
- Condition
- New
- SKU
- V9781617797637
- ISBN
- 9781617797637
Hardback
Condition: New
€ 124.79
€ 124.79
Paperback. Editor(s): Voss, Stefan; Daduna, Joachim R. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 477 pages, 48 black & white illustrations, 1 colour illustrations, biography. BIC Classification: KNG; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 477
- Condition
- New
- SKU
- V9783540422433
- ISBN
- 9783540422433
Paperback
Condition: New
€ 128.32
€ 128.32
Hardback. Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 337
- Condition
- New
- SKU
- V9780792378495
- ISBN
- 9780792378495
Hardback
Condition: New
€ 245.34
€ 245.34
Hardcover. Provides an overview of computer-aided analysis and the role of decision-aiding software in the legal process. Nagel deals with judicial prediction from prior cases and from present facts; and he emphasizes the prescribing role of judges, and covers computer-aided mediation. Num Pages: 392 pages, black & white illustrations. BIC Classification: 1DBKE; 1DBKW; LNA; UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 25. Weight in Grams: 747. "Includes bibliographical references (p. [357]-364) and indexes. Commissioning organisation: Stuart S. Nagel. xx, 372 p. 24 cm. Publishers cloth. Fine clean copy with bright gilt title on spine and front board, well defined edges and tight binding, clean and crisp pages." Keywords: "Business, Finance & Law - Law - English,Subjects - Business, Finance & Law - Law - English - General,Subjects - Business, Finance & Law - Law - English - Legal System -"
- Condition
- Used, Very Good
- Publisher
- Greenwood Press Dublin, Ireland
- Number of pages
- 394
- Format
- Hardback
- Publication date
- 1992
- SKU
- KEX0140160
- ISBN
- 9780899306704
Hardback
Condition: Used, Very Good
€ 52.67
€ 52.67
Hardcover. Intelligent recognition methods have recently proven to be indispensable in a variety of modern industries, including computer vision, robotics, medical imaging, visualization and the media. Furthermore, they play a critical role in the traditional fields such as character recognition, natural language processing and personal identification. Editor(s): Sarfraz, Muhammad. Num Pages: 518 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 249 x 175 x 33. Weight in Grams: 1114.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 518
- Condition
- New
- SKU
- V9780470094143
- ISBN
- 9780470094143
Hardback
Condition: New
€ 188.58
€ 188.58
Paperback. Editor(s): Cascini, Gaetano. Series: IFIP Advances in Information and Communication Technology. Num Pages: 270 pages, biography. BIC Classification: UGC; UMZ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 270
- Condition
- New
- SKU
- V9781441935199
- ISBN
- 9781441935199
Paperback
Condition: New
€ 121.55
€ 121.55
Hardback. Constitutes the refereed proceedings of the IFIP WG 5.4/TC 5 Second Topical Session on Computer-Aided Innovation held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008. This book features proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields. Editor(s): Cascini, Gaetano. Series: IFIP Advances in Information and Communication Technology. Num Pages: 270 pages, biography. BIC Classification: UGC; UMZ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1230.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 270
- Condition
- New
- SKU
- V9780387096964
- ISBN
- 9780387096964
Hardback
Condition: New
€ 126.89
€ 126.89
Hardback. This text presents a methodology for low power design. The authors first present a survey of techniques for estimating the average power dissipation of a logic circuit. A symbolic simulation method that accurately computes the average switching activity in logic circuits is then described. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 181 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 12. Weight in Grams: 1030.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 181
- Condition
- New
- SKU
- V9780792398295
- ISBN
- 9780792398295
Hardback
Condition: New
€ 189.75
€ 189.75
Paperback. Investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system of computer-aided design: requirements engineering, early-stage design, detailed design, development, deployment, evaluation, and maintenance. Editor(s): Lopez-Jaquero, Victor; Montero Simarro, Francisco; Masso, Jose Pascual Molina; Vanderdonckt, Jean. Num Pages: 328 pages, 139 black & white illustrations, 27 black & white tables, biography. BIC Classification: UGC; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 328
- Condition
- New
- SKU
- V9781849968263
- ISBN
- 9781849968263
Paperback
Condition: New
€ 238.27
€ 238.27
Paperback. Editor(s): Calvary, Gaelle; Pribeanu, Costin; Santucci, Giuseppe; Vanderdonckt, Jean. Num Pages: 312 pages, biography. BIC Classification: UGC; UL; UMZ; UNH; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 312
- Condition
- New
- SKU
- V9789401784870
- ISBN
- 9789401784870
Paperback
Condition: New
€ 121.96
€ 121.96
Hardback. Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI '2004 13-16 January 2004, Funchal, Isle of Madeira Editor(s): Jacob, Robert J. K. (Tufts University); Limbourg, Quentin; Vanderdonckt, Jean. Num Pages: 374 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 374
- Condition
- New
- SKU
- V9781402031458
- ISBN
- 9781402031458
Hardback
Condition: New
€ 244.25
€ 244.25
Paperback. Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces, 21-23 October 1999, Louvain-la-Neuve, Belgium Editor(s): Vanderdonckt, Jean; Puerta, Angel. Num Pages: 363 pages, biography. BIC Classification: UGC; UMA; UML; UYZG. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 19. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 363
- Condition
- New
- SKU
- V9789401058612
- ISBN
- 9789401058612
Paperback
Condition: New
€ 64.75
€ 64.75
Paperback. Proceedings of the Fourth International Conference on Computer-Aided Design of User Interfaces, 15-17 May 2002, Valenciennes, France Editor(s): Kolski, Christophe; Vanderdonckt, Jean. Num Pages: 399 pages, biography. BIC Classification: UG; UML; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 21. Weight in Grams: 636.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 399
- Condition
- New
- SKU
- V9789401039154
- ISBN
- 9789401039154
Paperback
Condition: New
€ 122.71
€ 122.71
paperback. Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI '2004 13-16 January 2004, Funchal, Isle of Madeira Editor(s): Jacob, Robert J. K. (Tufts University); Limbourg, Quentin; Vanderdonckt, Jean. Num Pages: 386 pages, black & white illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 386
- Condition
- New
- SKU
- V9789048168071
- ISBN
- 9789048168071
Paperback
Condition: New
€ 240.43
€ 240.43
Hardback. Investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system: requirements engineering, early-stage design, detailed design, development, deployment, evaluation, and maintenance. Editor(s): Lopez Jacquero, Victor; Montero Simarro, Francisco; Masso, Jose Pascual Molina; Vanderdonckt, Jean. Num Pages: 328 pages, 139 black & white illustrations, 27 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 328
- Condition
- New
- SKU
- V9781848822054
- ISBN
- 9781848822054
Hardback
Condition: New
€ 243.79
€ 243.79
Computer-Aided Design of Microfluidic Very Large Scale Integration (MV...
Hu, Kai; Chakrabarty, Krishnendu; Ho, Tsung-Y...
Hardback. Num Pages: 128 pages, 8 black & white illustrations, 55 colour illustrations, biography. BIC Classification: MQW; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 128
- Condition
- New
- SKU
- V9783319562544
- ISBN
- 9783319562544
Hardback
Condition: New
€ 121.99
€ 121.99
Computer-Aided Architectural Design: The Next City – New Technologie...
. Ed(S): Celani, Gabriela; Sperling, David Mo...
paperback. Editor(s): Celani, Gabriela; Sperling, David Moreno; Franco, Juarez Moara Santos. Series: Communications in Computer and Information Science. Num Pages: 636 pages, 380 black & white illustrations, biography. BIC Classification: AMC; UGC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Germany
- Edition
- 2015th Edition
- Number of pages
- 636
- Condition
- New
- SKU
- V9783662473856
- ISBN
- 9783662473856
Paperback
Condition: New
€ 66.65
€ 66.65
Hardcover. This book is a comprehensive, modern reference source containing applications of computerized symbolic manipulations for analyzing the stability of a wide range of difference schemes. The authors provide specific characteristics of each scheme and their application to real world problems. Num Pages: 458 pages, Ill. BIC Classification: PBKJ; TBJ; TRP; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 167 x 36. Weight in Grams: 816.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 458
- Condition
- New
- SKU
- V9780471129462
- ISBN
- 9780471129462
Hardback
Condition: New
€ 251.51
€ 251.51
Paperback. Editor(s): Torras, Carme. Num Pages: 455 pages, black & white illustrations. BIC Classification: TBC; TJFM; UGC; UML; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 702.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 455
- Condition
- New
- SKU
- V9783642486777
- ISBN
- 9783642486777
Paperback
Condition: New
€ 123.36
€ 123.36
Hardcover. A modern treatment focusing on learning and inference, with minimal prerequisites, real-world examples and implementable algorithms. Num Pages: 598 pages, 357 colour illus. 5 tables 201 exercises. BIC Classification: UYQV. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 255 x 187 x 32. Weight in Grams: 1428. Models, Learning, and Inference. 598 pages, 357 colour illus. 5 tables 201 exercises. A modern treatment focusing on learning and inference, with minimal prerequisites, real-world examples and implementable algorithms. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYQV. Dimension: 255 x 187 x 32. Weight: 1422.
- Publisher
- Cambridge University Press
- Number of pages
- 598
- Format
- Hardback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107011793
- ISBN
- 9781107011793
Hardback
Condition: New
€ 90.64
€ 90.64