Welcome to Central Library, SUST

Your search returned 119 results.

Not what you expected? Check for suggestions
Sort
Results
101.
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann. by
  • Jain, Sanjay [editor.]
  • Munos, Rémi [editor.]
  • Stephan, Frank [editor.]
  • Zeugmann, Thomas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8139
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.

102.
KI 2013: Advances in Artificial Intelligence [electronic resource] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Ingo J. Timm, Matthias Thimm. by
  • Timm, Ingo J [editor.]
  • Thimm, Matthias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8077
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.

103.
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
  • Grossi, Davide [editor.]
  • Roy, Olivier [editor.]
  • Huang, Huaxin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
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.

104.
Modeling and Using Context [electronic resource] : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny. by
  • Brézillon, Patrick [editor.]
  • Blackburn, Patrick [editor.]
  • Dapoigny, Richard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8175
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.

105.
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by
  • Pecheur, Charles [editor.]
  • Dierkes, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8187
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.

106.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
  • Abdulla, Parosh Aziz [editor.]
  • Potapov, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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.

107.
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
  • Groves, Lindsay [editor.]
  • Sun, Jing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
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.

108.
Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay. by
  • Gabbay, Dov M [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.

109.
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
  • Duchier, Denys [editor.]
  • Parmentier, Yannick [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
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.

110.
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by
  • Hinze, Ralf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8241
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.

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

112.
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers / edited by Thierry Lecroq, Laurent Mouchard. by
  • Lecroq, Thierry [editor.]
  • Mouchard, Laurent [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8288
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.

113.
Teoria degli Automi Finiti [electronic resource] / by Aldo de Luca, Flavio D’Alessandro. by
  • Luca, Aldo de [author.]
  • D’Alessandro, Flavio [author.]
  • SpringerLink (Online service)
Series: UNITEXT ; 68
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

114.
Paraconsistency: Logic and Applications [electronic resource] / edited by Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli. by
  • Tanaka, Koji [editor.]
  • Berto, Francesco [editor.]
  • Mares, Edwin [editor.]
  • Paoli, Francesco [editor.]
  • SpringerLink (Online service)
Series: Logic, Epistemology, and the Unity of Science ; 26
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.

115.
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements [electronic resource] / by Lutz Geldsetzer, Richard L. Schwartz. by
  • Geldsetzer, Lutz [author.]
  • Schwartz, Richard L [author.]
  • 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.

116.
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method [electronic resource] / by Carlo Cellucci. by
  • Cellucci, Carlo [author.]
  • SpringerLink (Online service)
Series: Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences ; 1
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.

117.
The Argument of Mathematics [electronic resource] / edited by Andrew Aberdein, Ian J Dove. by
  • Aberdein, Andrew [editor.]
  • Dove, Ian J [editor.]
  • SpringerLink (Online service)
Series: Logic, Epistemology, and the Unity of Science ; 30
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.

118.
Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero. by
  • Mogavero, Fabio [author.]
  • SpringerLink (Online service)
Series: Atlantis Studies in Computing ; 3
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
Availability: No items available.

119.
A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham. by
  • Cunningham, Daniel W [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 510 CUL, ...

Pages