Computer science
Results 10345 - 10368 of 16990
Computer science
ZB 2005 - Formal Specification and Development in Z and B
. Ed(S): Treharne, Helen; King, Steve; Henson...
Paperback. Editor(s): Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve. Series: Lecture Notes in Computer Science. Num Pages: 512 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 1580.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 512
- Condition
- New
- SKU
- V9783540255598
- ISBN
- 9783540255598
Paperback
Condition: New
€ 128.88
€ 128.88
Challenging Problems and Solutions in Intelligent Systems
. Ed(S): Tre, Guy De; Grzegorzewski, Przemysl...
Hardback. Editor(s): Tre, Guy de; Grzegorzewski, Przemyslaw; Kacprzyk, Janusz; Owsinski, Jan W.; Penczek, Wojciech; Zadrozny, Slawomir. Series: Studies in Computational Intelligence. Num Pages: 357 pages, 15 black & white illustrations, 51 colour illustrations, biography. BIC Classification: UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 701.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 357
- Condition
- New
- SKU
- V9783319301648
- ISBN
- 9783319301648
Hardback
Condition: New
€ 123.42
€ 123.42
paperback. Editor(s): Travieso-Gonzalez, Carlos M.; Alonso-Hernandez, Jesus. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 294 pages, biography. BIC Classification: UNF; UYQL; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 294
- Condition
- New
- SKU
- V9783642250194
- ISBN
- 9783642250194
Paperback
Condition: New
€ 80.20
€ 80.20
Paperback. Editor(s): Trautmann, Heike; Rudolph, Gunter; Klamroth, Kathrin; Schutze, Oliver; Wiecek, Margaret; Jin, Yaochu; Grimme, Christian. Series: Lecture Notes in Computer Science. Num Pages: 702 pages, 267 black & white illustrations, biography. BIC Classification: UKN; UMB; UY; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 1080.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 702
- Condition
- New
- SKU
- V9783319541563
- ISBN
- 9783319541563
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Editor(s): Trausan-Matu, Stefan; Boyer, Kristy; Crosby, Martha; Panourgia, Kitty-Kiriaki. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 732 pages, 155 black & white illustrations, biography. BIC Classification: JNV; UGD; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1104.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 732
- Condition
- New
- SKU
- V9783319072203
- ISBN
- 9783319072203
Paperback
Condition: New
€ 125.51
€ 125.51
Hardback. Editor(s): Traore, Issa; Woungang, Isaac. Num Pages: 104 pages, 20 black & white illustrations, 31 colour illustrations, 50 colour tables, biography. BIC Classification: TJK; TNKS; UR; UT; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 341.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 104
- Condition
- New
- SKU
- V9783319489469
- ISBN
- 9783319489469
Hardback
Condition: New
€ 143.72
€ 143.72
paperback. Editor(s): Trajkovik, Vladimir; Anastas, Misev. Series: Advances in Intelligent Systems and Computing. Num Pages: 322 pages, 114 black & white illustrations, biography. BIC Classification: KJQ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2014th Edition
- Number of pages
- 322
- Condition
- New
- SKU
- V9783319014654
- ISBN
- 9783319014654
Paperback
Condition: New
€ 185.54
€ 185.54
Paperback. Editor(s): Traff, Jesper Larsson; Hunold, Sascha; Versaci, Francesco. Series: Lecture Notes in Computer Science. Num Pages: 738 pages, 232 black & white illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 738
- Condition
- New
- SKU
- V9783662480953
- ISBN
- 9783662480953
Paperback
Condition: New
€ 67.52
€ 67.52
Hardback. Editor(s): Traczyk, Tomasz; Ogryczak, Wlodzimierz; Palka, Piotr; Sliwinski, Tomasz. Series: Studies in Computational Intelligence. Num Pages: 158 pages, 13 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 158
- Condition
- New
- SKU
- V9783319518008
- ISBN
- 9783319518008
Hardback
Condition: New
€ 142.85
€ 142.85
Paperback. Proceediings of the NATO Advanced Research Workshop on The Use of Computer Models for Explication, Analysis and Experiential Learning, held in Bonas, France, October 12-14, 1992 Editor(s): Towne, Douglas M.; Jong, Ton de; Spada, Hans. Series: NATO ASI Subseries F. Num Pages: 274 pages, biography. BIC Classification: KJQ; UGK; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 451.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 274
- Condition
- New
- SKU
- V9783642785412
- ISBN
- 9783642785412
Paperback
Condition: New
€ 121.92
€ 121.92
Paperback. Editor(s): Toumani, Farouk; Pernici, Barbara; Grigori, Daniela; Benslimane, Djamal; Mendling, Jan; Hadj-Alouane, Nejib Ben; Blake, Brian; Perrin, Olivier; Saleh Moustafa, Iman; Bhiri, Sami. Series: Lecture Notes in Computer Science. Num Pages: 468 pages, 137 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 468
- Condition
- New
- SKU
- V9783319228846
- ISBN
- 9783319228846
Paperback
Condition: New
€ 65.03
€ 65.03
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Proceedings of the NATO Advanced Research Workshop on Highly Redundant Sensing in Robotic Systems held in Il Ciocco, Italy, May 16-20, 1988 Editor(s): Tou, Julius T.; Balchen, Jens G. Series: NATO ASI Subseries F. Num Pages: 322 pages, biography. BIC Classification: TBC; TJF; TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 18. Weight in Grams: 582.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642840531
- ISBN
- 9783642840531
Paperback
Condition: New
€ 122.75
€ 122.75
Paperback. Contains a selection of the papers presented at the 10th International Workshop on Multi-Agent-Based Simulation (MABS 2009), a workshop co-located with the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), which was held on May 10-15, 2009 in Budapest, Hungary. Editor(s): Tosto, Gennaro di; Parunak, H. Van dyke. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 158 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 158
- Condition
- New
- SKU
- V9783642135521
- ISBN
- 9783642135521
Paperback
Condition: New
€ 64.01
€ 64.01
Advances in Speech and Language Technologies for Iberian Languages
. Ed(S): Torre Toledano, Doroteo; Ortega, Alf...
Paperback. Editor(s): Torre Toledano, Doroteo; Ortega, Alfonso; Teixeira, Antonio; Gonzalez Rodriguez, Joaquin; Hernandez Gomez, Luis; San-Segundo, Ruben; Ramos, Daniel. Series: Communications in Computer and Information Science. Num Pages: 302 pages, 66 black & white illustrations, biography. BIC Classification: UYQL; UYQS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 302
- Condition
- New
- SKU
- V9783642352911
- ISBN
- 9783642352911
Paperback
Condition: New
€ 63.86
€ 63.86
Hardback. Editor(s): Torra, Vincenc; Narukawa, Yasuo; Sugeno, Michio. Series: Studies in Fuzziness and Soft Computing. Num Pages: 201 pages, 20 black & white illustrations, biography. BIC Classification: PBK; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 201
- Condition
- New
- SKU
- V9783319031545
- ISBN
- 9783319031545
Hardback
Condition: New
€ 301.37
€ 301.37
Paperback. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo; Sugeno, Michio. Series: Studies in Fuzziness and Soft Computing. Num Pages: 211 pages, 20 black & white illustrations, biography. BIC Classification: PBKL; UYM; UYQN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 211
- Condition
- New
- SKU
- V9783319375250
- ISBN
- 9783319375250
Paperback
Condition: New
€ 300.28
€ 300.28
Paperback. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo; Navarro-Arribas, Guillermo. Series: Lecture Notes in Computer Science. Num Pages: 327 pages, 68 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 327
- Condition
- New
- SKU
- V9783319456553
- ISBN
- 9783319456553
Paperback
Condition: New
€ 64.23
€ 64.23
Paperback. Constitutes the proceedings of the 7th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2010, held in Perpignan, France, in October 2010. This volume also contains extended abstracts of the three invited papers. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo; Daumas, Marc. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 81 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642162916
- ISBN
- 9783642162916
Paperback
Condition: New
€ 65.44
€ 65.44
Hardback. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo; Dahlbom, Anders. Series: Studies in Computational Intelligence. Num Pages: 347 pages, 25 black & white illustrations, 15 colour illustrations, biography. BIC Classification: UYQE; UYQN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 701.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 347
- Condition
- New
- SKU
- V9783319475561
- ISBN
- 9783319475561
Hardback
Condition: New
€ 186.69
€ 186.69
Paperback. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo. Series: Lecture Notes in Computer Science. Num Pages: 341 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783540225553
- ISBN
- 9783540225553
Paperback
Condition: New
€ 67.84
€ 67.84
Paperback. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo. Series: Lecture Notes in Computer Science. Num Pages: 269 pages, 39 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 269
- Condition
- New
- SKU
- V9783319232393
- ISBN
- 9783319232393
Paperback
Condition: New
€ 63.57
€ 63.57
Paperback. Selected Contributions from the Workshop held in Manchester, UK, containing the Harten Memorial Lecture Editor(s): Toro, E.F.; Clarke, J.F. Series: Fluid Mechanics and its Applications. Num Pages: 399 pages, biography. BIC Classification: PBWH; PHD; TGB; TRC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 399
- Condition
- New
- SKU
- V9789048150472
- ISBN
- 9789048150472
Paperback
Condition: New
€ 186.13
€ 186.13
Paperback / so. Editor(s): Topfer, Jochen; Winter, Robert. Num Pages: 341 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJC; KJMV3; KJMV5; UB; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783642337338
- ISBN
- 9783642337338
Paperback
Condition: New
€ 80.24
€ 80.24