.png){kind=logo}
Computer programming / software development
Results 8341 - 8360 of 8431
Computer programming / software development
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. This title features papers organized in topical section on models of programs and systems, software specification, validation and verification, and more. Editor(s): Arbab, Farhad; Sirjani, Marjan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 389 pages, 90 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 389
- Condition
- New
- SKU
- V9783642293191
- ISBN
- 9783642293191
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Editor(s): Arbab, Farhad; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 369 pages, 131 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642357428
- ISBN
- 9783642357428
Paperback
Condition: New
€ 67.77
€ 67.77
Paperback. This volume covers the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. It discusses the theoretical aspects of combining behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. Editor(s): Araki, Keijiro; Galloway, Andy; Taguchi, K. Num Pages: 477 pages, 3 black & white illustrations, biography. BIC Classification: UL; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 477
- Condition
- New
- SKU
- V9781852331078
- ISBN
- 9781852331078
Paperback
Condition: New
€ 129.71
€ 129.71
The Logic Programming Paradigm. A 25-Year Perspective.
. Ed(S): Apt, Krzysztof R.; Marek, Victor W.;...
Paperback. Editor(s): Apt, Krzysztof R.; Marek, Victor W.; Truszczynski, Mirek; Warren, David S. Series: Artificial Intelligence. Num Pages: 456 pages, biography. BIC Classification: KJT; UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 456
- Condition
- New
- SKU
- V9783642642494
- ISBN
- 9783642642494
Paperback
Condition: New
€ 129.49
€ 129.49
Paperback. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming. Editor(s): Apt, Krzysztof R.; Kakas, Antonis C.; Monfroy, Eric; Rossi, Francesca. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 348 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540678854
- ISBN
- 9783540678854
Paperback
Condition: New
€ 71.25
€ 71.25
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. Editor(s): Apel, Sven; Jackson, Ethan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 22 black & white illustrations, 35 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642220449
- ISBN
- 9783642220449
Paperback
Condition: New
€ 66.97
€ 66.97
Hardback. This book contains the proceedings of the World Congress on Engineering, WCE 2009. Topics covered include control engineering, network management, wireless networks, biotechnology, signal processing, high performance computing, and industrial applications. Editor(s): Ao, Sio-Iong; Gelman, Len. Series: Lecture Notes in Electrical Engineering. Num Pages: 512 pages, biography. BIC Classification: TJF; UK; UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 39. Weight in Grams: 1205.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 512
- Condition
- New
- SKU
- V9789048187751
- ISBN
- 9789048187751
Hardback
Condition: New
€ 199.10
€ 199.10
Hardback. This text contains thirty-seven revised and extended research articles presented at the 2009 Intelligent Automation and Computer Engineering Conference held in Hong Kong. Topics are varied and cover the state-of-the-art in the field. Editor(s): Ao, Sio-Iong; Castillo, Oscar; Huang, He. Series: Lecture Notes in Electrical Engineering. Num Pages: 524 pages, biography. BIC Classification: TJF; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 2010.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer Netherlands
- Number of pages
- 524
- Condition
- New
- SKU
- V9789048135165
- ISBN
- 9789048135165
Hardback
Condition: New
€ 268.78
€ 268.78
paperback. Editor(s): Antoniou, Grigoris; Boley, Harold. Series: Lecture Notes in Computer Science. Num Pages: 224 pages, biography. BIC Classification: UMW; UNN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 224
- Condition
- New
- SKU
- V9783540238423
- ISBN
- 9783540238423
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. The proceedings of a workshop, the aim of which was to assess various research attempts to define specification languages and to identify a programme of work for future investigations. Emphasis was placed on proof checking, type consistency, static semantics and stepwise specification developments. Editor(s): Andrews, Derek J.; Groote, Jan F.; Middelburg, C.A. (Eindhoven University of Technology). Series: Workshops in Computing. Num Pages: 357 pages, 1 black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 357
- Condition
- New
- SKU
- V9783540198543
- ISBN
- 9783540198543
Paperback
Condition: New
€ 68.11
€ 68.11
Internet of Things, Smart Spaces, and Next Generation Networking: 12th...
. Ed(S): Andreev, Sergey; Balandin, Sergey I....
paperback. Editor(s): Andreev, Sergey; Balandin, Sergey I.; Koucheryavy, Yevgeni. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 479 pages, 207 black & white illustrations, biography. BIC Classification: TJK; UKN; UMB; UNH; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 479
- Condition
- New
- SKU
- V9783642326851
- ISBN
- 9783642326851
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. The 31 papers are organized in topical sections on logic and diagrams, theoretical concerns about diagrams, human communication with diagrams, diagrammatic reasoning and proof systems, and diagrams for systems versus systems for diagrams. Editor(s): Anderson, Michael; Cheng, Peter; Haarslev, Volker. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 520 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 26. Weight in Grams: 1590.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540679158
- ISBN
- 9783540679158
Paperback
Condition: New
€ 135.29
€ 135.29
Hardback. This book brings the reader to the frontier of multimedia applications. Editor(s): Andersen, Peter Bogh; Qvortrup, Lars. Num Pages: 260 pages, biography. BIC Classification: UMZ; UYV. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 15. Weight in Grams: 500.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 260
- Condition
- New
- SKU
- V9781852336585
- ISBN
- 9781852336585
Hardback
Condition: New
€ 132.93
€ 132.93
Paperback. Editor(s): Andersen, Peter B.; Qvortrup, Lars. Num Pages: 260 pages, biography. BIC Classification: UMZ; UYV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Number of pages
- 260
- Condition
- New
- SKU
- V9781849968911
- ISBN
- 9781849968911
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Editor(s): Anacleto, Junia C.; Clua, Esteban W. G.; Correa da Silva, Flavio S.; Fels, Sidney; Yang, Hyun Seung. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 228 pages, 72 black & white illustrations, biography. BIC Classification: UB; UG; UKP; UML; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783642411052
- ISBN
- 9783642411052
Paperback
Condition: New
€ 66.95
€ 66.95
System Analysis and Modeling: Models and Reusability
. Ed(S): Amyot, Daniel; Fonseca I Casas, Pau;...
Paperback. Editor(s): Amyot, Daniel; Fonseca I Casas, Pau; Mussbacher, Gunter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 336 pages, 124 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 336
- Condition
- New
- SKU
- V9783319117423
- ISBN
- 9783319117423
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. Editor(s): Amsaleg, Laurent; Houle, Michael E; Schubert, Erich. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 135 black & white illustrations, biography. BIC Classification: UMB; UNH; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 339
- Condition
- New
- SKU
- V9783319467580
- ISBN
- 9783319467580
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Editor(s): Amato, Giuseppe; Connor, Richard; Falchi, Fabrizio; Gennaro, Claudio. Series: Lecture Notes in Computer Science. Num Pages: 374 pages, 125 colour illustrations, biography. BIC Classification: UMB; UNH; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 374
- Condition
- New
- SKU
- V9783319250861
- ISBN
- 9783319250861
Paperback
Condition: New
€ 67.41
€ 67.41
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): Alvarez, Luis; Mejail, Marta; Gomez,...
Paperback. Constitutes the refereed proceedings of the 17th Iberoamerican Congress on Pattern Recognition, CIARP 2012, held in Buenos Aires, Argentina, in September 2012. Editor(s): Alvarez, Luis; Mejail, Marta; Gomez, Luis; Jacobo, Julio. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 918 pages, 362 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 46. Weight in Grams: 1263.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 918
- Condition
- New
- SKU
- V9783642332746
- ISBN
- 9783642332746
Paperback
Condition: New
€ 133.89
€ 133.89
Paperback. Offers proceedings of the Fourth International Conference on Contemporary Computing. Editor(s): Aluru, Srinivas; Bandyopadhyay, Sanghamitra; Catalyurek, Umit V.; Dubhashi, Devdatt P.; Jones, Phillip H.; Parashar, Manish; Schmidt, Bertil. Series: Communications in Computer and Information Science. Num Pages: 584 pages, 262 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 811.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 584
- Condition
- New
- SKU
- V9783642226052
- ISBN
- 9783642226052
Paperback
Condition: New
€ 69.79
€ 69.79