.png){kind=logo}
Computing
Results 13825 - 13848 of 30847
Computing
Paperback. This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation. Editor(s): Ganzinger, Harald. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 452 pages, biography. BIC Classification: UM; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540662228
- ISBN
- 9783540662228
Paperback
Condition: New
€ 73.16
€ 73.16
Paperback. Series: Mathematics and its Applications. Num Pages: 373 pages, biography. BIC Classification: GBC; HP; PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 373
- Condition
- New
- SKU
- V9789401075619
- ISBN
- 9789401075619
Paperback
Condition: New
€ 128.83
€ 128.83
Paperback. Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 194 pages, biography. BIC Classification: PBKS; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 194
- Condition
- New
- SKU
- V9783642005145
- ISBN
- 9783642005145
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 12. Weight in Grams: 377.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 222
- Condition
- New
- SKU
- V9789401072502
- ISBN
- 9789401072502
Paperback
Condition: New
€ 127.28
€ 127.28
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.26
€ 132.26
On-Chip Interconnect with aelite: Composable and Predictable Systems
Hansson, Andreas; Goossens, Kees
hardcover. This book provides a comprehensive description and implementation methodology for the Philips/NXP Aethereal/aelite Network-on-Chip. It uses real-world illustrations in the form of case studies and examples that communicate the power of the methods presented. Series: Embedded Systems. Num Pages: 210 pages, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 488.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- 2011th Edition
- Number of pages
- 210
- Condition
- New
- SKU
- V9781441964960
- ISBN
- 9781441964960
Hardback
Condition: New
€ 198.19
€ 198.19
On-Chip Interconnect with aelite: Composable and Predictable Systems
Hansson, Andreas; Goossens, Kees
paperback. This book provides a comprehensive description and implementation methodology for the Philips/NXP Aethereal/aelite Network-on-Chip. It uses real-world illustrations in the form of case studies and examples that communicate the power of the methods presented. Series: Embedded Systems. Num Pages: 210 pages, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Number of pages
- 210
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9781461427117
- ISBN
- 9781461427117
Paperback
Condition: New
€ 138.78
€ 138.78
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 297 x 210 x 16. Weight in Grams: 721.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 3
- Condition
- New
- SKU
- V9783528242572
- ISBN
- 9783528242572
Paperback
Condition: New
€ 74.72
€ 74.72
paperback. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2. Aufl. 1988
- Condition
- New
- SKU
- V9783528144326
- ISBN
- 9783528144326
Paperback
Condition: New
€ 71.81
€ 71.81
Hardback. This introduction to computational neuroscience equips readers with a solid understanding of techniques for modeling the nervous system at the membrane, cellular and network level. Covers membrane biophysics, systems theory and artificial neural networks. Series: Springer Series in Bio-Neuroinformatics. Num Pages: 135 pages, biography. BIC Classification: GPFC; PSAN; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 169 x 15. Weight in Grams: 418.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 135
- Condition
- New
- SKU
- V9783319008608
- ISBN
- 9783319008608
Hardback
Condition: New
€ 116.04
€ 116.04
Paperback. This introduction to computational neuroscience equips readers with a solid understanding of techniques for modeling the nervous system at the membrane, cellular and network level. Covers membrane biophysics, systems theory and artificial neural networks. Series: Springer Series in Bio-Neuroinformatics. Num Pages: 146 pages, biography. BIC Classification: GPFC; PSAN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 238.
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 146
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319033068
- ISBN
- 9783319033068
Paperback
Condition: New
€ 116.67
€ 116.67
Hardback. Mobility, wireless connectivity, diversity, and ease-of-use are the magic keywords of Pervasive and Ubiquitous Computing. This book covers these front-end devices as well as their operating systems and the back-end infrastructure which integrate these pervasive components into a seamless IT world. Series: Springer Professional Computing. Num Pages: 468 pages, 211 black & white illustrations, biography. BIC Classification: TJK; UDB; UTP; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 178 x 25. Weight in Grams: 1120.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540002185
- ISBN
- 9783540002185
Hardback
Condition: New
€ 132.14
€ 132.14
Pervasive Computing: The Mobile World (Springer Professional Computing...
Hansmann, Uwe, Merk, Lothar, Nicklous, Martin...
Paperback. Series: Springer Professional Computing. Num Pages: 468 pages, 211 black & white illustrations, biography. BIC Classification: TJK; UDB; UTP; UY. Category: (P) Professional & Vocational. Dimension: 240 x 170 x 28. Weight in Grams: 806.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2nd ed. 2003
- Condition
- New
- SKU
- V9783642055256
- ISBN
- 9783642055256
Paperback
Condition: New
€ 184.27
€ 184.27
Begriffsbasierte Integration Von Systemanalysemethoden
Hansen, Hans R; Muhlbacher, Robert; Neumann, ...
Paperback / so. Series: Betriebs- Und Wirtschaftsinformatik. Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV3; UF; UYQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 24. Weight in Grams: 644.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Physica-Verlag GmbH & Co Germany
- Condition
- New
- SKU
- V9783790806533
- ISBN
- 9783790806533
Paperback
Condition: New
€ 74.15
€ 74.15
Enterprise Development with Visual Studio.NET, UML and MSF
Hansen, Eric; Hansen, John; Thomsen, Carsten
Paperback. Enterprise Development with Visual Studio .NET, UML, and MSF provides readers with guides and examples that they can use in their own .NET projects. It covers UML, .NET modelling, Microsoft Solutions Framework (MSF), introduction to Visio, VB .NET and C#, Enterprise template projects, policy files, custom help topics, and much more. Num Pages: 1028 pages, biography. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 235 x 191 x 52. Weight in Grams: 1885.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- APress United States
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 1028
- Condition
- New
- SKU
- V9781590590423
- ISBN
- 9781590590423
Paperback
Condition: New
€ 60.60
€ 60.60
Paperback / so. Series: Xpert.Press. Num Pages: 171 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; UDB; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 268.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4
- Number of pages
- 171
- Condition
- New
- SKU
- V9783642629235
- ISBN
- 9783642629235
Paperback
Condition: New
€ 82.44
€ 82.44
Hardback. Series: Xpert.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540442813
- ISBN
- 9783540442813
Hardback
Condition: New
€ 100.10
€ 100.10
Hardcover. A guide to the CISSP-ISSEP CBK. It promotes understanding of the four ISSEP domains: Information Systems Security Engineering (ISSE), Certification and Accreditation, Technical Management, and an Introduction to United States Government Information Assurance Regulations. Editor(s): Hansche, CISSP Susan. Series: ISC2 Press. Num Pages: 1024 pages, 143 black & white illustrations, 103 black & white tables. BIC Classification: URY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 59. Weight in Grams: 1519.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Auerbach Publications
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780849323416
- ISBN
- 9780849323416
Hardback
Condition: New
€ 111.17
€ 111.17
Paperback. Editor(s): Bodmann, Hans-Walter. Series: Fachberichte Messen - Steuern - Regeln. Num Pages: 346 pages, 41 black & white illustrations. BIC Classification: TJFM; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 346
- Condition
- New
- SKU
- V9783540157250
- ISBN
- 9783540157250
Paperback
Condition: New
€ 73.88
€ 73.88
Paperback / so. Series: Programmieren Von Mikrocomputern. Num Pages: black & white illustrations, bibliography. BIC Classification: UL; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 12. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528044473
- ISBN
- 9783528044473
Paperback
Condition: New
€ 71.71
€ 71.71
Paperback / so. Editor(s): Low, Hans-Peter. Num Pages: 330 pages, black & white illustrations, bibliography. BIC Classification: UKN. Category: (G) General (US: Trade). Dimension: 210 x 148 x 18. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Number of pages
- 330
- Condition
- New
- SKU
- V9783824420476
- ISBN
- 9783824420476
Paperback
Condition: New
€ 72.44
€ 72.44
Paperback. Editor(s): Wiendahl, Hans-Peter. Series: Cim-Fachmann. Num Pages: 176 pages, black & white illustrations, bibliography. BIC Classification: KJQ; KJT; KJU; TBC; TJFM; UGC. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 176
- Condition
- New
- SKU
- V9783540532453
- ISBN
- 9783540532453
Paperback
Condition: New
€ 82.82
€ 82.82
Hardcover. Num Pages: 284 pages, 27 black & white illustrations, 101 colour illustrations, biography. BIC Classification: TGPR; TJF; TRC; UMB; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319333601
- ISBN
- 9783319333601
Hardback
Condition: New
€ 150.75
€ 150.75
Paperback. Num Pages: 435 pages, 24 black & white illustrations, biography. BIC Classification: KJT; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 3rd ed. 1996. Softcover reprint of the original 3
- Number of pages
- 435
- Condition
- New
- SKU
- V9789401587044
- ISBN
- 9789401587044
Paperback
Condition: New
€ 251.01
€ 251.01