Computer science
Results 9721 - 9744 of 16992
Computer science
Local Features in Natural Images via Singularity Theory
Giblin, Peter; Damon, James; Haslinger, Garet...
Paperback. Series: Lecture Notes in Mathematics. Num Pages: 265 pages, 57 black & white illustrations, 50 colour illustrations, biography. BIC Classification: PBWH; UYA; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 265
- Condition
- New
- SKU
- V9783319414706
- ISBN
- 9783319414706
Paperback
Condition: New
€ 63.31
€ 63.31
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 111 pages, 26 black & white illustrations, 7 colour illustrations, 10 black & white tables, biograph. BIC Classification: UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 186.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 111
- Condition
- New
- SKU
- V9783662491713
- ISBN
- 9783662491713
Paperback
Condition: New
€ 72.61
€ 72.61
Localized Quality of Service Routing for the Internet
Nelakuditi, Srihari (Department Of Computer S...
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 107 pages, biography. BIC Classification: PBKQ; THR; UB; UKN; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 7. Weight in Grams: 207.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 107
- Condition
- New
- SKU
- V9781461350491
- ISBN
- 9781461350491
Paperback
Condition: New
€ 62.62
€ 62.62
Hardback. As the most complete text on closed form solutions of linear partial differential equations, this book's coverage of the generalization of Loewy's decomposition includes more than fifty worked out examples and exercises in addition to their solutions. Series: Texts and Monographs in Symbolic Computation. Num Pages: 248 pages, biography. BIC Classification: PBKJ; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 248
- Condition
- New
- SKU
- V9783709112854
- ISBN
- 9783709112854
Hardback
Condition: New
€ 122.53
€ 122.53
Paperback. Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991 Editor(s): Bauer, Friedrich L.; Brauer, Wilfried; Schwichtenberg, Helmut. Series: NATO ASI Subseries F. Num Pages: 442 pages, biography. BIC Classification: UKN; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 23. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 442
- Condition
- New
- SKU
- V9783642634482
- ISBN
- 9783642634482
Paperback
Condition: New
€ 187.21
€ 187.21
Paperback. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 371 pages, biography. BIC Classification: PBCD; PBD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 20. Weight in Grams: 534.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 371
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 2004
- Condition
- New
- SKU
- V9781447110521
- ISBN
- 9781447110521
Paperback
Condition: New
€ 196.57
€ 196.57
Paperback. Num Pages: 672 pages. BIC Classification: TJFD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 237 x 177 x 23. Weight in Grams: 874.
- Publisher
- Pearson Education Limited United Kingdom
- Number of pages
- 672
- Format
- Paperback
- Publication date
- 2015
- Edition
- 5th edition
- Condition
- New
- SKU
- V9781292096070
- ISBN
- 9781292096070
Paperback
Condition: New
€ 109.76
€ 109.76
Paperback. A concise yet rigorous introduction to logic and discrete mathematics. Num Pages: 376 pages. BIC Classification: PBCD; PBD. Category: (P) Professional & Vocational. Dimension: 245 x 192 x 25. Weight in Grams: 882.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 420
- Condition
- New
- SKU
- V9781118751275
- ISBN
- 9781118751275
Paperback
Condition: New
€ 52.06
€ 52.06
Paperback. Editor(s): Lodaya, Kamal. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 269 pages, 18 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYQ; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783642360381
- ISBN
- 9783642360381
Paperback
Condition: New
€ 58.64
€ 58.64
Paperback. Editor(s): Banerjee, Mohua. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 246 pages, 24 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 384.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9783662458235
- ISBN
- 9783662458235
Paperback
Condition: New
€ 63.97
€ 63.97
Paperback. Editor(s): Ghosh, Sujata; Prasad, Sanjiva. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, 28 black & white illustrations, biography. BIC Classification: UGK; UMB; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783662540688
- ISBN
- 9783662540688
Paperback
Condition: New
€ 63.36
€ 63.36
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). This title deals with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure for logics; alternation; algorithms and complexity; and, programming languages and program analysis. Editor(s): Constable, Robert L.; Silva, Alexandra. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 370 pages, 45 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 529.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783642294846
- ISBN
- 9783642294846
Paperback
Condition: New
€ 64.46
€ 64.46
Paperback. Editor(s): Dalla Chiara, Maria Luisa; Doets, Kees; Mundici, Daniele; Benthem, Johan van. Series: Synthese Library. Num Pages: 534 pages, biography. BIC Classification: HPL; PBC; PDA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 534
- Condition
- New
- SKU
- V9789048147861
- ISBN
- 9789048147861
Paperback
Condition: New
€ 241.11
€ 241.11
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 64.58
€ 64.58
Hardcover.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9781461430872
- ISBN
- 9781461430872
Hardback
Condition: New
€ 65.06
€ 65.06
Hardback. Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. Num Pages: 384 pages. BIC Classification: HPL; PB; UY. Category: (P) Professional & Vocational. Dimension: 179 x 252 x 23. Weight in Grams: 734.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118880005
- ISBN
- 9781118880005
Hardback
Condition: New
€ 65.86
€ 65.86
Paperback. Editor(s): Meyer, Albert R.; Taitslin, Michael A. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 16. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540512370
- ISBN
- 9783540512370
Paperback
Condition: New
€ 67.01
€ 67.01
Paperback. The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation. Editor(s): Lau, Kung-Kiu. Series: Lecture Notes in Computer Science. Num Pages: 196 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 196
- Condition
- New
- SKU
- V9783540421276
- ISBN
- 9783540421276
Paperback
Condition: New
€ 63.23
€ 63.23
Paperback. These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis. Editor(s): Pettorossi, Alberto. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540439158
- ISBN
- 9783540439158
Paperback
Condition: New
€ 66.58
€ 66.58
Hardback. This book covers combinational circuits, latches, and asynchronous sequential circuits, reviewing orthodox and unorthodox approaches to circuit design, exploring the theory of latches and examining asynchronous circuits in tree specification. Num Pages: 258 pages, biography. BIC Classification: PBW; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 573.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 258
- Condition
- New
- SKU
- V9783642276569
- ISBN
- 9783642276569
Hardback
Condition: New
€ 122.56
€ 122.56
Hardback. Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc. Num Pages: 536 pages, Illustrations. BIC Classification: TJF; UYQ. Category: (G) General (US: Trade). Dimension: 242 x 167 x 34. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 544
- Condition
- New
- SKU
- V9781848213012
- ISBN
- 9781848213012
Hardback
Condition: New
€ 235.32
€ 235.32
Paperback. Editor(s): De Queiroz, R. J. Series: Trends in Logic. Num Pages: 285 pages, biography. BIC Classification: HPL; PBCD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 285
- Condition
- New
- SKU
- V9789401740005
- ISBN
- 9789401740005
Paperback
Condition: New
€ 121.91
€ 121.91
Paperback. Series: Cognitive Technologies. Num Pages: 267 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642075537
- ISBN
- 9783642075537
Paperback
Condition: New
€ 63.78
€ 63.78