.png){kind=logo}
Computer science
Results 6385 - 6408 of 16602
Computer science
Paperback. Num Pages: 600 pages, 15 black & white tables. BIC Classification: KJQ; UKS; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 835.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 600
- Condition
- New
- SKU
- V9783642980176
- ISBN
- 9783642980176
Paperback
Condition: New
€ 75.52
€ 75.52
hardcover. BIC Classification: UY. Dimension: 235 x 155. Weight in Grams: 2240.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer Berlin Heidelberg
- Edition
- 2., überarb. Aufl. 2001
- Condition
- New
- SKU
- V9783540421337
- ISBN
- 9783540421337
Hardback
Condition: New
€ 94.59
€ 94.59
Hardback. .
- Format
- Hardback
- Publisher
- Koros Press Limited
- Publication date
- 2015
- Edition
- New edition
- Condition
- New
- SKU
- V9781781639375
- ISBN
- 9781781639375
Hardback
Condition: New
€ 65.40€ 11.94
€ 65.40
€ 11.94
paperback. Series: Viewegs Fachbucher Der Technik. Num Pages: black & white illustrations, bibliography. BIC Classification: TB; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 1975
- Publisher
- Vieweg+Teubner Verlag United Kingdom
- Edition
- 1975th Edition
- Condition
- New
- SKU
- V9783663000501
- ISBN
- 9783663000501
Paperback
Condition: New
€ 73.21
€ 73.21
paperback. Series: Vieweg-Programmbibliothek Mikrocomputer. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 7. Weight in Grams: 213.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Vieweg+Teubner Verlag Germany
- Edition
- 1986th Edition
- Condition
- New
- SKU
- V9783528044633
- ISBN
- 9783528044633
Paperback
Condition: New
€ 70.99
€ 70.99
Paperback / so. Series: Fortschritte Der Robotik. Num Pages: 253 pages, black & white illustrations, bibliography. BIC Classification: TJFM1; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 14. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Vieweg+teubner Verlag United States
- Number of pages
- 253
- Condition
- New
- SKU
- V9783528065157
- ISBN
- 9783528065157
Paperback
Condition: New
€ 100.24
€ 100.24
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBF; PBW; TBC; UDB; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783709181706
- ISBN
- 9783709181706
Paperback
Condition: New
€ 101.00
€ 101.00
Paperback / so. Series: Xpert.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV3; UB; UF; UGD; UNH; UT; UYD; UYQE. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783642625169
- ISBN
- 9783642625169
Paperback
Condition: New
€ 55.62
€ 55.62
perfect. Series: Sozialvertreagliche Technikgestaltung. Num Pages: 345 pages, black & white illustrations, bibliography. BIC Classification: JF; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 533.
- Publication date
- 1990
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 1990th Edition
- Number of pages
- 345
- Condition
- New
- SKU
- V9783531122274
- ISBN
- 9783531122274
Paperback
Condition: New
€ 73.05
€ 73.05
Paperback / so. Editor(s): Schumny, Harald. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: UKP; UY. Category: (G) General (US: Trade). Dimension: 254 x 178 x 17. Weight in Grams: 549.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528043711
- ISBN
- 9783528043711
Paperback
Condition: New
€ 73.45
€ 73.45
Paperback / so. Editor(s): Schumny, Harald. Series: Wadsworth & Brooks/Cole Statistics/Probability. Num Pages: 80 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 5. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 80
- Condition
- New
- SKU
- V9783528042073
- ISBN
- 9783528042073
Paperback
Condition: New
€ 70.63
€ 70.63
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
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
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. 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
Paperback. Num Pages: 399 pages, 18 black & white illustrations, biography. BIC Classification: KJT; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 22. Weight in Grams: 618.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2nd ed. 1991. Softcover reprint of the original 2
- Number of pages
- 399
- Condition
- New
- SKU
- V9789401579513
- ISBN
- 9789401579513
Paperback
Condition: New
€ 117.81
€ 117.81