Computer science
Results 10537 - 10560 of 16990
Computer science
Paperback / so. Editor(s): Bullinger, Hans-Jarg. Series: IPA-Iao Fhg Forschung Und Praxis. Num Pages: 460 pages, black & white illustrations, bibliography. BIC Classification: KJC; UKP; UY. Category: (G) General (US: Trade). Dimension: 297 x 210 x 24. Weight in Grams: 1102.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783540541233
- ISBN
- 9783540541233
Paperback
Condition: New
€ 75.25
€ 75.25
Paperback. Model based testing is the most powerful technique for testing hardware and software systems. This book describes the use of models at all the levels of hardware testing. It includes a description of fault models for nanoscaled CMOS technology. Editor(s): Wunderlich, Hans-Joachim. Series: Frontiers in Electronic Testing. Num Pages: 271 pages, biography. BIC Classification: TJFC; UK; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 271
- Condition
- New
- SKU
- V9789400730939
- ISBN
- 9789400730939
Paperback
Condition: New
€ 122.53
€ 122.53
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
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. 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. 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
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 / 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
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. 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
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 / 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. 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. 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 / 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
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
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
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
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. 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
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
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
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. 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