.png){kind=logo}
Mathematical foundations
Results 541 - 560 of 1109
Mathematical foundations
Paperback. Series: Mathematik fur Informatiker. Num Pages: 238 pages, 4 black & white illustrations, 6 black & white tables. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 13. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783540529743
- ISBN
- 9783540529743
Paperback
Condition: New
€ 72.22
€ 72.22
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
€ 73.56
€ 73.56
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New...
. Ed(S): Kurshan, R. P.; Clarke, E.M.
paperback. This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification. Editor(s): Kurshan, R. P.; Clarke, E.M. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- 1991st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540544777
- ISBN
- 9783540544777
Paperback
Condition: New
€ 71.97
€ 71.97
Paperback. This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic. Editor(s): Borger, Egon; Buning, Hans Kleine; Richter, Michael M.; Schonfeld, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, biography. BIC Classification: PBCD; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540544876
- ISBN
- 9783540544876
Paperback
Condition: New
€ 72.44
€ 72.44
Paperback. The papers in this volume were presented at the fourth biennial Summer Conference on Category and Computer Science. Category theory continues to be an important tool in foundational studies in computer science. Editor(s): Pitt, David H.; Curien, P-.L.; Abramsky, Samson; Pitts, Andrew M.; Poigne, Axel; Rydeheard, D. E. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540544951
- ISBN
- 9783540544951
Paperback
Condition: New
€ 70.46
€ 70.46
Hardback. Containing three contributions by Arhangel'skii and Choban, this book treats important topics in general topology and their role in functional analysis and axiomatic set theory. It is a useful reference for graduate students and researchers working in topology, functional analysis, set theory and probability theory. Editor(s): Arkhangel'skii, A. V. Translator(s): Gould, G.G. Series: Encyclopaedia of Mathematical Sciences. Num Pages: 232 pages, biography. BIC Classification: PBCH; PBKF; PBM; PBP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540546986
- ISBN
- 9783540546986
Hardback
Condition: New
€ 132.38
€ 132.38
Paperback. This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory. Editor(s): Pearce, David; Wansing, Heinrich. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 184 pages, biography. BIC Classification: PBCD; PBW; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 10. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 184
- Condition
- New
- SKU
- V9783540557456
- ISBN
- 9783540557456
Paperback
Condition: New
€ 62.38
€ 62.38
Paperback. The proceedings of an international workshop which discusses such topics as automated theorem proving, the logical foundations of logic programming, systems of nonmonotonic reasoning, temporal and epistemic logics, belief revision and modal logics for representing graph information. Editor(s): Pearce, David; Wagner, G. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540558873
- ISBN
- 9783540558873
Paperback
Condition: New
€ 72.62
€ 72.62
Paperback. An introduction to the methods and applications of fuzzy mathematical programming and possibilistic mathematical programming. The text provides readers with an examination of existing methods, and their applicability to the analysis of programming problems. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 319 pages, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 319
- Condition
- New
- SKU
- V9783540560982
- ISBN
- 9783540560982
Paperback
Condition: New
€ 67.69
€ 67.69
Paperback. This volume contains 16 papers dealing with the methodological and applied aspects of the simulated annealing approach when applied to solve combinatorial optimization problems. Among the topics discussed are design strategies for the algorithm and a miscellaneous of application areas. Editor(s): Vidal, R. V.V. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 366 pages, biography. BIC Classification: KJT; PBC; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 19. Weight in Grams: 647.
- 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
- 366
- Condition
- New
- SKU
- V9783540562290
- ISBN
- 9783540562290
Paperback
Condition: New
€ 129.04
€ 129.04
Paperback. Series: Springer-Lehrbuch. Num Pages: 489 pages, black & white illustrations, bibliography. BIC Classification: PBC; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 489
- Condition
- New
- SKU
- V9783540563549
- ISBN
- 9783540563549
Paperback
Condition: New
€ 85.57
€ 85.57
Hardback. Provides comprehensive presentation of default logic and modal nonmonotonic logics. This monograph discusses their connections to each other and to logic programming. Addressed to the Artificial Intelligence community, it sets standards of scholarship, elegance, and unity of perspective in the field. Series: Artificial Intelligence. Num Pages: 420 pages, biography. BIC Classification: PBCD; PBW; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540564485
- ISBN
- 9783540564485
Hardback
Condition: New
€ 196.57
€ 196.57
Paperback. Containing the proceedings of the 14th International Conference on the Application and Theory of Petri Nets, held in Chicago, Illinois, USA in June 1993, this volume discusses such subjects as the functional and performance structural analysis of net models. Editor(s): Marsan, Marco Ajmone. Series: Lecture Notes in Computer Science. Num Pages: 598 pages, biography. BIC Classification: PBCD; PDE; TBJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 31. Weight in Grams: 841.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 598
- Condition
- New
- SKU
- V9783540568636
- ISBN
- 9783540568636
Paperback
Condition: New
€ 137.06
€ 137.06
Paperback. Contains a selection of research papers presented at the Workshop on Fuzzy Logic and Fuzzy Control, held in Sydney, Australia in August 1991. The work is divided into sections on fuzzy reasoning, fuzzy neural networks, fuzzy control applications, fuzzy logic planning and fuzzy circuits. Editor(s): Driankov, Dimiter; etc.; Eklund, P.W. (University of Adelaide, Australia); Ralescu, A. (Laboratory for International Fuzzy Engineering, Yokohama, Japan). Series: Lecture Notes in Computer Science. Num Pages: 168 pages, biography. BIC Classification: PBCD; PBWX; UYF; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540582793
- ISBN
- 9783540582793
Paperback
Condition: New
€ 84.39
€ 84.39
Paperback. Series: Springer-Lehrbuch. Num Pages: 261 pages, 5 black & white illustrations. BIC Classification: PBC; UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783540585596
- ISBN
- 9783540585596
Paperback
Condition: New
€ 83.23
€ 83.23
Paperback. This is a survey of projectivity and its generalizations in the class of Boolean algebras. The text is self-contained, but assumes some knowledge of the basic concepts and techniques of Boolean algebras. Series: Lecture Notes in Mathematics. Num Pages: 210 pages, biography. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540587873
- ISBN
- 9783540587873
Paperback
Condition: New
€ 85.18
€ 85.18
Paperback / so. Num Pages: 511 pages, black & white illustrations, bibliography. BIC Classification: KCA; KJQ; MBNS; PBCN; PBF; PBW; PHD; PN. Category: (G) General (US: Trade). Dimension: 234 x 156 x 28. Weight in Grams: 744.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 511
- Condition
- New
- SKU
- V9783540591511
- ISBN
- 9783540591511
Paperback
Condition: New
€ 63.79
€ 63.79
Paperback. This text covers an approach to the modelling of reasoning under uncertainty. It develops the Dempster-Shafer theory as a theory of the reliability of reasoning with uncertain arguments. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 435 pages, 9 black & white illustrations, biography. BIC Classification: PBCD; PBWH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 435
- Condition
- New
- SKU
- V9783540591764
- ISBN
- 9783540591764
Paperback
Condition: New
€ 184.31
€ 184.31
Hardback. Assuming a basic understanding of algebra, this text includes 350 exercises divided into 21 chapters. It aims to enable the reader to quickly familiarize themselves with the topic. Series: Die Grundlehren der Mathematischen Wissenschaften. Num Pages: 641 pages, biography. BIC Classification: PBCD; PBF; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 160 x 38. Weight in Grams: 1122.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 641
- Condition
- New
- SKU
- V9783540605829
- ISBN
- 9783540605829
Hardback
Condition: New
€ 187.17
€ 187.17
Paperback. This text presents a general process of algebraization, in a wide sense, applicable to any logical system presented as a sentential logic. This process is performed through the use of abstract logics, which are pairs consisting of an algebra and closure operature on it. Series: Lecture Notes in Logic. Num Pages: 139 pages, biography. BIC Classification: PBCD; PBCH; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 8. Weight in Grams: 237.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 139
- Condition
- New
- SKU
- V9783540616993
- ISBN
- 9783540616993
Paperback
Condition: New
€ 65.52
€ 65.52