Welcome to Central Library, SUST

Your search returned 24 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by
  • Dastani, Mehdi [editor.]
  • Hübner, Jomi F [editor.]
  • Logan, Brian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7837
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.
Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by
  • Bonifaci, Vincenzo [editor.]
  • Demetrescu, Camil [editor.]
  • Marchetti-Spaccamela, Alberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7933
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.
Giants of Computing [electronic resource] : A Compendium of Select, Pivotal Pioneers / by Gerard O’Regan. by
  • O’Regan, Gerard [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

4.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
  • McMillan, Ken [editor.]
  • Middeldorp, Aart [editor.]
  • Voronkov, Andrei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.
Principles of Data Mining [electronic resource] / by Max Bramer. by
  • Bramer, Max [author.]
  • SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

6.
Research and Development in Intelligent Systems XXX [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis. by
  • Bramer, Max [editor.]
  • Petridis, Miltos [editor.]
  • 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.

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

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

9.
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by
  • Perny, Patrice [editor.]
  • Pirlot, Marc [editor.]
  • Tsoukiàs, Alexis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8176
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.
International journal of smart engineering system design [electronic resource].
Source: Academic Search Premier
Material type: Continuing resource Continuing resource; Format: available online remote; Type of continuing resource: periodical
Publication details: [London] : Gordon and Breach, -2003
Availability: No items available.

11.
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. by
  • Morgenstern, Leora [editor.]
  • Stefaneas, Petros [editor.]
  • Lévy, François [editor.]
  • Wyner, Adam [editor.]
  • Paschke, Adrian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8035
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.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by
  • Galmiche, Didier [editor.]
  • Larchey-Wendling, Dominique [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8123
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.
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos. by
  • Nicosia, Giuseppe [editor.]
  • Pardalos, Panos [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7997
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.
Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Jörg P. Müller, Massimo Cossentino. by
  • Müller, Jörg P [editor.]
  • Cossentino, Massimo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7852
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.
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.

16.
Adaptive and Natural Computing Algorithms [electronic resource] : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings / edited by Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser. by
  • Tomassini, Marco [editor.]
  • Antonioni, Alberto [editor.]
  • Daolio, Fabio [editor.]
  • Buesser, Pierre [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7824
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.
Intelligent Data Mining in Law Enforcement Analytics [electronic resource] : New Neural Networks Applied to Real Problems / edited by Massimo Buscema, William J. Tastle. by
  • Buscema, Massimo [editor.]
  • Tastle, William J [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

18.
Applications of Evolutionary Computation [electronic resource] : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Anna I. Esparcia-Alcázar. by
  • Esparcia-Alcázar, Anna I [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7835
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.
Natural Language Processing and Information Systems [electronic resource] : 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera. by
  • Métais, Elisabeth [editor.]
  • Meziane, Farid [editor.]
  • Saraee, Mohamad [editor.]
  • Sugumaran, Vijayan [editor.]
  • Vadera, Sunil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7934
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.
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.

Pages