Computing
Results 5617 - 5640 of 28846
Computing
Paperback. The aim of the workshop upon which this text is based was to raise the profile of LARCH, a group of formal specification languages and tools orginally developed in the USA. Among the topics covered in this volume are the mechanical verification of concurrent systems with TLA. Editor(s): Martin, Ursula; Wing, Jeannette M. Series: Workshops in Computing. Num Pages: 315 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540198048
- ISBN
- 9783540198048
Paperback
Condition: New
€ 67.67
€ 67.67
Paperback. Editor(s): Martin-Gonzalez, Anabel; Uc-Cetina, Victor. Series: Communications in Computer and Information Science. Num Pages: 153 pages, 77 black & white illustrations, biography. BIC Classification: UMA; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 153
- Condition
- New
- SKU
- V9783319304465
- ISBN
- 9783319304465
Paperback
Condition: New
€ 65.44
€ 65.44
hardcover. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540209072
- ISBN
- 9783540209072
Hardback
Condition: New
€ 253.27
€ 253.27
Paperback. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: PBC; TBJ; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 620
- Condition
- New
- SKU
- V9783642535543
- ISBN
- 9783642535543
Paperback
Condition: New
€ 252.64
€ 252.64
Paperback. Editor(s): Martin-Vide, Carlos; Mizuki, Takaaki; Vega-Rodriguez, Miguel Angel. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, 88 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 235
- Condition
- New
- SKU
- V9783319490007
- ISBN
- 9783319490007
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. This book covers five sectors of Intelligent Technical Systems: Multimedia Systems, Embedded Programming, Middleware Platforms, Sensor Networks/Autonomous Systems and Intelligent Engineering. Each level is discussed by a set of original articles. Editor(s): Martinez Madrid, Natividad; Seepold, Ralf. Series: Lecture Notes in Electrical Engineering. Num Pages: 301 pages, biography. BIC Classification: TBC; TJK; UKN; UKR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 301
- Condition
- New
- SKU
- V9789048182077
- ISBN
- 9789048182077
Paperback
Condition: New
€ 194.22
€ 194.22
Paperback. Editor(s): Martinez-Martin, Ester; Morales, Antonio. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 352 pages, 144 black & white illustrations, biography. BIC Classification: PSVP; UYM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 352
- Condition
- New
- SKU
- V9783319088631
- ISBN
- 9783319088631
Paperback
Condition: New
€ 67.21
€ 67.21
Paperback. Editor(s): Martinez-Trinidad, Jose Francisco; Carrasco Ochoa, Jesus Ariel; Olvera Lopez, Jose Arturo; Jiang, Xiaoyi. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, 143 black & white illustrations, biography. BIC Classification: UNF; UNH; UYQP. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 372
- Condition
- New
- SKU
- V9783319393926
- ISBN
- 9783319393926
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Editor(s): Martinez-Trinidad, Jose Francisco; Carrasco Ochoa, Jesus Ariel; Olvera Lopez, Jose Arturo; Salas Rodriguez, Joaquin; Suen Ching,Y. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 406 pages, 159 black & white illustrations, biography. BIC Classification: UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 406
- Condition
- New
- SKU
- V9783319074900
- ISBN
- 9783319074900
Paperback
Condition: New
€ 67.69
€ 67.69
Paperback. Taken from the tenth International Symposium on a key interdisciplinary research topic, this selection of papers aims to disseminate the latest findings and stimulate fresh research in DARS, which combines cutting-edge techniques in computing and engineering. Editor(s): Martinoli, Alcherio; Mondada, Francesco; Correll, Nikolaus; Mermoud, Gregory; Egerstedt, Magnus; Hsieh, M. Ani; Parker, Lynne E.; Stoy, Kasper. Series: Springer Tracts in Advanced Robotics. Num Pages: 636 pages, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 636
- Condition
- New
- SKU
- V9783642434570
- ISBN
- 9783642434570
Paperback
Condition: New
€ 130.55
€ 130.55
Hardback. This book offers a platform for dissemination of new ideas in visual mathematics and cyberlearning. It addresses new developments and in the field and evokes new theoretical perspectives in mathematics education. Editor(s): Martinovic, Dragana; Freiman, Viktor; Karadag, Zekeriya. Series: Mathematics Education in the Digital Era. Num Pages: 250 pages, 30 black & white tables, biography. BIC Classification: JNU; PB; UFM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- 2012
- Number of pages
- 250
- Condition
- New
- SKU
- V9789400723207
- ISBN
- 9789400723207
Hardback
Condition: New
€ 128.36
€ 128.36
Paperback. Editor(s): Martins, Francisco; Lopes, Luis; Paulino, Herve. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 173 pages, 80 black & white illustrations, biography. BIC Classification: UB; UKN; UNF; UYD; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 256.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642327773
- ISBN
- 9783642327773
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Proceedings of the 3rd Contact Mechanics International Symposium, Praia da Consolacao, Peniche, Portugal, June 17-21, 2001 Editor(s): Martins, J. A. C.; Monteiro Marques, Manuel D. P. Series: Solid Mechanics and its Applications. Num Pages: 448 pages, biography. BIC Classification: PBW; PHD; TGMD4; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 448
- Condition
- New
- SKU
- V9789048160990
- ISBN
- 9789048160990
Paperback
Condition: New
€ 195.70
€ 195.70
Paperback. Editor(s): Maruyama, Naoya; Wahib, Mohamed. Series: Lecture Notes in Computer Science. Num Pages: 363 pages, 169 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 363
- Condition
- New
- SKU
- V9783319455495
- ISBN
- 9783319455495
Paperback
Condition: New
€ 67.33
€ 67.33
Hardback. Editor(s): Marwan, Norbert; Riley, Michael; Giuliani, Alessandro; Webber Jr., Charles L. Series: Springer Proceedings in Mathematics and Statistics. Num Pages: 238 pages, 26 black & white illustrations, 67 colour illustrations, biography. BIC Classification: PBV; PDE; PHU; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 238
- Condition
- New
- SKU
- V9783319095301
- ISBN
- 9783319095301
Hardback
Condition: New
€ 128.17
€ 128.17
Hardback. Modern electronics is driven by the explosive growth of digital communications and multi-media technology. Research efforts have emerged on the edge between software compilation and hardware synthesis, to develop high-quality code generation tools for embedded processors. This work provides a survey of these developments. Editor(s): Marwedel, Peter; Goossens, Gert. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 298 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9780792395775
- ISBN
- 9780792395775
Hardback
Condition: New
€ 255.29
€ 255.29
Modernizing Academic Teaching and Research in Business and Economics
. Ed(S): Marx Gomez, Jorge; Mahmoud, Tariq
Hardback. Editor(s): Marx Gomez, Jorge; Mahmoud, Tariq. Series: Springer Proceedings in Business and Economics. Num Pages: 160 pages, 6 black & white illustrations, 33 colour illustrations, biography. BIC Classification: JN; JNV; KJQ; KJVX; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 160
- Condition
- New
- SKU
- V9783319544182
- ISBN
- 9783319544182
Hardback
Condition: New
€ 194.08
€ 194.08
Hardback. Editor(s): Marx Gomez, Jorge; Scholtz, Brenda. Series: Springer Proceedings in Business and Economics. Num Pages: 171 pages, 25 black & white illustrations, 8 colour illustrations, biography. BIC Classification: RNK; TQD; TQS; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 171
- Condition
- New
- SKU
- V9783319251523
- ISBN
- 9783319251523
Hardback
Condition: New
€ 127.49
€ 127.49
Hardback. Covers issues related to building, using and preserving Web archives both from the computer scientist and librarian viewpoints. This book presents practitioners with an overview of methods, tools and standards they need for their activities. It is also useful for researchers as well as advanced students in computer science. Editor(s): Masanes, Julien (Bibliotheque Nationale de France, Paris, France). Num Pages: 234 pages, 6 black & white tables, biography. BIC Classification: UN; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 234
- Condition
- New
- SKU
- V9783540233381
- ISBN
- 9783540233381
Hardback
Condition: New
€ 67.48
€ 67.48
Methodologies and Intelligent Systems for Technology Enhanced Learning
. Ed(S): Mascio, Tania Di; Gennari, Rosella; ...
Paperback. Editor(s): Mascio, Tania di; Gennari, Rosella; Vittorini, Pierpaolo; Prieta, Fernando de la. Series: Advances in Intelligent Systems and Computing. Num Pages: 91 pages, 34 black & white illustrations, biography. BIC Classification: JNV; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 180.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 91
- Condition
- New
- SKU
- V9783319196312
- ISBN
- 9783319196312
Paperback
Condition: New
€ 136.40
€ 136.40
Hardback. With an intention of returning the mathematical tools of neural networks to the biological realm of the nervous system, this work introduces in a didactic manner, two developments in neural network methodology, namely recurrence in the architecture and the use of spiking or integrate-and-fire neurons. Editor(s): Mastebroek, Henk A.K.; Vos, Johan E. Series: Mathematical Modelling: Theory and Applications. Num Pages: 271 pages, biography. BIC Classification: PSAN; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 271
- Condition
- New
- SKU
- V9780792371922
- ISBN
- 9780792371922
Hardback
Condition: New
€ 133.08
€ 133.08
Paperback. Editor(s): Masthoff, Judith; Mobasher, Bamshad; Desmarais, Michel; Nkambou, Roger. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 414 pages, 105 black & white illustrations, biography. BIC Classification: UF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642314537
- ISBN
- 9783642314537
Paperback
Condition: New
€ 68.17
€ 68.17
Beyond the Internet of Things: Everything Interconnected
. Ed(S): Mastorakis, George; Mavromoustakis, ...
hardcover. Editor(s): Mastorakis, George; Mavromoustakis, Constandinos X.; Pallis, Evangelos. Series: Internet of Things. Num Pages: 408 pages, 27 black & white illustrations, 140 colour illustrations, biography. BIC Classification: TJK; UNH; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 789.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Switzerland
- Number of pages
- 408
- Condition
- New
- Edition
- 1st ed. 2017
- SKU
- V9783319507569
- ISBN
- 9783319507569
Hardback
Condition: New
€ 196.09
€ 196.09
Paperback. This book presents modern computational techniques for solving problems in electrical, mechanical, civil and chemical engineering. Includes new and advanced methods and variations of known techniques that can solve difficult scientific problems efficiently. Editor(s): Mastorakis, Nikos; Mladenov, Valeri. Series: Lecture Notes in Electrical Engineering. Num Pages: 323 pages, 42 black & white illustrations, 135 colour illustrations, 38 black & white tables, biogra. BIC Classification: PBK; PHU; TBJ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 323
- Condition
- New
- SKU
- V9783319375496
- ISBN
- 9783319375496
Paperback
Condition: New
€ 195.49
€ 195.49