Welcome to Central Library, SUST

Your search returned 225 results.

Not what you expected? Check for suggestions
Sort
Results
181.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by
  • Cabalar, Pedro [editor.]
  • Son, Tran Cao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8148
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

182.
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by
  • Muntean, Traian [editor.]
  • Poulakis, Dimitrios [editor.]
  • Rolland, Robert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8080
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

183.
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by
  • Ida, Tetsuo [editor.]
  • Fleuriot, Jacques [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7993
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

184.
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
  • Gupta, Ashutosh [editor.]
  • Henzinger, Thomas A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

185.
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I / edited by Kazue Sako, Palash Sarkar. by
  • Sako, Kazue [editor.]
  • Sarkar, Palash [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8269
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

186.
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II / edited by Kazue Sako, Palash Sarkar. by
  • Sako, Kazue [editor.]
  • Sarkar, Palash [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8270
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

187.
Generalized Continua from the Theory to Engineering Applications [electronic resource] / edited by Holm Altenbach, Victor A. Eremeyev. by
  • Altenbach, Holm [editor.]
  • Eremeyev, Victor A [editor.]
  • SpringerLink (Online service)
Series: CISM International Centre for Mechanical Sciences, Courses and Lectures ; 541
Edition: 1.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Availability: No items available.

188.
Dynamic Localization Phenomena in Elasticity, Acoustics and Electromagnetism [electronic resource] / edited by Richard V. Craster, Julius Kaplunov. by
  • Craster, Richard V [editor.]
  • Kaplunov, Julius [editor.]
  • SpringerLink (Online service)
Series: CISM International Centre for Mechanical Sciences ; 547
Edition: 1.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Availability: No items available.

189.
The Nonlinear World [electronic resource] : Conceptual Analysis and Phenomenology / by Yoshitsugu Oono. by
  • Oono, Yoshitsugu [author.]
  • SpringerLink (Online service)
Series: Springer Series in Synergetics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.

190.
Advances in Mathematical Economics Volume 17 [electronic resource] / edited by Shigeo Kusuoka, Toru Maruyama. by
  • Kusuoka, Shigeo [editor.]
  • Maruyama, Toru [editor.]
  • SpringerLink (Online service)
Series: Advances in Mathematical Economics ; 17
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.

191.
Advanced Structural Wind Engineering [electronic resource] / edited by Yukio Tamura, Ahsan Kareem. by
  • Tamura, Yukio [editor.]
  • Kareem, Ahsan [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.

192.
Graph Theory with Algorithms and its Applications [electronic resource] : In Applied Science and Technology / by Santanu Saha Ray. by
  • Saha Ray, Santanu [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: India : Springer India : Imprint: Springer, 2013
Availability: No items available.

193.
Storie e protagonisti della matematica italiana [electronic resource] : per raccontare 20 anni di «Lettera Matematica Pristem» / edited by Renato Betti, Angelo Guerraggio, Settimo Termini. by
  • Betti, Renato [editor.]
  • Guerraggio, Angelo [editor.]
  • Termini, Settimo [editor.]
  • SpringerLink (Online service)
Series: I blu — Pagine di Scienza
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

194.
Spectral Theory and Quantum Mechanics [electronic resource] : With an Introduction to the Algebraic Formulation / by Valter Moretti. by
  • Moretti, Valter [author.]
  • SpringerLink (Online service)
Series: UNITEXT
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

195.
Computing Qualitatively Correct Approximations of Balance Laws [electronic resource] : Exponential-Fit, Well-Balanced and Asymptotic-Preserving / by Laurent Gosse. by
  • Gosse, Laurent [author.]
  • SpringerLink (Online service)
Series: SIMAI Springer Series ; 2
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

196.
Teoria degli Automi Finiti [electronic resource] / by Aldo de Luca, Flavio D’Alessandro. by
  • Luca, Aldo de [author.]
  • D’Alessandro, Flavio [author.]
  • SpringerLink (Online service)
Series: UNITEXT ; 68
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

197.
Meccanica Razionale [electronic resource] / by Paolo Biscari, Giuseppe Saccomandi, Tommaso Ruggeri, Maurizio Vianello. by
  • Biscari, Paolo [author.]
  • Saccomandi, Giuseppe [author.]
  • Ruggeri, Tommaso [author.]
  • Vianello, Maurizio [author.]
  • SpringerLink (Online service)
Series: UNITEXT ; 69
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

198.
Matematica Numerica [electronic resource] : Esercizi, Laboratori e Progetti / by Alfio Quarteroni. by
  • Quarteroni, Alfio [author.]
  • SpringerLink (Online service)
Series: UNITEXT ; 75
Edition: 2a edizione.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

199.
Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes. by
  • Krishnaswamy, Smita [author.]
  • Markov, Igor L [author.]
  • Hayes, John P [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 115
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

200.
Treatise on Classical Elasticity [electronic resource] : Theory and Related Problems / by Petre P. Teodorescu. by
  • Teodorescu, Petre P [author.]
  • SpringerLink (Online service)
Series: Mathematical and Analytical Techniques with Applications to Engineering
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

Pages