|
2701.
|
Socio-technical Design of Ubiquitous Computing Systems electronic resource edited by Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker. by David, Klaus [editor.] | Geihs, Kurt [editor.] | Leimeister, Jan Marco [editor.] | Roßnagel, Alexander [editor.] | Schmidt, Ludger [editor.] | Stumme, Gerd [editor.] | Wacker, Arno [editor.] | SpringerLink (Online service). Source: 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 :
|
|
2702.
|
Formal Methods for Executable Software Models electronic resource 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / edited by Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. by Bernardo, Marco [editor.] | Damiani, Ferruccio [editor.] | Hähnle, Reiner [editor.] | Johnsen, Einar Broch [editor.] | Schaefer, Ina [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 :
|
|
2703.
|
|
|
2704.
|
Domain Decomposition Methods in Science and Engineering XXI electronic resource edited by Jocelyne Erhel, Martin J. Gander, Laurence Halpern, Géraldine Pichot, Taoufik Sassi, Olof Widlund. by Erhel, Jocelyne [editor.] | Gander, Martin J [editor.] | Halpern, Laurence [editor.] | Pichot, Géraldine [editor.] | Sassi, Taoufik [editor.] | Widlund, Olof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computational Science and EngineeringSource: 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 :
|
|
2705.
|
|
|
2706.
|
Industrial Cloud-Based Cyber-Physical Systems electronic resource The IMC-AESOP Approach / edited by Armando W. Colombo, Thomas Bangemann, Stamatis Karnouskos, Jerker Delsing, Petr Stluka, Robert Harrison, Francois Jammes, Jose L. Lastra. by Colombo, Armando W [editor.] | Bangemann, Thomas [editor.] | Karnouskos, Stamatis [editor.] | Delsing, Jerker [editor.] | Stluka, Petr [editor.] | Harrison, Robert [editor.] | Jammes, Francois [editor.] | Lastra, Jose L [editor.] | SpringerLink (Online service). Source: 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 :
|
|
2707.
|
|
|
2708.
|
|
|
2709.
|
|
|
2710.
|
|
|
2711.
|
|
|
2712.
|
|
|
2713.
|
|
|
2714.
|
Automated Reasoning electronic resource 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by Stéphane Demri, Deepak Kapur, Christoph Weidenbach. by Demri, Stéphane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [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 :
|
|
2715.
|
|
|
2716.
|
Formal Aspects of Component Software electronic resource 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue. by Fiadeiro, José Luiz [editor.] | Liu, Zhiming [editor.] | Xue, Jinyun [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 :
|
|
2717.
|
|
|
2718.
|
Service-Oriented Computing – ICSOC 2013 Workshops electronic resource CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers / edited by Alessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić. by Lomuscio, Alessio R [editor.] | Nepal, Surya [editor.] | Patrizi, Fabio [editor.] | Benatallah, Boualem [editor.] | Brandić, Ivona [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 :
|
|
2719.
|
Risk Assessment and Risk-Driven Testing electronic resource First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers / edited by Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen, Marc-Florian Wendland. by Bauer, Thomas [editor.] | Großmann, Jürgen [editor.] | Seehusen, Fredrik [editor.] | Stølen, Ketil [editor.] | Wendland, Marc-Florian [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 :
|
|
2720.
|
|
|
2721.
|
|
|
2722.
|
Cooperative Design, Visualization, and Engineering electronic resource 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [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 :
|
|
2723.
|
Model and Data Engineering electronic resource 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos. by Ait Ameur, Yamine [editor.] | Bellatreche, Ladjel [editor.] | Papadopoulos, George A [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 :
|
|
2724.
|
|
|
2725.
|
|
|
2726.
|
Software Process Improvement and Capability Determination electronic resource 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedings / edited by Antanas Mitasiunas, Terry Rout, Rory V. O’Connor, Alec Dorling. by Mitasiunas, Antanas [editor.] | Rout, Terry [editor.] | O’Connor, Rory V [editor.] | Dorling, Alec [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: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
2727.
|
|
|
2728.
|
|
|
2729.
|
Internet and Distributed Computing Systems electronic resource 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014. Proceedings / edited by Giancarlo Fortino, Giuseppe Fatta, Wenfeng Li, Sergio Ochoa, Alfredo Cuzzocrea, Mukaddim Pathan. by Fortino, Giancarlo [editor.] | Fatta, Giuseppe [editor.] | Li, Wenfeng [editor.] | Ochoa, Sergio [editor.] | Cuzzocrea, Alfredo [editor.] | Pathan, Mukaddim [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 :
|
|
2730.
|
|
|
2731.
|
Tests and Proofs electronic resource 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / edited by Martina Seidl, Nikolai Tillmann. by Seidl, Martina [editor.] | Tillmann, Nikolai [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 :
|
|
2732.
|
Computer Safety, Reliability, and Security electronic resource SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings / edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier. by Bondavalli, Andrea [editor.] | Ceccarelli, Andrea [editor.] | Ortmeier, 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: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
2733.
|
|
|
2734.
|
Enterprise Information Systems electronic resource 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers / edited by Slimane Hammoudi, José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe. by Hammoudi, Slimane [editor.] | Cordeiro, José [editor.] | Maciaszek, Leszek A [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: 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 :
|
|
2735.
|
Mathematical and Engineering Methods in Computer Science electronic resource 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala. by Hliněný, Petr [editor.] | Dvořák, Zdeněk [editor.] | Jaroš, Jiří [editor.] | Kofroň, Jan [editor.] | Kořenek, Jan [editor.] | Matula, Petr [editor.] | Pala, Karel [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 :
|
|
2736.
|
Computational Science and Its Applications – ICCSA 2014 electronic resource 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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 :
|
|
2737.
|
Knowledge Engineering and Knowledge Management electronic resource 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedings / edited by Krzysztof Janowicz, Stefan Schlobach, Patrick Lambrix, Eero Hyvönen. by Janowicz, Krzysztof [editor.] | Schlobach, Stefan [editor.] | Lambrix, Patrick [editor.] | Hyvönen, Eero [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 :
|
|
2738.
|
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 :
|
|
2739.
|
Information Security electronic resource 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014. Proceedings / edited by Sherman S. M. Chow, Jan Camenisch, Lucas C. K. Hui, Siu Ming Yiu. by Chow, Sherman S. M [editor.] | Camenisch, Jan [editor.] | Hui, Lucas C. K [editor.] | Yiu, Siu Ming [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 :
|
|
2740.
|
Ambient Assisted Living and Active Aging [electronic resource] : 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Christopher Nugent, Antonio Coronato, José Bravo. by Nugent, Christopher [editor.] | Coronato, Antonio [editor.] | Bravo, José [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, 2013Online access: Click here to access online Availability: No items available :
|
|
2741.
|
Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by Cordeiro, José [editor.] | Virvou, Maria [editor.] | Shishkov, Boris [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, 2013Online access: Click here to access online Availability: No items available :
|
|
2742.
|
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [electronic resource] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira. by Urzaiz, Gabriel [editor.] | Ochoa, Sergio F [editor.] | Bravo, José [editor.] | Chen, Liming Luke [editor.] | Oliveira, Jonice [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, 2013Online access: Click here to access online Availability: No items available :
|
|
2743.
|
Cloud Computing and Services Science [electronic resource] : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers / edited by Ivan I. Ivanov, Marten Sinderen, Frank Leymann, Tony Shan. by Ivanov, Ivan I [editor.] | Sinderen, Marten [editor.] | Leymann, Frank [editor.] | Shan, Tony [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: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
2744.
|
Biomedical Engineering Systems and Technologies [electronic resource] : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa. by Fred, Ana [editor.] | Filipe, Joaquim [editor.] | Gamboa, Hugo [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, 2013Online access: Click here to access online Availability: No items available :
|
|
2745.
|
Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers / edited by Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe. by Fred, Ana [editor.] | Dietz, Jan L. G [editor.] | Liu, Kecheng [editor.] | Filipe, Joaquim [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, 2013Online access: Click here to access online Availability: No items available :
|
|
2746.
|
|
|
2747.
|
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Wyk. by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric [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, 2013Online access: Click here to access online Availability: No items available :
|
|
2748.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Dash, Shubhransu Sekhar [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, 2013Online access: Click here to access online Availability: No items available :
|
|
2749.
|
Cloud Computing [electronic resource] : Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers / edited by Mazin Yousif, Lutz Schubert. by Yousif, Mazin [editor.] | Schubert, Lutz [editor.] | SpringerLink (Online service). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
2750.
|
|