Refine your search

Your search returned 158 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
The theory of functions / by E. C. Titchmarsh. by
  • Titchmarsh, E. C. (Edward Charles), 1899-
Edition: 2d ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: [London] Oxford university press, 1939
Availability: Items available for loan: Central Library, SUST (1)Call number: 517.5 TIT.

Place hold Add to cart
42.
Fundamentals of digital logic design with VHDL/ by
  • Brown, Stephen
  • Vranesic zvonko
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Tata Mcgrew hill, c2005
Availability: Items available for loan: Central Library, SUST (1)Call number: 621.3 BRF.

Place hold Add to cart
43.
An Introduction to Gödel's Theorems / Peter Smith. by
  • Smith, Peter [author.]
Series: Cambridge Introductions to Philosophy | Cambridge Introductions to Philosophy
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Online access:
Availability: No items available.

Add to cart
44.
No cover image available No cover image available
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli. by
  • Manna, Zohar
  • Pnueli, Amir, 1941-2009
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1992
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 NAT, ...

Place hold Add to cart
45.
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
  • Binder, Walter [editor.]
  • Bodden, Eric [editor.]
  • Löwe, Welf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
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
Online access:
Availability: No items available.

Add to cart
46.
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
  • Giachino, Elena [editor.]
  • Hähnle, Reiner [editor.]
  • Boer, Frank S. de [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
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
Online access:
Availability: No items available.

Add to cart
47.
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
Online access:
Availability: No items available.

Add to cart
48.
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
Online access:
Availability: No items available.

Add to cart
49.
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
  • Leite, João [editor.]
  • Son, Tran Cao [editor.]
  • Torroni, Paolo [editor.]
  • Torre, Leon van der [editor.]
  • Woltran, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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
Online access:
Availability: No items available.

Add to cart
50.
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
Online access:
Availability: No items available.

Add to cart
51.
Truth through proof [electronic resource] : a formalist foundation for mathematics / Alan Weir. by
  • Weir, Alan
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Oxford University Press, 2010
Online access:
Availability: No items available.

Add to cart
52.
Logical labyrinths [electronic resource] / Raymond M. Smullyan. by
  • Smullyan, Raymond M
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Wellesley, Mass. : A.K. Peters, c2009
Online access:
Availability: No items available.

Add to cart
53.
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
  • Beyer, Dirk [editor.]
  • Boreale, Michele [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
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
Online access:
Availability: No items available.

Add to cart
54.
Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa. by
  • Hasegawa, Masahito [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7941
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
Online access:
Availability: No items available.

Add to cart
55.
After G�odel [electronic resource] : Platonism and rationalism in mathematics and logic / by Richard Tieszen. by
  • Tieszen, Richard L
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Oxford University Press, 2011
Online access:
Availability: No items available.

Add to cart
56.
Advanced Computational Methods for Knowledge Engineering [electronic resource] / edited by Ngoc Thanh Nguyen, Tien van Do, Hoai An le Thi. by
  • Nguyen, Ngoc Thanh [editor.]
  • Do, Tien van [editor.]
  • Thi, Hoai An le [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 479
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
57.
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by
  • Martí-Oliet, Narciso [editor.]
  • Palomino, Miguel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7841
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
Online access:
Availability: No items available.

Add to cart
58.
Introduction to mathematical proofs [electronic resource] : a transition / Charles E. Roberts, Jr. by
  • Roberts, Charles E, 1942-
Series:
Material type: Text Text; Literary form: Not fiction
Publication details: Boca Raton : CRC Press, 2009
Online access:
Availability: No items available.

Add to cart
59.
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by
  • Voronkov, Andrei [editor.]
  • Weidenbach, Christoph [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7797
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
Online access:
Availability: No items available.

Add to cart
60.
Roads to infinity [electronic resource] : the mathematics of truth and proof / John Stillwell. by
  • Stillwell, John
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Natick, Mass. : A.K. Peters, c2010
Online access:
Availability: No items available.

Add to cart
Pages