Welcome to Central Library, SUST

Your search returned 10 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Masulli, Francesco [editor.]
  • Pasi, Gabriella [editor.]
  • Yager, Ronald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
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.

2.
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by
  • Baldoni, Matteo [editor.]
  • Baroglio, Cristina [editor.]
  • Boella, Guido [editor.]
  • Micalizio, Roberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8249
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.

3.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
  • Giacobazzi, Roberto [editor.]
  • Berdine, Josh [editor.]
  • Mastroeni, Isabella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
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.

4.
Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya. by
  • Lodaya, Kamal [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7750
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.
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by
  • Dediu, Adrian-Horia [editor.]
  • Martín-Vide, Carlos [editor.]
  • Truthe, Bianca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7810
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.

6.
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by
  • Riguzzi, Fabrizio [editor.]
  • Železný, Filip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7842
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.

7.
Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by
  • Järvisalo, Matti [editor.]
  • Van Gelder, Allen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7962
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.
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca. by
  • Mauri, Giancarlo [editor.]
  • Dennunzio, Alberto [editor.]
  • Manzoni, Luca [editor.]
  • Porreca, Antonio E [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7956
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.
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.

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

Pages