.png){kind=logo}
Computer programming / software development
Results 4225 - 4248 of 8431
Computer programming / software development
Algebraic Methodology and Software Technology (Amast '93)
. Ed(S): Nivat, Maurice; Rattray, Charles; Ru...
Paperback. This volume of workshop proceedings covers a variety of software development issues and testifies to the versatility of algebraic methods used as conceptual tools in the software development process. It describes six specific software systems which have been developed using algebraic methods. Editor(s): Nivat, Maurice; Rattray, Charles; Rus, Teodor; Scollo, Giuseppe. Series: Workshops in Computing. Num Pages: 416 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 710.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540198529
- ISBN
- 9783540198529
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Providing a survey of current developments in database programming languages, this volume contains papers discussing the development of novel programming languages, environments for databases and data-intensive applications, and programming language support by database systems. Editor(s): Beeri, Catriel; Ohori, Atsushi; Shasha, Dennis. Series: Workshops in Computing. Num Pages: 438 pages, 23 black & white illustrations, biography. BIC Classification: UMX; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 757.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 438
- Condition
- New
- SKU
- V9783540198536
- ISBN
- 9783540198536
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. The proceedings of a workshop, the aim of which was to assess various research attempts to define specification languages and to identify a programme of work for future investigations. Emphasis was placed on proof checking, type consistency, static semantics and stepwise specification developments. Editor(s): Andrews, Derek J.; Groote, Jan F.; Middelburg, C.A. (Eindhoven University of Technology). Series: Workshops in Computing. Num Pages: 357 pages, 1 black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 630.
- 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
- 357
- Condition
- New
- SKU
- V9783540198543
- ISBN
- 9783540198543
Paperback
Condition: New
€ 68.11
€ 68.11
Paperback. Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas. Editor(s): Deville, Yves. Series: Workshops in Computing. Num Pages: 245 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 450.
- 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
- 245
- Condition
- New
- SKU
- V9783540198642
- ISBN
- 9783540198642
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. Addressing the issue of how to introduce an acceptable level of security into object-oriented systems, this volume contains research papers which approach the problem from two viewpoints: security incorporation; and the use of object-oriented techniques to design secure applications. Editor(s): Thuraisingham, Bhavani M.; Sandhu, Ravi; Ting, T.C. Series: Workshops in Computing. Num Pages: 237 pages, biography. BIC Classification: UMN; URY. 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
- 237
- Condition
- New
- SKU
- V9783540198772
- ISBN
- 9783540198772
Paperback
Condition: New
€ 66.54
€ 66.54
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
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 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
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. 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
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 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
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. 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. 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. 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 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. 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. 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
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. 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
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
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
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