Computer programming / software development
Results 4101 - 4120 of 8560
Computer programming / software development
Paperback. Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 267 pages, black & white illustrations, bibliography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783540553007
- ISBN
- 9783540553007
Paperback
Condition: New
€ 79.64
€ 79.64
Paperback. This volume summarizes the results obtained by the group working on software fault tolerance within the ESPRIT project REQUEST (Reliability and Quality of European Software Technology). A generic model is developed for evaluating the reliability of fault-tolerant software systems. Editor(s): Kersken, Manfred; Saglietti, Francesca. Series: Research Reports ESPRIT - Project 300: REQUEST S. Num Pages: 243 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 14. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 243
- Condition
- New
- SKU
- V9783540552123
- ISBN
- 9783540552123
Paperback
Condition: New
€ 121.76
€ 121.76
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 114 pages, Illustrations. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 6. Weight in Grams: 205.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 114
- Condition
- New
- SKU
- V9783540551515
- ISBN
- 9783540551515
Paperback
Condition: New
€ 78.21
€ 78.21
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; UL; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 22. Weight in Grams: 667.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540549109
- ISBN
- 9783540549109
Paperback
Condition: New
€ 71.31
€ 71.31
Paperback / so. Editor(s): Biethahn, J; Hummeltenberg, W; Schmidt, B. Series: Fachberichte Simulation. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJT; PBF; PBW; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 553.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540546665
- ISBN
- 9783540546665
Paperback
Condition: New
€ 86.38
€ 86.38
Paperback. This monograph offers information on the theory of degeneracy graphs, paving the way for an understanding of further applications, and also uses the basic theory to go on to explain the theory of simplex cycling and to derive the conditions in which simplex cycling would be used. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 212 pages, 16 black & white tables, biography. BIC Classification: PB; UM; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 381.
- 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
- 212
- Condition
- New
- SKU
- V9783540545934
- ISBN
- 9783540545934
Paperback
Condition: New
€ 63.44
€ 63.44
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
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. 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 / 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. 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. 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
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. 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
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. 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. 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. 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. 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. 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