×


 x 

Shopping cart

Computer programming / software development

Results 7421 - 7440 of 7780

Computer programming / software development

Paperback. Editor(s): Brauer, Wilfried; Wahlster, Wolfgang. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 446 pages, black & white illustrations, bibliography. BIC Classification: UML; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 23. Weight in Grams: 745.
Format
Paperback
Publication date
1987
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
446
Condition
New
SKU
V9783540184942
ISBN
9783540184942
Paperback
Condition: New

€ 85.69

Paperback. Assessing the state of the art in active research areas in theoretical computer science, this book presents research papers and survey articles written for Grzegorz Rozenberg's 60th birthday. Topics include basic decidability and the notion of information, graph grammars and graph transformations. Editor(s): Brauer, Wilfried; Ehrig, Hartmut; Karhumaki, Juhani; Salomaa, Arto K. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 1460.
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
436
Condition
New
SKU
V9783540431909
ISBN
9783540431909
Paperback
Condition: New

€ 73.60

Paperback. Editor(s): Brat, Guillaume; Rungta, Neha; Venet, Arnaud. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 510 pages, 164 black & white illustrations, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
510
Condition
New
SKU
V9783642380877
ISBN
9783642380877
Paperback
Condition: New

€ 69.07

Paperback. Editor(s): Brandstadt, Andreas; Jansen, Klaus; Reischuk, Rudiger. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 450 pages, 114 black & white illustrations, biography. BIC Classification: PBD; PBKS; PBM; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
450
Condition
New
SKU
V9783642450426
ISBN
9783642450426
Paperback
Condition: New

€ 68.11

Paperback. Constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. Editor(s): Brambilla, Marco; Tokuda, T.; Tolksdorf, Robert. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 522 pages, 177 black & white illustrations, biography. BIC Classification: UMW; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 741.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
522
Condition
New
SKU
V9783642317521
ISBN
9783642317521
Paperback
Condition: New

€ 69.28

paperback. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
Format
Paperback
Publication date
2016
Publisher
Springer Switzerland
Edition
1st ed. 2016
Number of pages
331
Condition
New
SKU
V9783319289335
ISBN
9783319289335
Paperback
Condition: New

€ 67.12

Paperback. Editor(s): Braga, Christiano; Marti-Oliet, Narciso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 188 pages, 39 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
188
Condition
New
SKU
V9783319150741
ISBN
9783319150741
Paperback
Condition: New

€ 54.72

Paperback. Editor(s): Braberman, Victor; Fribourg, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 444.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
285
Condition
New
SKU
V9783642402289
ISBN
9783642402289
Paperback
Condition: New

€ 61.44

Paperback. Editor(s): Bozzon, Alessandro; Cudre-Mauroux, Philippe; Pautasso, Cesare. Series: Lecture Notes in Computer Science. Num Pages: 652 pages, 186 black & white illustrations, biography. BIC Classification: UMWS; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 33. Weight in Grams: 985.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
652
Condition
New
SKU
V9783319387901
ISBN
9783319387901
Paperback
Condition: New

€ 69.91

Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2011, held in St Petersburg, Russia in July , 2011. This book is divided in sections on discrete and continuous optimization, segmentation, motion and video, and, learning and shape analysis. Editor(s): Boykov, Yuri; Kahl, Fredrik; Lempitsky, Victor; Schmidt, Frank R. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 450 pages, 38 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UMB; UNF; UYD; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 616.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
450
Condition
New
SKU
V9783642230936
ISBN
9783642230936
Paperback
Condition: New

€ 68.35

Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
Format
Hardback
Publication date
1997
Publisher
Chapman and Hall United Kingdom
Number of pages
482
Condition
New
SKU
V9780412820403
ISBN
9780412820403
Hardback
Condition: New

€ 267.99

Paperback. Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and provides a reminder of the improvements needed to make these methods a part of software development. Editor(s): Bowen, Jonathan. P.; Nicholls, J.E. Series: Workshops in Computing. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
350
Condition
New
SKU
V9783540198185
ISBN
9783540198185
Paperback
Condition: New

€ 67.93

paperback. This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development. Editor(s): Bowen, Jonathan. P.; Hall, John Anthony. Series: Workshops in Computing. Num Pages: 405 pages, 7 black & white illustrations, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 720.
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
405
Condition
New
SKU
V9783540198840
ISBN
9783540198840
Paperback
Condition: New

€ 68.71

Paperback. Editor(s): Bowen, Jonathan P.; Zhu, Huibiao. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
Format
Paperback
Publication date
2017
Publisher
Springer International Publishing AG Switzerland
Number of pages
217
Condition
New
SKU
V9783319522272
ISBN
9783319522272
Paperback
Condition: New

€ 66.10

Paperback. Editor(s): Boumerdassi, Selma; Renault, Eric; Bouzefrane, Samia. Series: Lecture Notes in Computer Science. Num Pages: 225 pages, 100 black & white illustrations, biography. BIC Classification: TJK; UKN; UMZ; UNH; UR. 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
225
Condition
New
SKU
V9783319504629
ISBN
9783319504629
Paperback
Condition: New

€ 66.16

Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
Format
Paperback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
412
Condition
New
SKU
V9783540425250
ISBN
9783540425250
Paperback
Condition: New

€ 72.38

Paperback. Constitutes the proceedings of the 12th International Conference on Web Information Systems Engineering, WISE 2011, held in Sydney, Australia, in October 2011. This book includes the papers that address challenging issues in software services, Web application engineering and modelling, Web semantics, and information retrieval and extraction. Editor(s): Bouguettaya, Athman; Hauswirth, Manfred; Liu, Ling. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 361 pages, biography. BIC Classification: UMZ; UNF; UNH; UT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
361
Condition
New
SKU
V9783642244339
ISBN
9783642244339
Paperback
Condition: New

€ 67.63

Paperback. Constitutes the refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011 that was held in Blois, France. Editor(s): Bouchou-Markhoff, Beatrice; Caron, Pascal; Champarnaud, Jean-Marc; Maurel, Denis. Series: Lecture Notes in Computer Science. Num Pages: 312 pages, 27 black & white illustrations, 18 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 446.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
312
Condition
New
SKU
V9783642222559
ISBN
9783642222559
Paperback
Condition: New

€ 67.15

paperback. Editor(s): Bouchon-Meunier, Bernadette; Gutierrez-Rios, Julio; Magdalena, Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 404 pages, 47 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 635.
Format
Paperback
Publication date
2012
Publisher
Physica Verlag,Wien Austria
Edition
Softcover reprint of the original 1st ed. 2002
Number of pages
404
Condition
New
SKU
V9783662003299
ISBN
9783662003299
Paperback
Condition: New

€ 195.25

Paperback. Editor(s): Bouajjani, Ahmed; Monniaux, David. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
Format
Paperback
Publication date
2017
Publisher
Springer International Publishing AG Switzerland
Number of pages
560
Condition
New
SKU
V9783319522333
ISBN
9783319522333
Paperback
Condition: New

€ 69.26

Subscribe to our newsletter

News on special offers, signed editions & more!