|
1.
|
|
|
2.
|
Systems, Control, Modeling and Optimization Электронный ресурс Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy / edited by F. Ceragioli, A. Dontchev, H. Furuta, K. Marti, L. Pandolfi. by Ceragioli, Francesca | Dontchev, A | Furuta, H | Marti, K | Pandolfi, L | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Click here to access online Availability: No items available :
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
System Modeling and Optimization Электронный ресурс Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy / edited by F. Ceragioli, A. Dontchev, H. Futura, K. Marti, L. Pandolfi. by Ceragioli, Francesca | Dontchev, A | Futura, H | Marti, K | Pandolfi, L | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Click here to access online Availability: No items available :
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
Comprehensive Mathematics for Computer Scientists 1 Электронный ресурс Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) / by Guerino Mazzola, Gérard Milmeister, Jody Weissmann. by Mazzola, Guerino | Milmeister, Gérard | Weissmann, Jody | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer, 2006Online access: Click here to access online Availability: No items available :
|
|
17.
|
|
|
18.
|
High Performance Computing in Science and Engineering, Garching/Munich 2007 Электронный ресурс Transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 3–4, 2007, Leibniz Supercomputing Centre, Garching/Munich, Germany / edited by Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Matthias Brehm. by Wagner, Siegfried | Bode, Arndt | Brehm, Matthias | Steinmetz, Matthias | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
19.
|
|
|
20.
|
|
|
21.
|
|
|
22.
|
|
|
23.
|
|
|
24.
|
Algorithms for Sensor Systems electronic resource 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers / edited by Paola Flocchini, Jie Gao, Evangelos Kranakis, Friedhelm Meyer auf der Heide. by Flocchini, Paola [editor.] | Gao, Jie [editor.] | Kranakis, Evangelos [editor.] | Meyer auf der Heide, Friedhelm [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
25.
|
|
|
26.
|
|
|
27.
|
Language, Life, Limits electronic resource 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings / edited by Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer. by Beckmann, Arnold [editor.] | Csuhaj-Varjú, Erzsébet [editor.] | Meer, Klaus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
28.
|
|
|
29.
|
|
|
30.
|
Theory and Applications of Satisfiability Testing – SAT 2014 electronic resource 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Carsten Sinz, Uwe Egly. by Sinz, Carsten [editor.] | Egly, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
31.
|
|
|
32.
|
Theory and Applications of Satisfiability Testing -- SAT 2015 electronic resource 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / edited by Marijn Heule, Sean Weaver. by Heule, Marijn [editor.] | Weaver, Sean [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
33.
|
Foundations of Generic Optimization Электронный ресурс Volume 1: A Combinatorial Approach to Epistasis / by M. Iglesias, B. Naudts, A. Verschoren, C. Vidal ; edited by R. Lowen, A. Verschoren. by Iglesias, M | Lowen, R | Naudts, B | Verschoren, A | Verschoren, A | Vidal, C | SpringerLink (Online service). Series: Mathematical Modelling: Theory and ApplicationsSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
|
|
34.
|
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 electronic resource Selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA / edited by Robert M. Kirby, Martin Berzins, Jan S. Hesthaven. by Kirby, Robert M [editor.] | Berzins, Martin [editor.] | Hesthaven, Jan S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computational Science and EngineeringEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
35.
|
Mathematics and Computation, a Contemporary View Электронный ресурс The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006 / edited by Hans Munthe-Kaas, Brynjulf Owren. by Norwegian Mathematical Society | Munthe-Kaas, Hans | Owren, Brynjulf | SpringerLink (Online service). Series: Abel SymposiaSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
36.
|
|
|
37.
|
|
|
38.
|
|
|
39.
|
|
|
40.
|
|
|
41.
|
Domain Decomposition Methods in Science and Engineering Электронный ресурс edited by Timothy J. Barth, Michael Griebel, David E. Keyes, Risto M. Nieminen, Dirk Roose, Tamar Schlick, Ralf Kornhuber, Ronald Hoppe, Jacques Périaux, Olivier Pironneau, Olof Widlund, Jinchao Xu. by Barth, Timothy J | Griebel, Michael | Hoppe, Ronald | Keyes, David E | Kornhuber, Ralf | Nieminen, Risto M | Périaux, Jacques | Pironneau, Olivier | Roose, Dirk | Schlick, Tamar | Widlund, Olof B | Xu, Jinchao | SpringerLink (Online service). Series: Lecture Notes in Computational Science and EngineeringSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
Engineering Computation of Structures: The Finite Element Method electronic resource by Maria Augusta Neto, Ana Amaro, Luis Roseiro, José Cirne, Rogério Leal. by Neto, Maria Augusta [author.] | Amaro, Ana [author.] | Roseiro, Luis [author.] | Cirne, José [author.] | Leal, Rogério [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
46.
|
|
|
47.
|
Translational Recurrences electronic resource From Mathematical Theory to Real-World Applications / edited by Norbert Marwan, Michael Riley, Alessandro Giuliani, Charles L. Webber, Jr. by Marwan, Norbert [editor.] | Riley, Michael [editor.] | Giuliani, Alessandro [editor.] | Webber, Jr., Charles L [editor.] | SpringerLink (Online service). Series: Springer Proceedings in Mathematics & StatisticsSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
48.
|
Handbook of Continued Fractions for Special Functions Электронный ресурс by Annie Cuyt, Vigdis Brevik Petersen, Brigitte Verdonk, Haakon Waadeland, William B. Jones. by Cuyt, Annie | Jones, William B | Petersen, Vigdis Brevik | Verdonk, Brigitte | Waadeland, Haakon | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: No items available :
|
|
49.
|
|
|
50.
|
|