Welcome to Central Library, SUST

Your search returned 314 results.

Not what you expected? Check for suggestions
Sort
Results
201.
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.

202.
Vehicle Propulsion Systems [electronic resource] : Introduction to Modeling and Optimization / by Lino Guzzella, Antonio Sciarretta. by
  • Guzzella, Lino [author.]
  • Sciarretta, Antonio [author.]
  • SpringerLink (Online service)
Edition: 3rd ed. 2013.
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.

203.
Multimodal Interaction in Image and Video Applications [electronic resource] / by Angel D. Sappa, Jordi Vitrià. by
  • Sappa, Angel D [author.]
  • Vitrià, Jordi [author.]
  • SpringerLink (Online service)
Series: Intelligent Systems Reference Library ; 48
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.

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

205.
Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by María José Escalona, José Cordeiro, Boris Shishkov. by
  • Escalona, María José [editor.]
  • Cordeiro, José [editor.]
  • Shishkov, Boris [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 303
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.

206.
Infobiotics [electronic resource] : Information in Biotic Systems / by Vincenzo Manca. by
  • Manca, Vincenzo [author.]
  • SpringerLink (Online service)
Series: Emergence, Complexity and Computation ; 3
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.

207.
Algorithmic Foundations of Robotics X [electronic resource] : Proceedings of the Tenth Workshop on the Algorithmic Foundations of Robotics / edited by Emilio Frazzoli, Tomas Lozano-Perez, Nicholas Roy, Daniela Rus. by
  • Frazzoli, Emilio [editor.]
  • Lozano-Perez, Tomas [editor.]
  • Roy, Nicholas [editor.]
  • Rus, Daniela [editor.]
  • SpringerLink (Online service)
Series: Springer Tracts in Advanced Robotics ; 86
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.

208.
Modeling, Simulation and Optimization of Bipedal Walking [electronic resource] / edited by Katja Mombaur, Karsten Berns. by
  • Mombaur, Katja [editor.]
  • Berns, Karsten [editor.]
  • SpringerLink (Online service)
Series: Cognitive Systems Monographs ; 18
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.

209.
SmartShadow: Models and Methods for Pervasive Computing [electronic resource] / by Zhaohui Wu, Gang Pan. by
  • Wu, Zhaohui [author.]
  • Pan, Gang [author.]
  • SpringerLink (Online service)
Series: Advanced Topics in Science and Technology in China
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.

210.
Micro-Nanorobotic Manipulation Systems and Their Applications [electronic resource] / by Toshio Fukuda, Fumihito Arai, Masahiro Nakajima. by
  • Fukuda, Toshio [author.]
  • Arai, Fumihito [author.]
  • Nakajima, Masahiro [author.]
  • SpringerLink (Online service)
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.

211.
Semantic Mashups [electronic resource] : Intelligent Reuse of Web Resources / edited by Brigitte Endres-Niggemeyer. by
  • Endres-Niggemeyer, Brigitte [editor.]
  • SpringerLink (Online service)
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.

212.
Decision Making and Imperfection [electronic resource] / edited by Tatiana V. Guy, Miroslav Karny, David Wolpert. by
  • Guy, Tatiana V [editor.]
  • Karny, Miroslav [editor.]
  • Wolpert, David [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 474
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.

213.
Efficient 3D Scene Modeling and Mosaicing [electronic resource] / by Tudor Nicosevici, Rafael Garcia. by
  • Nicosevici, Tudor [author.]
  • Garcia, Rafael [author.]
  • SpringerLink (Online service)
Series: Springer Tracts in Advanced Robotics ; 87
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.

214.
Pattern Recognition - Applications and Methods [electronic resource] : International Conference, ICPRAM 2012 Vilamoura, Algarve, Portugal, February 6-8, 2012 Revised Selected Papers / edited by Pedro Latorre Carmona, J. Salvador Sánchez, Ana L.N. Fred. by
  • Latorre Carmona, Pedro [editor.]
  • Sánchez, J. Salvador [editor.]
  • Fred, Ana L.N [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 204
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.

215.
Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012 / edited by Ioannis Hatzilygeroudis, Vasile Palade. by
  • Hatzilygeroudis, Ioannis [editor.]
  • Palade, Vasile [editor.]
  • SpringerLink (Online service)
Series: Smart Innovation, Systems and Technologies ; 23
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.

216.
Handbook on Neural Information Processing [electronic resource] / edited by Monica Bianchini, Marco Maggini, Lakhmi C. Jain. by
  • Bianchini, Monica [editor.]
  • Maggini, Marco [editor.]
  • Jain, Lakhmi C [editor.]
  • SpringerLink (Online service)
Series: Intelligent Systems Reference Library ; 49
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.

217.
Formal Methods for Mining Structured Objects [electronic resource] / by Gemma C Garriga. by
  • Garriga, Gemma C [author.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 475
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.

218.
Complex Networks IV [electronic resource] : Proceedings of the 4th Workshop on Complex Networks CompleNet 2013 / edited by Gourab Ghoshal, Julia Poncela-Casasnovas, Robert Tolksdorf. by
  • Ghoshal, Gourab [editor.]
  • Poncela-Casasnovas, Julia [editor.]
  • Tolksdorf, Robert [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 476
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.

219.
Advances in Information Systems and Technologies [electronic resource] / edited by Álvaro Rocha, Ana Maria Correia, Tom Wilson, Karl A. Stroetmann. by
  • Rocha, Álvaro [editor.]
  • Correia, Ana Maria [editor.]
  • Wilson, Tom [editor.]
  • Stroetmann, Karl A [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 206
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.

220.
Approaches to Probabilistic Model Learning for Mobile Manipulation Robots [electronic resource] / by Jürgen Sturm. by
  • Sturm, Jürgen [author.]
  • SpringerLink (Online service)
Series: Springer Tracts in Advanced Robotics ; 89
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