Welcome to Central Library, SUST

Your search returned 59 results.

Not what you expected? Check for suggestions
Sort
Results
21.
The Language of Mathematics [electronic resource] : A Linguistic and Philosophical Investigation / by Mohan Ganesalingam. by
  • Ganesalingam, Mohan [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7805
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.

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

23.
Coordination, Organizations, Institutions, and Norms in Agent Systems VIII [electronic resource] : 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Huib Aldewereld, Jaime Simão Sichman. by
  • Aldewereld, Huib [editor.]
  • Sichman, Jaime Simão [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7756
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.

24.
Advances in Computational Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II / edited by Ildar Batyrshin, Miguel González Mendoza. by
  • Batyrshin, Ildar [editor.]
  • Mendoza, Miguel González [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7630
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.

25.
Advances in Artificial Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I / edited by Ildar Batyrshin, Miguel González Mendoza. by
  • Batyrshin, Ildar [editor.]
  • González Mendoza, Miguel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7629
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.

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

27.
Multimedia Communications, Services and Security [electronic resource] : 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings / edited by Andrzej Dziech, Andrzej Czyżewski. by
  • Dziech, Andrzej [editor.]
  • Czyżewski, Andrzej [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 368
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.

28.
Recent Trends in Applied Artificial Intelligence [electronic resource] : 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings / edited by Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur. by
  • Ali, Moonis [editor.]
  • Bosse, Tibor [editor.]
  • Hindriks, Koen V [editor.]
  • Hoogendoorn, Mark [editor.]
  • Jonker, Catholijn M [editor.]
  • Treur, Jan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7906
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.

29.
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by
  • Rutkowski, Leszek [editor.]
  • Korytkowski, Marcin [editor.]
  • Scherer, Rafał [editor.]
  • Tadeusiewicz, Ryszard [editor.]
  • Zadeh, Lotfi A [editor.]
  • Zurada, Jacek M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7895
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.

30.
Pattern Recognition and Image Analysis [electronic resource] : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings / edited by João M. Sanches, Luisa Micó, Jaime S. Cardoso. by
  • Sanches, João M [editor.]
  • Micó, Luisa [editor.]
  • Cardoso, Jaime S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7887
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.

31.
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by
  • Rutkowski, Leszek [editor.]
  • Korytkowski, Marcin [editor.]
  • Scherer, Rafał [editor.]
  • Tadeusiewicz, Ryszard [editor.]
  • Zadeh, Lotfi A [editor.]
  • Zurada, Jacek M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7894
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.

32.
Transactions on Computational Science XVIII [electronic resource] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Arjan Kuijper. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • Kuijper, Arjan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7848
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.

33.
Image Analysis [electronic resource] : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings / edited by Joni-Kristian Kämäräinen, Markus Koskela. by
  • Kämäräinen, Joni-Kristian [editor.]
  • Koskela, Markus [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7944
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.

34.
Global Design and Local Materialization [electronic resource] : 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings / edited by Jianlong Zhang, Chengyu Sun. by
  • Zhang, Jianlong [editor.]
  • Sun, Chengyu [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 369
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.

35.
Image Analysis and Recognition [electronic resource] : 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings / edited by Mohamed Kamel, Aurélio Campilho. by
  • Kamel, Mohamed [editor.]
  • Campilho, Aurélio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7950
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.

36.
Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments [electronic resource] : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Randall Shumaker. by
  • Shumaker, Randall [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8021
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.

37.
Transactions on Computational Science XIX [electronic resource] : Special Issue on Computer Graphics / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Anton Konushin. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • Konushin, Anton [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7870
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.

38.
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Frédéric Barbaresco. by
  • Nielsen, Frank [editor.]
  • Barbaresco, Frédéric [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8085
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.

39.
Computer Analysis of Images and Patterns [electronic resource] : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II / edited by Richard Wilson, Edwin Hancock, Adrian Bors, William Smith. by
  • Wilson, Richard [editor.]
  • Hancock, Edwin [editor.]
  • Bors, Adrian [editor.]
  • Smith, William [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8048
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.

40.
Computer Analysis of Images and Patterns [electronic resource] : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I / edited by Richard Wilson, Edwin Hancock, Adrian Bors, William Smith. by
  • Wilson, Richard [editor.]
  • Hancock, Edwin [editor.]
  • Bors, Adrian [editor.]
  • Smith, William [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8047
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