Refine your search

Your search returned 613 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
481.
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
Online access:
Availability: No items available.

Add to cart
482.
Advances in Computing, Communication, and Control [electronic resource] : Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings / edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir. by
  • Unnikrishnan, Srija [editor.]
  • Surve, Sunil [editor.]
  • Bhoir, Deepak [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 361
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
483.
CAN System Engineering [electronic resource] : From Theory to Practical Applications / edited by Wolfhard Lawrenz. by
  • Lawrenz, Wolfhard [editor.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
484.
Media Access Control and Resource Allocation [electronic resource] : For Next Generation Passive Optical Networks / by Nirwan Ansari, Jingjing Zhang. by
  • Ansari, Nirwan [author.]
  • Zhang, Jingjing [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Applied Sciences and Technology
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
485.
Intelligent Computing Theories [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan Premaratne. by
  • Huang, De-Shuang [editor.]
  • Bevilacqua, Vitoantonio [editor.]
  • Figueroa, Juan Carlos [editor.]
  • Premaratne, Prashan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7995
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
486.
Propagation Engineering in Radio Links Design [electronic resource] / by Abdollah Ghasemi, Ali Abedi, Farshid Ghasemi. by
  • Ghasemi, Abdollah [author.]
  • Abedi, Ali [author.]
  • Ghasemi, Farshid [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
487.
4G Femtocells [electronic resource] : Resource Allocation and Interference Management / by Haijun Zhang, Xiaoli Chu, Xiangming Wen. by
  • Zhang, Haijun [author.]
  • Chu, Xiaoli [author.]
  • Wen, Xiangming [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
488.
Agents and Artificial Intelligence [electronic resource] : Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers / edited by Joaquim Filipe, Ana Fred. by
  • Filipe, Joaquim [editor.]
  • Fred, Ana [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 271
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
489.
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by
  • Guo, Chengan [editor.]
  • Hou, Zeng-Guang [editor.]
  • Zeng, Zhigang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7951
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
490.
Behavior and Social Computing [electronic resource] : International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers / edited by Longbing Cao, Hiroshi Motoda, Jaideep Srivastava, Ee-Peng Lim, Irwin King, Philip S. Yu, Wolfgang Nejdl, Guandong Xu, Gang Li, Ya Zhang. by
  • Cao, Longbing [editor.]
  • Motoda, Hiroshi [editor.]
  • Srivastava, Jaideep [editor.]
  • Lim, Ee-Peng [editor.]
  • King, Irwin [editor.]
  • Yu, Philip S [editor.]
  • Nejdl, Wolfgang [editor.]
  • Xu, Guandong [editor.]
  • Li, Gang [editor.]
  • Zhang, Ya [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8178
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
491.
Graph Drawing [electronic resource] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / edited by Walter Didimo, Maurizio Patrignani. by
  • Didimo, Walter [editor.]
  • Patrignani, Maurizio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7704
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
492.
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction [electronic resource] : First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers / edited by Friedhelm Schwenker, Stefan Scherer, Louis-Philippe Morency. by
  • Schwenker, Friedhelm [editor.]
  • Scherer, Stefan [editor.]
  • Morency, Louis-Philippe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7742
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
493.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7966
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
494.
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
495.
Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by
  • Cordeiro, José [editor.]
  • Virvou, Maria [editor.]
  • Shishkov, Boris [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 170
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
496.
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
Online access:
Availability: No items available.

Add to cart
497.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings / edited by Linda C. van der Gaag. by
  • Gaag, Linda C. van der [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7958
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
498.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7965
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
499.
Cross-Layer Design in Optical Networks [electronic resource] / edited by Suresh Subramaniam, Maïté Brandt-Pearce, Piet Demeester, Chava Vijaya Saradhi. by
  • Subramaniam, Suresh [editor.]
  • Brandt-Pearce, Maïté [editor.]
  • Demeester, Piet [editor.]
  • Vijaya Saradhi, Chava [editor.]
  • SpringerLink (Online service)
Series: Optical Networks ; 15
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
500.
Intelligent Audio Analysis [electronic resource] / by Björn W. Schuller. by
  • Schuller, Björn W [author.]
  • SpringerLink (Online service)
Series: Signals and Communication Technology
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
Pages