|
|
|
Advances in Visual Computing [electronic resource] : 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008, Proceedings, Part I / edited by Richard Boyle, Bahram Parvin, Darko Koracin, Fatih Porikli, Jörg Peters, James Klosowski, Laura Arns, Yu Ka Chun, Theresa-Marie Rhyne, Laura Monroe.
by Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Porikli, Fatih [editor.] | Peters, Jörg [editor.] | Klosowski, James [editor.] | Arns, Laura [editor.] | Chun, Yu Ka [editor.] | Rhyne, Theresa-Marie [editor.] | Monroe, Laura [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
|
|
|
|
Image Analysis and Recognition [electronic resource] : 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008, Proceedings / edited by Aurelio Campilho, Mohamed Kamel.
by Campilho, Aurelio [editor.] | Kamel, Mohamed [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
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.
by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | 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
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga.
by Dix, Jürgen [editor.] | Leite, Joao [editor.] | Governatori, Guido [editor.] | Jamroga, Wojtek [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
|
|
|
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš.
by Kotásek, Zdeněk [editor.] | Bouda, Jan [editor.] | Cerná, Ivana [editor.] | Sekanina, Lukas [editor.] | Vojnar, Tomas [editor.] | Antoš, David [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
|
|
|
|
Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2011, Leipzig, Germany, October 6-7, 2011 Proceedings / edited by Franziska Klügl, Sascha Ossowski.
by Klügl, Franziska [editor.] | Ossowski, Sascha [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
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.
by Bjørner, Nikolaj [editor.] | Voronkov, Andrei [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
|
|
|
|
Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings / edited by Rastislav Královic, Pawel Urzyczyn.
by Královic, Rastislav [editor.] | Urzyczyn, Pawel [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 Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings / edited by Wenjie Li, Diego Mollá-Aliod.
by Li, Wenjie [editor.] | Mollá-Aliod, Diego [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
|
|
|
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet.
by Barthe, Gilles [editor.] | Gregoire, Benjamin [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Luis [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
|
|
|
|
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller.
by Dueck, Gerhard W [editor.] | Miller, D. Michael [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
|
|
|
|
Unifying the Software Process Spectrum [electronic resource] : International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers / edited by Mingshu Li, Barry Boehm, Leon J. Osterweil.
by Li, Mingshu [editor.] | Boehm, Barry [editor.] | Osterweil, Leon J [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
|
|
|
|
Distributed Computing [electronic resource] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings / edited by Idit Keidar.
by Keidar, Idit [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
|
|
|
|
Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings / edited by Jürgen Giesl, Reiner Hähnle.
by Giesl, Jürgen [editor.] | Hähnle, Reiner [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / edited by Andrzej Wąsowski, Henrik Lönn.
by Wąsowski, Andrzej [editor.] | Lönn, Henrik [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings / edited by Matti Jarvisalo, Allen Van Gelder.
by Jarvisalo, Matti [editor.] | Van Gelder, Allen [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
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar.
by Barkaoui, Kamel [editor.] | Boucheneb, Hanifa [editor.] | Mili, Ali [editor.] | Tahar, Sofiène [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers / edited by Fabrizio Riguzzi, Filip Zelezny.
by Riguzzi, Fabrizio [editor.] | Zelezny, Filip [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 Aspects in Information and Management [electronic resource] : Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings / edited by Siu-Wing Cheng, Chung Keung Poon.
by Cheng, Siu-Wing [editor.] | Poon, Chung Keung [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
|
