|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings / edited by Pete Sawyer, Barbara Paech, Patrick Heymans.
by Sawyer, Pete [editor.] | Paech, Barbara [editor.] | Heymans, Patrick [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 Vision and Graphics [electronic resource] : International Conference, ICCVG 2014, Warsaw, Poland, September 15-17, 2014, Proceedings / edited by Leszek J. Chmielewski, Ryszard Kozera, Bok-Suk Shin, Konrad Wojciechowski.
by Chmielewski, Leszek J [editor.] | Kozera, Ryszard [editor.] | Shin, Bok-Suk [editor.] | Wojciechowski, Konrad [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
|
|
|
|
Biomedical Simulation [electronic resource] : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings / edited by Fernando Bello, Stéphane Cotin.
by Bello, Fernando [editor.] | Cotin, Stéphane [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings / edited by Giuseppe Prencipe, Shmuel Zaks.
by Prencipe, Giuseppe [editor.] | Zaks, Shmuel [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
|
|
|
|
Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / edited by R. Ramanujam, Sundar Sarukkai.
by Ramanujam, R [editor.] | Sarukkai, Sundar [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
|
|
|
|
Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar.
by Bogomolov, Sergiy [editor.] | Martel, Matthieu [editor.] | Prabhakar, Pavithra [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
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II / edited by Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori.
by Ayache, Nicholas [editor.] | Delingette, Hervé [editor.] | Golland, Polina [editor.] | Mori, Kensaku [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
|
|
|
|
Conceptual Structures: Knowledge Architectures for Smart Applications [electronic resource] : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings / edited by Simon Polovina, Uta Priss, Richard Hill.
by Polovina, Simon [editor.] | Priss, Uta [editor.] | Hill, Richard [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
|
|
|
|
The Semantic Web. Latest Advances and New Domains [electronic resource] : 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings / edited by Fabien Gandon, Marta Sabou, Harald Sack, Claudia d'Amato, Philippe Cudré-Mauroux, Antoine Zimmermann.
by Gandon, Fabien [editor.] | Sabou, Marta [editor.] | Sack, Harald [editor.] | d'Amato, Claudia [editor.] | Cudré-Mauroux, Philippe [editor.] | Zimmermann, Antoine [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
|
|
|
|
Passive and Active Measurement [electronic resource] : 13th International Conference, PAM 2012, Vienna, Austria, March 12-14, 2012, Proceedings / edited by Nina Taft, Fabbio Ricciato.
by Taft, Nina [editor.] | Ricciato, Fabbio [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
|
|
|
|
Computer Security - ESORICS 2014 [electronic resource] : 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II / edited by Miroslaw Kutylowski, Jaideep Vaidya.
by Kutylowski, Miroslaw [editor.] | Vaidya, Jaideep [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
|
|
|
|
Future Data and Security Engineering [electronic resource] : Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich Neuhold.
by Dang, Tran Khanh [editor.] | Wagner, Roland [editor.] | Küng, Josef [editor.] | Thoai, Nam [editor.] | Takizawa, Makoto [editor.] | Neuhold, Erich [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
|
|
|
|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo.
by Bernardo, Marco [editor.] | Bogliolo, Alessandro [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
|
|
|
|
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / edited by Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert.
by Visser, Ubbo [editor.] | Ribeiro, Fernando [editor.] | Ohashi, Takeshi [editor.] | Dellaert, Frank [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
|
|
|
|
Advances in Visual Computing [electronic resource] : 7th International Symposium, ISVC 2011, Las Vegas, NV, USA, September 26-28, 2011. Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Song Wang, Kim Kyungnam, Bedrich Benes, Kenneth Moreland, Christoph Borst, Stephen DiVerdi, Chiang Yi-Jen, Jiang Ming.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Wang, Song [editor.] | Kyungnam, Kim [editor.] | Benes, Bedrich [editor.] | Moreland, Kenneth [editor.] | Borst, Christoph [editor.] | DiVerdi, Stephen [editor.] | Yi-Jen, Chiang [editor.] | Ming, Jiang [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
|
|
|
|
Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings / edited by Reiner R. Dumke, René Braungarten, Günter Büren, Alain Abran, Juan J. Cuadrado-Gallego.
by Dumke, Reiner R [editor.] | Braungarten, René [editor.] | Büren, Günter [editor.] | Abran, Alain [editor.] | Cuadrado-Gallego, Juan J [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
|
|
|
|
Numerical Methods and Applications [electronic resource] : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers / edited by Ivan Dimov, Stefka Fidanova, Ivan Lirkov.
by Dimov, Ivan [editor.] | Fidanova, Stefka [editor.] | Lirkov, Ivan [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
|
|
|
|
Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part II / edited by Emilio S. Corchado Rodriguez, Vaclav Snasel, Ajith Abraham, Michal Wozniak, Manuel Grana, Sung-Bae Cho.
by Corchado Rodriguez, Emilio S [editor.] | Snasel, Vaclav [editor.] | Abraham, Ajith [editor.] | Wozniak, Michal [editor.] | Grana, Manuel [editor.] | Cho, Sung-Bae [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings / edited by Janusz Górski.
by Górski, Janusz [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou.
by Russo, Claudio [editor.] | Zhou, Neng-Fa [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
|
