Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for THEORY OF COMPUTATION returned 142 Items

Search Result Page: .   1 NNN 2 . NNN 3 .   . Top Next .   . Page: 1 of 3
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Advances in Algorithms, Languages, and Complexity Advances in Algorithms, Languages, and Complexity [Ebook]   1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
2 Advances in Optimization and Approximation Advances in Optimization and Approximation [Ebook]   1994 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 Advances in Randomized Parallel Computing Advances in Randomized Parallel Computing [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
4 Advances in Steiner Trees Advances in Steiner Trees [Ebook]   2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
5 Algebraic Combinatorics and Applications: Proceedings of the Euroconference, Algebraic Combinatorics and Applications (ALCOMA), held in Gößweinstein, Germany, September 12–19, 1999 / Algebraic Combinatorics and Applications: Proceedings of the Euroconference, Algebraic Combinatorics and Applications (ALCOMA), held in Gößweinstein, Germany, September 12–19, 1999 / [Ebook]   2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
6 Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
7 Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
8 Applied Analysis, Optimization and Soft Computing: ICNAAO-2021, Varanasi, India, December 21–23 / Applied Analysis, Optimization and Soft Computing: ICNAAO-2021, Varanasi, India, December 21–23 / [Ebook]   2023 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
9 Approximation and Complexity in Numerical Optimization: Continuous and Discrete Problems / Approximation and Complexity in Numerical Optimization: Continuous and Discrete Problems / [Ebook]   2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
10 Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
11 Cellular Automata: A Parallel Model / Cellular Automata: A Parallel Model / [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
12 Cellular Automata, Dynamical Systems and Neural Networks Cellular Automata, Dynamical Systems and Neural Networks [Ebook]   1994 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
13 Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” / Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” / [Ebook]
Series:Trends in Logic ;Volume:23
  2004 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
14 Codes, Systems, and Graphical Models Codes, Systems, and Graphical Models [Ebook]   2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
15 Colloquium on Methods of Optimization: Held in Novosibirsk/USSR, June 1968 / Colloquium on Methods of Optimization: Held in Novosibirsk/USSR, June 1968 / [Ebook]   1970 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
16 Complementarity: Applications, Algorithms and Extensions Complementarity: Applications, Algorithms and Extensions [Ebook]
Series:Applied Optimization,Volume:50
  2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
17 Cooperative Control and Optimization Cooperative Control and Optimization [Ebook]
Series:Applied Optimization,Volume:66
  2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
18 Cooperative Control: Models, Applications and Algorithms Cooperative Control: Models, Applications and Algorithms [Ebook]
Series:Cooperative Systems,Volume:1
  2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
19 Designs 2002: Further Computational and Constructive Design Theory / Designs 2002: Further Computational and Constructive Design Theory / [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
20 Developments in Reliable Computing Developments in Reliable Computing [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
21 Discrete Analysis and Operations Research Discrete Analysis and Operations Research [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
22 Encyclopedia of Applied and Computational Mathematics Encyclopedia of Applied and Computational Mathematics [Ebook]   2015 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
23 Feasible Mathematics II Feasible Mathematics II [Ebook]   1995 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
24 Handbook of Combinatorial Optimization: Supplement Volume A Handbook of Combinatorial Optimization: Supplement Volume A [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
25 Handbook of Combinatorial Optimization: Volume1–3 / Handbook of Combinatorial Optimization: Volume1–3 / [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
26 High Performance Algorithms and Software for Nonlinear Optimization High Performance Algorithms and Software for Nonlinear Optimization [Ebook]
Series:Applied Optimization,Volume:82
  2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
27 High Performance Scientific and Engineering Computing: Proceedings of the International FORTWIHR Conference on HPSEC, Munich, March 16-18, 1998 / High Performance Scientific and Engineering Computing: Proceedings of the International FORTWIHR Conference on HPSEC, Munich, March 16-18, 1998 / [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
28 From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
29 Learning and Intelligent Optimization: 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers Learning and Intelligent Optimization: 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
30 Logic for Concurrency and Synchronisation Logic for Concurrency and Synchronisation [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
31 Mathematical Modeling: Problems, Methods, Applications / Mathematical Modeling: Problems, Methods, Applications / [Ebook]   2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
32 Mathematical Modeling and Numerical Simulation in Continuum Mechanics: Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 – October 3, 2000 Yamaguchi, Japan Mathematical Modeling and Numerical Simulation in Continuum Mechanics: Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 – October 3, 2000 Yamaguchi, Japan [Ebook]   2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
33 Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
34 Mathematical Programming The State of the Art: Bonn 1982 Mathematical Programming The State of the Art: Bonn 1982 [Ebook]   1983 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
35 Mathematical Theory of Optimization Mathematical Theory of Optimization [Ebook]   2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
36 Mathematics and Computer Science II: Algorithms, Trees, Combinatorics and Probabilities Mathematics and Computer Science II: Algorithms, Trees, Combinatorics and Probabilities [Ebook]   2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
37 Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications / Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications / [Ebook]
Series:Applied Optimization,Volume:67
  2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
38 Multilevel Optimization: Algorithms and Applications Multilevel Optimization: Algorithms and Applications [Ebook]   1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
39 Multilevel Optimization in VLSICAD Multilevel Optimization in VLSICAD [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
40 Network Interdiction and Stochastic Integer Programming Network Interdiction and Stochastic Integer Programming [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
41 Nonlinear Assignment Problems: Algorithms and Applications / Nonlinear Assignment Problems: Algorithms and Applications / [Ebook]   2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
42 Nonlinear Optimization and Related Topics Nonlinear Optimization and Related Topics [Ebook]
Series:Applied Optimization,Volume:36
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
43 Parallel Computing in Optimization Parallel Computing in Optimization [Ebook]
Series:Applied Optimization,Volume:7
  1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
44 Recent Developments in Cooperative Control and Optimization Recent Developments in Cooperative Control and Optimization [Ebook]
Series:Cooperative Systems,Volume:3
  2004 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
45 Scientific Computing in Electrical Engineering: Proceedings of the 3rd International Workshop, August 20–23, 2000, Warnemünde, Germany / Scientific Computing in Electrical Engineering: Proceedings of the 3rd International Workshop, August 20–23, 2000, Warnemünde, Germany / [Ebook]   2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
46 Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems / Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems / [Ebook]   1990 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
47 Semigroups and Their Applications: Proceedings of the International Conference “Algebraic Theory of Semigroups and Its Applications” held at the California State University, Chico, April 10–12, 1986 / Semigroups and Their Applications: Proceedings of the International Conference “Algebraic Theory of Semigroups and Its Applications” held at the California State University, Chico, April 10–12, 1986 / [Ebook]   1987 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
48 Sequences: Combinatorics, Compression, Security, and Transmission / Sequences: Combinatorics, Compression, Security, and Transmission / [Ebook]   1990 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
49 Steiner Trees in Industry Steiner Trees in Industry [Ebook]   2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
50 Stochastic and Global Optimization Stochastic and Global Optimization [Ebook]   2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
Search Result Page: .   1 NNN 2 . NNN 3 .   . Bottom Next .   . Page: 1 of 3
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search