Computer science
Results 2941 - 2960 of 3256
Computer science
Hardback. This work is divided into five parts: technology overviews; acoustic modelling of fundamental speech units and lexical modelling of words and pronunciations; flexibility and robustness; search; and algorithm and implementational aspects for recognition-system realization. Editor(s): Lee, Chin-Hui; Soong, Frank K. (AT&T Bell Laboratories, Murray Hill, NJ, USA); Paliwal, Kuldip. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 518 pages, biography. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 30. Weight in Grams: 923.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 518
- Condition
- New
- SKU
- V9780792397069
- ISBN
- 9780792397069
Hardback
Condition: New
€ 259.87
€ 259.87
Hardback. Presents an approach to the problem of automatically estimating the performance of parallel computer programs. This book focuses on distributed memory multiprocessor systems, and introduces an approach for predicting the performance parameters of parallel programs, including work distribution, number of transfers, and amount of data transferred. Num Pages: 272 pages, biography. BIC Classification: UNC; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1310.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9780792397083
- ISBN
- 9780792397083
Hardback
Condition: New
€ 133.42
€ 133.42
Paperback. Contains 11 contributions which deal with true automatic parallelization, and the focus is on automatic methods. Some of the questions under discussion are: up to which degree is automatic parallelization for DMS possible today? In which cases can knowledge-based methods help? Editor(s): Kessler, Christoph W. Series: Vieweg Advanced Studies in Computer Science. Num Pages: 224 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 210 x 148 x 12. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Germany
- Number of pages
- 224
- Condition
- New
- SKU
- V9783528054014
- ISBN
- 9783528054014
Paperback
Condition: New
€ 127.90
€ 127.90
Hardback. Including design reuse of the Alpha CPU in 0.13 micron SOI technology, this title helps to improve some of the practices in chip design. It offers a comprehensive reference work on Automatic Layout Modification which can be useful to VLSI courses at universities, and to CAD and circuit engineers and engineering managers. Num Pages: 226 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 226
- Condition
- New
- SKU
- V9781402070914
- ISBN
- 9781402070914
Hardback
Condition: New
€ 132.38
€ 132.38
Automatic Extraction of Man-Made Objects from Aerial Space Images
. Ed(S): Gruen, Armin; Kuebler, Olaf; Agouris...
Hardback. Advancements in digital sensor technology, digital image analysis techniques, as well as computer software and hardware have brought together the fields of computer vision and photogrammetry. This book offers a comprehensive selection of contributions, treating theoretical as well as implementational issues. Editor(s): Gruen, Armin; Kuebler, Olaf; Agouris, Peggy. Series: Monte Verita. Num Pages: 331 pages, biography. BIC Classification: RGV; TTB; UNC; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783764352646
- ISBN
- 9783764352646
Hardback
Condition: New
€ 202.28
€ 202.28
Automatic Extraction of Man-Made Objects from Aerial and Space Images ...
. Ed(S): Baltsavias, E. P.; Henricsson, O.
Hardback. This text contains contributions from around the world, which cover both theoretical and practical aspects of removing man-made objects (buildings, roads and so on) from digital aerial or satellite imagery. Editor(s): Baltsavias, E. P.; Henricsson, O. Series: Monte Verita. Num Pages: 405 pages, biography. BIC Classification: RGV; RGW; TTB; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 405
- Condition
- New
- SKU
- V9783764357887
- ISBN
- 9783764357887
Hardback
Condition: New
€ 257.35
€ 257.35
Hardback. Presents a culmination of over five years of the author's research and experience in the Web domain. This work offers a look at automated web site evaluation methodologies and software tools from both the researcher's and practitioner's perspectives. It summarizes surveys and analyses of automated web site evaluation methodologies and tools. Series: Human-Computer Interaction Series. Num Pages: 227 pages, 50 black & white illustrations, biography. BIC Classification: UG; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 227
- Condition
- New
- SKU
- V9781402016721
- ISBN
- 9781402016721
Hardback
Condition: New
€ 129.47
€ 129.47
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 129.80
€ 129.80
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 70.55
€ 70.55
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 137.34
€ 137.34
Hardback. This text documents advances in the understanding of automated theorem provers that are capable of proofs by mathematical induction. The book provides a tutorial study of the Boyer-Moore theorem prover, and novel ideas that could be used to build theorem provers more powerful than this one. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF AUTOMATED REASONING 16:
- Number of pages
- 222
- Condition
- New
- SKU
- V9780792340102
- ISBN
- 9780792340102
Hardback
Condition: New
€ 132.22
€ 132.22
Paperback. A Basis for Applications. Foundations - Calculi and Methodss; Systems and Implementation Techniques. Series: Applied Logic Series. 347 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: UYQ. Dimension: 242 x 160 x 26. Weight: 650.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351313
- ISBN
- 9780792351313
Paperback
Condition: New
€ 200.93
€ 200.93
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 69.92
€ 69.92
Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9780792351306
- ISBN
- 9780792351306
Hardback
Condition: New
€ 258.12
€ 258.12
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 259.27
€ 259.27
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 919 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 919
- Condition
- New
- SKU
- V9783540705741
- ISBN
- 9783540705741
Paperback
Condition: New
€ 244.51
€ 244.51
Hardcover. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 413 pages, biography. BIC Classification: TJFM1; UYA; UYQM. Category: (UU) Undergraduate. Dimension: 262 x 182 x 38. Weight in Grams: 974.
- Publisher
- Springer-Verlag New York Inc. United States
- Format
- Hardback
- Publication date
- 1997
- Edition
- 1st. ed. 1997. Corr. 8th printing 2007
- Condition
- New
- SKU
- V9780387949079
- ISBN
- 9780387949079
Hardback
Condition: New
€ 103.87
€ 103.87
Paperback. Start designing today with this hands-on beginner's guide to AutoCAD Civil 3D 2016 AutoCAD Civil 3D 2016 Essentials gets you quickly up to speed with the features and functions of this industry-leading civil engineering software. Num Pages: 416 pages, illustrations. BIC Classification: UGC; UYT. Category: (P) Professional & Vocational. Dimension: 233 x 188 x 23. Weight in Grams: 954.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119059592
- ISBN
- 9781119059592
Paperback
Condition: New
€ 49.99€ 39.02
€ 49.99
€ 39.02
Paperback. Num Pages: 552 pages. BIC Classification: UYV. Category: (P) Professional & Vocational. Dimension: 229 x 178 x 0. .
- Publisher
- Pearson Education (US)
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780321883575
- ISBN
- 9780321883575
Paperback
Condition: New
€ 56.47
€ 56.47
Hardback. Editor(s): Hughes, Raymond. Num Pages: 124 pages. BIC Classification: UMZ; UYV. Category: (P) Professional & Vocational. Dimension: 230 x 155. .
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 124
- Format
- Hardback
- Publication date
- 2015
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634829021
- ISBN
- 9781634829021
Hardback
Condition: New
€ 187.91€ 141.61
€ 187.91
€ 141.61