Refine your search

Your search returned 2058 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1301.
Process algebra for parallel and distributed processing [electronic resource] / edited by Michael Alexander, William Gardner. by
  • Alexander, Michael, 1970 Sept. 25-
  • Gardner, William, 1952-
Series:
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton, Fla. : CRC Press, c2009
Online access:
Availability: No items available.

Add to cart
1302.
Programming languages and operational semantics : a concise overview / Maribel Fernandez. by
  • Fernandez, Maribel [author.]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (5)Call number: 005.13 FEP, ...

Place hold Add to cart
1303.
Scientific data management [electronic resource] : challenges, technology, and deployment / editors, Arie Shoshani and Doron Rotem. by
  • Shoshani, Arie
  • Rotem, Doron
Series:
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton, Fla. : CRC Press, 2009
Online access:
Availability: No items available.

Add to cart
1304.
Uncertainty Quantification in Computational Fluid Dynamics [electronic resource] / edited by Hester Bijl, Didier Lucor, Siddhartha Mishra, Christoph Schwab. by
  • Bijl, Hester [editor.]
  • Lucor, Didier [editor.]
  • Mishra, Siddhartha [editor.]
  • Schwab, Christoph [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computational Science and Engineering ; 92
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1305.
QoS Management of Web Services [electronic resource] / by Zibin Zheng, Michael R. Lyu. by
  • Zheng, Zibin [author.]
  • Lyu, Michael R [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
Online access:
Availability: No items available.

Add to cart
1306.
Progress in Location-Based Services [electronic resource] / edited by Jukka M. Krisp. by
  • Krisp, Jukka M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Geoinformation and Cartography
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
Online access:
Availability: No items available.

Add to cart
1307.
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig. by
  • Reisig, Wolfgang [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
Online access:
Availability: No items available.

Add to cart
1308.
Barrierefreie Informationssysteme : Zugänglichkeit für Menschen mit Behinderung in Theorie und Praxis / edited by Friederike Kerkmann, Dirk Lewandowski. by
  • Kerkmann, Friederike [editor.]
  • Lewandowski, Dirk [editor.]
Series: Age of Access? Grundfragen der Informationsgesellschaft ; 6
Material type: Text Text
Publication details: Berlin/Boston : De Gruyter, [2015]
Online access:
Availability: No items available.

Add to cart
1309.
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa. by
  • Hung, Dang Van [editor.]
  • Ogawa, Mizuhito [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8172
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1310.
Advances in Bioinformatics and Computational Biology [electronic resource] : 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings / edited by João C. Setubal, Nalvo F. Almeida. by
  • Setubal, João C [editor.]
  • Almeida, Nalvo F [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8213
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1311.
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk. by
  • Erwig, Martin [editor.]
  • Paige, Richard F [editor.]
  • Wyk, Eric Van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8225
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1312.
Social Robotics [electronic resource] : 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings / edited by Guido Herrmann, Martin J. Pearson, Alexander Lenz, Paul Bremner, Adam Spiers, Ute Leonards. by
  • Herrmann, Guido [editor.]
  • Pearson, Martin J [editor.]
  • Lenz, Alexander [editor.]
  • Bremner, Paul [editor.]
  • Spiers, Adam [editor.]
  • Leonards, Ute [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8239
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1313.
Brain and Health Informatics [electronic resource] : International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings / edited by Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong. by
  • Imamura, Kazayuki [editor.]
  • Usui, Shiro [editor.]
  • Shirao, Tomoaki [editor.]
  • Kasamatsu, Takuji [editor.]
  • Schwabe, Lars [editor.]
  • Zhong, Ning [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8211
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1314.
Interactive Storytelling [electronic resource] : 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings / edited by Hartmut Koenitz, Tonguc Ibrahim Sezen, Gabriele Ferri, Mads Haahr, Digdem Sezen, Güven C̨atak. by
  • Koenitz, Hartmut [editor.]
  • Sezen, Tonguc Ibrahim [editor.]
  • Ferri, Gabriele [editor.]
  • Haahr, Mads [editor.]
  • Sezen, Digdem [editor.]
  • C̨atak, Güven [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8230
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1315.
Cryptology and Network Security [electronic resource] : 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings / edited by Michel Abdalla, Cristina Nita-Rotaru, Ricardo Dahab. by
  • Abdalla, Michel [editor.]
  • Nita-Rotaru, Cristina [editor.]
  • Dahab, Ricardo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8257
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1316.
Biometric Recognition [electronic resource] : 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings / edited by Zhenan Sun, Shiguan Shan, Gongping Yang, Jie Zhou, Yunhong Wang, YiLong Yin. by
  • Sun, Zhenan [editor.]
  • Shan, Shiguan [editor.]
  • Yang, Gongping [editor.]
  • Zhou, Jie [editor.]
  • Wang, Yunhong [editor.]
  • Yin, YiLong [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8232
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1317.
Human Computer Interaction [electronic resource] : 6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by César Collazos, Andréia Liborio, Cristian Rusu. by
  • Collazos, César [editor.]
  • Liborio, Andréia [editor.]
  • Rusu, Cristian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8278
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1318.
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [electronic resource] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira. by
  • Urzaiz, Gabriel [editor.]
  • Ochoa, Sergio F [editor.]
  • Bravo, José [editor.]
  • Chen, Liming Luke [editor.]
  • Oliveira, Jonice [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8276
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1319.
Digital Libraries: Social Media and Community Networks [electronic resource] : 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings / edited by Shalini R. Urs, Jin-Cheon Na, George Buchanan. by
  • Urs, Shalini R [editor.]
  • Na, Jin-Cheon [editor.]
  • Buchanan, George [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8279
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1320.
AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Stephen Cranefield, Abhaya Nayak. by
  • Cranefield, Stephen [editor.]
  • Nayak, Abhaya [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8272
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages