Computer programming / software development
Results 5141 - 5157 of 5157
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 65.88
€ 65.88
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. 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
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Editor(s): Brunst, Holger; Muller, Matthias S.; Nagel, Wolfgang E.; Resch, Michael M. Num Pages: 172 pages, biography. BIC Classification: UB; UMB; UMX; UNF; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 172
- Condition
- New
- SKU
- V9783642439858
- ISBN
- 9783642439858
Paperback
Condition: New
€ 120.65
€ 120.65
Paperback. Editor(s): Brusilovsky, Peter; Kobsa, Alfred; Vassileva, Julita. Num Pages: 252 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 252
- Condition
- New
- SKU
- V9789048149445
- ISBN
- 9789048149445
Paperback
Condition: New
€ 121.55
€ 121.55
Paperback. This volume contains 22 revised papers, abstracts or full versions of three invited talks, three tutorials and six presentations. The papers are organized in topical sections on subjects such as: materialized view maintenance; extending DBM features; and managing change in object databases. Editor(s): Bry, Francois; Ramakrishnan, Raghu; Ramamohanarao, Kotagiri. Series: Lecture Notes in Computer Science. Num Pages: 452 pages, biography. BIC Classification: UMN; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1390.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540637929
- ISBN
- 9783540637929
Paperback
Condition: New
€ 70.08
€ 70.08
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory, ALT 2012, held in Lyon, France, in October 2012. Editor(s): Bshouty, Nader; Stoltz, Gilles; Vayatis, Nicolas; Zeugmann, Thomas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 393 pages, 23 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642341052
- ISBN
- 9783642341052
Paperback
Condition: New
€ 65.24
€ 65.24
Building a National Distributed e-Infrastructure -- PL-Grid
. Ed(S): Bubak, Marian; Szepieniec, Tomasz; W...
Paperback. This book describes scientific results obtained by project partners and outcomes of research and development activities carried out within the Polish Infrastructure for Information Science Support in the European Research Space PL-Grid (PL-Grid 2011). Editor(s): Bubak, Marian; Szepieniec, Tomasz; Wiatr, Kazimierz. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 366 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 366
- Condition
- New
- SKU
- V9783642282669
- ISBN
- 9783642282669
Paperback
Condition: New
€ 64.94
€ 64.94
Seminal Contributions to Information Systems Engineering
. Ed(S): Bubenko, Janis A.; Krogstie, John; P...
Hardback. This book presents main results information systems engineering, discussing some of the best papers presented in the long running CAiSE (Conference on Advanced Information System Engineering) conference series. Editor(s): Bubenko, Janis A.; Krogstie, John; Pastor, Oscar; Pernici, Barbara; Rolland, Colette; Solvberg, Arne. Num Pages: 458 pages, biography. BIC Classification: JPP; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 865.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 458
- Condition
- New
- SKU
- V9783642369254
- ISBN
- 9783642369254
Hardback
Condition: New
€ 124.19
€ 124.19
Seminal Contributions to Information Systems Engineering
. Ed(S): Bubenko, Janis; Krogstie, John; Past...
Paperback. This book presents main results information systems engineering, discussing some of the best papers presented in the long running CAiSE (Conference on Advanced Information System Engineering) conference series. Editor(s): Bubenko, Janis; Krogstie, John; Pastor, Oscar; Pernici, Barbara; Rolland, Colette; Solvberg, Arne. Num Pages: 469 pages, biography. BIC Classification: JPP; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 469
- Condition
- New
- SKU
- V9783642426629
- ISBN
- 9783642426629
Paperback
Condition: New
€ 123.46
€ 123.46
Hardback. The goal of Softwarepark Hagenberg in Austria is economic stimulation through innovative software technologies. The contributions in this book cover current research in software science and related areas at the six research institutions involved. Editor(s): Buchberger, Bruno; Affenzeller, Michael; Ferscha, Alois; Haller, Michael; Jebelean, Tudor; Klement, Erich Peter; Paule, Peter; Pomberger, Gustav; Schreiner, Wolfgang; Stubenrauch, Robert. Num Pages: 488 pages, 4 black & white tables, biography. BIC Classification: UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 780.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 488
- Condition
- New
- SKU
- V9783642021268
- ISBN
- 9783642021268
Hardback
Condition: New
€ 187.81
€ 187.81
paperback. The goal of Softwarepark Hagenberg in Austria is economic stimulation through innovative software technologies. The contributions in this book cover current research in software science and related areas at the six research institutions involved. Editor(s): Buchberger, Bruno; Affenzeller, Michael; Ferscha, Alois; Haller, Michael; Jebelean, Tudor; Klement, Erich Peter; Paule, Peter; Pomberger, Gustav; Schreiner, Wolfgang; Stubenrauch, Robert. Num Pages: 496 pages, 4 black & white tables, biography. BIC Classification: UMZ; UT; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 496
- Condition
- New
- SKU
- V9783642101915
- ISBN
- 9783642101915
Paperback
Condition: New
€ 186.83
€ 186.83
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Man...
. Ed(S): Buchwald, Hagen; Fleischmann, Albert...
Paperback. Constitutes the refereed proceedings of the First Workshop on Subject-Oriented Business Process Management, S-BPM ONE 2009, held in Karlsruhe, Germany, in October 2009. This title features the papers that are organized in topical sections on visionary engagements; essential capabilities; and, penetration perspectives. Editor(s): Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef G.; Stary, Christian. Series: Communications in Computer and Information Science. Num Pages: 149 pages, 63 black & white illustrations, biography. BIC Classification: UKR; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 149
- Condition
- New
- SKU
- V9783642159145
- ISBN
- 9783642159145
Paperback
Condition: New
€ 64.01
€ 64.01
Paperback. Editor(s): Budde, Reinhard; Kuhlenkamp, Karin; Mathiassen, Lars; Zullighoven, Heinz. Num Pages: 458 pages, 2 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 24. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 1984
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 458
- Condition
- New
- SKU
- V9783540134909
- ISBN
- 9783540134909
Paperback
Condition: New
€ 124.19
€ 124.19
paperback. Editor(s): Bulatov, Andrei A.; Shur, Arseny M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642385353
- ISBN
- 9783642385353
Paperback
Condition: New
€ 65.45
€ 65.45
Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis. Editor(s): Bultan, Tevfik; Hsiung, Pao-Ann. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 546 pages, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 764.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642243714
- ISBN
- 9783642243714
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Editor(s): Bunde, Armin; Havlin, Shlomo. Num Pages: 316 pages, 62 black & white illustrations, 33 colour illustrations, biography. BIC Classification: PHS; PHU; PHVN; TGM; UMZ. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 17. Weight in Grams: 791.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 316
- Condition
- New
- SKU
- V9783662117798
- ISBN
- 9783662117798
Paperback
Condition: New
€ 66.09
€ 66.09
Paperback. The refereed post-proceedings of the Third International Conference on Practice and Theory of Automated Timetabling, contains 22 papers coveing: foundational and methodological issues from combinatorics, optimization, evolutionary computing, genetic algorithms, planning, constraints, and searching. Editor(s): Burke, Edmund; Erben, Wilhelm. Series: Lecture Notes in Computer Science. Num Pages: 376 pages, biography. BIC Classification: KJMV5; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1160.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540424215
- ISBN
- 9783540424215
Paperback
Condition: New
€ 68.78
€ 68.78
Paperback. The papers in this volume, from the Second International Symposium on Generative and Component-Based Software Engineering, Germany, October 2000, offer topical sections on aspects and patterns, models and paradigms, components and architectures, and Mixin-based composition and metaprogramming. Editor(s): Butler, Greg; Jarzabek, Stan. Series: Lecture Notes in Computer Science. Num Pages: 210 pages, biography. BIC Classification: UKR; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540425786
- ISBN
- 9783540425786
Paperback
Condition: New
€ 65.32
€ 65.32
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Compiled from the proceedings of the Third International Conference on Integrated Formal Methods in May 2002, this volume contains 21 papers. They are organized in topicalsections on integration, simulation, and animation from specification to verification statcharts. Editor(s): Butler, Michael; Sere, Kaisa; Petre, Luigia. Series: Lecture Notes in Computer Science. Num Pages: 401 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783540437031
- ISBN
- 9783540437031
Paperback
Condition: New
€ 69.11
€ 69.11