Welcome to Central Library, SUST

Your search returned 119 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.
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.

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

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

6.
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by
  • Singh, Neeraj Kumar [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.

7.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by
  • Crespi Reghizzi, Stefano [author.]
  • Breveglieri, Luca [author.]
  • Morzenti, Angelo [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Edition: 2nd 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.

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

9.
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource] : Lashkar-e-Taiba / by V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson. by
  • Subrahmanian, V.S [author.]
  • Mannes, Aaron [author.]
  • Sliva, Amy [author.]
  • Shakarian, Jana [author.]
  • Dickerson, John P [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.

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

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

12.
A General Framework for Reasoning On Inconsistency [electronic resource] / by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud. by
  • Martinez, Maria Vanina [author.]
  • Molinaro, Cristian [author.]
  • Subrahmanian, V.S [author.]
  • Amgoud, Leila [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: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

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

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

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

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

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

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

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

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

Pages