Computer programming / software development
Results 1201 - 1224 of 8431
Computer programming / software development
Hardback. Assembling the latest research on Java Real-Time Specification, this valuable resource for developers using the Java platform covers a variety of innovative techniques in scheduling, memory management, and quality control, and provides numerous case studies. Editor(s): Higuera-Toledano, M. Teresa; Wellings, Andy. Num Pages: 378 pages, 9 black & white tables, biography. BIC Classification: TJFC; UGC; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 722.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2012
- Number of pages
- 378
- Condition
- New
- SKU
- V9781441981578
- ISBN
- 9781441981578
Hardback
Condition: New
€ 129.66
€ 129.66
Paperback. Editor(s): Hildebrandt, Thomas; Ravara, Antonio; Werf, Jan Martijn van der; Weidlich, Matthias. Series: Lecture Notes in Computer Science. Num Pages: 184 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYD; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 297.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 184
- Condition
- New
- SKU
- V9783319336114
- ISBN
- 9783319336114
Paperback
Condition: New
€ 54.68
€ 54.68
7th UK Computer and Telecommunications Performance Engineering Worksho...
. Ed(S): Hillston, Jane E.; King, Peter J. B....
Paperback. This volume contains 16 papers highlighting various aspects of parallel computing. Topics covered include advances in queueing theory, common performance problems and their solutions, assessments of available tools, and presentations of new theoretical results. Editor(s): Hillston, Jane E.; King, Peter J. B.; Pooley, Robert J. Series: Workshops in Computing. Num Pages: 191 pages, 32 black & white illustrations, biography. BIC Classification: TJK; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 11. Weight in Grams: 368.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783540197331
- ISBN
- 9783540197331
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. This text provides guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter contains background information, introductions to the techniques being used, fragments of formalized components, details of results and an analysis of the overall approach. Editor(s): Hinchey, Michael G.; Bowen, Jonathan P. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 400 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 586.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 400
- Condition
- New
- SKU
- V9781852336400
- ISBN
- 9781852336400
Paperback
Condition: New
€ 199.66
€ 199.66
Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 1...
. Ed(S): Hinchey, Mike; Kleinjohann, Bernd; K...
hardcover. Constitutes the refereed proceedings of the 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and the 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Hinchey, Mike; Kleinjohann, Bernd; Kleinjohann, Lisa; Lindsay, Peter, Jr.; Rammig, Franz J. (University of Paderborn); Timmis, Jonathan; Wolf, Marilyn. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 644.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 316
- Condition
- New
- SKU
- V9783642152337
- ISBN
- 9783642152337
Hardback
Condition: New
€ 68.32
€ 68.32
Distributed, Parallel and Biologically Inspired Systems
. Ed(S): Hinchey, Mike; Kleinjohann, Bernd; K...
Paperback. Editor(s): Hinchey, Mike; Kleinjohann, Bernd; Kleinjohann, Lisa; Lindsay, Peter, Jr.; Rammig, Franz J. (University of Paderborn); Timmis, Jonathan; Wolf, Marilyn. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, biography. BIC Classification: UKN; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783642422928
- ISBN
- 9783642422928
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Editor(s): Hinze, Ralf; Voigtlander, Janis. Series: Lecture Notes in Computer Science. Num Pages: 337 pages, 44 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 337
- Condition
- New
- SKU
- V9783319197968
- ISBN
- 9783319197968
Paperback
Condition: New
€ 67.09
€ 67.09
Paperback. Presents the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. Editor(s): Hirsch, Edward; Karhumaki, Juhani; Lepisto, Arto; Prilutskii, Michail. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 350 pages, 25 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 502.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642306419
- ISBN
- 9783642306419
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. Editor(s): Hirsch, Edward; Kuznetsov, Sergei O.; Pin, Jean-Eric; Vereshchagin, Nikolay. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 409 pages, 39 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 409
- Condition
- New
- SKU
- V9783319066851
- ISBN
- 9783319066851
Paperback
Condition: New
€ 67.75
€ 67.75
Hardback. Constitutes the refereed proceedings of the 7th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, held in Salvador, Brazil, in October 2011. This book includes the papers that are organized in the following topical sections: OSS quality and reliability, knowledge and research building in OSS, and mining OSS repositories. Editor(s): Hissam, Scott; Russo, Barbara; De Mendonca Neto, Manoel G.; Kon, Fabio. Series: IFIP Advances in Information and Communication Technology. Num Pages: 404 pages, biography. BIC Classification: UMX; UMZ; UNF; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642244179
- ISBN
- 9783642244179
Hardback
Condition: New
€ 129.83
€ 129.83
Mathematical and Engineering Methods in Computer Science
. Ed(S): Hlineny, Petr; Kofron, Jan; Korenek,...
Paperback. Editor(s): Hlineny, Petr; Kofron, Jan; Korenek, Jan; Matula, Petr; Pala, Karel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 50 black & white illustrations, biography. BIC Classification: PBUD; UKN; UMB; UMZ; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319148953
- ISBN
- 9783319148953
Paperback
Condition: New
€ 54.53
€ 54.53
Paperback. Editor(s): Hoek, Wiebe van der; Holliday, Wesley; Wang, Wen-Fang. Series: Lecture Notes in Computer Science. Num Pages: 439 pages, 31 colour illustrations, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783662485606
- ISBN
- 9783662485606
Paperback
Condition: New
€ 68.08
€ 68.08
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Hoeve, Willem-Jan Van; Coban, Elvin
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009. Editor(s): Hoeve, Willem-Jan Van; Coban, Elvin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 343 pages, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 343
- Condition
- New
- SKU
- V9783642019289
- ISBN
- 9783642019289
Paperback
Condition: New
€ 67.49
€ 67.49
Relational and Algebraic Methods in Computer Science
. Ed(S): Hofner, Peter; Jipsen, Peter; Kahl, ...
Paperback. Editor(s): Hofner, Peter; Jipsen, Peter; Kahl, Wolfram; Muller, Martin L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 475 pages, 28 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 475
- Condition
- New
- SKU
- V9783319062501
- ISBN
- 9783319062501
Paperback
Condition: New
€ 68.32
€ 68.32
paperback. Proceedings of the NATO Advanced Research Workshop on 3D Imaging in Medicine, held in Travemunde, Germany, June 25-29, 1990 Editor(s): Hohne, Karl H.; Fuchs, Henry; Pizer, Stephen M. Series: NATO ASI Subseries F. Num Pages: 460 pages, biography. BIC Classification: MBP; MMPH; PS; UML; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 24. Weight in Grams: 806.
- 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
- 460
- Condition
- New
- SKU
- V9783642842139
- ISBN
- 9783642842139
Paperback
Condition: New
€ 130.07
€ 130.07
Echtzeitaspekte Bei Der Koordinierung Autonomer Systeme
. Ed(S): Holleczek, Peter; Vogel-Heuser, Birg...
Paperback. Editor(s): Holleczek, Peter; Vogel-Heuser, Birgit. Num Pages: 161 pages, black & white illustrations, bibliography. BIC Classification: UKN; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 9. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 161
- Condition
- New
- SKU
- V9783540295945
- ISBN
- 9783540295945
Paperback
Condition: New
€ 94.61
€ 94.61
Paperback / so. Editor(s): Holleczek, Peter; Vogel-Heuser, Birgit. Series: Informatik Aktuell. Num Pages: 126 pages, black & white illustrations, black & white tables, figures, bibliography. BIC Classification: UMZ; UT. Category: (G) General (US: Trade). Dimension: 236 x 159 x 9. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer United States
- Number of pages
- 126
- Condition
- New
- SKU
- V9783540748366
- ISBN
- 9783540748366
Paperback
Condition: New
€ 72.50
€ 72.50
Paperback. Editor(s): Holvoet, Tom; Viroli, Mirko. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 76 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319192819
- ISBN
- 9783319192819
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Editor(s): Holzer, Markus; Kutrib, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 357 pages, 76 black & white illustrations, biography. BIC Classification: PSA; UMB; UNH; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 357
- Condition
- New
- SKU
- V9783319088457
- ISBN
- 9783319088457
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Offers proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011. This title covers topics such as: trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; and, circuit complexity of Boolean functions and related measures. Editor(s): Holzer, Markus; Kutrib, Martin; Pighizzini, Giovanni. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 339 pages, 58 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642225994
- ISBN
- 9783642225994
Paperback
Condition: New
€ 67.36
€ 67.36
Paperback. Editor(s): Holzinger, Andreas; Cardoso, Jorge; Cordeiro, Jose; Libourel, Therese; Maciaszek, Leszek A.; Van Sinderen, Marten. Series: Communications in Computer and Information Science. Num Pages: 401 pages, 151 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 401
- Condition
- New
- SKU
- V9783319255781
- ISBN
- 9783319255781
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. Editor(s): Homma, Naofumi; Medwed, Marcel. Series: Lecture Notes in Computer Science. Num Pages: 299 pages, 92 colour illustrations, biography. BIC Classification: UMB; URY; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 299
- Condition
- New
- SKU
- V9783319312705
- ISBN
- 9783319312705
Paperback
Condition: New
€ 66.73
€ 66.73
Artificial Neural Networks and Machine Learning - ICANN 2011
. Ed(S): Honkela, Timo; Duch, Wlodzislaw; Gir...
paperback. Constitutes the refereed proceedings of the 21th International Conference on Artificial Neural Networks, ICANN 2011, held in Espoo, Finland, in June 2011. ICANN 2011 had two basic tracks: brain-inspired computing and machine learning research, with strong cross-disciplinary interactions and applications. Editor(s): Honkela, Timo; Duch, Wlodzislaw; Girolami, Mark; Kaski, S. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 411 pages, biography. BIC Classification: UMB; UNH; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 634.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 411
- Condition
- New
- SKU
- V9783642217340
- ISBN
- 9783642217340
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Software science topics covered in this text include algebraic, categorical, logical and geometric theories. Also discussed are synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems. Editor(s): Honsell, Furio; Miculan, Marino. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540418641
- ISBN
- 9783540418641
Paperback
Condition: New
€ 72.73
€ 72.73