Computer programming / software development
Results 1753 - 1776 of 1987
Computer programming / software development
Advances in Conceptual Modeling. Recent Developments and New Direction...
. Ed(S): Troyer, Olga De; Medeiros, Claudia B...
Paperback. Contains sections on the workshops Web Information Systems Modeling (WISM); Modeling and Reasoning for Business Intelligence (MORE-BI); Software Variability Management (Variability@ER); Ontologies and Conceptual Modeling; Semantic and Conceptual Issues in GIS (SeCoGIS); and Foundations and Practices of UML (FP-UML). Editor(s): Troyer, Olga de; Medeiros, Claudia Bauzer; Billen, Roland; Hallot, Pierre; Simitsis, Alkis; Van Mingroot, Hans. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 396 pages, 67 black & white illustrations, 62 colour illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642245732
- ISBN
- 9783642245732
Paperback
Condition: New
€ 66.45
€ 66.45
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 131.55
€ 131.55
Paperback. Contains a selection of the papers presented at the 10th International Workshop on Multi-Agent-Based Simulation (MABS 2009), a workshop co-located with the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), which was held on May 10-15, 2009 in Budapest, Hungary. Editor(s): Tosto, Gennaro di; Parunak, H. Van dyke. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 158 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 158
- Condition
- New
- SKU
- V9783642135521
- ISBN
- 9783642135521
Paperback
Condition: New
€ 65.86
€ 65.86
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the "7th International ICST Conference on Broadband Communications, Networks and Systems" (BROADNETS 2010) held in October 2010 in Athens, Greece. Editor(s): Tomkos, Ioannis; Ellinas, Georgios; Sinha, Prasun. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 550 pages, 245 black & white illustrations, biography. BIC Classification: TJK; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 550
- Condition
- New
- SKU
- V9783642303753
- ISBN
- 9783642303753
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. Constitutes the refereed proceedings of the International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Tomar, G.S.; Grosky, William I.; Kim, Tai-hoon; Mohammed, Sabah; Saha, Sanjoy Kumar. Series: Communications in Computer and Information Science. Num Pages: 159 pages, 74 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 159
- Condition
- New
- SKU
- V9783642134661
- ISBN
- 9783642134661
Paperback
Condition: New
€ 67.80
€ 67.80
Advanced Computer Science and Information Technology
. Ed(S): Tomar, G.S.; Chang, Ruay-Shiung; Ger...
Paperback. Constitutes the refereed proceedings of the 2nd International Conference on Advanced Science and Technology, AST 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Tomar, G.S.; Chang, Ruay-Shiung; Gervasi, Osvaldo; Kim, Tai-hoon; Bandyopadhyay, Samir Kumar. Series: Communications in Computer and Information Science. Num Pages: 195 pages, 97 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 195
- Condition
- New
- SKU
- V9783642133459
- ISBN
- 9783642133459
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Evolvable Systems, ICES 2010, held in York, UK, in September 2010. Editor(s): Tempesti, Gianluca; Tyrrell, Andy M.; Miller, Julian. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 228 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642153228
- ISBN
- 9783642153228
Paperback
Condition: New
€ 68.24
€ 68.24
hardcover. Editor(s): Teich, Jurgen; Ha, Soonhoi. Num Pages: 1350 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Netherlands
- Number of pages
- 1350
- Condition
- New
- Edition
- 1st ed. 2017
- SKU
- V9789401772662
- ISBN
- 9789401772662
Hardback
Condition: New
€ 1,075.93
€ 1,075.93
Computational Science and its Applications - ICCSA 2010
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
Paperback. This four-volume set synthesizes the International Conference on Computational Science and Its Applications, ICCSA 2010. Topics include computational methods, algorithms and scientific application, high performance computing and networks, and more. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 540 pages, 227 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783642121883
- ISBN
- 9783642121883
Paperback
Condition: New
€ 130.82
€ 130.82
Computational Science and its Applications - ICCSA 2010
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
Paperback. This four-volume set synthesizes the International Conference on Computational Science and Its Applications, ICCSA 2010. Topics include computational methods, algorithms and scientific application, high performance computing and networks, and more. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 570 pages, 284 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 30. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 570
- Condition
- New
- SKU
- V9783642121784
- ISBN
- 9783642121784
Paperback
Condition: New
€ 131.11
€ 131.11
Computational Science and Its Applications - ICCSA 2010: International...
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
paperback. Includes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2010, held in Fukuoka, Japan, in March 2010. This title covers topics such as geographical analysis, urban modeling, spatial statistics, wireless and ad hoc networking, and sensor network and its applications. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 602 pages, 258 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 239 x 152 x 33. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 602
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642121647
- ISBN
- 9783642121647
Paperback
Condition: New
€ 131.41
€ 131.41
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. Editor(s): Szmuc, Tomasz; Szpyrka, Marcin; Zendulka, Jaroslav. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 276 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783642280375
- ISBN
- 9783642280375
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. Editor(s): Sun, Zhenan; Lai, Jianhuang; Chen, Xilin; Tan, Tieniu. Series: Lecture Notes in Computer Science. Num Pages: 290 pages, 61 black & white illustrations, 79 colour illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 290
- Condition
- New
- SKU
- V9783642254482
- ISBN
- 9783642254482
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 66.61
€ 66.61
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
Mechanisms for Autonomous Management of Networks and Services: 4th Int...
. Ed(S): Stiller, Burkhard; Turck, Filip de
paperback. Constitutes the refereed proceedings of the 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, held in Zurich, Switzerland, in June 2010. Editor(s): Stiller, Burkhard; Turck, Filip de. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 192
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642139857
- ISBN
- 9783642139857
Paperback
Condition: New
€ 66.32
€ 66.32
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642215681
- ISBN
- 9783642215681
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the post-conference proceedings of the CAiSE Forum from the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010), held in Hammamet, Tunisia, June 9, 2010. Editor(s): Soffer, Pnina; Proper, Erik. Series: Lecture Notes in Business Information Processing. Num Pages: 283 pages, 51 black & white illustrations, 81 colour illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 283
- Condition
- New
- SKU
- V9783642177217
- ISBN
- 9783642177217
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. Contains the refereed proceedings of the Second International Conference on Exploring Services Science (IESS) that was held in Geneva, Switzerland. Editor(s): Snene, Mehdi; Ralyte, Jolita; Morin, Jean Henry. Series: Lecture Notes in Business Information Processing. Num Pages: 237 pages, 25 black & white illustrations, 51 colour illustrations, biography. BIC Classification: JPP; KJ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642215469
- ISBN
- 9783642215469
Paperback
Condition: New
€ 83.42
€ 83.42
Paperback. This volume contains revised papers from the Rough Set and Knowledge Technology Conference (RSKT 2008), together with five papers introducing advances in rough set theory and its applications. It is part of the LNCS Transactions on Rough Sets series. Editor(s): Slowinski, Roman; Lingras, Pawan; Tsumoto, Shusaku; Miao, Duoqian. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 5 colour illustrations, biography. BIC Classification: UG; UMB; UMX; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642144660
- ISBN
- 9783642144660
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 65.93
€ 65.93
Implementation and Application of Functional Languages: 20th Internati...
. Ed(S): Scholz, Sven-Bodo; Chitil, Olaf
paperback. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. Editor(s): Scholz, Sven-Bodo; Chitil, Olaf. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 79 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642244513
- ISBN
- 9783642244513
Paperback
Condition: New
€ 81.33
€ 81.33
Model-Driven Architecture - Foundations and Applications
. Ed(S): Schieferdecker, Ina; Hartman, Alan
Paperback. Editor(s): Schieferdecker, Ina; Hartman, Alan. Series: Lecture Notes in Computer Science. Num Pages: 459 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 459
- Condition
- New
- SKU
- V9783540690955
- ISBN
- 9783540690955
Paperback
Condition: New
€ 150.88
€ 150.88
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): San Martin, Cesar; Kim, Sang-Woon
Paperback. Editor(s): San Martin, Cesar; Kim, Sang-Woon. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 721 pages, 127 black & white illustrations, 146 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 721
- Condition
- New
- SKU
- V9783642250842
- ISBN
- 9783642250842
Paperback
Condition: New
€ 69.18
€ 69.18