Welcome to Central Library, SUST

Your search returned 101 results.

Not what you expected? Check for suggestions
Sort
Results
61.
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by
  • Carette, Jacques [editor.]
  • Aspinall, David [editor.]
  • Lange, Christoph [editor.]
  • Sojka, Petr [editor.]
  • Windsteiger, Wolfgang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7961
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.

62.
Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by
  • Kühnberger, Kai-Uwe [editor.]
  • Rudolph, Sebastian [editor.]
  • Wang, Pei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7999
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.

63.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
  • Biere, Armin [editor.]
  • Nahir, Amir [editor.]
  • Vos, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
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.

64.
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
  • Binder, Walter [editor.]
  • Bodden, Eric [editor.]
  • Löwe, Welf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
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.

65.
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
  • Blazy, Sandrine [editor.]
  • Paulin-Mohring, Christine [editor.]
  • Pichardie, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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.

66.
Reasoning Web. Semantic Technologies for Intelligent Data Access [electronic resource] : 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings / edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen. by
  • Rudolph, Sebastian [editor.]
  • Gottlob, Georg [editor.]
  • Horrocks, Ian [editor.]
  • Harmelen, Frank van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8067
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.

67.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki. by
  • Motomura, Yoichi [editor.]
  • Butler, Alastair [editor.]
  • Bekki, Daisuke [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7856
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.

68.
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
  • Libkin, Leonid [editor.]
  • Kohlenbach, Ulrich [editor.]
  • Queiroz, Ruy de [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
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.

69.
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by
  • Morrill, Glyn [editor.]
  • Nederhof, Mark-Jan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8036
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.

70.
Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by
  • Chatterjee, Krishnendu [editor.]
  • Sgall, Jirí [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8087
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.

71.
The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / edited by Peter Achten, Pieter Koopman. by
  • Achten, Peter [editor.]
  • Koopman, Pieter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8106
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.

72.
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Peña. by
  • Loidl, Hans-Wolfgang [editor.]
  • Peña, Ricardo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7829
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.

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

74.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
  • Hierons, Robert M [editor.]
  • Merayo, Mercedes G [editor.]
  • Bravetti, Mario [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
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.

75.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by
  • Cabalar, Pedro [editor.]
  • Son, Tran Cao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8148
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.

76.
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni. by
  • Karhumäki, Juhani [editor.]
  • Lepistö, Arto [editor.]
  • Zamboni, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8079
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.

77.
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
  • Giachino, Elena [editor.]
  • Hähnle, Reiner [editor.]
  • Boer, Frank S. de [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
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.

78.
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
  • Leite, João [editor.]
  • Son, Tran Cao [editor.]
  • Torroni, Paolo [editor.]
  • Torre, Leon van der [editor.]
  • Woltran, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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.

79.
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by
  • Schulte, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8124
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.

80.
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by
  • Muntean, Traian [editor.]
  • Poulakis, Dimitrios [editor.]
  • Rolland, Robert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8080
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