Refine your search

Your search returned 6019 results.

Not what you expected? Check for suggestions
Sort
Results
2941.
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
  • Logozzo, Francesco [editor.]
  • Fähndrich, Manuel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
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.

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

2943.
The Power of Algorithms [electronic resource] : Inspiration and Examples in Everyday Life / edited by Giorgio Ausiello, Rossella Petreschi. by
  • Ausiello, Giorgio [editor.]
  • Petreschi, Rossella [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.

2944.
Computational and Robotic Models of the Hierarchical Organization of Behavior [electronic resource] / edited by Gianluca Baldassarre, Marco Mirolli. by
  • Baldassarre, Gianluca [editor.]
  • Mirolli, Marco [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.

2945.
Information Technologies for Performing Arts, Media Access, and Entertainment [electronic resource] : Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers / edited by Paolo Nesi, Raffaella Santucci. by
  • Nesi, Paolo [editor.]
  • Santucci, Raffaella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7990
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.

2946.
Multifaceted Development and Application of Biopolymers for Biology, Biomedicine and Nanotechnology [electronic resource] / edited by P.K. Dutta, Joydeep Dutta. by
  • Dutta, P.K [editor.]
  • Dutta, Joydeep [editor.]
  • SpringerLink (Online service)
Series: Advances in Polymer Science ; 254
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.

2947.
Systems and Frameworks for Computational Morphology [electronic resource] : Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings / edited by Cerstin Mahlow, Michael Piotrowski. by
  • Mahlow, Cerstin [editor.]
  • Piotrowski, Michael [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 380
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.

2948.
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by
  • Pecheur, Charles [editor.]
  • Dierkes, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8187
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.

2949.
Haptic and Audio Interaction Design [electronic resource] : 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013, Revised Selected Papers / edited by Ian Oakley, Stephen Brewster. by
  • Oakley, Ian [editor.]
  • Brewster, Stephen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7989
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.

2950.
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos. by
  • Nicosia, Giuseppe [editor.]
  • Pardalos, Panos [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7997
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.

2951.
European Identity through Space [electronic resource] : Space Activities and Programmes as a Tool to Reinvigorate the European Identity / edited by Christophe Venet, Blandina Baranes. by
  • Venet, Christophe [editor.]
  • Baranes, Blandina [editor.]
  • SpringerLink (Online service)
Series: Studies in Space Policy ; 9
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Availability: No items available.

2952.
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems [electronic resource] / edited by Ajitha Rajan, Thomas Wahl. by
  • Rajan, Ajitha [editor.]
  • Wahl, Thomas [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
Availability: No items available.

2953.
Computer Algebra in Quantum Field Theory [electronic resource] : Integration, Summation and Special Functions / edited by Carsten Schneider, Johannes Blümlein. by
  • Schneider, Carsten [editor.]
  • Blümlein, Johannes [editor.]
  • SpringerLink (Online service)
Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Availability: No items available.

2954.
Nuclear Reactor Kinetics and Plant Control [electronic resource] / edited by Yoshiaki Oka, Katsuo Suzuki. by
  • Oka, Yoshiaki [editor.]
  • Suzuki, Katsuo [editor.]
  • SpringerLink (Online service)
Series: An Advanced Course in Nuclear Engineering
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.

2955.
Statistical Methods for Spatial Planning and Monitoring [electronic resource] / edited by Silvestro Montrone, Paola Perchinunno. by
  • Montrone, Silvestro [editor.]
  • Perchinunno, Paola [editor.]
  • SpringerLink (Online service)
Series: Contributions to Statistics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

2956.
Prevenire gli eventi avversi nella pratica clinica [electronic resource] / edited by Riccardo Tartaglia, Andrea Vannucci. by
  • Tartaglia, Riccardo [editor.]
  • Vannucci, Andrea [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

2957.
Legal Argumentation Theory: Cross-Disciplinary Perspectives [electronic resource] / edited by Christian Dahlman, Eveline Feteris. by
  • Dahlman, Christian [editor.]
  • Feteris, Eveline [editor.]
  • SpringerLink (Online service)
Series: Law and Philosophy Library ; 102
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

2958.
Dialogues on Human Rights and Legal Pluralism [electronic resource] / edited by René Provost, Colleen Sheppard. by
  • Provost, René [editor.]
  • Sheppard, Colleen [editor.]
  • SpringerLink (Online service)
Series: Ius Gentium: Comparative Perspectives on Law and Justice ; 17
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

2959.
Autonomy and the Self [electronic resource] / edited by Michael Kühler, Nadja Jelinek. by
  • Kühler, Michael [editor.]
  • Jelinek, Nadja [editor.]
  • SpringerLink (Online service)
Series: Philosophical Studies Series ; 118
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

2960.
New Materials for Thermoelectric Applications: Theory and Experiment [electronic resource] / edited by Veljko Zlatic, Alex Hewson. by
  • Zlatic, Veljko [editor.]
  • Hewson, Alex [editor.]
  • SpringerLink (Online service)
Series: NATO Science for Peace and Security Series B: Physics and Biophysics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

Pages