|
|
|
Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
by Bonacina, Maria Paola [editor.] | Stickel, Mark E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Ontology Matching [electronic resource] / by J�er�ome Euzenat, Pavel Shvaiko.
by Euzenat, J�er�ome [author.] | Shvaiko, Pavel [author.] | SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Cloud Computing and Services Science [electronic resource] : 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers / edited by Markus Helfert, V�ictor M�endez Mu�noz, Donald Ferguson.
by Helfert, Markus [editor.] | M�endez Mu�noz, V�ictor [editor.] | Ferguson, Donald [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers / edited by Joaquim Filipe, Leszek A. Maciaszek.
by Filipe, Joaquim [editor.] | Maciaszek, Leszek A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Centered Social Media Analytics [electronic resource] / edited by Yun Fu.
by Fu, Yun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Cross-Cultural Design. Methods, Practice, and Case Studies [electronic resource] : 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by P. L. Patrick Rau.
by Rau, P. L. Patrick [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Kaustubh Joshi, Markus Siegle, Mari�elle Stoelinga, Pedro R. D'Argenio.
by Joshi, Kaustubh [editor.] | Siegle, Markus [editor.] | Stoelinga, Mari�elle [editor.] | D'Argenio, Pedro R [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca.
by Mauri, Giancarlo [editor.] | Dennunzio, Alberto [editor.] | Manzoni, Luca [editor.] | Porreca, Antonio E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Visual Computing [electronic resource] : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor Zordan, James Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Li, Baoxin [editor.] | Porikli, Fatih [editor.] | Zordan, Victor [editor.] | Klosowski, James [editor.] | Coquillart, Sabine [editor.] | Luo, Xun [editor.] | Chen, Min [editor.] | Gotz, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Information Systems Reengineering, Integration and Normalization [electronic resource] / by Joseph Shi Piu Fong.
by Fong, Joseph Shi Piu [author.] | SpringerLink (Online service). Edition: 3rd ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Fr�ed�eric Barbaresco.
by Nielsen, Frank [editor.] | Barbaresco, Fr�ed�eric [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Collective Intelligence XIV [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem.
by Biere, Armin [editor.] | Bloem, Roderick [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Collective Intelligence XII [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Production Management Systems. Sustainable Production and Service Supply Chains [electronic resource] : IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II / edited by Vittal Prabhu, Marco Taisch, Dimitris Kiritsis.
by Prabhu, Vittal [editor.] | Taisch, Marco [editor.] | Kiritsis, Dimitris [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Product Lifecycle Management for Society [electronic resource] : 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings / edited by Alain Bernard, Louis Rivest, Debasish Dutta.
by Bernard, Alain [editor.] | Rivest, Louis [editor.] | Dutta, Debasish [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Introduction to Public Key Infrastructures [electronic resource] / by Johannes A. Buchmann, Evangelos Karatsiolis, Alexander Wiesmaier.
by Buchmann, Johannes A [author.] | Karatsiolis, Evangelos [author.] | Wiesmaier, Alexander [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann.
by Gomes, Carla [editor.] | Sellmann, Meinolf [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptology and Network Security [electronic resource] : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings / edited by Sara Foresti, Giuseppe Persiano.
by Foresti, Sara [editor.] | Persiano, Giuseppe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / edited by Anna-Lena Lamprecht.
by Lamprecht, Anna-Lena [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
