Welcome to Central Library, SUST

Your search returned 22 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Languages and Compilers for Parallel Computing [electronic resource] : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers / edited by Sanjay Rajopadhye, Michelle Mills Strout. by
  • Rajopadhye, Sanjay [editor.]
  • Mills Strout, Michelle [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7146
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.
Cognitive Agents for Virtual Environments [electronic resource] : First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Frank Dignum, Cyril Brom, Koen Hindriks, Martin Beer, Deborah Richards. by
  • Dignum, Frank [editor.]
  • Brom, Cyril [editor.]
  • Hindriks, Koen [editor.]
  • Beer, Martin [editor.]
  • Richards, Deborah [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7764
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.
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by
  • Jürjens, Jan [editor.]
  • Livshits, Benjamin [editor.]
  • Scandariato, Riccardo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7781
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.

4.
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by
  • Clarke, Dave [editor.]
  • Noble, James [editor.]
  • Wrigstad, Tobias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7850
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.
Transactions on Aspect-Oriented Software Development X [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter. by
  • Leavens, Gary T [editor.]
  • Chiba, Shigeru [editor.]
  • Tanter, Éric [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7800
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.

6.
Transactions on Edutainment IX [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Fotis Liarokapis. by
  • Pan, Zhigeng [editor.]
  • Cheok, Adrian David [editor.]
  • Müller, Wolfgang [editor.]
  • Liarokapis, Fotis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7544
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.
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by
  • Jhala, Ranjit [editor.]
  • Bosschere, Koen De [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7791
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.

8.
Transactions on Edutainment X [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Ido Iurgel, Paolo Petta, Bodo Urban. by
  • Pan, Zhigeng [editor.]
  • Cheok, Adrian David [editor.]
  • Müller, Wolfgang [editor.]
  • Iurgel, Ido [editor.]
  • Petta, Paolo [editor.]
  • Urban, Bodo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7775
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.

9.
Post-Quantum Cryptography [electronic resource] : 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings / edited by Philippe Gaborit. by
  • Gaborit, Philippe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7932
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.

10.
Benchmarking Peer-to-Peer Systems [electronic resource] : Understanding Quality of Service in Large-Scale Distributed Systems / edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe. by
  • Effelsberg, Wolfgang [editor.]
  • Steinmetz, Ralf [editor.]
  • Strufe, Thorsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7847
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.
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
Availability: No items available.

12.
Safe and Secure Software Reuse [electronic resource] : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / edited by John Favaro, Maurizio Morisio. by
  • Favaro, John [editor.]
  • Morisio, Maurizio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7925
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.
Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience [electronic resource] : Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Aaron Marcus. by
  • Marcus, Aaron [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8013
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.
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
  • Lourenço, João M [editor.]
  • Farchi, Eitan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
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.

15.
Information Technologies for Performing Arts, Media Access, and Entertainment [electronic resource] : Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers / edited by Paolo Nesi, Raffaella Santucci. by
  • Nesi, Paolo [editor.]
  • Santucci, Raffaella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7990
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.

16.
Fundamentals of Computation Theory [electronic resource] : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / edited by Leszek Gąsieniec, Frank Wolter. by
  • Gąsieniec, Leszek [editor.]
  • Wolter, Frank [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8070
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.
Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / edited by Reiko Heckel, Stefan Milius. by
  • Heckel, Reiko [editor.]
  • Milius, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8089
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.
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
  • Gupta, Ashutosh [editor.]
  • Henzinger, Thomas A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.
Serious Games Development and Applications [electronic resource] : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge. by
  • Ma, Minhua [editor.]
  • Oliveira, Manuel Fradinho [editor.]
  • Petersen, Sobah [editor.]
  • Hauge, Jannicke Baalsrud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8101
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.
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.

Pages