Welcome to Central Library, SUST

Refine your search

Your search returned 716 results.

Not what you expected? Check for suggestions
Sort
Results
301.
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.

302.
Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII [electronic resource] : Special Issue on Advances in Data Warehousing and Knowledge Discovery / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Alfredo Cuzzocrea, Umeshwar Dayal. by
  • Hameurlain, Abdelkader [editor.]
  • Küng, Josef [editor.]
  • Wagner, Roland [editor.]
  • Cuzzocrea, Alfredo [editor.]
  • Dayal, Umeshwar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7790
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.

303.
Visual Analytics of Movement [electronic resource] / by Gennady Andrienko, Natalia Andrienko, Peter Bak, Daniel Keim, Stefan Wrobel. by
  • Andrienko, Gennady [author.]
  • Andrienko, Natalia [author.]
  • Bak, Peter [author.]
  • Keim, Daniel [author.]
  • Wrobel, Stefan [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.

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

305.
The Deductive Spreadsheet [electronic resource] / by Iliano Cervesato. by
  • Cervesato, Iliano [author.]
  • 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.

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

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

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

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

310.
Highlights on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Juan M. Corchado, Javier Bajo, Jaroslaw Kozlak, Pawel Pawlewski, Jose M. Molina, Vicente Julian, Ricardo Azambuja Silveira, Rainer Unland, Sylvain Giroux. by
  • Corchado, Juan M [editor.]
  • Bajo, Javier [editor.]
  • Kozlak, Jaroslaw [editor.]
  • Pawlewski, Pawel [editor.]
  • Molina, Jose M [editor.]
  • Julian, Vicente [editor.]
  • Silveira, Ricardo Azambuja [editor.]
  • Unland, Rainer [editor.]
  • Giroux, Sylvain [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 365
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.

311.
Advances on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Yves Demazeau, Toru Ishida, Juan M. Corchado, Javier Bajo. by
  • Demazeau, Yves [editor.]
  • Ishida, Toru [editor.]
  • Corchado, Juan M [editor.]
  • Bajo, Javier [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7879
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.

312.
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers / edited by Cristian A. Linte, Elvis C. S. Chen, Marie-Odile Berger, John T. Moore, David R. Holmes. by
  • Linte, Cristian A [editor.]
  • Chen, Elvis C. S [editor.]
  • Berger, Marie-Odile [editor.]
  • Moore, John T [editor.]
  • Holmes, David R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7815
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.

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

314.
Advances in Enterprise Engineering VII [electronic resource] : Third Enterprise Engineering Working Conference, EEWC 2013, Luxembourg, May 13-14, 2013. Proceedings / edited by Henderik A. Proper, David Aveiro, Khaled Gaaloul. by
  • Proper, Henderik A [editor.]
  • Aveiro, David [editor.]
  • Gaaloul, Khaled [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 146
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.

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

316.
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by
  • Coecke, Bob [editor.]
  • Ong, Luke [editor.]
  • Panangaden, Prakash [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7860
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.

317.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by
  • Albert, Elvira [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7844
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.

318.
Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by
  • Machado, Ricardo J [editor.]
  • Maciel, Rita Suzana P [editor.]
  • Rubin, Julia [editor.]
  • Botterweck, Goetz [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7706
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.

319.
Advanced Infocomm Technology [electronic resource] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers / edited by Vincent Guyot. by
  • Guyot, Vincent [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7593
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.

320.
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by
  • Beek, Maurice H. ter [editor.]
  • Lohmann, Niels [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7843
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