Welcome to Central Library, SUST

Your search returned 273 results.

Not what you expected? Check for suggestions
Sort
Results
121.
Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by
  • Béal, Marie-Pierre [editor.]
  • Carton, Olivier [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7907
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.

122.
Advances in Brain Inspired Cognitive Systems [electronic resource] : 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings / edited by Derong Liu, Cesare Alippi, Dongbin Zhao, Amir Hussain. by
  • Liu, Derong [editor.]
  • Alippi, Cesare [editor.]
  • Zhao, Dongbin [editor.]
  • Hussain, Amir [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7888
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.

123.
Transactions on Computational Science XVIII [electronic resource] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Arjan Kuijper. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • Kuijper, Arjan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7848
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.

124.
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by
  • Riguzzi, Fabrizio [editor.]
  • Železný, Filip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7842
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.

125.
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by
  • Brocke, Jan vom [editor.]
  • Hekkala, Riitta [editor.]
  • Ram, Sudha [editor.]
  • Rossi, Matti [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7939
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.

126.
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
  • Logozzo, Francesco [editor.]
  • Fähndrich, Manuel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
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.

127.
Multi-Agent-Based Simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers / edited by Francesca Giardini, Frédéric Amblard. by
  • Giardini, Francesca [editor.]
  • Amblard, Frédéric [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7838
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.

128.
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by
  • Bernardo, Marco [editor.]
  • Vink, Erik de [editor.]
  • Pierro, Alessandra Di [editor.]
  • Wiklicky, Herbert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7938
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.

129.
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by
  • Duddy, Keith [editor.]
  • Kappel, Gerti [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7909
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.

130.
Trust and Trustworthy Computing [electronic resource] : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / edited by Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp. by
  • Huth, Michael [editor.]
  • Asokan, N [editor.]
  • Čapkun, Srdjan [editor.]
  • Flechais, Ivan [editor.]
  • Coles-Kemp, Lizzie [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7904
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.

131.
SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by
  • Khendek, Ferhat [editor.]
  • Toeroe, Maria [editor.]
  • Gherbi, Abdelouahed [editor.]
  • Reed, Rick [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7916
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.

132.
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
  • Veanes, Margus [editor.]
  • Viganò, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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.

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

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

135.
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by
  • Dueck, Gerhard W [editor.]
  • Miller, D. Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7948
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.

136.
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose. by
  • Gorp, Pieter Van [editor.]
  • Ritter, Tom [editor.]
  • Rose, Louis M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7949
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.

137.
Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira. by
  • Drira, Khalil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7957
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.

138.
ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna. by
  • Castagna, Giuseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7920
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.

139.
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by
  • Bonizzoni, Paola [editor.]
  • Brattka, Vasco [editor.]
  • Löwe, Benedikt [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7921
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.

140.
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by
  • Guo, Chengan [editor.]
  • Hou, Zeng-Guang [editor.]
  • Zeng, Zhigang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7951
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