.png){kind=logo}
Computer programming / software development
Results 81 - 100 of 7488
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. Editor(s): Apel, Sven; Jackson, Ethan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 22 black & white illustrations, 35 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642220449
- ISBN
- 9783642220449
Paperback
Condition: New
€ 66.97
€ 66.97
The Logic Programming Paradigm. A 25-Year Perspective.
. Ed(S): Apt, Krzysztof R.; Marek, Victor W.;...
Paperback. Editor(s): Apt, Krzysztof R.; Marek, Victor W.; Truszczynski, Mirek; Warren, David S. Series: Artificial Intelligence. Num Pages: 456 pages, biography. BIC Classification: KJT; UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 456
- Condition
- New
- SKU
- V9783642642494
- ISBN
- 9783642642494
Paperback
Condition: New
€ 129.49
€ 129.49
Paperback. This volume covers the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. It discusses the theoretical aspects of combining behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. Editor(s): Araki, Keijiro; Galloway, Andy; Taguchi, K. Num Pages: 477 pages, 3 black & white illustrations, biography. BIC Classification: UL; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 477
- Condition
- New
- SKU
- V9781852331078
- ISBN
- 9781852331078
Paperback
Condition: New
€ 129.71
€ 129.71
Paperback. Editor(s): Arbab, Farhad; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 369 pages, 131 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642357428
- ISBN
- 9783642357428
Paperback
Condition: New
€ 67.77
€ 67.77
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. This title features papers organized in topical section on models of programs and systems, software specification, validation and verification, and more. Editor(s): Arbab, Farhad; Sirjani, Marjan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 389 pages, 90 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 389
- Condition
- New
- SKU
- V9783642293191
- ISBN
- 9783642293191
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Editor(s): Arbab, Farhad; Sirjani, Marjan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 302 pages, 85 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 302
- Condition
- New
- SKU
- V9783642402128
- ISBN
- 9783642402128
Paperback
Condition: New
€ 66.78
€ 66.78
paperback. Working Conference on Stochastic Programming held in Gargnano (Italy), September 15-21, 1983 Editor(s): Archetti, Francesco; Pillo, G. Di; Lucertini, Mario. Series: Lecture Notes in Control and Information Sciences. Num Pages: 292 pages, 1 black & white illustrations, biography. BIC Classification: TJFM; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540160441
- ISBN
- 9783540160441
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Focuses on the adoption of run-time models for the design and management of autonomic systems. This book includes techniques and solutions for the run-time estimation of autonomic systems performance, the analysis of transient conditions and their application in prototype environments. Editor(s): Ardagna, Danilo; Zhang, Li. Series: Autonomic Systems. Num Pages: 194 pages, biography. BIC Classification: UGK; UKR; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 194
- Condition
- New
- SKU
- V9783034604321
- ISBN
- 9783034604321
Paperback
Condition: New
€ 66.06
€ 66.06
Hardback. Addresses the problems and issues surrounding diffusion of innovations in software. This book provides a framework for evaluating and applying technology transfer methods. It covers topics such as implementation and coordination issues, interpretations of diffusion theory, diffusion of software processes, and contextual factors. Editor(s): Ardis, Mark A.; Marcolin, Barbara L. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780792373315
- ISBN
- 9780792373315
Hardback
Condition: New
€ 255.44
€ 255.44
Paperback. Editor(s): Ardis, Mark A.; Marcolin, Barbara L. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, 6 black & white illustrations, biography. BIC Classification: KCG; KJMV6; KJQ; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 316
- Condition
- New
- SKU
- V9781475749755
- ISBN
- 9781475749755
Paperback
Condition: New
€ 249.66
€ 249.66
Paperback. These papers on algorithmic learning theory are organized in topical sections on statistical learning, inductive logic programming, inductive inference, complexity, neural networks and other paradigms, support vector machines. Editor(s): Arimura, Hiroki; Jain, Sanjay; Sharma, Arun. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 348 pages, biography. BIC Classification: UMB; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540412373
- ISBN
- 9783540412373
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. Editor(s): Arnaldi, B.; Purgathofer, Werner; Hewitt, W.T.; Hansmann, W.; Hegron, Gerard. Series: Eurographics S. Num Pages: 133 pages, 82 figs. BIC Classification: UG; UGK; UMZ. Category: (G) General (US: Trade); (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. .
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag, Austria Austria
- Number of pages
- 133
- Condition
- New
- SKU
- V9783211832578
- ISBN
- 9783211832578
Paperback
Condition: New
€ 66.97
€ 66.97
Field-Programmable Custom Computing Technology: Architectures, Tools, ...
. Ed(S): Arnold, Jeffrey; Luk, Wayne; Pocek, ...
Hardback. Describes the advances in architectures, design methods, and applications of field-programmable devices for high-performance reconfigurable systems. This title is suitable for those working or researching in the field of custom computing technology. Editor(s): Arnold, Jeffrey; Luk, Wayne; Pocek, Ken. Num Pages: 136 pages, biography. BIC Classification: PHDS; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 203 x 13. Weight in Grams: 539.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF VLSI SIGNAL PROCESSING
- Number of pages
- 136
- Condition
- New
- SKU
- V9780792378037
- ISBN
- 9780792378037
Hardback
Condition: New
€ 128.31
€ 128.31
Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 425 pages, 49 black & white illustrations, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642357213
- ISBN
- 9783642357213
Paperback
Condition: New
€ 68.25
€ 68.25
Paperback. Editor(s): Artho, Cyrille; Legay, Axel; Peled, Doron. Series: Lecture Notes in Computer Science. Num Pages: 541 pages, 102 black & white illustrations, biography. BIC Classification: UMX; UYA; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 817.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 541
- Condition
- New
- SKU
- V9783319465197
- ISBN
- 9783319465197
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Editor(s): Artho, Cyrille; Olveczky, Peter Csaba. Series: Communications in Computer and Information Science. Num Pages: 161 pages, 40 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 279.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 161
- Condition
- New
- SKU
- V9783319539454
- ISBN
- 9783319539454
Paperback
Condition: New
€ 65.62
€ 65.62
Paperback. Editor(s): Artho, Cyrille; Olveczky, Peter Csaba. Series: Communications in Computer and Information Science. Num Pages: 297 pages, 91 black & white illustrations, biography. BIC Classification: UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 297
- Condition
- New
- SKU
- V9783319054155
- ISBN
- 9783319054155
Paperback
Condition: New
€ 66.82
€ 66.82
paperback. Editor(s): Artho, Cyrille; Olveczky, Peter Csaba. Series: Communications in Computer and Information Science. Num Pages: 271 pages, 86 colour illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 271
- Condition
- New
- SKU
- V9783319295091
- ISBN
- 9783319295091
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies. Editor(s): Artikis, Alexander; Craven, Robert; Kesim Cicekli, Nihan; Sadighi, Babak; Stathis, Kostas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 445 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 445
- Condition
- New
- SKU
- V9783642294136
- ISBN
- 9783642294136
Paperback
Condition: New
€ 68.44
€ 68.44
Informationsverarbeitung in Versicherungsunternehmen
. Ed(S): Aschenbrenner, Michael; Dicke, Ralph...
Hardback. Editor(s): Aschenbrenner, Michael; Dicke, Ralph; Karnarski, Bertel; Schweiggert, Franz. Series: Springer-Lehrbuch Masterclass. Num Pages: 448 pages, black & white illustrations, bibliography. BIC Classification: KFFD1; KJMV5; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 871.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783642043208
- ISBN
- 9783642043208
Hardback
Condition: New
€ 58.70
€ 58.70