Computer programming / software development
Results 2593 - 2616 of 6454
Computer programming / software development
paperback. Series: Iwb Forschungsberichte. Num Pages: 152 pages, black & white illustrations, bibliography. BIC Classification: KJC; KJM; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 152
- Condition
- New
- SKU
- V9783540533269
- ISBN
- 9783540533269
Paperback
Condition: New
€ 78.26
€ 78.26
Paperback. "Graphische Benutzerschnittstellen" sollen den Umgang mit dem "Werkzeug" Computer erleichtern. Wie man solche Benutzerschnittstellen realisiert, das zeigt das vorliegende Buch. Es liefert den methodischen Leitfaden fur den Entwurf und die praktische Anleitung fur die Programmierung." Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 333 pages, 19 black & white illustrations, 10 black & white tables. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 333
- Condition
- New
- SKU
- V9783540534389
- ISBN
- 9783540534389
Paperback
Condition: New
€ 80.46
€ 80.46
paperback. Organized by the working group Num Pages: 237 pages, 226 black & white illustrations, 28 black & white tables, biography. BIC Classification: PNR; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 14. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 237
- Condition
- New
- SKU
- V9783540535324
- ISBN
- 9783540535324
Paperback
Condition: New
€ 122.48
€ 122.48
Paperback. Series: Edition Alcatel Sel Stiftung. Num Pages: 380 pages, black & white illustrations. BIC Classification: KJQ; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783540535669
- ISBN
- 9783540535669
Paperback
Condition: New
€ 64.64€ 56.44
€ 64.64
€ 56.44
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 191 pages, black & white illustrations, bibliography. BIC Classification: UGC; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 335.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783540535768
- ISBN
- 9783540535768
Paperback
Condition: New
€ 78.97
€ 78.97
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 19. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540537144
- ISBN
- 9783540537144
Paperback
Condition: New
€ 70.19
€ 70.19
Paperback. Num Pages: 401 pages, 6 black & white illustrations. BIC Classification: TBD; UML; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 21. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2 Rev ed
- Number of pages
- 401
- Condition
- New
- SKU
- V9783540537472
- ISBN
- 9783540537472
Paperback
Condition: New
€ 81.17
€ 81.17
Paperback. German and English with summaries in both languages. Editor(s): Hommel, Gunter. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 463 pages, 34 black & white illustrations. BIC Classification: UMA; UNH; UYF. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 24. Weight in Grams: 725.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 463
- Condition
- New
- SKU
- V9783540538080
- ISBN
- 9783540538080
Paperback
Condition: New
€ 81.80
€ 81.80
Prospects for Functional Programming in Software Engineering
Banatre, Jean Pierre; Jones, S.B.; Metayer, D...
Paperback. The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems. Series: Research Reports ESPRIT. Num Pages: 210 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 710.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540538523
- ISBN
- 9783540538523
Paperback
Condition: New
€ 65.53
€ 65.53
Hardback. This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs. Series: IFIP State-of-the-Art Reports. Num Pages: 508 pages, 33 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 28. Weight in Grams: 1119.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 508
- Condition
- New
- SKU
- V9783540539612
- ISBN
- 9783540539612
Hardback
Condition: New
€ 125.97
€ 125.97
Paperback. Originally presented as the author's thesis (doctoral)--TH Aachen. Series: Fir+Law Forschung fur die Praxis. Num Pages: 212 pages, 48 black & white illustrations. BIC Classification: KJU; TBJ; UMZ. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 12. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540541172
- ISBN
- 9783540541172
Paperback
Condition: New
€ 78.71
€ 78.71
Paperback. A collection of recent research papers which study the applications and theory of high-level Petri nets, a powerful computer language for system modelling and validation. Each section of the text outlines the main concepts and gives bibliographic notes on the development of high-level nets. Editor(s): Jensen, Kurt; Rozenberg, Grzegorz. Num Pages: 724 pages, 6 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 37. Weight in Grams: 1245.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 724
- Condition
- New
- SKU
- V9783540541257
- ISBN
- 9783540541257
Paperback
Condition: New
€ 68.88
€ 68.88
Paperback. The papers in this book discuss the concepts that will determine the next generation of information systems, such as data types for databases, object orientation, data deduction and construction, visual database interfaces, interoperability and extensibility open architectures. Editor(s): Schmidt, Joachim W.; Stogny, Anatoly A. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, biography. BIC Classification: UMN; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 651.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540541417
- ISBN
- 9783540541417
Paperback
Condition: New
€ 70.11
€ 70.11
Paperback. Series: Fir+Iaw Forschung fur die Praxis. Num Pages: 159 pages, 16 black & white illustrations, 11 black & white tables. BIC Classification: KCP; KJU; UMZ. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 9. Weight in Grams: 220.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 159
- Condition
- New
- SKU
- V9783540541820
- ISBN
- 9783540541820
Paperback
Condition: New
€ 78.26
€ 78.26
Paperback. Das Buch enth{lt eine Auseinandersetzung mit Theorie und Praxis von Human- und Maschinen}bersetzung, eine weltweite Dokumentation der Systeme zur Maschinellen ]bersetzung, von Softwaretools und Terminologiedatenbanken sowie eine ca. 2000 Titel umfassende Bibliographie der verf}gbaren Fachli- teratur aus den Jahren 1985 bis 1989/90. Num Pages: 489 pages, black & white illustrations, bibliography. BIC Classification: UMZ; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 25. Weight in Grams: 740.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 489
- Condition
- New
- SKU
- V9783540541868
- ISBN
- 9783540541868
Paperback
Condition: New
€ 71.57
€ 71.57
Paperback. Papers presented at a workshop held at the Universit'at Rostock. Editor(s): Denzer, Ralf; Hagen, Hans; Kutschke, Karl-Heinz. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 104 pages, 14 black & white illustrations. BIC Classification: RNH; RNP; TQK; TQSW; UGK; UML. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 6. Weight in Grams: 205.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 104
- Condition
- New
- SKU
- V9783540541899
- ISBN
- 9783540541899
Paperback
Condition: New
€ 78.11
€ 78.11
Paperback. Software development environments support all phases of the software development cycle. These proceedings bring together managers and specialists involved with software development tools, leading developers of such tools and authorities from the research community. Editor(s): Endres, A.; Weber, Herbert. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: UGC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 940.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540541943
- ISBN
- 9783540541943
Paperback
Condition: New
€ 67.25
€ 67.25
Hardback. Proposes a logical approach to the theory of programming. This book provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 362 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 244 x 170 x 20. Weight in Grams: 691.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 362
- Condition
- New
- SKU
- V9783540542773
- ISBN
- 9783540542773
Hardback
Condition: New
€ 128.57
€ 128.57
Paperback. Papers presented at a meeting held in Darmstadt on June 7-8, 1990, and sponsored by the Fraunhofer-Arbeitsgruppe f'ur Graphische Datenverarbeitung and the Zentrum f'ur Graphische Datenverarbeitung. Editor(s): Fruhauf, Martin; Gobel, Martin. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 189 pages, 11 black & white illustrations. BIC Classification: MBP; MMP; UGK; UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 305.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783540542957
- ISBN
- 9783540542957
Paperback
Condition: New
€ 78.58
€ 78.58
Paperback. Vortragssammlung des International Symposiums, 30. September/1. Oktober 1991 in Munchen / Proceedings of the International Symposium, September 30/October 1, 1991, in Munich Editor(s): Schwartzel, Heinz. Num Pages: 221 pages, 45 black & white illustrations, biography. BIC Classification: UK; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 12. Weight in Grams: 404.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783540543220
- ISBN
- 9783540543220
Paperback
Condition: New
€ 79.21
€ 79.21
Paperback / so. Num Pages: 487 pages, black & white illustrations, bibliography. BIC Classification: PN; PSA; UB; UDB; UKP; UMZ; UN; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 26. Weight in Grams: 794.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Number of pages
- 487
- Condition
- New
- SKU
- V9783540544524
- ISBN
- 9783540544524
Paperback
Condition: New
€ 72.17
€ 72.17
Paperback. 5th International GI/ITG/GMA Conference, Nurnberg, September 25-27, 1991. Proceedings Editor(s): Dal Cin, Mario. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 425 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 425
- Condition
- New
- SKU
- V9783540545453
- ISBN
- 9783540545453
Paperback
Condition: New
€ 123.66
€ 123.66
Paperback. Originally presented as the author's thesis (doctoral)--Universit'at Z'urich, Wintersemester 1990/91. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMN. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540545460
- ISBN
- 9783540545460
Paperback
Condition: New
€ 68.08
€ 68.08
paperback. This volume presents recent developments in the use of fuzzy sets in broadly perceived interactive optimization and mathematical programming. The introductory sections are followed by material with an emphasis on elements of human interaction and information on software packages. Editor(s): Fedrizzi, Mario; Kacprzyk, J.; Roubens, Marc. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 229 pages, 13 black & white tables, biography. BIC Classification: PBWX; UM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 407.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 229
- Condition
- New
- SKU
- V9783540545774
- ISBN
- 9783540545774
Paperback
Condition: New
€ 121.51
€ 121.51