Results
|
|
1.
|
Comprehensive mathematics for computer scientists 2 calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus Guerino Mazzola, Gerard Milmeister, Jody Weissmann by Mazzola, Guerino | Milmeister, Gérard | Weissmann, Jody. Series: UniversitextMaterial type:  Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2005Availability: No items available :
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
Bridging Between Cultural Heritage Institutions electronic resource 9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31–February 1, 2013, Revised Selected Papers / edited by Tiziana Catarci, Nicola Ferro, Antonella Poggi. by Catarci, Tiziana [editor.] | Ferro, Nicola [editor.] | Poggi, Antonella [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information 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 :
|
|
|
8.
|
Trends in Functional Programming electronic resource 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / edited by Jay McCarthy. by McCarthy, Jay [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 :
|
|
|
9.
|
Image and Video Technology – PSIVT 2013 Workshops electronic resource GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013, Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto. by Huang, Fay [editor.] | Sugimoto, Akihiro [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 :
|
|
|
10.
|
Web Information Systems Engineering – WISE 2013 Workshops electronic resource WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers / edited by Zhisheng Huang, Chengfei Liu, Jing He, Guangyan Huang. by Huang, Zhisheng [editor.] | Liu, Chengfei [editor.] | He, Jing [editor.] | Huang, Guangyan [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 :
|
|
|
11.
|
|
|
|
12.
|
Mathematical Methods for Curves and Surfaces electronic resource 8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers / edited by Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Mørken, Larry L. Schumaker. by Floater, Michael [editor.] | Lyche, Tom [editor.] | Mazure, Marie-Laurence [editor.] | Mørken, Knut [editor.] | Schumaker, Larry L [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 :
|
|
|
13.
|
|
|
|
14.
|
Specifying Big Data Benchmarks electronic resource First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012, and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers / edited by Tilmann Rabl, Meikel Poess, Chaitanya Baru, Hans-Arno Jacobsen. by Rabl, Tilmann [editor.] | Poess, Meikel [editor.] | Baru, Chaitanya [editor.] | Jacobsen, Hans-Arno [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 :
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
Verification, Model Checking, and Abstract Interpretation electronic resource 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival. by McMillan, Kenneth L [editor.] | Rival, Xavier [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 :
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
Genetic Programming electronic resource 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / edited by Miguel Nicolau, Krzysztof Krawiec, Malcolm I. Heywood, Mauro Castelli, Pablo García-Sánchez, Juan J. Merelo, Victor M. Rivas Santos, Kevin Sim. by Nicolau, Miguel [editor.] | Krawiec, Krzysztof [editor.] | Heywood, Malcolm I [editor.] | Castelli, Mauro [editor.] | García-Sánchez, Pablo [editor.] | Merelo, Juan J [editor.] | Rivas Santos, Victor M [editor.] | Sim, Kevin [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 :
|
|
|
26.
|
|
|
|
27.
|
Privacy and Identity Management for Emerging Services and Technologies electronic resource 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers / edited by Marit Hansen, Jaap-Henk Hoepman, Ronald Leenes, Diane Whitehouse. by Hansen, Marit [editor.] | Hoepman, Jaap-Henk [editor.] | Leenes, Ronald [editor.] | Whitehouse, Diane [editor.] | SpringerLink (Online service). Series: IFIP Advances in Information and Communication TechnologySource: 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 :
|
|
|
28.
|
Innovative and Creative Developments in Multimodal Interaction Systems electronic resource 9th IFIP WG 5.5 International Summer Workshop on Multimodal Interfaces, eNTERFACE 2013, Lisbon, Portugal, July 15 – August 9, 2013. Proceedings / edited by Yves Rybarczyk, Tiago Cardoso, João Rosas, Luis M. Camarinha-Matos. by Rybarczyk, Yves [editor.] | Cardoso, Tiago [editor.] | Rosas, João [editor.] | Camarinha-Matos, Luis M [editor.] | SpringerLink (Online service). Series: IFIP Advances in Information and Communication TechnologySource: 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 :
|
|
|
29.
|
|
|
|
30.
|
Systems, Software and Services Process Improvement electronic resource 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings / edited by Béatrix Barafort, Rory V. O’Connor, Alexander Poth, Richard Messnarz. by Barafort, Béatrix [editor.] | O’Connor, Rory V [editor.] | Poth, Alexander [editor.] | Messnarz, Richard [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information 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 :
|
|
|
31.
|
|
|
|
32.
|
|
|
|
33.
|
Trustworthy Computing and Services electronic resource International Conference, ISCTCS 2013, Beijing, China, November 2013, Revised Selected Papers / edited by Yuyu Yuan, Xu Wu, Yueming Lu. by Yuan, Yuyu [editor.] | Wu, Xu [editor.] | Lu, Yueming [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information 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 :
|
|
|
34.
|
|
|
|
35.
|
Critical Infrastructure Protection VIII electronic resource 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, 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 TechnologySource: 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 :
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
Financial Cryptography and Data Security electronic resource 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers / edited by Nicolas Christin, Reihaneh Safavi-Naini. by Christin, Nicolas [editor.] | Safavi-Naini, Reihaneh [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 :
|
|
|
39.
|
Distributed Applications and Interoperable Systems electronic resource 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / edited by Kostas Magoutis, Peter Pietzuch. by Magoutis, Kostas [editor.] | Pietzuch, Peter [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 :
|
|
|
40.
|
Mathematical Foundations of Computer Science 2014 electronic resource 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II / edited by Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik. by Csuhaj-Varjú, Erzsébet [editor.] | Dietzfelbinger, Martin [editor.] | Ésik, Zoltán [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 :
|
|
|
41.
|
Machine Learning and Knowledge Discovery in Databases electronic resource European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II / edited by Toon Calders, Floriana Esposito, Eyke Hüllermeier, Rosa Meo. by Calders, Toon [editor.] | Esposito, Floriana [editor.] | Hüllermeier, Eyke [editor.] | Meo, Rosa [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 :
|
|
|
42.
|
Foundations of Software Science and Computation Structures electronic resource 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl. by Muscholl, Anca [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 :
|
|
|
43.
|
Cloud Computing Patterns electronic resource Fundamentals to Design, Build, and Manage Cloud Applications / by Christoph Fehling, Frank Leymann, Ralph Retter, Walter Schupeck, Peter Arbitter. by Fehling, Christoph [author.] | Leymann, Frank [author.] | Retter, Ralph [author.] | Schupeck, Walter [author.] | Arbitter, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Vienna : Springer Vienna : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
44.
|
Service-Oriented and Cloud Computing electronic resource Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings / edited by Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau. by Villari, Massimo [editor.] | Zimmermann, Wolf [editor.] | Lau, Kung-Kiu [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 :
|
|
|
45.
|
System Modeling and Optimization electronic resource 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers / edited by Christian Pötzsche, Clemens Heuberger, Barbara Kaltenbacher, Franz Rendl. by Pötzsche, Christian [editor.] | Heuberger, Clemens [editor.] | Kaltenbacher, Barbara [editor.] | Rendl, Franz [editor.] | SpringerLink (Online service). Series: IFIP Advances in Information and Communication TechnologySource: 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 :
|
|
|
46.
|
On the Move to Meaningful Internet Systems: OTM 2014 Workshops electronic resource Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings / edited by Robert Meersman, Hervé Panetto, Alok Mishra, Rafael Valencia-García, António Lucas Soares, Ioana Ciuciu, Fernando Ferri, Georg Weichhart, Thomas Moser, Michele Bezzi, Henry Chan. by Meersman, Robert [editor.] | Panetto, Hervé [editor.] | Mishra, Alok [editor.] | Valencia-García, Rafael [editor.] | Soares, António Lucas [editor.] | Ciuciu, Ioana [editor.] | Ferri, Fernando [editor.] | Weichhart, Georg [editor.] | Moser, Thomas [editor.] | Bezzi, Michele [editor.] | Chan, Henry [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 :
|
|
|
47.
|
|
|
|
48.
|
Network and Parallel Computing electronic resource 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. Proceedings / edited by Ching-Hsien Hsu, Xuanhua Shi, Valentina Salapura. by Hsu, Ching-Hsien [editor.] | Shi, Xuanhua [editor.] | Salapura, Valentina [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 :
|
|
|
49.
|
Formal Grammar electronic resource 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings / edited by Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter. by Morrill, Glyn [editor.] | Muskens, Reinhard [editor.] | Osswald, Rainer [editor.] | Richter, Frank [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 :
|
|
|
50.
|
|
