Refine your search

Your search returned 123 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger. by
  • Rauber, Thomas [author.]
  • Rünger, Gudula [author.]
  • SpringerLink (Online service)
Edition: 2nd 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
Online access:
Availability: No items available.

Add to cart
42.
Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications [electronic resource] : In Honor of Professor Raytcho Lazarov's 40 Years of Research in Computational Methods and Applied Mathematics / edited by Oleg P. Iliev, Svetozar D. Margenov, Peter D Minev, Panayot S. Vassilevski, Ludmil T Zikatanov. by
  • Iliev, Oleg P [editor.]
  • Margenov, Svetozar D [editor.]
  • Minev, Peter D [editor.]
  • Vassilevski, Panayot S [editor.]
  • Zikatanov, Ludmil T [editor.]
  • SpringerLink (Online service)
Series: Springer Proceedings in Mathematics & Statistics ; 45
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
43.
Computing Qualitatively Correct Approximations of Balance Laws [electronic resource] : Exponential-Fit, Well-Balanced and Asymptotic-Preserving / by Laurent Gosse. by
  • Gosse, Laurent [author.]
  • SpringerLink (Online service)
Series: SIMAI Springer Series ; 2
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
44.
Advances in Information and Computer Security [electronic resource] : 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings / edited by Kazuo Sakiyama, Masayuki Terada. by
  • Sakiyama, Kazuo [editor.]
  • Terada, Masayuki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8231
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
45.
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by
  • Schulte, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8124
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
46.
Numerical Mathematics and Advanced Applications 2011 [electronic resource] : Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011 / edited by Andrea Cangiani, Ruslan L. Davidchack, Emmanuil Georgoulis, Alexander N. Gorban, Jeremy Levesley, Michael V. Tretyakov. by
  • Cangiani, Andrea [editor.]
  • Davidchack, Ruslan L [editor.]
  • Georgoulis, Emmanuil [editor.]
  • Gorban, Alexander N [editor.]
  • Levesley, Jeremy [editor.]
  • Tretyakov, Michael V [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
47.
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by
  • Baldoni, Roberto [editor.]
  • Nisse, Nicolas [editor.]
  • Steen, Maarten van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8304
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
48.
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
  • Libkin, Leonid [editor.]
  • Kohlenbach, Ulrich [editor.]
  • Queiroz, Ruy de [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
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
49.
Modern Accelerator Technologies for Geographic Information Science [electronic resource] / edited by Xuan Shi, Volodymyr Kindratenko, Chaowei Yang. by
  • Shi, Xuan [editor.]
  • Kindratenko, Volodymyr [editor.]
  • Yang, Chaowei [editor.]
  • SpringerLink (Online service)
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
50.
Fast Compact Algorithms and Software for Spline Smoothing [electronic resource] / by Howard L. Weinert. by
  • Weinert, Howard L [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
51.
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by
  • Bonizzoni, Paola [editor.]
  • Brattka, Vasco [editor.]
  • Löwe, Benedikt [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7921
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
52.
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
53.
IAENG Transactions on Engineering Technologies [electronic resource] : Special Issue of the International MultiConference of Engineers and Computer Scientists 2012 / edited by Gi-Chul Yang, Sio-Iong Ao, Xu Huang, Oscar Castillo. by
  • Yang, Gi-Chul [editor.]
  • Ao, Sio-Iong [editor.]
  • Huang, Xu [editor.]
  • Castillo, Oscar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 186
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
54.
Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa. by
  • Hasegawa, Masahito [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7941
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
55.
Deformations of Surface Singularities [electronic resource] / edited by András Némethi, ágnes Szilárd. by
  • Némethi, András [editor.]
  • Szilárd, ágnes [editor.]
  • SpringerLink (Online service)
Series: Bolyai Society Mathematical Studies ; 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
Online access:
Availability: No items available.

Add to cart
56.
Sustained Simulation Performance 2013 [electronic resource] : Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013 / edited by Michael M. Resch, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, Yevgeniya Kovalenko. by
  • Resch, Michael M [editor.]
  • Bez, Wolfgang [editor.]
  • Focht, Erich [editor.]
  • Kobayashi, Hiroaki [editor.]
  • Kovalenko, Yevgeniya [editor.]
  • SpringerLink (Online service)
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
57.
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by
  • Iwama, Kazuo [editor.]
  • Kawano, Yasuhito [editor.]
  • Murao, Mio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7582
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
58.
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by
  • Martí-Oliet, Narciso [editor.]
  • Palomino, Miguel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7841
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
59.
Computational Biomechanics for Medicine [electronic resource] : Models, Algorithms and Implementation / edited by Adam Wittek, Karol Miller, Poul M.F. Nielsen. by
  • Wittek, Adam [editor.]
  • Miller, Karol [editor.]
  • Nielsen, Poul M.F [editor.]
  • 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
60.
Logic : a brief course / Daniele Mundici, by
  • Mundici, Daniele
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer. c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 MUL, ...

Place hold Add to cart
Pages