.png){kind=logo}
Computer programming / software development
Results 4201 - 4224 of 8429
Computer programming / software development
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. 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. 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. 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
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. Contains the papers presented at the latest Glasgow Workshop on Functional Programming, held in Ayr, Scotland, 6-8 July 1992. They concentrate on the design and implementation of functional programming languages, including profiling, compiling and extensions to Haskell. Editor(s): Launchbury, John; Sansom, Patrick. Series: Workshops in Computing. Num Pages: 271 pages, 12 black & white illustrations. BIC Classification: UMC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 271
- Condition
- New
- SKU
- V9783540198208
- ISBN
- 9783540198208
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and provides a reminder of the improvements needed to make these methods a part of software development. Editor(s): Bowen, Jonathan. P.; Nicholls, J.E. Series: Workshops in Computing. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783540198185
- ISBN
- 9783540198185
Paperback
Condition: New
€ 67.93
€ 67.93
Formal Methods in Databases and Software Engineering
. Ed(S): Alagar, V. S.; Lakshmanan, Laks V. S...
Paperback. This volume outlines the proceedings of a workshop which aimed to foster interdisciplinary research between software engineers and database designers. Topics discussed include object-oriented VDM, proof management, temporal databases, concept learning and knowledge-based systems. Editor(s): Alagar, V. S.; Lakshmanan, Laks V. S.; etc.; Sadri, Fereidoon. Series: Workshops in Computing. Num Pages: 193 pages, biography. BIC Classification: UMN; UMZ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 193
- Condition
- New
- SKU
- V9783540198123
- ISBN
- 9783540198123
Paperback
Condition: New
€ 66.06
€ 66.06
paperback. Sponsored by the Association for Logic Programming and ALPUK Editor(s): Lau, Kung-Kiu; Clement, T.P. Series: Workshops in Computing. Num Pages: 273 pages, 2 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- First Edition
- Number of pages
- 273
- Condition
- New
- SKU
- V9783540198062
- ISBN
- 9783540198062
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. The aim of the workshop upon which this text is based was to raise the profile of LARCH, a group of formal specification languages and tools orginally developed in the USA. Among the topics covered in this volume are the mechanical verification of concurrent systems with TLA. Editor(s): Martin, Ursula; Wing, Jeannette M. Series: Workshops in Computing. Num Pages: 315 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540198048
- ISBN
- 9783540198048
Paperback
Condition: New
€ 67.67
€ 67.67
Paperback. Provides a look at state of the art research into the area of persistent object systems. The primary topics discussed are the design, implementation and use of persistent object systems. Series: Workshops in Computing. Num Pages: 447 pages, 29 black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 24. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 447
- Condition
- New
- SKU
- V9783540198000
- ISBN
- 9783540198000
Paperback
Condition: New
€ 69.19
€ 69.19
Paperback. This volume is based on the proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, held in May 1991. The resulting volume contains the eight papers presented at the meeting, along with five additional papers which offer further insight into the topics raised there. Editor(s): Denvir, Tim; Herman, Rosalind; Whitty, R.W.; etc. Series: Workshops in Computing. Num Pages: 259 pages, biography. BIC Classification: KJM; UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 259
- Condition
- New
- SKU
- V9783540197881
- ISBN
- 9783540197881
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. This volume of conference proceedings covers a variety of technical areas, including concurrent logic languages and their semantics, the application of logic languages to other logical systems, modules, error-handling and the distributed execution of PROLOG programs. Editor(s): Broda, Krysia B. Series: Workshops in Computing. Num Pages: 355 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 615.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 355
- Condition
- New
- SKU
- V9783540197836
- ISBN
- 9783540197836
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. Provides an overview of new developments in theoretical and practical aspects of Z. It should be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 408 pages, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 408
- Condition
- New
- SKU
- V9783540197805
- ISBN
- 9783540197805
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. A collection of papers investigating different approaches for providing Z with an object oriented structuring mechanism. It evolved from a comparative study of ways in which object orientation has been combined with Z, which was carried out as part of the DTI/IED-funded ZIP Project. Editor(s): Stepney, Susan; Barden, Rosalind; Cooper, Mr David. Series: Workshops in Computing. Num Pages: 146 pages, 3 black & white illustrations, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 8. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783540197782
- ISBN
- 9783540197782
Paperback
Condition: New
€ 65.80
€ 65.80
Paperback. The authors of this monograph use their experience as systems consultants to clarify the key notions and design of measurement schemes for software engineering projects. A case study provides measurement strategies for formal specifications in the PROLOG, Z and VDM languages. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 335 pages, 135 black & white illustrations, biography. BIC Classification: GPFC; UL; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783540197539
- ISBN
- 9783540197539
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. This volume contains the papers presented at a conference on computer refinement, which is the term used to describe systematic and formal methods of specifying hardware and software. These specifications are then transformed into designs and implementations. Editor(s): Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim. Series: Workshops in Computing. Num Pages: 381 pages, 3 black & white illustrations, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 381
- Condition
- New
- SKU
- V9783540197522
- ISBN
- 9783540197522
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Presents the proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation held at Manchester University. It covers both theoretical and practical aspects, including the use of mode input-output in program transformation and program development in modular Prolog. Editor(s): Clement, T.P.; Lau, Kung-Kiu. Series: Workshops in Computing. Num Pages: 337 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 18. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 337
- Condition
- New
- SKU
- V9783540197423
- ISBN
- 9783540197423
Paperback
Condition: New
€ 67.89
€ 67.89
Paperback. Presents the proceedings of the Phoenix Seminar and Workshop on Declarative Programming held in Sasbachwalden in 1991. The papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches and programming methodology. Editor(s): Darlington, J. (Imperial College of Science, Technology and Medicine, London); Dietrich, R. (University of Karlsruhe, Germany). Series: Workshops in Computing. Num Pages: 327 pages, 4 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783540197355
- ISBN
- 9783540197355
Paperback
Condition: New
€ 67.81
€ 67.81
Paperback. This volume contains 12 papers presented at a conference which aimed to give a broad but technical insight into the work currently being done in the field of logic programming, both in the UK and by researchers as far afield as Canada and Bulgaria. Editor(s): Wiggins, G.A.; Mellish, C. (both of University of Edinburgh); Duncan, T. (Artificial Intelligence Applications Institute, Edinburgh). Series: Workshops in Computing. Num Pages: 219 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 12. Weight in Grams: 453.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783540197348
- ISBN
- 9783540197348
Paperback
Condition: New
€ 66.97
€ 66.97
7th UK Computer and Telecommunications Performance Engineering Worksho...
. Ed(S): Hillston, Jane E.; King, Peter J. B....
Paperback. This volume contains 16 papers highlighting various aspects of parallel computing. Topics covered include advances in queueing theory, common performance problems and their solutions, assessments of available tools, and presentations of new theoretical results. Editor(s): Hillston, Jane E.; King, Peter J. B.; Pooley, Robert J. Series: Workshops in Computing. Num Pages: 191 pages, 32 black & white illustrations, biography. BIC Classification: TJK; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 11. Weight in Grams: 368.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783540197331
- ISBN
- 9783540197331
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. This volume of conference proceedings aims to provide Z users with information on new developments, such as activities in the field of object-oriented specification and design. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 389 pages, 11 black & white illustrations, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 21. Weight in Grams: 687.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 389
- Condition
- New
- SKU
- V9783540196723
- ISBN
- 9783540196723
Paperback
Condition: New
€ 68.53
€ 68.53
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow ...
. Ed(S): Jones, Simon L.Peyton; Hutton, Graha...
paperback. A volume of papers from a workshop in 1990 addressing aspects of functional programming such as lifetimes, strictness and heap contents, the relationship between forward and backward analysis, improved programme compilation, partial applications and parallel programming. Editor(s): Jones, Simon L.Peyton; Hutton, Graham; Kehler Holst, Carsten. Series: Workshops in Computing. Num Pages: 287 pages, 3 black & white illustrations, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 16. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540196679
- ISBN
- 9783540196679
Paperback
Condition: New
€ 67.36
€ 67.36
Paperback. A survey of the parallel processing industry. It introduces the basic concepts of parallel computing and also covers different forms of parallelism, including descriptions of vector supercomputers, SIMD computers, shared memory multiprocessors, hypercubes and transputer-based machines. Editor(s): Trew, Arthur; Wilson, Greg. Num Pages: 392 pages, 9 black & white illustrations, biography. BIC Classification: UKC; UMZ; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 770.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540196648
- ISBN
- 9783540196648
Paperback
Condition: New
€ 69.04
€ 69.04