Computer programming / software development
Results 2617 - 2640 of 6454
Computer programming / software development
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 / 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 / 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. 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. 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. 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 / so. Series: Fir+iaw Forschung Fa1/4r Die Praxis. Num Pages: 212 pages, black & white illustrations, bibliography. BIC Classification: KJC; UMZ. Category: (G) General (US: Trade). Dimension: 203 x 133 x 12. Weight in Grams: 236.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540554233
- ISBN
- 9783540554233
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Editor(s): Voronkov, Andrei. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 532 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540554608
- ISBN
- 9783540554608
Paperback
Condition: New
€ 71.39
€ 71.39
Hardback. Lancelot is a software package for solving large-scale nonlinear optimization problems. This book provides an overview of the package and its use. It includes details of how one might present examples to the package, how the algorithm tries to solve these examples and various technical issues which may be useful to implementors of the software. Series: Springer Series in Computational Mathematics. Num Pages: 352 pages, 24 black & white tables, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540554707
- ISBN
- 9783540554707
Hardback
Condition: New
€ 192.32
€ 192.32
Paperback. Editor(s): Hogrefe, Dieter. Series: Informatik Aktuell. Num Pages: 228 pages, 22 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 13. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783540555681
- ISBN
- 9783540555681
Paperback
Condition: New
€ 90.56
€ 90.56
Paperback. Editor(s): Kansy, Klaus; Wisskirchen, Peter. Series: Informatik Aktuell. Num Pages: 130 pages, 27 black & white illustrations. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 7. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 130
- Condition
- New
- SKU
- V9783540555698
- ISBN
- 9783540555698
Paperback
Condition: New
€ 78.82
€ 78.82
Paperback. This volume constitutes the proceedings of the sixth European Conference on Object-Oriented Programming, held in Utrecht, June-July, 1992, which examined the state of the art of object orientation. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540556688
- ISBN
- 9783540556688
Paperback
Condition: New
€ 69.67
€ 69.67
paperback. Translator(s): Dobrowolski, P. Num Pages: 195 pages, 2 black & white illustrations. BIC Classification: UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 350.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 195
- Condition
- New
- SKU
- V9783540556916
- ISBN
- 9783540556916
Paperback
Condition: New
€ 79.50
€ 79.50
Paperback. Editor(s): Meuer, Hans Werner. Series: Informatik Aktuell. Num Pages: 254 pages, 34 black & white illustrations. BIC Classification: UMA; UT. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 254
- Condition
- New
- SKU
- V9783540557098
- ISBN
- 9783540557098
Paperback
Condition: New
€ 79.64
€ 79.64
Paperback. Editor(s): Liggesmeyer, Peter; Sneed, Harry M.; Spillner, Andreas. Series: Informatik Aktuell. Num Pages: 186 pages, 58 black & white illustrations, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540558606
- ISBN
- 9783540558606
Paperback
Condition: New
€ 68.75
€ 68.75
Hardback. Deals with finite-valued logics, and especially with three-valued logical calculi. This title discusses matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology. It includes chapters that deal with intuitionistic logic, fuzzy logics, approximation logics, and probability logics. Num Pages: 288 pages, biography. BIC Classification: PBWX; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540559269
- ISBN
- 9783540559269
Hardback
Condition: New
€ 127.93
€ 127.93
Paperback. Editor(s): Akademik Software Kooperat. Num Pages: 701 pages, 55 black & white illustrations. BIC Classification: KJQ; PB; UK; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1090.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 701
- Condition
- New
- SKU
- V9783540562863
- ISBN
- 9783540562863
Paperback
Condition: New
€ 84.06
€ 84.06
Paperback. Reports on an ESPRIT project which has produced a prototype of a comprehensive information systems environment, including languages, methods and tools, for managing the whole process of information systems development and maintenance. Editor(s): Jarke, Matthias. Series: Research Reports Esprit / Project 892.Daida. Num Pages: 558 pages, biography. BIC Classification: UMZ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 854.
- 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
- 558
- Condition
- New
- SKU
- V9783540562917
- ISBN
- 9783540562917
Paperback
Condition: New
€ 125.07
€ 125.07
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1991. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJM; KJT; UMZ. Category: (G) General (US: Trade). Dimension: 216 x 140 x 9. Weight in Grams: 195.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540563075
- ISBN
- 9783540563075
Paperback
Condition: New
€ 68.11
€ 68.11
paperback. An introduction to a tool for the development of numerical algorithms that delivers highly accurate and automatically verified results. The text explains advanced computer arithmetic, describes the C and C++ programming languages and gives sample programs. Translator(s): Corliss, G.F. Num Pages: 269 pages, 1 black & white illustrations, biography. BIC Classification: PBT; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- 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
- 269
- Condition
- New
- SKU
- V9783540563280
- ISBN
- 9783540563280
Paperback
Condition: New
€ 122.48
€ 122.48
Paperback. Editor(s): Hofmann, Georg R. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 368 pages, 60 black & white illustrations, 16 black & white tables. BIC Classification: UGK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540563730
- ISBN
- 9783540563730
Paperback
Condition: New
€ 80.24
€ 80.24
Cognitive Models and Intelligent Environments for Learning Programming
. Ed(S): Lemut, Enrica; Duboulay, Benedict; D...
hardcover. Proceedings of the NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments for Learning Programming, held near Genova, Italy, March 17-21, 1992 Editor(s): Lemut, Enrica; DuBoulay, Benedict; Dettori, Giuliana. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 312 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1993rd Edition
- Number of pages
- 312
- Condition
- New
- SKU
- V9783540565802
- ISBN
- 9783540565802
Hardback
Condition: New
€ 190.84
€ 190.84
Paperback. Provides a general presentation of the COMANDOS platform, structured into two parts. The first part provides a user view of the platform and focuses on its functionality, on design choices and innovative aspects. The second part gives an overview of the implementation of the platform. Editor(s): Cahill, Vinny; Balter, Roland; Harris, N. R.; Rousset De Pina, Xavier. Series: Research Reports Esprit / Project 2071. Comandos. Num Pages: 312 pages, 6 black & white illustrations, biography. BIC Classification: UFC; UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 510.
- 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
- 312
- Condition
- New
- SKU
- V9783540566601
- ISBN
- 9783540566601
Paperback
Condition: New
€ 64.55
€ 64.55
FME '93: Industrial-Strength Formal Methods: First International Sympo...
. Ed(S): Woodcock, J. C. P.; Larsen, Peter Go...
paperback. The symposium upon which this text is based focuses on the application of industrial-strength formal methods. The papers address the difficulties of scaling techniques up to industrial-sized problems, and their suitability in the workplace. Editor(s): Woodcock, J. C. P.; Larsen, Peter Gorm. Series: Lecture Notes in Computer Science. Num Pages: 695 pages, biography. BIC Classification: UFC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 36. Weight in Grams: 2170.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Germany
- Edition
- 1993rd Edition
- Number of pages
- 695
- Condition
- New
- SKU
- V9783540566625
- ISBN
- 9783540566625
Paperback
Condition: New
€ 138.46
€ 138.46