Computer programming / software development
Results 7401 - 7420 of 7675
Computer programming / software development
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. 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. 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
Hardback. This book covers the latest advances in structure inference in heterogeneous collections of documents and data, offering a comprehensive view of the state of the art, and identifying challenges and opportunities for further research agenda and developments. Editor(s): Biba, Marenglen; Xhafa, Fatos. Series: Studies in Computational Intelligence. Num Pages: 441 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 441
- Condition
- New
- SKU
- V9783642229121
- ISBN
- 9783642229121
Hardback
Condition: New
€ 203.12
€ 203.12