Computer science
Results 3193 - 3216 of 3547
Computer science
Paperback. Editor(s): Basin, David; Rusinowith, Michael. Series: Lecture Notes in Computer Science. Num Pages: 503 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 503
- Condition
- New
- SKU
- V9783540223450
- ISBN
- 9783540223450
Paperback
Condition: New
€ 129.23
€ 129.23
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
€ 126.18
€ 126.18
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
€ 66.61
€ 66.61
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
€ 232.48
€ 232.48
Paperback. The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language theory and various issues involved in the implementation of automata of all types. Editor(s): Yu, Sheng; Raymond, Darrell; Wood, Derick. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540631743
- ISBN
- 9783540631743
Paperback
Condition: New
€ 65.30
€ 65.30
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
€ 100.21
€ 100.21
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
€ 50.99€ 38.93
€ 50.99
€ 38.93
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
€ 55.72
€ 55.72
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
€ 189.70€ 142.25
€ 189.70
€ 142.25
Paperback. In this book, Dr. Helen Papagiannis shares stories from inside and outside research labs, spanning a decade of work as a designer, researcher, and public speaker. In nontechnical terms, she highlights and expands upon the inventions and ideas that will forever change the way we live, work, and play. Num Pages: 200 pages. BIC Classification: UYV. Category: (P) Professional & Vocational. Dimension: 229 x 152. .
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491928325
- ISBN
- 9781491928325
Paperback
Condition: New
€ 42.99€ 30.49
€ 42.99
€ 30.49
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 20. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Vieweg+teubner Verlag United States
- Edition
- 2
- Condition
- New
- SKU
- V9783528143886
- ISBN
- 9783528143886
Paperback
Condition: New
€ 60.64
€ 60.64
Book. Editor(s): Schelp, Joachim; Winter, Robert (Addenbrookes Nhs Trust Cambridge UK). Num Pages: XI, 507 S. 166 Abb. BIC Classification: KJMV3; UF; UNH; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 29. Weight in Grams: 903.
- Publication date
- 2004
- Publisher
- Physica-Verlag GmbH & Co Germany
- Condition
- New
- SKU
- V9783790815641
- ISBN
- 9783790815641
Paperback
Condition: New
€ 138.10
€ 138.10
Hardback. Describes a speech-enabling approach that separates computation from the user interface and integrates speech into the human-computer interaction. This book presents the Auditory User Interface (AUI) that works with the computational core of the application. It is intended for engineers designing and implementing computer systems that speak. Num Pages: 142 pages, biography. BIC Classification: UYU; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 415.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 142
- Condition
- New
- SKU
- V9780792399841
- ISBN
- 9780792399841
Hardback
Condition: New
€ 124.86
€ 124.86
Hardcover. Going beyond current literature, this book extends internal controls to efficiency and profitability. Offers an audit guide for an SAP ERP system, covers risks and control descriptions, and shows how to automate compliance management based on SAP GRC. Num Pages: 525 pages, biography. BIC Classification: JPP; KF; UBL; UYZM. Category: (P) Professional & Vocational. Dimension: 247 x 172 x 35. Weight in Grams: 1066.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 650
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642353017
- ISBN
- 9783642353017
Hardback
Condition: New
€ 260.84€ 159.11
€ 260.84
€ 159.11
Paperback. .
- Publisher
- Taylor & Francis Ltd
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781138100114
- ISBN
- 9781138100114
Paperback
Condition: New
€ 72.46
€ 72.46
Hardback. This book is the first introduction/reference to the computer simulation of glass materials, which are growing in their applications such as telephone technology, construction materials, aerospace materials and more. Num Pages: 300 pages. BIC Classification: TDCQ; UYM. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2022
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 300
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781118939062
- ISBN
- 9781118939062
Hardback
Condition: New
€ 208.53
€ 208.53
And although McLay remains unsure why or how, his experiences hold out hope for those suffering from this devastating disorder. Num Pages: 216 pages. BIC Classification: JWXV; MMJT; UYV. Category: (G) General (US: Trade). Dimension: 146 x 222 x 19. Weight in Grams: 382.
- Publication date
- 2012
- Publisher
- Johns Hopkins University Press United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9781421405575
- ISBN
- 9781421405575
Hardback
Condition: New
€ 35.63
€ 35.63
hardcover. Offers an analysis of asynchronous circuit family. This book covers circuit theory, practical circuits, design tools and includes an example of the design of a simple asynchronous microprocessor using the circuit family. It is useful to industrial and academic researcher working on high-speed VLSI systems. Num Pages: 232 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402070686
- ISBN
- 9781402070686
Hardback
Condition: New
€ 126.33
€ 126.33
Hardback. BIC Classification: UY. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781786300973
- ISBN
- 9781786300973
Hardback
Condition: New
€ 169.09
€ 169.09
Hardback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 132 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 880.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 132
- Condition
- New
- SKU
- V9780792392224
- ISBN
- 9780792392224
Hardback
Condition: New
€ 124.61
€ 124.61
Hardback. Focuses on how to specify assertions, how to create and adopt a methodology that supports assertion-based design, and what to do with the assertions and methodology. This title offers multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera System Verilog. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 390 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 28. Weight in Grams: 726.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 2004
- Number of pages
- 390
- Condition
- New
- SKU
- V9781402080272
- ISBN
- 9781402080272
Hardback
Condition: New
€ 193.19
€ 193.19
Paperback. Num Pages: 280 pages, 28 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 235 x 191 x 15. Weight in Grams: 552.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2nd ed.
- Condition
- New
- SKU
- V9781484201107
- ISBN
- 9781484201107
Paperback
Condition: New
€ 81.47
€ 81.47
Paperback. Num Pages: 227 pages, 6 black & white illustrations, 3 black & white tables. BIC Classification: TJF; UYQ. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 154 x 234 x 21. Weight in Grams: 394.
- Publisher
- Apple Academic Press Inc.
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781482234435
- ISBN
- 9781482234435
Paperback
Condition: New
€ 50.14
€ 50.14
Hardback. Editor(s): Cain, Gayle. Num Pages: 221 pages. BIC Classification: UYQN. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 230 x 155. .
- Publisher
- Nova Science Publishers Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634859646
- ISBN
- 9781634859646
Hardback
Condition: New
€ 241.87€ 180.65
€ 241.87
€ 180.65