Welcome to Central Library, SUST

Your search returned 403 results.

Not what you expected? Check for suggestions
Sort
Results
201.
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 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 Vittorio Cortellessa, Dániel Varró. by
  • Cortellessa, Vittorio [editor.]
  • Varró, Dániel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7793
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.

202.
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 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 Frank Pfenning. by
  • Pfenning, Frank [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7794
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.

203.
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi. by
  • Garcia-Alfaro, Joaquin [editor.]
  • Cuppens, Frédéric [editor.]
  • Cuppens-Boulahia, Nora [editor.]
  • Miri, Ali [editor.]
  • Tawbi, Nadia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7743
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.

204.
Smart Card Research and Advanced Applications [electronic resource] : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers / edited by Stefan Mangard. by
  • Mangard, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7771
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.

205.
SemProM [electronic resource] : Foundations of Semantic Product Memories for the Internet of Things / edited by Wolfgang Wahlster. by
  • Wahlster, Wolfgang [editor.]
  • SpringerLink (Online service)
Series: Cognitive Technologies
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.

206.
Perspectives on the Future of Software Engineering [electronic resource] : Essays in Honor of Dieter Rombach / edited by Jürgen Münch, Klaus Schmid. by
  • Münch, Jürgen [editor.]
  • Schmid, Klaus [editor.]
  • 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.

207.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / edited by Joerg Doerr, Andreas L. Opdahl. by
  • Doerr, Joerg [editor.]
  • Opdahl, Andreas L [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7830
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.

208.
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013 [electronic resource] / edited by Zhixiang Yin, Linqiang Pan, Xianwen Fang. by
  • Yin, Zhixiang [editor.]
  • Pan, Linqiang [editor.]
  • Fang, Xianwen [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 212
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.

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

210.
Enterprise Architecture Patterns [electronic resource] : Practical Solutions for Recurring IT-Architecture Problems / by Thierry Perroud, Reto Inversini. by
  • Perroud, Thierry [author.]
  • Inversini, Reto [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.

211.
Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by
  • Kasahara, Hironori [editor.]
  • Kimura, Keiji [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7760
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.

212.
Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger. by
  • Rauber, Thomas [author.]
  • Rünger, Gudula [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

213.
Service-Oriented Computing - ICSOC 2012 Workshops [electronic resource] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang. by
  • Ghose, Aditya [editor.]
  • Zhu, Huibiao [editor.]
  • Yu, Qi [editor.]
  • Delis, Alex [editor.]
  • Sheng, Quang Z [editor.]
  • Perrin, Olivier [editor.]
  • Wang, Jianmin [editor.]
  • Wang, Yan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7759
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.

214.
Advances in Heuristic Signal Processing and Applications [electronic resource] / edited by Amitava Chatterjee, Hadi Nobahari, Patrick Siarry. by
  • Chatterjee, Amitava [editor.]
  • Nobahari, Hadi [editor.]
  • Siarry, Patrick [editor.]
  • 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.

215.
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. by
  • Baldoni, Matteo [editor.]
  • Dennis, Louise [editor.]
  • Mascardi, Viviana [editor.]
  • Vasconcelos, Wamberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7784
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.

216.
Mobile Networks and Management [electronic resource] : 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers / edited by Andreas Timm-Giel, John Strassner, Ramón Agüero, Susana Sargento, Kostas Pentikousis. by
  • Timm-Giel, Andreas [editor.]
  • Strassner, John [editor.]
  • Agüero, Ramón [editor.]
  • Sargento, Susana [editor.]
  • Pentikousis, Kostas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 58
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.

217.
Massively Parallel Evolutionary Computation on GPGPUs [electronic resource] / edited by Shigeyoshi Tsutsui, Pierre Collet. by
  • Tsutsui, Shigeyoshi [editor.]
  • Collet, Pierre [editor.]
  • SpringerLink (Online service)
Series: Natural Computing Series
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.

218.
Arts and Technology [electronic resource] : Third International Conference, ArtsIT 2013, Milan, Italy, March 21-23, 2013, Revised Selected Papers / edited by Giorgio De Michelis, Francesco Tisato, Andrea Bene, Diego Bernini. by
  • Michelis, Giorgio De [editor.]
  • Tisato, Francesco [editor.]
  • Bene, Andrea [editor.]
  • Bernini, Diego [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 116
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.

219.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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.

220.
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by
  • Jensen, Kurt [editor.]
  • Aalst, Wil M. P. van der [editor.]
  • Balbo, Gianfranco [editor.]
  • Koutny, Maciej [editor.]
  • Wolf, Karsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7480
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