|
|
|
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
|
|
|
|
Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / edited by Christian Bessiere.
by Bessiere, Christian [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
|
|
|
|
Wireless Sensor Networks [electronic resource] : 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010, Proceedings / edited by Jorge Sá Silva, Bhaskar Krishnamachari, Fernando Boavida.
by Sá Silva, Jorge [editor.] | Krishnamachari, Bhaskar [editor.] | Boavida, Fernando [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Ada 2012 Rationale [electronic resource] : The Language -- The Standard Libraries / by John Barnes.
by Barnes, John [author.] | 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
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.
by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus.
by Hanus, Michael [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
|
|
|
|
ECOOP 2012 -- Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / edited by James Noble.
by Noble, James [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
|
|
|
|
Modelling -- Foundation and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige.
by France, Robert B [editor.] | Kuester, Jochen M [editor.] | Bordbar, Behzad [editor.] | Paige, Richard F [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol.
by Romijn, Judi M.T [editor.] | Smith, Graeme P [editor.] | van de Pol, Jaco C [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
|
|
|
|
High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 / edited by Hong Mei.
by Mei, Hong [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
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings / edited by Bo Chen.
by Chen, Bo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Wireless Sensor Networks [electronic resource] : Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings / edited by Kay Römer, Holger Karl, Friedemann Mattern.
by Römer, Kay [editor.] | Karl, Holger [editor.] | Mattern, Friedemann [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings / edited by Petr Hlineny, Antonin Kucera.
by Hlineny, Petr [editor.] | Kucera, Antonin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraitis.
by Rahwan, Iyad [editor.] | Moraitis, Pavlos [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
|
|
|
|
Logic Programming [electronic resource] : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / edited by Maria Garcia Banda, Enrico Pontelli.
by Banda, Maria Garcia [editor.] | Pontelli, Enrico [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / edited by Lluis Godo, Andrea Pugliese.
by Godo, Lluis [editor.] | Pugliese, Andrea [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Wil M. P. van der Aalst.
by van der Aalst, Wil M. P [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
|
|
|
|
Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky.
by Kordon, Fabrice [editor.] | Sokolsky, Oleg [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / edited by Naoki Kobayashi.
by Kobayashi, Naoki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security - ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings / edited by Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou.
by Gritzalis, Dimitris [editor.] | Preneel, Bart [editor.] | Theoharidou, Marianthi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
