Refine your search

Your search returned 6019 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2721.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
  • Sharygina, Natasha [editor.]
  • Veith, Helmut [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
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
2722.
E-Commerce and Web Technologies [electronic resource] : 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings / edited by Christian Huemer, Pasquale Lops. by
  • Huemer, Christian [editor.]
  • Lops, Pasquale [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 152
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
2723.
Networked Systems [electronic resource] : First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers / edited by Vincent Gramoli, Rachid Guerraoui. by
  • Gramoli, Vincent [editor.]
  • Guerraoui, Rachid [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7853
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
2724.
Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by
  • Chatterjee, Krishnendu [editor.]
  • Sgall, Jirí [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8087
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
2725.
Perspectives in Business Informatics Research [electronic resource] : 12th International Conference, BIR 2013, Warsaw, Poland, September 23-25, 2013. Proceedings / edited by Andrzej Kobyliński, Andrzej Sobczak. by
  • Kobyliński, Andrzej [editor.]
  • Sobczak, Andrzej [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 158
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
2726.
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
Online access:
Availability: No items available.

Add to cart
2727.
Knowledge Engineering and the Semantic Web [electronic resource] : 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings / edited by Pavel Klinov, Dmitry Mouromtsev. by
  • Klinov, Pavel [editor.]
  • Mouromtsev, Dmitry [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 394
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
2728.
Wireless Internet [electronic resource] : 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers / edited by Hua Qian, Kai Kang. by
  • Qian, Hua [editor.]
  • Kang, Kai [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 121
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
2729.
Number Theory and Cryptography [electronic resource] : Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday / edited by Marc Fischlin, Stefan Katzenbeisser. by
  • Fischlin, Marc [editor.]
  • Katzenbeisser, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8260
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
2730.
Hydroformylation for Organic Synthesis [electronic resource] / edited by Maurizio Taddei, André Mann. by
  • Taddei, Maurizio [editor.]
  • Mann, André [editor.]
  • SpringerLink (Online service)
Series: Topics in Current Chemistry ; 342
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
2731.
Gene Network Inference [electronic resource] : Verification of Methods for Systems Genetics Data / edited by Alberto de la Fuente. by
  • Fuente, Alberto de la [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
Online access:
Availability: No items available.

Add to cart
2732.
Chinese Lexical Semantics [electronic resource] : 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers / edited by Pengyuan Liu, Qi Su. by
  • Liu, Pengyuan [editor.]
  • Su, Qi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8229
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
2733.
Critical Infrastructure Protection VII [electronic resource] : 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers / edited by Jonathan Butts, Sujeet Shenoi. by
  • Butts, Jonathan [editor.]
  • Shenoi, Sujeet [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 417
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
2734.
Material Designs and New Physical Properties in MX- and MMX-Chain Compounds [electronic resource] / edited by Masahiro Yamashita, Hiroshi Okamoto. by
  • Yamashita, Masahiro [editor.]
  • Okamoto, Hiroshi [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2735.
Sphingolipids: Basic Science and Drug Development [electronic resource] / edited by Erich Gulbins, Irina Petrache. by
  • Gulbins, Erich [editor.]
  • Petrache, Irina [editor.]
  • SpringerLink (Online service)
Series: Handbook of Experimental Pharmacology ; 215
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2736.
Sphingolipids in Disease [electronic resource] / edited by Erich Gulbins, Irina Petrache. by
  • Gulbins, Erich [editor.]
  • Petrache, Irina [editor.]
  • SpringerLink (Online service)
Series: Handbook of Experimental Pharmacology ; 216
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2737.
Emotions of Animals and Humans [electronic resource] : Comparative Perspectives / edited by Shigeru Watanabe, Stan Kuczaj. by
  • Watanabe, Shigeru [editor.]
  • Kuczaj, Stan [editor.]
  • SpringerLink (Online service)
Series: The Science of the Mind
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2738.
Sustainable Transport Studies in Asia [electronic resource] / edited by Akimasa Fujiwara, Junyi Zhang. by
  • Fujiwara, Akimasa [editor.]
  • Zhang, Junyi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mobility
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2739.
Prospects in Bioscience: Addressing the Issues [electronic resource] / edited by Abdulhameed Sabu, Anu Augustine. by
  • Sabu, Abdulhameed [editor.]
  • Augustine, Anu [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: India : Springer India : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2740.
Recent Advancements in System Modelling Applications [electronic resource] : Proceedings of National Systems Conference 2012 / edited by R Malathi, J Krishnan. by
  • Malathi, R [editor.]
  • Krishnan, J [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 188
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: India : Springer India : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages