Welcome to Central Library, SUST

Your search returned 20 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by
  • Sagonas, Kostis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7752
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.

2.
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
  • Bois, André Rauber Du [editor.]
  • Trinder, Phil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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.

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.
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
Availability: No items available.

5.
Beginning JavaScript with DOM Scripting and Ajax [electronic resource] / by Russ Ferguson, Christian Heilmann. by
  • Ferguson, Russ [author.]
  • Heilmann, Christian [author.]
  • SpringerLink (Online service)
Edition: Second 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.

6.
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
  • Czarnecki, Krzysztof [editor.]
  • Hedin, Görel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
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.

7.
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by
  • Shan, Chung-chieh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8301
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.

8.
Programming with Higher-Order Logic / Dale Miller, Gopalan Nadathur. by
  • Miller, Dale [author.]
  • Nadathur, Gopalan [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.

9.
Scala Design Patterns [electronic resource] : Patterns for Practical Reuse and Design / by John Hunt. by
  • Hunt, John [author.]
  • 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.

10.
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by
  • Schulte, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8124
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.

11.
Sustainable Web Ecosystem Design [electronic resource] / by Greg O'Toole. by
  • O'Toole, Greg [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.

12.
Feature-Oriented Software Product Lines [electronic resource] : Concepts and Implementation / by Sven Apel, Don Batory, Christian Kästner, Gunter Saake. by
  • Apel, Sven [author.]
  • Batory, Don [author.]
  • Kästner, Christian [author.]
  • Saake, Gunter [author.]
  • SpringerLink (Online service)
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.

13.
Advances in Theoretical and Applied Statistics [electronic resource] / edited by Nicola Torelli, Fortunato Pesarin, Avner Bar-Hen. by
  • Torelli, Nicola [editor.]
  • Pesarin, Fortunato [editor.]
  • Bar-Hen, Avner [editor.]
  • SpringerLink (Online service)
Series: Studies in Theoretical and Applied Statistics
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.

14.
Beginning Oracle Application Express 4.2 [electronic resource] / by Doug Gault, Karen Cannell, Patrick Cimolini, Martin D’Souza, Timothy St. Hilaire. by
  • Gault, Doug [author.]
  • Cannell, Karen [author.]
  • Cimolini, Patrick [author.]
  • D’Souza, Martin [author.]
  • St. Hilaire, Timothy [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.
Computational and Analytical Mathematics [electronic resource] : In Honor of Jonathan Borwein's 60th Birthday / edited by David H. Bailey, Heinz H. Bauschke, Peter Borwein, Frank Garvan, Michel Théra, Jon D. Vanderwerff, Henry Wolkowicz. by
  • Bailey, David H [editor.]
  • Bauschke, Heinz H [editor.]
  • Borwein, Peter [editor.]
  • Garvan, Frank [editor.]
  • Théra, Michel [editor.]
  • Vanderwerff, Jon D [editor.]
  • Wolkowicz, Henry [editor.]
  • SpringerLink (Online service)
Series: Springer Proceedings in Mathematics & Statistics ; 50
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.

16.
Abdominal Imaging. Computation and Clinical Applications [electronic resource] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Hiroyuki Yoshida, Simon Warfield, Michael W. Vannier. by
  • Yoshida, Hiroyuki [editor.]
  • Warfield, Simon [editor.]
  • Vannier, Michael W [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8198
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.
Multicore Systems On-Chip: Practical Software/Hardware Design [electronic resource] : 2nd Edition / by Abderazek Ben Abdallah. by
  • Ben Abdallah, Abderazek [author.]
  • SpringerLink (Online service)
Series: Atlantis Ambient and Pervasive Intelligence ; 7
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
Availability: No items available.

18.
Essentials of Computational Electromagnetics. by
  • Sheng, Xin-Qing, 1968-
  • Song, Wei
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Hoboken : John Wiley & Sons, 2012
Availability: No items available.

19.
Computer and Computing Technologies in Agriculture VI [electronic resource] : 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I / edited by Daoliang Li, Yingyi Chen. by
  • Li, Daoliang [editor.]
  • Chen, Yingyi [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 392
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.
Systematic program design : from clarity to efficiency / Yanhong Annie Liu, Stony Brook University, State University of New York. by
  • Liu, Yanhong Annie, 1965-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Cambridge University Press, c2013
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 LIS, ...

Pages