.png){kind=logo}
Computer programming / software development
Results 6241 - 6260 of 8407
Computer programming / software development
Transactions on Petri Nets and Other Models of Concurrency
. Ed(S): Koutny, Maciej; Van Der Aalst, Wil M...
Paperback. This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications. Editor(s): Koutny, Maciej; Van der Aalst, Wil M. P.; Van der Aalst, Wil; Yakovlev, Alex. Series: Lecture Notes in Computer Science/Transactions on Petri Nets and Other Models of Concurrency. Num Pages: 221 pages, 85 black & white illustrations, biography. BIC Classification: UMX; UTR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642404641
- ISBN
- 9783642404641
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Kotze, Paula; Marsden, Gary; Lindgaard, Gitte; Wesson, Janet; Winckler, Marco. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 821 pages, 260 black & white illustrations, biography. BIC Classification: JNV; UBJ; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1240.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 821
- Condition
- New
- SKU
- V9783642404795
- ISBN
- 9783642404795
Paperback
Condition: New
€ 132.98
€ 132.98
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Galmiche, Didier; Larchey-Wendling, ...
Paperback. Editor(s): Galmiche, Didier; Larchey-Wendling, Dominique. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 34 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642405365
- ISBN
- 9783642405365
Paperback
Condition: New
€ 61.20
€ 61.20
Paperback. Editor(s): Hierons, Robert M.; Merayo, Mercedes G.; Bravetti, Mario. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 113 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642405600
- ISBN
- 9783642405600
Paperback
Condition: New
€ 67.12
€ 67.12
Logic Programming and Nonmonotonic Reasoning: 12th International Confe...
. Ed(S): Cabalar, Pedro; Son, Tran Cao
paperback. Editor(s): Cabalar, Pedro; Son, Tran Cao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 588 pages, 70 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 588
- Condition
- New
- SKU
- V9783642405631
- ISBN
- 9783642405631
Paperback
Condition: New
€ 69.86
€ 69.86
Paperback. Editor(s): Weickert, Joachim; Hein, Matthias; Schiele, Bernt. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 464 pages, 207 black & white illustrations, biography. BIC Classification: UGK; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642406010
- ISBN
- 9783642406010
Paperback
Condition: New
€ 68.61
€ 68.61
Paperback. Editor(s): Hahnle, Reiner; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 241 pages, 125 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642406140
- ISBN
- 9783642406140
Paperback
Condition: New
€ 60.79
€ 60.79
Paperback. Editor(s): Leite, Joao; Cao Son, Tran; Torroni, Paolo; van der Torre, Leon; Woltran, Stefan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 415 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 415
- Condition
- New
- SKU
- V9783642406232
- ISBN
- 9783642406232
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Editor(s): Schulte, Christian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 916 pages, 226 black & white illustrations, biography. BIC Classification: PBD; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 46. Weight in Grams: 1377.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 916
- Condition
- New
- SKU
- V9783642406263
- ISBN
- 9783642406263
Paperback
Condition: New
€ 73.09
€ 73.09
Paperback. Editor(s): Bielza, Concha; Salmeron, Antonio; Alonso-Betanzos, Amparo; Hidalgo, J. Ignacio; Martinez, Luis; Troncoso, Alicia; Corchado, Emilio; Corchado, Juan M. Series: Lecture Notes in Computer Science. Num Pages: 422 pages, 98 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 422
- Condition
- New
- SKU
- V9783642406423
- ISBN
- 9783642406423
Paperback
Condition: New
€ 68.20
€ 68.20
Paperback. Editor(s): Lau, Kung-Kiu; Lamersdorf, Winfried; Pimentel, Ernesto. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 254 pages, 80 black & white illustrations, biography. BIC Classification: KJQ; UMZ; UNH; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 254
- Condition
- New
- SKU
- V9783642406508
- ISBN
- 9783642406508
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Cordeiro, Jose; Maciaszek, Leszek A.; Filipe, Joaquim. Series: Lecture Notes in Business Information Processing. Num Pages: 490 pages, 171 black & white illustrations, biography. BIC Classification: KJMV3; KJQ; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 490
- Condition
- New
- SKU
- V9783642406539
- ISBN
- 9783642406539
Paperback
Condition: New
€ 112.85
€ 112.85
Paperback. Editor(s): Muntean, Traian; Poulakis, Dimitrios; Rolland, Robert. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 14 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. 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
- V9783642406621
- ISBN
- 9783642406621
Paperback
Condition: New
€ 85.74
€ 85.74
Artificial Neural Networks and Machine Learning -- ICANN 2013
. Ed(S): Mladenov, Valeri; Koprinkova-Hristov...
Paperback. Editor(s): Mladenov, Valeri; Koprinkova-Hristova, Petia; Palm, Gunther; Villa, Alessandro E. P.; Apolloni, Bruno; Kasabov, Nikola K. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 661 pages, 231 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 661
- Condition
- New
- SKU
- V9783642407277
- ISBN
- 9783642407277
Paperback
Condition: New
€ 70.57
€ 70.57
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2...
. Ed(S): Mori, Kensaku; Sakuma, Ichiro; Sato,...
Paperback. Editor(s): Mori, Kensaku; Sakuma, Ichiro; Sato, Yoshinobu; Barillot, Christian; Navab, Nassir. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 712 pages, 291 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 712
- Condition
- New
- SKU
- V9783642407598
- ISBN
- 9783642407598
Paperback
Condition: New
€ 70.42
€ 70.42
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2...
. Ed(S): Mori, Kensaku; Sakuma, Ichiro; Sato,...
Paperback. Editor(s): Mori, Kensaku; Sakuma, Ichiro; Sato, Yoshinobu; Barillot, Christian; Navab, Nassir. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 756 pages, 306 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783642407628
- ISBN
- 9783642407628
Paperback
Condition: New
€ 71.47
€ 71.47
Paperback. Editor(s): Legay, Axel; Bensalem, Saddek. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 443 pages, 113 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 443
- Condition
- New
- SKU
- V9783642407864
- ISBN
- 9783642407864
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. Editor(s): Bitsch, Friedemann; Guiochet, Jeremie; Kaaniche, Mohamed. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 320 pages, 109 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; UMZ; UR; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642407925
- ISBN
- 9783642407925
Paperback
Condition: New
€ 67.21
€ 67.21
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2...
. Ed(S): Mori, Kensaku; Sakuma, Ichiro; Sato,...
Paperback. Editor(s): Mori, Kensaku; Sakuma, Ichiro; Sato, Yoshinobu; Barillot, Christian; Navab, Nassir. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 840 pages, 331 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1264.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 840
- Condition
- New
- SKU
- V9783642408106
- ISBN
- 9783642408106
Paperback
Condition: New
€ 72.34
€ 72.34
Augmented Reality Environments for Medical Imaging and Computer-Assist...
. Ed(S): Liao, Hongen; Linte, Cristian A.; Ma...
Paperback. Editor(s): Liao, Hongen; Linte, Cristian A.; Masamune, Ken; Peters, Terry M.; Zheng, Guayan. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 278 pages, 147 black & white illustrations, biography. BIC Classification: MMPH; UGK; UMB; UML; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 278
- Condition
- New
- SKU
- V9783642408427
- ISBN
- 9783642408427
Paperback
Condition: New
€ 61.41
€ 61.41