|
|
|
Generic and Indexed Programming [electronic resource] / edited by Jeremy Gibbons.
by Gibbons, Jeremy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot.
by Blache, Philippe [editor.] | Stabler, Edward [editor.] | Busquets, Joan [editor.] | Moot, Richard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Information Processing in Cells and Tissues [electronic resource] : 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings / edited by Michael Lones, Andy Tyrrell, Stephen Smith, Gary Fogel.
by Lones, Michael [editor.] | Tyrrell, Andy [editor.] | Smith, Stephen [editor.] | Fogel, Gary [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings / edited by Giorgio Delzanno, Igor Potapov.
by Delzanno, Giorgio [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann.
by ter Beek, Maurice H [editor.] | Lohmann, Niels [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / edited by Francesca Rossi, Alexis Tsoukias.
by Rossi, Francesca [editor.] | Tsoukias, Alexis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms for Computational Biology [electronic resource] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / edited by Francesco Logozzo, Manuel Fähndrich.
by Logozzo, Francesco [editor.] | Fähndrich, Manuel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / edited by Cormac Flanagan, Barbara König.
by Flanagan, Cormac [editor.] | König, Barbara [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Cross-Cultural Design. Cultural Differences in Everyday Life [electronic resource] : 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by P.L.Patrick Rau.
by Rau, P.L.Patrick [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 5th International Conference, TrustBus 2008 Turin, Italy, September 1-5, 2008, Proceedings / edited by Steven M. Furnell, Sokratis Katsikas, Antonio Lioy.
by Furnell, Steven M [editor.] | Katsikas, Sokratis [editor.] | Lioy, Antonio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / edited by Matthew B. Dwyer, Antonia Lopes.
by Dwyer, Matthew B [editor.] | Lopes, Antonia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Algorithms [electronic resource] : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / edited by Kratochvíl Jan, Mirka Miller, Dalibor Froncek.
by Jan, Kratochvíl [editor.] | Miller, Mirka [editor.] | Froncek, Dalibor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings / edited by Bernhard Gramlich.
by Gramlich, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Parallel and Scientific Computing [electronic resource] : 11th International Conference, PARA 2012, Helsinki, Finland / edited by Pekka Manninen, Per Öster.
by Manninen, Pekka [editor.] | Öster, Per [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Digital Libraries: Providing Quality Information [electronic resource] : 17th International Conference on Asia-Pacific Digital Libraries, ICADL 2015, Seoul, Korea, December 9-12, 2015. Proceedings / edited by Robert B. Allen, Jane Hunter, Marcia L. Zeng.
by Allen, Robert B [editor.] | Hunter, Jane [editor.] | Zeng, Marcia L [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, Kelowna, Canada, May 25-27, 2009 Proceedings / edited by Yong Gao, Nathalie Japkowicz.
by Gao, Yong [editor.] | Japkowicz, Nathalie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / edited by Manfred Morari, Lothar Thiele, Francesca Rossi.
by Morari, Manfred [editor.] | Thiele, Lothar [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
ECOOP 2014 -- Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / edited by Richard Jones.
by Jones, Richard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Emerging Management Mechanisms for the Future Internet [electronic resource] : 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013, Proceedings / edited by Guillaume Doyen, Martin Waldburger, Pavel Celeda, Anna Sperotto, Burkhard Stiller.
by Doyen, Guillaume [editor.] | Waldburger, Martin [editor.] | Celeda, Pavel [editor.] | Sperotto, Anna [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
