.png){kind=logo}
Mathematical foundations
Results 581 - 600 of 1148
Mathematical foundations
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
Paperback. The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language theory and various issues involved in the implementation of automata of all types. Editor(s): Yu, Sheng; Raymond, Darrell; Wood, Derick. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540631743
- ISBN
- 9783540631743
Paperback
Condition: New
€ 68.23
€ 68.23
Hardback. The premises of using carbon instead of silicon, and DNA molecules instead of microchips, have been studied extensively. This text introduces the fundamental theory of DNA computing, from the basics of biochemistry and language, to the most advanced mathematical theory developed so far. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 400 pages, biography. BIC Classification: PBCD; TCB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 165 x 28. Weight in Grams: 746.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed 1998. Corr. 2nd printing 2005
- Number of pages
- 400
- Condition
- New
- SKU
- V9783540641964
- ISBN
- 9783540641964
Hardback
Condition: New
€ 124.81
€ 124.81
Paperback. This text presents a self-contained introduction to J. Rickard's Morita theory for derived module categories and its applications in representation theory of finite groups. Editor(s): Knig, S. (University of Bielefeld, Germany); Zimmerman, A. (Universite de Picardie Jules Verne, Amiens, France). Series: Lecture Notes in Mathematics. Num Pages: 246 pages, biography. BIC Classification: PBC; PBG; PBMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9783540643111
- ISBN
- 9783540643111
Paperback
Condition: New
€ 69.39
€ 69.39
Hardback. Amos provides a broad overview of the entire field of DNA computation, tracing its history and development. He gives detailed descriptions of all major theoretical models and experimental results to date and discusses potential future developments. Amos concludes by outlining the challenges currently faced by researchers in the field. Series: Natural Computing Series. Num Pages: 186 pages, 78 illus. BIC Classification: PBCD; PSAK1. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 16. Weight in Grams: 404.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540657736
- ISBN
- 9783540657736
Hardback
Condition: New
€ 127.76
€ 127.76
Hardback. This text gives a detailed account of strong shape theory and homology theory, based on approximation of spaces by polyhedra (ANRs) using the technique of inverse systems. Series: Springer Monographs in Mathematics. Num Pages: 501 pages, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 885.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 501
- Condition
- New
- SKU
- V9783540661986
- ISBN
- 9783540661986
Hardback
Condition: New
€ 137.70
€ 137.70
Paperback. Series: Perspectives in Mathematical Logic. Num Pages: 437 pages, biography. BIC Classification: PBCD; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 437
- Condition
- New
- SKU
- V9783540666813
- ISBN
- 9783540666813
Paperback
Condition: New
€ 140.42
€ 140.42
Hardback. This work provides a characterization of the roles that recombination and mutation play in evolutionary algorithms. It focuses on discrete rather than real-valued representations, which allows the text to bridge multiple communities, including evolutionary biologists and population geneticists. Series: Natural Computing Series. Num Pages: 236 pages, 21 black & white tables, biography. BIC Classification: PBCD; PSAJ; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 517.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783540669500
- ISBN
- 9783540669500
Hardback
Condition: New
€ 132.33
€ 132.33