Welcome to Central Library, SUST

Your search returned 39 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Belief Revision in Non-Classical Logics [electronic resource] / by Márcio Moretto Ribeiro. by
  • Ribeiro, Márcio Moretto [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: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

2.
From Linear Operators to Computational Biology [electronic resource] : Essays in Memory of Jacob T. Schwartz / edited by Martin Davis, Edmond Schonberg. by
  • Davis, Martin [editor.]
  • Schonberg, Edmond [editor.]
  • 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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

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.
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.

17.
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.

18.
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.

19.
Mathematics of Fuzzy Sets and Fuzzy Logic [electronic resource] / by Barnabas Bede. by
  • Bede, Barnabas [author.]
  • SpringerLink (Online service)
Series: Studies in Fuzziness and Soft Computing ; 295
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.
On Fuzziness [electronic resource] : A Homage to Lotfi A. Zadeh – Volume 2 / edited by Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini. by
  • Seising, Rudolf [editor.]
  • Trillas, Enric [editor.]
  • Moraga, Claudio [editor.]
  • Termini, Settimo [editor.]
  • SpringerLink (Online service)
Series: Studies in Fuzziness and Soft Computing ; 299
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