|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings / edited by Kostis Sagonas.
by Sagonas, Kostis [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
|
|
|
|
Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings / edited by Bernhard Gramlich, Dale Miller, Ulrike Sattler.
by Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Ulrike [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
|
|
|
|
Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers / edited by Edmund Burke, Hana Rudová.
by Burke, Edmund [editor.] | Rudová, Hana [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
|
|
|
|
Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Fowlkes Charless, Wang Sen, Choi Min-Hyung, Stephan Mantler, Jurgen Schulze, Daniel Acevedo, Klaus Mueller, Michael Papka.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Charless, Fowlkes [editor.] | Sen, Wang [editor.] | Min-Hyung, Choi [editor.] | Mantler, Stephan [editor.] | Schulze, Jurgen [editor.] | Acevedo, Daniel [editor.] | Mueller, Klaus [editor.] | Papka, Michael [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
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.
by van der Aalst, Wil [editor.] | Best, Eike [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / edited by Angelo Oddi, François Fages, Francesca Rossi.
by Oddi, Angelo [editor.] | Fages, François [editor.] | Rossi, Francesca [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
|
|
|
|
End-User Development [electronic resource] : 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings / edited by Paloma Díaz, Volkmar Pipek, Carmelo Ardito, Carlos Jensen, Ignacio Aedo, Alexander Boden.
by Díaz, Paloma [editor.] | Pipek, Volkmar [editor.] | Ardito, Carmelo [editor.] | Jensen, Carlos [editor.] | Aedo, Ignacio [editor.] | Boden, Alexander [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
|
|
|
|
Journal on Data Semantics IV [electronic resource] / edited by Stefano Spaccapietra.
by Spaccapietra, Stefano [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
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 11th Conference on Artificial Intelligence in Medicine in Europe, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings / edited by Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter.
by Bellazzi, Riccardo [editor.] | Abu-Hanna, Ameen [editor.] | Hunter, Jim [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
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg.
by Fomin, Fedor V [editor.] | Freivalds, Rusins [editor.] | Kwiatkowska, Marta [editor.] | Peleg, David [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
|
|
|
|
Cryptographic Hardware and Embedded Systems - CHES 2008 [electronic resource] : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008, Proceedings / edited by Elisabeth Oswald, Pankaj Rohatgi.
by Oswald, Elisabeth [editor.] | Rohatgi, Pankaj [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
|
|
|
|
Pattern Recognition [electronic resource] : 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007, Proceedings / edited by Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne.
by Hamprecht, Fred A [editor.] | Schnörr, Christoph [editor.] | Jähne, Bernd [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
|
|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings / edited by Ahmed Bouajjani, Oded Maler.
by Bouajjani, Ahmed [editor.] | Maler, Oded [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
|
|
|
|
Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink.
by Aßmann, Uwe [editor.] | Aksit, Mehmet [editor.] | Rensink, Arend [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
|
|
|
|
Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II / edited by Chu Kiong Loo, Yap Keem Siah, Kok Wai Wong, Andrew Teoh Beng Jin, Kaizhu Huang.
by Loo, Chu Kiong [editor.] | Keem Siah, Yap [editor.] | Wong, Kok Wai [editor.] | Beng Jin, Andrew Teoh [editor.] | Huang, Kaizhu [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
|
|
|
|
Construction and Evolution of Code Generators [electronic resource] : A Model-Driven and Service-Oriented Approach / edited by Sven Jörges.
by Jörges, Sven [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
|
|
|
|
Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / edited by Jose Manuel Ferrandez Vicente, Jose Ramon Alvarez Sanchez, Felix de la Paz Lopez, Fco. Javier Toledo Moreo.
by Ferrandez Vicente, Jose Manuel [editor.] | Alvarez Sanchez, Jose Ramon [editor.] | de la Paz Lopez, Felix [editor.] | Toledo Moreo, Fco. Javier [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
|
|
|
|
Hybrid Artificial Intelligence Systems [electronic resource] : 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014, Proceedings / edited by Marios Polycarpou, André C.P.L.F. de Carvalho, Jeng-Shyang Pan, Michał Woźniak, Héctor Quintián, Emilio Corchado.
by Polycarpou, Marios [editor.] | de Carvalho, André C.P.L.F [editor.] | Pan, Jeng-Shyang [editor.] | Woźniak, Michał [editor.] | Quintián, Héctor [editor.] | Corchado, Emilio [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
|
|
|
|
Small Dynamic Complexity Classes [electronic resource] : An Investigation into Dynamic Descriptive Complexity / by Thomas Zeume.
by Zeume, Thomas [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Public Key Infrastructures, Services and Applications [electronic resource] : 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers / edited by Sokratis Katsikas, Isaac Agudo.
by Katsikas, Sokratis [editor.] | Agudo, Isaac [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
|
