.png){kind=logo}
Computer programming / software development
Results 8137 - 8160 of 8431
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642224379
- ISBN
- 9783642224379
Paperback
Condition: New
€ 69.14
€ 69.14
Paperback. Editor(s): Bjorner, Nikolaj; Boer, Frank de. Series: Lecture Notes in Computer Science. Num Pages: 626 pages, 156 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 626
- Condition
- New
- SKU
- V9783319192482
- ISBN
- 9783319192482
Paperback
Condition: New
€ 69.67
€ 69.67
Paperback. Editor(s): Bjorner, Dines; Henson, Martin C. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 646 pages, 69 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 646
- Condition
- New
- SKU
- V9783642093456
- ISBN
- 9783642093456
Paperback
Condition: New
€ 197.62
€ 197.62
Hardback. Presents comprehensive studies on nine specification languages and their logics of reasoning. This book features short commentaries on the specification languages written by researchers associated with their original development. It contains references and pointers to developments. Editor(s): Bjorner, Dines; Henson, Martin C. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 646 pages, 69 black & white illustrations, biography. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1136.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 646
- Condition
- New
- SKU
- V9783540741060
- ISBN
- 9783540741060
Hardback
Condition: New
€ 198.64
€ 198.64
paperback. This text constitutes the refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. Fifty revised papers and two invited memorial papers on the perspectives of system informatics are presented. Editor(s): Bjorner, Dines; Broy, Manfred; Zamulin, A.; Erashov, A.P. Series: Lecture Notes in Computer Science. Num Pages: 563 pages, biography. BIC Classification: UMC; UMX; UYF. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2001st Edition
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540430759
- ISBN
- 9783540430759
Paperback
Condition: New
€ 75.47
€ 75.47
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
E-Infrastructure and e-Services for Developing Countries
. Ed(S): Bissyande, Tegawende F.; Van Stam, G...
Paperback. Editor(s): Bissyande, Tegawende F.; Van Stam, Gertjan. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 298 pages, 82 black & white illustrations, biography. BIC Classification: 1QFG; TJK; UBJ; UMWS; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 298
- Condition
- New
- SKU
- V9783319083674
- ISBN
- 9783319083674
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Covers advances in automatic differentiation theory and practice. This book offers insights into effective strategies for using automatic differentiation for inverse problems and design optimization. It is suitable for computer scientists and mathematicians. Editor(s): Bischof, C.; B�cker, H. Martin; Hovland, Paul; Naumann, Uwe; Utke, Jean. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 386 pages, 111 black & white illustrations, 37 black & white tables, biography. BIC Classification: PBU; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1200.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783540689355
- ISBN
- 9783540689355
Paperback
Condition: New
€ 210.09
€ 210.09
Paperback. Editor(s): Biryukov, Alex; Goyal, Vipul. Series: Lecture Notes in Computer Science. Num Pages: 391 pages, 53 colour illustrations, biography. BIC Classification: GPJ; PBD; UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 391
- Condition
- New
- SKU
- V9783319266169
- ISBN
- 9783319266169
Paperback
Condition: New
€ 67.57
€ 67.57
Paperback. Editor(s): Birtwistle, Graham; Subrahmanyam, P. A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 404 pages, 1 black & white illustrations, biography. BIC Classification: THR; TJFC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 404
- Condition
- New
- SKU
- V9781461291978
- ISBN
- 9781461291978
Paperback
Condition: New
€ 128.96
€ 128.96
Paperback. This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012. This volume contains 15 full papers, 20 short papers, and 7 extended abstracts carefully selected out of 81 submissions. The papers cover various topics of swarm intelligence. Editor(s): Birattari, Mauro; Blum, Christian; Christensen, Anders Lyhne; Engelbrecht, Andries P.; Gross, Roderich; Stutzle, Thomas; Dorigo, Marco. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 370 pages, 114 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783642326493
- ISBN
- 9783642326493
Paperback
Condition: New
€ 67.69
€ 67.69
Paperback. Editor(s): Binder, Walter; Bodden, Eric; Lowe, Welf. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 155 pages, 38 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 248.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642396137
- ISBN
- 9783642396137
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Bikakis, Antonis; Fodor, Paul; Roman, Dumitru. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, 77 black & white illustrations, biography. BIC Classification: UB; UM; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 361
- Condition
- New
- SKU
- V9783319098692
- ISBN
- 9783319098692
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Constitutes the refereed proceedings of the 4th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2012. Editor(s): Biffl, Stefan; Winkler, Dietmar; Bergsmann, Johannes. Series: Lecture Notes in Business Information Processing. Num Pages: 231 pages, 66 black & white illustrations, biography. BIC Classification: KJMP; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642272127
- ISBN
- 9783642272127
Paperback
Condition: New
€ 66.95
€ 66.95
paperback. Editor(s): Biffl, Stefan; Aurum, Aybuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. Num Pages: 410 pages, 41 black & white tables, biography. BIC Classification: KJMV6; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2006
- Number of pages
- 410
- Condition
- New
- SKU
- V9783642065316
- ISBN
- 9783642065316
Paperback
Condition: New
€ 194.22
€ 194.22
Paperback. Editor(s): Biethahn, Jorg; Hummeltenberg, Wilhelm; Schmidt, Bernd. Series: Fachberichte Simulation. Num Pages: 251 pages, black & white illustrations, bibliography. BIC Classification: KCA; KJU; TBJ; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783540532897
- ISBN
- 9783540532897
Paperback
Condition: New
€ 83.52
€ 83.52
Paperback / so. Editor(s): Biethahn, J; Hummeltenberg, W; Schmidt, B. Series: Fachberichte Simulation. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJT; PBF; PBW; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 553.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540546665
- ISBN
- 9783540546665
Paperback
Condition: New
€ 90.56
€ 90.56
paperback. Editor(s): Biere, Armin; Nahir, Amir; Vos, Tanja E. J. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 293 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642396106
- ISBN
- 9783642396106
Paperback
Condition: New
€ 61.47
€ 61.47
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): Bieger, Jordi; Goertzel, Ben; Potapov, Alexey. Series: Lecture Notes in Computer Science. Num Pages: 428 pages, biography. BIC Classification: UMB; UMZ; UNH; UYA; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 428
- Condition
- New
- SKU
- V9783319213644
- ISBN
- 9783319213644
Paperback
Condition: New
€ 67.89
€ 67.89
Enterprise, Business-Process and Information Systems Modeling
. Ed(S): Bider, Ilia; Halpin, Terry; Krogstie...
Paperback. Contains the proceedings of the 11th International Workshop on Business Process Modeling, Development and Support and the 15th International Conference on Exploring Modeling Methods for Systems Analysis and Design, held together with the 22nd International Conference on Advanced Information Systems Engineering in Hammamet, Tunisia, in June 2010. Editor(s): Bider, Ilia; Halpin, Terry; Krogstie, John; Nurcan, Selmin; Proper, Erik; Schmidt, Rainer; Ukor, Roland. Series: Lecture Notes in Business Information Processing. Num Pages: 341 pages, 129 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 20. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783642130502
- ISBN
- 9783642130502
Paperback
Condition: New
€ 67.57
€ 67.57
Enterprise, Business-Process and Information Systems Modeling
. Ed(S): Bider, Ilia; Gaaloul, Khaled; Krogst...
Paperback. Editor(s): Bider, Ilia; Gaaloul, Khaled; Krogstie, John; Nurcan, Selmin; Proper, Henderik A.; Schmidt, Rainer; Soffer, Pnina. Series: Lecture Notes in Business Information Processing. Num Pages: 488 pages, 156 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 488
- Condition
- New
- SKU
- V9783662437445
- ISBN
- 9783662437445
Paperback
Condition: New
€ 68.61
€ 68.61
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 434
- Condition
- New
- SKU
- V9789048150519
- ISBN
- 9789048150519
Paperback
Condition: New
€ 250.99
€ 250.99
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 501 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 501
- Condition
- New
- SKU
- V9789048150502
- ISBN
- 9789048150502
Paperback
Condition: New
€ 251.49
€ 251.49