.png){kind=logo}
Mathematical theory of computation
Results 49 - 72 of 1825
Mathematical theory of computation
Hardback. The area of adaptive systems encompasses recursive identification, adaptive control, filtering, and signal processing. Since adaptive controllers are fundamentally nonlinear controllers which are applied to nominally linear, possibly stochastic and time-varying systems, their theoretical analysis is usually very difficult. Editor(s): Astrom, Karl Johan; Goodwin, Graham C.; Kumar, P. R. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 414 pages, biography. BIC Classification: TBJ; TJFM; UYAM; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 414
- Condition
- New
- SKU
- V9780387979885
- ISBN
- 9780387979885
Hardback
Condition: New
€ 202.24
€ 202.24
Novel Developments in Uncertainty Representation and Processing
. Ed(S): Atanassov, Krassimir T.; Castillo, O...
Paperback. Editor(s): Atanassov, Krassimir T.; Castillo, Oscar; Kacprzyk, Janusz; Krawczak, Maciej; Melin, Patricia; Sotirov, Sotir; Sotirova, Evdokia; Szmidt, Eulalia; De Tre, Guy; Zadrozny, Slawomir. Series: Advances in Intelligent Systems and Computing. Num Pages: 400 pages, 68 black & white illustrations, 60 colour illustrations, biography. BIC Classification: UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 400
- Condition
- New
- SKU
- V9783319262109
- ISBN
- 9783319262109
Paperback
Condition: New
€ 194.85
€ 194.85
Paperback. Here is a concise and comprehensive introduction to business intelligence (BI). This book combines traditional BI technologies with new topics such as business semantics, Big Data analysis, and multicriteria decision making. Editor(s): Aufaure, Marie-Aude; Zimanyi, Esteban. Series: Lecture Notes in Business Information Processing. Num Pages: 235 pages, 83 black & white illustrations, biography. BIC Classification: JPP; KJQ; PBD; UNH; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642363177
- ISBN
- 9783642363177
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Ausiello, Giorgio; Lucertini, Mario; Serafini, P. (University of Udine). Series: CISM International Centre for Mechanical Sciences. Num Pages: 243 pages, biography. BIC Classification: UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 13. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1984
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 243
- Condition
- New
- SKU
- V9783211818169
- ISBN
- 9783211818169
Paperback
Condition: New
€ 66.97
€ 66.97
Spectral and High Order Methods for Partial Differential Equations - I...
. Ed(S): Azaiez, Mejdi; El Fekih, Henda; Hest...
Paperback. Editor(s): Azaiez, Mejdi; El Fekih, Henda; Hesthaven, Jan S. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 434 pages, 74 black & white illustrations, 71 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBW; PDE; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 434
- Condition
- New
- SKU
- V9783319378589
- ISBN
- 9783319378589
Paperback
Condition: New
€ 195.13
€ 195.13
Spectral and High Order Methods for Partial Differential Equations - I...
. Ed(S): Azaiez, Mejdi; Hesthaven, Jan S.; El...
Hardback. Editor(s): Azaiez, Mejdi; Hesthaven, Jan S.; El Fekih, Henda. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 434 pages, 74 black & white illustrations, 71 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBW; PDE; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 824.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 434
- Condition
- New
- SKU
- V9783319016009
- ISBN
- 9783319016009
Hardback
Condition: New
€ 196.29
€ 196.29
Paperback. First International Workshop, Munich, March 1996 Editor(s): Baader, Franz; Schulz, Klaus U. Series: Applied Logic Series. Num Pages: 388 pages, 6 black & white illustrations, biography. BIC Classification: CFX; HPL; UMZ; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 388
- Condition
- New
- SKU
- V9789401066433
- ISBN
- 9789401066433
Paperback
Condition: New
€ 68.08
€ 68.08
Logic for Programming, Artificial Intelligence and Reasoning
. Ed(S): Baaz, Matthias; Andrei, Voronkov
Paperback. Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning. Editor(s): Baaz, Matthias; Andrei, Voronkov. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 484 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783540000105
- ISBN
- 9783540000105
Paperback
Condition: New
€ 73.79
€ 73.79
Mathematical Modeling and Numerical Simulation in Continuum Mechanics
. Ed(S): Babuska, Ivo; Ciarlet, P. G.; Miyosh...
Paperback. This text shows the latest frontiers of the research by the most active researchers in the field of numerical mathematics. The papers in the book were presented at a symposium held in Yamaguchi which focused on mathematical modelling and numerical simulation in continuum mechanics. Editor(s): Babuska, Ivo; Ciarlet, P. G.; Miyoshi, Tetsuhiko. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 314 pages, 29 black & white illustrations, biography. BIC Classification: PBKS; PHD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 155 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783540423997
- ISBN
- 9783540423997
Paperback
Condition: New
€ 131.42
€ 131.42
Modeling, Mesh Generation, and Adaptive Numerical Methods for Partial ...
. Ed(S): Babuska, Ivo; Flaherty, Joseph E.; H...
Hardback. The computational solution of partial differential systems has become so involved that it is important to automate decisions that have been left to the individual. This book covers such decisions: mesh generation with links to the software generating the domain geometry; and solution accuracy with mesh selection linked to solution generation. Editor(s): Babuska, Ivo; Flaherty, Joseph E.; Henshaw, William D.; Hopcroft, J. E.; Oliger, Joseph; Tezduyar, Tayfun E. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 502 pages, biography. BIC Classification: PBKJ; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 885.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 502
- Condition
- New
- SKU
- V9780387945422
- ISBN
- 9780387945422
Hardback
Condition: New
€ 325.53
€ 325.53
Paperback. Editor(s): Bachem, Achim; Grotschel, Martin; Korte, Bernhard. Num Pages: 658 pages, biography. BIC Classification: KCA; PBKQ; PBMW; PBV; UYAM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 34. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 658
- Condition
- New
- SKU
- V9783642688768
- ISBN
- 9783642688768
Paperback
Condition: New
€ 71.47
€ 71.47
Algebraic and Coalgebraic Methods in the Mathematics of Program Constr...
. Ed(S): Backhouse, Roland C.; Crole, Roy; Gi...
Paperback. This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more. Editor(s): Backhouse, Roland C.; Crole, Roy; Gibbons, Jeremy. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540436133
- ISBN
- 9783540436133
Paperback
Condition: New
€ 72.32
€ 72.32
Theory of Quantum Computation, Communication, and Cryptography
. Ed(S): Bacon, Dave; Martin-Delgado, Miguel;...
Paperback. Editor(s): Bacon, Dave; Martin-Delgado, Miguel; Roetteler, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 219 pages, 37 black & white illustrations, biography. BIC Classification: GPJ; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642544286
- ISBN
- 9783642544286
Paperback
Condition: New
€ 66.01
€ 66.01
Hardback. Editor(s): Bader, Michael; Bungartz, Hans-Joachim; Weinzierl, Tobias. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 252 pages, 36 black & white illustrations, 81 colour illustrations, 40 black & white tables, 10 colo. BIC Classification: PDE; PHU; TBJ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 555.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642387616
- ISBN
- 9783642387616
Hardback
Condition: New
€ 128.03
€ 128.03
Paperback. Editor(s): Badger, Julia M.; Rozier, Kristin Yvonne. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 386 pages, 114 black & white illustrations, biography. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 386
- Condition
- New
- SKU
- V9783319061993
- ISBN
- 9783319061993
Paperback
Condition: New
€ 67.51
€ 67.51
Foundations of Information Technology in the Era of Network and Mobile...
. Ed(S): Baeza-Yates, Ricardo; Montanari, Ugo...
Hardback. Includes the papers that were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002. Editor(s): Baeza-Yates, Ricardo; Montanari, Ugo; Santoro, Nicola. Series: IFIP Advances in Information and Communication Technology. Num Pages: 628 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 628
- Condition
- New
- SKU
- V9781402071812
- ISBN
- 9781402071812
Hardback
Condition: New
€ 198.00
€ 198.00
Paperback. Editor(s): Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 57 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UNF; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319195445
- ISBN
- 9783319195445
Paperback
Condition: New
€ 67.03
€ 67.03
Paperback. Editor(s): Balasubramaniam, P.; Uthayakumar, R. Series: Communications in Computer and Information Science. Num Pages: 568 pages, 60 black & white illustrations, 60 black & white tables, biography. BIC Classification: PBD; PBU; PDE; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 568
- Condition
- New
- SKU
- V9783642289255
- ISBN
- 9783642289255
Paperback
Condition: New
€ 69.70
€ 69.70
PRIMA 2016: Princiles and Practice of Multi-Agent Systems
. Ed(S): Baldoni, Matteo; Chopra, Amit K.; So...
Paperback. Editor(s): Baldoni, Matteo; Chopra, Amit K.; Son, Tran Cao; Torroni, Paolo. Series: Lecture Notes in Computer Science. Num Pages: 418 pages, 100 black & white illustrations, biography. BIC Classification: UMX; UNH; UYA; UYQ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 418
- Condition
- New
- SKU
- V9783319448312
- ISBN
- 9783319448312
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Baldoni, Matteo; Muller, Jorg P. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 66 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319509822
- ISBN
- 9783319509822
Paperback
Condition: New
€ 66.18
€ 66.18
Paperback. Editor(s): Bampis, Evripidis; Svensson, Ola. Series: Lecture Notes in Computer Science. Num Pages: 283 pages, 29 black & white illustrations, biography. BIC Classification: PBD; PBKS; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 283
- Condition
- New
- SKU
- V9783319182629
- ISBN
- 9783319182629
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. This volume contains the papers presented at a conference on cellular automata. Cellular automata are used in several fields, including the simulation of different kinds of dynamical systems, machine vision, parallel computation, and the theoretical analysis of complex dynamics. Editor(s): Bandini, Steffania; Serra, Roberto; Liverani, Furio Suggi. Num Pages: 283 pages, 57 black & white illustrations, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 283
- Condition
- New
- SKU
- V9781852330484
- ISBN
- 9781852330484
Paperback
Condition: New
€ 127.81
€ 127.81
Paperback. This volume is based on the course notes of the 2nd NCN Pedagogical School, the second school in the framework of the European TMR project, "Breakthrough in the control of nonlinear systems (Nonlinear Control Network)". The topics covered include nonlinear QFT and hybrid systems. Editor(s): Banos, Alfonso; Lamnabhi-Lagarrigue, Francoise; Montoya, Francisco J. Series: Lecture Notes in Control and Information Sciences. Num Pages: 344 pages, biography. BIC Classification: PBWR; TBJ; TJFM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 344
- Condition
- New
- SKU
- V9781852333782
- ISBN
- 9781852333782
Paperback
Condition: New
€ 131.87
€ 131.87
Paperback. Constitutes selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. Editor(s): Barbosa, Luis Soares; Lumpe, Markus. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 315 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 315
- Condition
- New
- SKU
- V9783642272684
- ISBN
- 9783642272684
Paperback
Condition: New
€ 67.12
€ 67.12