Results
|
1.
|
Testing software and systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (eds.) by Yenigün, Hüsnü [edt] | Yevtushenko, Nina V [edt] | Cavalli, Ana Rosa [edt]. Series: Lecture notes in computer scienceMaterial type: Set Publication details: Cham Springer 2017Availability: No items available :
|
|
2.
|
Deep structure, singularities, and computer vision First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005. revised selected papers edited by Ole Fogh Olsen, Luc Florack, Arjan Kuijper by Olsen, Ole Fogh [edt] | Florack, Luc [edt] | Kuijper, Arjan [edt]. Series: Lecture notes in computer scienceMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2005Availability: No items available :
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
Computational science and its applications - ICCSA 2010 P. 1 international conference, Fukuoka, Japan, March 23-26, 2010, proceedings David Taniar, Osvaldo Gervasi, Beniamino Murgante [a. o.], (eds.) by Murgante, Beniamino [edt] | Gervasi, Osvaldo [edt] | Taniar, David [edt]. Series: Lecture notes in computer scienceMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2010Availability: No items available :
|
|
7.
|
|
|
8.
|
Interactive systems design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers edited by Philippe Palanque, Fabio Paternò by Palanque, Philippe [edt] | Paternò, Fabio [edt]. Series: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2001Availability: No items available :
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
Knowledge-based intelligent information and engineering systems P. 1 7th international conference, KES 2003, Oxford, UK, September 3-5, 2003 : proceedings edited by Vasile Palade, Robert J. Howlett, Lakhmi Jain by Palade, Vasile [edt] | Howlett, Robert J [edt] | Jain, Lakhmi [edt]. Series: Lecture notes in computer scienceMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2003Availability: No items available :
|
|
13.
|
Languages, compilers, and tools for embedded systems ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings edited by Jack Davidson, Sang Lyul Min by Davidson, Jack [edt] | Min, Sang Lyul [edt]. Series: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2001Availability: No items available :
|
|
14.
|
|
|
15.
|
Vector and parallel processing - VECPAR 2000 4th international conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks edited by Jose M. L. M. Palma, Jack Dongarra, Viecente Hernandez by Palma, Jose M. L. M [edt] | Dongarra, Jack [edt] | Hernandez, Viecente [edt]. Series: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2001Availability: No items available :
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|
|
21.
|
|
|
22.
|
|
|
23.
|
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 :
|
|
24.
|
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 :
|
|
25.
|
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 :
|
|
26.
|
|
|
27.
|
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 :
|
|
28.
|
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 :
|
|
29.
|
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 :
|
|
30.
|
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 :
|
|
31.
|
|
|
32.
|
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 :
|
|
33.
|
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 :
|
|
34.
|
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 :
|
|
35.
|
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 :
|
|
36.
|
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 :
|
|
37.
|
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 :
|
|
38.
|
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 :
|
|
39.
|
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 :
|
|
40.
|
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 :
|
|
41.
|
Haptics: Neuroscience, Devices, Modeling, and Applications electronic resource 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I / edited by Malika Auvray, Christian Duriez. by Auvray, Malika [editor.] | Duriez, Christian [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.
|
Haptics: Neuroscience, Devices, Modeling, and Applications electronic resource 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II / edited by Malika Auvray, Christian Duriez. by Auvray, Malika [editor.] | Duriez, Christian [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.
|
|
|
44.
|
|
|
45.
|
Simulation of Urban Mobility electronic resource First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers / edited by Michael Behrisch, Daniel Krajzewicz, Melanie Weber. by Behrisch, Michael [editor.] | Krajzewicz, Daniel [editor.] | Weber, Melanie [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 :
|
|
46.
|
Trustworthy Global Computing electronic resource 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers / edited by Matteo Maffei, Emilio Tuosto. by Maffei, Matteo [editor.] | Tuosto, Emilio [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.
|
Small-Scale Robotics. From Nano-to-Millimeter-Sized Robotic Systems and Applications electronic resource First International Workshop at ICRA 2013, Karlsruhe, Germany, May 6, 2013, Revised and Extended Papers / edited by Igor Paprotny, Sarah Bergbreiter. by Paprotny, Igor [editor.] | Bergbreiter, Sarah [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 :
|
|
48.
|
Efficient Algorithms for Global Optimization Methods in Computer Vision electronic resource International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers / edited by Andrés Bruhn, Thomas Pock, Xue-Cheng Tai. by Bruhn, Andrés [editor.] | Pock, Thomas [editor.] | Tai, Xue-Cheng [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.
|
Quantum Interaction electronic resource 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers / edited by Harald Atmanspacher, Emmanuel Haven, Kirsty Kitto, Derek Raine. by Atmanspacher, Harald [editor.] | Haven, Emmanuel [editor.] | Kitto, Kirsty [editor.] | Raine, Derek [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.
|
Face and Facial Expression Recognition from Real World Videos electronic resource International Workshop, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / edited by Qiang Ji, Thomas B. Moeslund, Gang Hua, Kamal Nasrollahi. by Ji, Qiang [editor.] | B. Moeslund, Thomas [editor.] | Hua, Gang [editor.] | Nasrollahi, Kamal [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, 2015Online access: Click here to access online Availability: No items available :
|