Computer science
Results 6433 - 6456 of 16996
Computer science
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
€ 67.83
€ 67.83
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
€ 70.20
€ 70.20
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
€ 123.58
€ 123.58
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
€ 64.18
€ 64.18
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
€ 121.31
€ 121.31
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
€ 125.79
€ 125.79
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
€ 110.84
€ 110.84
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
€ 111.45
€ 111.45
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
€ 125.99
€ 125.99
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
€ 175.93
€ 175.93
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
€ 70.87
€ 70.87
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
€ 68.86
€ 68.86
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
€ 238.60
€ 238.60
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
€ 112.98
€ 112.98
Paperback / so. Num Pages: 179 pages, black & white illustrations, bibliography. BIC Classification: KJMV3; UT; UYD; UYQE. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2
- Number of pages
- 179
- Condition
- New
- SKU
- V9783528154783
- ISBN
- 9783528154783
Paperback
Condition: New
€ 68.57
€ 68.57
Paperback / so. Series: Informatik-Fachberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UDB; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 9. Weight in Grams: 277.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540156550
- ISBN
- 9783540156550
Paperback
Condition: New
€ 68.21
€ 68.21
Paperback. Papers from a colloquium held by the Studiengang Informatik of the Universit'at Bremen in June 1990. Editor(s): Kreowski, Hans-Jorg. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 352 pages, 14 black & white illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 19. Weight in Grams: 595.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540553892
- ISBN
- 9783540553892
Paperback
Condition: New
€ 80.49
€ 80.49
Effizientes Informationsmanagement in Dezentralen Organisationsstruktu...
Hans-Jorg (Fraunhofer Iao) . Ed(S): Bullinger
Paperback / so. Editor(s): Bullinger, Hans-Jorg (Fraunhofer IAO). Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV3; UDB; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642636738
- ISBN
- 9783642636738
Paperback
Condition: New
€ 47.99
€ 47.99
Paperback / so. Editor(s): Bullinger, Hans-Jorg (Fraunhofer IAO). Series: IPA-Iao - Forschung Und Praxis Tagungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; UKP; UY. Category: (G) General (US: Trade). Dimension: 297 x 210 x 12. Weight in Grams: 531.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540541226
- ISBN
- 9783540541226
Paperback
Condition: New
€ 70.71
€ 70.71
Verteilte, Offene Informationssysteme in Der Betrieblichen Anwendung
Hans-Jorg (Fraunhofer Iao) . Ed(S): Bullinger
Paperback / so. Editor(s): Bullinger, Hans-Jorg (Fraunhofer IAO). Series: IPA-Iao - Forschung Und Praxis Tagungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; UKP; UY. Category: (G) General (US: Trade). Dimension: 297 x 210 x 12. Weight in Grams: 531.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540523529
- ISBN
- 9783540523529
Paperback
Condition: New
€ 70.65
€ 70.65
Paperback. Series: Fachberichte Messen - Steuern - Regeln. Num Pages: 215 pages, 8 black & white illustrations. BIC Classification: PN; TJFM; TTB; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783540501404
- ISBN
- 9783540501404
Paperback
Condition: New
€ 79.37
€ 79.37
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 146 pages, 1 black & white illustrations. BIC Classification: UYQ; UYQL; UYT. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 9. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783540180265
- ISBN
- 9783540180265
Paperback
Condition: New
€ 78.66
€ 78.66
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 216 x 140 x 15. Weight in Grams: 322.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783528144340
- ISBN
- 9783528144340
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 14. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528044343
- ISBN
- 9783528044343
Paperback
Condition: New
€ 69.72
€ 69.72