Welcome to Central Library, SUST

Your search returned 45 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan. by
  • O’Regan, Gerard [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

2.
Logic and Structure [electronic resource] / by Dirk van Dalen. by
  • Dalen, Dirk van [author.]
  • SpringerLink (Online service)
Series: Universitext
Edition: 5th ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

3.
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher [electronic resource] : How Mathematics Is Rooted in Life / by Dirk van Dalen. by
  • Dalen, Dirk van [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

4.
A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham. by
  • Cunningham, Daniel W [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

5.
A Course on Mathematical Logic [electronic resource] / by Shashi Mohan Srivastava. by
  • Srivastava, Shashi Mohan [author.]
  • SpringerLink (Online service)
Series: Universitext
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

6.
An Invitation to Abstract Mathematics [electronic resource] / by Béla Bajnok. by
  • Bajnok, Béla [author.]
  • SpringerLink (Online service)
Series: Undergraduate Texts in Mathematics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

7.
The Mathematics of Paul Erdős II [electronic resource] / edited by Ronald L. Graham, Jaroslav Nešetřil, Steve Butler. by
  • Graham, Ronald L [editor.]
  • Nešetřil, Jaroslav [editor.]
  • Butler, Steve [editor.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

8.
Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by
  • Moller, Faron [author.]
  • Struth, Georg [author.]
  • SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

9.
Proofs of the Cantor-Bernstein Theorem [electronic resource] : A Mathematical Excursion / by Arie Hinkis. by
  • Hinkis, Arie [author.]
  • SpringerLink (Online service)
Series: Science Networks. Historical Studies ; 45
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013
Availability: No items available.

10.
Visual Reasoning with Diagrams [electronic resource] / edited by Amirouche Moktefi, Sun-Joo Shin. by
  • Moktefi, Amirouche [editor.]
  • Shin, Sun-Joo [editor.]
  • SpringerLink (Online service)
Series: Studies in Universal Logic
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013
Availability: No items available.

11.
Towards a General Theory of Classifications [electronic resource] / by Daniel Parrochia, Pierre Neuville. by
  • Parrochia, Daniel [author.]
  • Neuville, Pierre [author.]
  • SpringerLink (Online service)
Series: Studies in Universal Logic
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013
Availability: No items available.

12.
Logical Foundations of Mathematics and Computational Complexity [electronic resource] : A Gentle Introduction / by Pavel Pudlák. by
  • Pudlák, Pavel [author.]
  • SpringerLink (Online service)
Series: Springer Monographs in Mathematics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

13.
Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift / edited by Peter Paule. by
  • Paule, Peter [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

14.
The Mathematics of Coordinated Inference [electronic resource] : A Study of Generalized Hat Problems / by Christopher S. Hardin, Alan D. Taylor. by
  • Hardin, Christopher S [author.]
  • Taylor, Alan D [author.]
  • SpringerLink (Online service)
Series: Developments in Mathematics ; 33
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

15.
The Real Numbers [electronic resource] : An Introduction to Set Theory and Analysis / by John Stillwell. by
  • Stillwell, John [author.]
  • SpringerLink (Online service)
Series: Undergraduate Texts in Mathematics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

16.
Concise Computer Mathematics [electronic resource] : Tutorials on Theory and Problems / by Ovidiu Bagdasar. by
  • Bagdasar, Ovidiu [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

17.
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
  • Gonthier, Georges [editor.]
  • Norrish, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

18.
Ernst Zermelo - Collected Works/Gesammelte Werke II [electronic resource] : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Akihiro Kanamori. by
  • Zermelo, Ernst [author.]
  • Ebbinghaus, Heinz-Dieter [editor.]
  • Kanamori, Akihiro [editor.]
  • SpringerLink (Online service)
Series: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 23
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.

19.
Stochastic Calculus with Infinitesimals [electronic resource] / by Frederik Herzberg. by
  • Herzberg, Frederik [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 2067
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.

20.
Cylindric-like Algebras and Algebraic Logic [electronic resource] / edited by Hajnal Andréka, Miklós Ferenczi, István Németi. by
  • Andréka, Hajnal [editor.]
  • Ferenczi, Miklós [editor.]
  • Németi, István [editor.]
  • SpringerLink (Online service)
Series: Bolyai Society Mathematical Studies ; 22
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.

Pages