.png){kind=logo}
Mathematical foundations
Results 661 - 680 of 1147
Mathematical foundations
Hardback. This volume offers an extensive analysis of the development of switching theory as mathematical foundations for modern design. The text serves as a pictorial history book of applications of Boolean logic in engineering. Series: Studies in Computational Intelligence. Num Pages: 212 pages, biography. BIC Classification: PBC; PDX; TBJ; TJFC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 556.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783642116810
- ISBN
- 9783642116810
Hardback
Condition: New
€ 227.89
€ 227.89
Paperback / so. Parallele Rechenleistung ist allgegenwartig, wird jedoch nur durch parallele Programmiertechniken effizient. Dies wirkt sich auf die Softwareerstellung aus. Ausfuhrliche, exakte Anleitung zur erfolgreichen Realisierung effizienter Programme.." Series: eXamen.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; TBC; UK; UMX; UT; UY. Category: (G) General (US: Trade). Dimension: 231 x 155 x 28. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3
- Condition
- New
- SKU
- V9783642136030
- ISBN
- 9783642136030
Paperback
Condition: New
€ 52.73
€ 52.73
Hardback. Editor(s): Georgoulis, Emmanuil H.; Iske, Armin; Levesley, Jeremy. Series: Springer Proceedings in Mathematics. Num Pages: 320 pages, 9 black & white tables, biography. BIC Classification: PBC; PBKJ; PBKS; PBW; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 637.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642168758
- ISBN
- 9783642168758
Hardback
Condition: New
€ 195.34
€ 195.34
Hardback. This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics. Series: Cognitive Technologies. Num Pages: 233 pages, biography. BIC Classification: HPL; PBC; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642190674
- ISBN
- 9783642190674
Hardback
Condition: New
€ 128.27
€ 128.27
Hyperfinite Dirichlet Forms and Stochastic Processes
Albeverio, Sergio; Fan, Ruzong; Herzberg, Fre...
Paperback. This monograph covers the theory of Dirichlet forms. It examines the symmetric as well as the non-symmetric case, surveys the theory of hyperfinite Levy processes and summarizes the model-theoretic genericity of hyperfinite stochastic processes theory. Series: Lecture Notes of the Unione Matematica Italiana. Num Pages: 298 pages, 1 colour illustrations, biography. BIC Classification: PBC; PBT. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 18. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 298
- Condition
- New
- SKU
- V9783642196584
- ISBN
- 9783642196584
Paperback
Condition: New
€ 72.49
€ 72.49
paperback. Constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. Editor(s): Ong, Luke. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, biography. BIC Classification: PBC; UMA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642216909
- ISBN
- 9783642216909
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Introduces tools, from the field of category theory, that make it possible to tackle representation problems (determination of the range of a given functor). Series: Lecture Notes in Mathematics. Num Pages: 168 pages, 19 black & white illustrations, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational. Dimension: 239 x 162 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783642217739
- ISBN
- 9783642217739
Paperback
Condition: New
€ 55.91
€ 55.91
Hardback. This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. Series: Theory and Applications of Computability. Num Pages: 212 pages, biography. BIC Classification: PBC; PBK; PBP; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 164 x 19. Weight in Grams: 464.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 212
- Condition
- New
- SKU
- V9783642224140
- ISBN
- 9783642224140
Hardback
Condition: New
€ 127.97
€ 127.97
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Hardback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642227165
- ISBN
- 9783642227165
Hardback
Condition: New
€ 68.44
€ 68.44
The Mathematics of Language. 12th Biennial Conference, MOL 12, Nara, J...
. Ed(S): Kanazawa, Makoto; Kracht, Marcus; Se...
Paperback. Constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. This title presents papers that cover such diverse topics as formal languages, parsing and unification, lexical and compositional semantics, statistical language models, and theories of truth. Editor(s): Kanazawa, Makoto; Kracht, Marcus; Seki, Hiroyuki; Kornai, Andras. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 231 pages, 53 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBC; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642232107
- ISBN
- 9783642232107
Paperback
Condition: New
€ 82.92
€ 82.92
The Universe as Automaton. from Simplicity and Symmetry to Complexity....
Mainzer, Klaus; Chua, Leon O.
Paperback. Going beyond the numerical experiments of Steven Wolfram, this book argues that cellular automata must be considered complex dynamical systems in their own right, requiring appropriate analytical models in order to find precise answers and predictions in the universe of cellular automata. Series: SpringerBriefs in Complexity. Num Pages: 116 pages, 30 colour illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 189.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 116
- Condition
- New
- SKU
- V9783642234767
- ISBN
- 9783642234767
Paperback
Condition: New
€ 76.28
€ 76.28
Paperback. Constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. This title covers such topics as: semantic models for knowledge, for belief, and for uncertainty; logical analysis of the structure of games; and, belief revision, belief merging. Editor(s): Ditmarsch, Hans van; Lang, Jerome; Ju, Shier. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 414 pages, biography. BIC Classification: HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642241291
- ISBN
- 9783642241291
Paperback
Condition: New
€ 68.13
€ 68.13
Domain Decomposition Methods in Science and Engineering
. Ed(S): Bercovier, Michel; Gander, Martin J....
Paperback. Editor(s): Bercovier, Michel; Gander, Martin J.; Kornhuber, Ralf; Widlund, Olof B. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 392 pages, 81 black & white illustrations, 43 black & white tables, biography. BIC Classification: PBCN; PBF; PBW; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783642260254
- ISBN
- 9783642260254
Paperback
Condition: New
€ 195.10
€ 195.10
paperback. This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research. Editor(s): Droste, Manfred; Kuich, Werner; Vogler, Heiko. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 625 pages, 73 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBC; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 158 x 32. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 625
- Condition
- New
- SKU
- V9783642260490
- ISBN
- 9783642260490
Paperback
Condition: New
€ 285.74
€ 285.74
Paperback. Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 246 pages, 81 black & white illustrations, biography. BIC Classification: PBCD; PBF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9783642261473
- ISBN
- 9783642261473
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in intelligent systems. It investigates cognitive reasoning at three levels of abstraction: conceptual, formal, and realizational. Series: Cognitive Technologies. Num Pages: 437 pages, 12 black & white tables, biography. BIC Classification: HPL; PBCD; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783642261657
- ISBN
- 9783642261657
Paperback
Condition: New
€ 195.54
€ 195.54
Paperback. This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals. Series: Cognitive Technologies. Num Pages: 305 pages, 26 black & white illustrations, biography. BIC Classification: HPL; PBCD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783642261879
- ISBN
- 9783642261879
Paperback
Condition: New
€ 194.25
€ 194.25
Paperback. Statistical convergence has been explored in numerous contexts such as fuzzy logic theory. Here, the authors approach the subject by approximating a function by linear operators, focusing on situations in which the classical limit is not effective. Series: Intelligent Systems Reference Library. Num Pages: 252 pages, biography. BIC Classification: PBC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642268175
- ISBN
- 9783642268175
Paperback
Condition: New
€ 127.73
€ 127.73
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Paperback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642269592
- ISBN
- 9783642269592
Paperback
Condition: New
€ 67.41
€ 67.41
Paperback. This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. Series: Theory and Applications of Computability. Num Pages: 212 pages, biography. BIC Classification: PBC; PBK; PBP; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783642269967
- ISBN
- 9783642269967
Paperback
Condition: New
€ 127.73
€ 127.73