.png){kind=logo}
Computer programming / software development
Results 4177 - 4200 of 8429
Computer programming / software development
hardcover. Series: Xpert.Press. Num Pages: 376 pages, XIII, 361 S. 99 Abb. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 704.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540208723
- ISBN
- 9783540208723
Hardback
Condition: New
€ 85.26
€ 85.26
Hardback. UML models are used to derive the testing architecture for an application, the testing interfaces and component testers. This book describes a method that provides a process and guidelines for modeling and developing the artifacts. It also discusses the implications of built-in contract testing with other component-based development technologies. Num Pages: 316 pages, biography. BIC Classification: UMZL. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 20. Weight in Grams: 640.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540208648
- ISBN
- 9783540208648
Hardback
Condition: New
€ 68.35
€ 68.35
Hardback. Series: Xpert.Press. Num Pages: 316 pages, X, 304 S. 250 Abb. BIC Classification: PBF; PBW; UM; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 621.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540208129
- ISBN
- 9783540208129
Hardback
Condition: New
€ 84.10
€ 84.10
Hardback. Introduces an analysis and design method customized to form-based enterprise applications, the predominant type of business application. This work explains their common properties and gives an introduction to the modeling of such systems. Num Pages: 372 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 22. Weight in Grams: 727.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540205937
- ISBN
- 9783540205937
Hardback
Condition: New
€ 135.39
€ 135.39
Paperback. This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. Series: Lecture Notes in Computer Science. Num Pages: 458 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 19. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 458
- Condition
- New
- SKU
- V9783540205272
- ISBN
- 9783540205272
Paperback
Condition: New
€ 68.78
€ 68.78
Hardback. Series: X.Systems.Press. Num Pages: 336 pages, black & white illustrations. BIC Classification: UL; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540204404
- ISBN
- 9783540204404
Hardback
Condition: New
€ 84.45
€ 84.45
Hardback. Series: X.Systems.Press. Num Pages: 498 pages, bibliography. BIC Classification: UL; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 26. Weight in Grams: 871.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 498
- Condition
- New
- SKU
- V9783540203995
- ISBN
- 9783540203995
Hardback
Condition: New
€ 92.11
€ 92.11
Paperback. This book constitutes the refereed joint proceedings of four international workshops held in conjunction with the 22nd International Conference on Conceptual Modelling, ER 2003, held in Chicago, IL, USA in October 2003. Series: Lecture Notes in Computer Science. Num Pages: 414 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540202578
- ISBN
- 9783540202578
Paperback
Condition: New
€ 72.61
€ 72.61
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 447 pages, biography. BIC Classification: UM. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 447
- Condition
- New
- SKU
- V9783540201014
- ISBN
- 9783540201014
Paperback
Condition: New
€ 73.25
€ 73.25
hardcover. The first textbook ever to cover multi-relational data mining and inductive logic programming, this book fully explores logical and relational learning. Ideal for graduate students and researchers, it also looks at statistical relational learning. Series: Cognitive Technologies. Num Pages: 402 pages, 10 black & white tables, biography. BIC Classification: UM; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 816.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 402
- Condition
- New
- SKU
- V9783540200406
- ISBN
- 9783540200406
Hardback
Condition: New
€ 69.07
€ 69.07
paperback. Visual Basic provides a straightforward means of building Windows applications. This text is written specifically to help users get up and running quickly on Visual Basic. Aimed at both undergraduates and programmers, the book focuses on how to develop programs quickly and effectively. Series: Essential Series. Num Pages: 186 pages, 169 black & white illustrations, biography. BIC Classification: ULD; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 10. Weight in Grams: 311.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540199984
- ISBN
- 9783540199984
Paperback
Condition: New
€ 126.80
€ 126.80
Paperback. This text outlines an approach to constructing optimal feedback controls for linear control systems that are under the influence of constantly acting bounded perturbations. The optimal synthesis problem is solved by using discrete time systems obtained from continous ones. Series: Lecture Notes in Control and Information Sciences. Num Pages: 220 pages, biography. BIC Classification: TJFM; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783540199915
- ISBN
- 9783540199915
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. This work contains papers from the International Workshop on Hypermedia Design, held in Montpelier, France, during 1-2 June 1995. Among the specific topics covered by the papers are: design methods, multimedia modelling and higher structures in hypermedia design spaces. Editor(s): Fraisse, Sylvain; etc.; Garzotto, Franca; Isakowitz, Tomas; Nanard, J.; Nanard, M. Series: Workshops in Computing. Num Pages: 252 pages, 24 black & white illustrations, biography. BIC Classification: UG; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 416.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540199854
- ISBN
- 9783540199854
Paperback
Condition: New
€ 127.54
€ 127.54
Paperback. An overview of the use of formal object-oriented methods: it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing developmental practices. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 422 pages, 4 black & white illustrations. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 422
- Condition
- New
- SKU
- V9783540199786
- ISBN
- 9783540199786
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed. Editor(s): Goldsack, Stephen J.; Kent, Stuart J. H. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 368 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540199779
- ISBN
- 9783540199779
Paperback
Condition: New
€ 128.63
€ 128.63
Paperback. These papers offer an overview of up-to-date research work in the area of temporal databases, from the highly thoeretical through to reports on how temporal databases can be used to solve real problems. They include summaries of two panel discussions which assess the TSQL2 Language Design. Editor(s): Clifford, James; Tuzhilin, Alexander. Series: Workshops in Computing. Num Pages: 360 pages, 12 black & white illustrations. BIC Classification: UMT; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540199458
- ISBN
- 9783540199458
Paperback
Condition: New
€ 67.79
€ 67.79
Paperback. Designed for those who seek background material on the mathematical underpinnings of the refinement calculus, this monograph explores one view of the development of the calculus, plus its attempt to bring together Z specifications and Dijkstra's programming language. Editor(s): Morgan, Carroll; Vickers, Trevor. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 159 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 10. Weight in Grams: 280.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 159
- Condition
- New
- SKU
- V9783540199311
- ISBN
- 9783540199311
Paperback
Condition: New
€ 65.80
€ 65.80
Paperback. This volume contains essays by researchers working on object technology and its application to information systems design and development. It discusses modelling, software, interface design, knowledge bases, object databases, distributed databases and emerging object technologies. Editor(s): Patel, Dilip; Sun, Yuan; Patel, Shushma. Num Pages: 506 pages, 22 black & white illustrations. BIC Classification: UMN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540199274
- ISBN
- 9783540199274
Paperback
Condition: New
€ 69.19
€ 69.19
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow ...
. Ed(S): Hammond, Kevin; Etc.; Turner, D.N.; ...
paperback. A summary of new research results on functional programming, which includes discussion of theoretical work in bisimilarity and computer algebra, the creation of a cervical smear scanning system, issues in concurrency and parallelism, and compilation methods for functional languages. Editor(s): Hammond, Kevin; etc.; Turner, D.N.; Sansom, P.M. (all of University of Glasgow, Scotland). Series: Workshops in Computing. Num Pages: 254 pages, biography. BIC Classification: UMJ; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 425.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 254
- Condition
- New
- SKU
- V9783540199144
- ISBN
- 9783540199144
Paperback
Condition: New
€ 127.61
€ 127.61
Paperback. This volume of research papers addresses the issue of how to support the implementation of computer systems with very long lives. Among the topics discussed are the creation, operation and maintenance of these systems, and improvements to the quality of persistent software engineering. Editor(s): Maier, David; Benzaken, Veronique. Series: Workshops in Computing. Num Pages: 546 pages, 22 black & white illustrations. BIC Classification: UL; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 546
- Condition
- New
- SKU
- V9783540199120
- ISBN
- 9783540199120
Paperback
Condition: New
€ 69.62
€ 69.62
Incompleteness and Uncertainty in Information Systems
. Ed(S): Alagar, Vangalur S.; Etc.; Bergler, ...
Paperback. Contains papers presented at a workshop on the subject, held at Concordia University, Montreal, Canada in October 1993. The contributors discuss software aberrations, modelling uncertainty in object-oriented databases, the management of uncertainty in AI and much more. Editor(s): Alagar, Vangalur S.; etc.; Bergler, Sabine; Dong, F.Q. Series: Workshops in Computing. Num Pages: 235 pages, biography. BIC Classification: UKX; UMZ; UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 395.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540198970
- ISBN
- 9783540198970
Paperback
Condition: New
€ 66.54
€ 66.54
paperback. The papers presented at this workshop on the theory and practice of formal software developments address the practical applications of these formal methods in commerce and industry. Series: Workshops in Computing. Num Pages: 309 pages, 1 black & white illustrations. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 309
- Condition
- New
- SKU
- V9783540198864
- ISBN
- 9783540198864
Paperback
Condition: New
€ 67.27
€ 67.27
paperback. This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development. Editor(s): Bowen, Jonathan. P.; Hall, John Anthony. Series: Workshops in Computing. Num Pages: 405 pages, 7 black & white illustrations, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 405
- Condition
- New
- SKU
- V9783540198840
- ISBN
- 9783540198840
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. The proceedings of a workshop which produced research papers on the full spectrum of functional programming research, including implementation, performance, parallelism, algorithms and semantics. Editor(s): O'Donnell, John T.; Hammond, Kevin. Series: Workshops in Computing. Num Pages: 287 pages, 8 black & white illustrations. BIC Classification: UMJ; UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 525.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540198796
- ISBN
- 9783540198796
Paperback
Condition: New
€ 67.45
€ 67.45