Welcome to Central Library, SUST

Your search returned 1380 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Modeling in Event-B : System and Software Engineering / Jean-Raymond Abrial. by
  • Abrial, Jean-Raymond [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Availability: No items available.

2.
Pearls of Functional Algorithm Design / Richard Bird. by
  • Bird, Richard [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Availability: No items available.

3.
Functional Programming Using F# / Michael R. Hansen, Hans Rischel. by
  • Hansen, Michael R [author.]
  • Rischel, Hans [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Availability: No items available.

4.
Building Parallel, Embedded, and Real-Time Applications with Ada / John W. McCormick, Frank Singhoff, Jérôme Hugues. by
  • McCormick, John W [author.]
  • Singhoff, Frank [author.]
  • Hugues, Jérôme [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Building Parallel, Embedded, & Real-Time Applications with Ada
Availability: No items available.

5.
Graph-based Natural Language Processing and Information Retrieval / Rada Mihalcea, Dragomir Radev. by
  • Mihalcea, Rada [author.]
  • Radev, Dragomir [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Graph-based Natural Language Processing & Information Retrieval
Availability: No items available.

6.
Computational Semantics with Functional Programming / Jan van Eijck, Christina Unger. by
  • van Eijck, Jan [author.]
  • Unger, Christina [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Availability: No items available.

7.
Introduction to Bisimulation and Coinduction / Davide Sangiorgi. by
  • Sangiorgi, Davide [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Introduction to Bisimulation & Coinduction
Availability: No items available.

8.
Steps in Scala : An Introduction to Object-Functional Programming / Christos K. K. Loverdos, Apostolos Syropoulos. by
  • Loverdos, Christos K. K [author.]
  • Syropoulos, Apostolos [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Availability: No items available.

9.
Information, physics, and computation [electronic resource] / Marc M�ezard, Andrea Montanari. by
  • Mezard, Marc
  • Montanari, Andrea
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Oxford University Press, 2009
Online access:
Availability: No items available.

10.
A Mathematical Introduction to Compressive Sensing [electronic resource] / by Simon Foucart, Holger Rauhut. by
  • Foucart, Simon [author.]
  • Rauhut, Holger [author.]
  • SpringerLink (Online service)
Series: Applied and Numerical Harmonic Analysis
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
Availability: No items available.

11.
Quantile-Based Reliability Analysis [electronic resource] / by N. Unnikrishnan Nair, P.G. Sankaran, N. Balakrishnan. by
  • Nair, N. Unnikrishnan [author.]
  • Sankaran, P.G [author.]
  • Balakrishnan, N [author.]
  • SpringerLink (Online service)
Series: Statistics for Industry and Technology
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
Availability: No items available.

12.
Magic Graphs [electronic resource] / by Alison M. Marr, W.D. Wallis. by
  • Marr, Alison M [author.]
  • Wallis, W.D [author.]
  • 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: Birkhäuser, 2013
Availability: No items available.

13.
Guide to Modeling and Simulation of Systems of Systems [electronic resource] / by Bernard P. Zeigler, Hessam S. Sarjoughian. by
  • Zeigler, Bernard P [author.]
  • Sarjoughian, Hessam S [author.]
  • SpringerLink (Online service)
Series: Simulation Foundations, Methods and Applications
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.

14.
Advanced Joomla! [electronic resource] / by Dan Rahmel. by
  • Rahmel, Dan [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

15.
More iOS6 Development [electronic resource] : Further Explorations of the iOS SDK / by Alex Horovitz, Kevin Kim, Jeff LaMarche, David Mark. by
  • Horovitz, Alex [author.]
  • Kim, Kevin [author.]
  • LaMarche, Jeff [author.]
  • Mark, David [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

16.
Pro Arduino [electronic resource] / by Rick Anderson, Dan Cervo. by
  • Anderson, Rick [author.]
  • Cervo, Dan [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

17.
Pro ASP.NET 4.5 in C# [electronic resource] / by Adam Freeman. by
  • Freeman, Adam [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

18.
Pro ASP.NET 4.5 in VB [electronic resource] / by Dan Mabbutt, Adam Freeman, Matthew MacDonald. by
  • Mabbutt, Dan [author.]
  • Freeman, Adam [author.]
  • MacDonald, Matthew [author.]
  • SpringerLink (Online service)
Edition: Fifth Edition.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

19.
The Definitive Guide to Grails 2 [electronic resource] / by Jeff Scott Brown, Graeme Rocher. by
  • Brown, Jeff Scott [author.]
  • Rocher, Graeme [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

20.
Beginning ASP.NET 4.5 Databases [electronic resource] / by Sandeep Chanda, Damien Foggon. by
  • Chanda, Sandeep [author.]
  • Foggon, Damien [author.]
  • SpringerLink (Online service)
Edition: Third Edition.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

Pages