Results of search for 'ccl=su:"Software Engineering."'

Results
	1.	Artificial intelligence methods for software engineering [electronic resource]. by Kalech, Meir Abreu, Rui Last, Mark Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Singapore : World Scientific Publishing Company, 2021 Online resources: Access to full text is restricted to subscribers. Availability: No items available. Add to cart (remove)
	2.	New computing techniques in physics research II [electronic resource] : proceedings of the Second International Workshop on Software Engineering, Artificial Intelligence and Expert Systems in High Energy and Nuclear Physics : January 13-18, 1992, L'Agelonde France-Télécom La Londe-les-Maures (France) / edited by D. Perret-Gallix. by International Workshop on Software Engineering, Artificial Intelligence, and Expert Systems in High Energy and Nuclear Physics (2nd : 1992 : La Londe-les-Maures, France) Perret-Gallix, Denis Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Singapore : World Scientific, 1992 Online resources: Access to full text is restricted to subscribers. Availability: No items available. Add to cart (remove)
	3.	New computing techniques in physics research III [electronic resource] : proceedings of the Third International Workshop on Software Engineering, Artificial Intelligence and Expert Systems for High Energy and Nuclear Physics : October 4-8, 1993, Oberammergau, Germany / edited by K.-H. Becks, D. Perret-Gallix. by International Workshop on Software Engineering, Artificial Intelligence, and Expert Systems for High Energy and Nuclear Physics (3rd : 1993 : Oberammergau, Germany) Becks, K.-H. (Karl-Heinz) Perret-Gallix, Denis Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Singapore : World Scientific Publishing Co. Pte Ltd., ©1994 Online resources: Access to full text is restricted to subscribers. Availability: No items available. Add to cart (remove)
	4.	Ambient Assisted Living and Active Aging [electronic resource] : 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Chris Nugent, Antonio Coronato, Jose Bravo. by Nugent, Chris [editor.] Coronato, Antonio [editor.] Bravo, Jose [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8277 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Middleware 2012 [electronic resource] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings / edited by Priya Narasimhan, Peter Triantafillou. by Narasimhan, Priya [editor.] Triantafillou, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7662 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Research and Education in Robotics - EUROBOT 2011 [electronic resource] : International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings / edited by David Obdrzalek, Achim Gottscheber. by Obdrzalek, David [editor.] Gottscheber, Achim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 161 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Human-Centered Software Engineering [electronic resource] : 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24–26, 2022, Proceedings / edited by Regina Bernhaupt, Carmelo Ardito, Stefan Sauer. by Bernhaupt, Regina [editor.] Ardito, Carmelo [editor.] Sauer, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13482 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Cloud Computing, Big Data & Emerging Topics [electronic resource] : 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings / edited by Marcelo Naiouf, Enzo Rucci, Franco Chichizola, Laura De Giusti. by Naiouf, Marcelo [editor.] Rucci, Enzo [editor.] Chichizola, Franco [editor.] De Giusti, Laura [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1444 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Multimodal Human-Computer Communication [electronic resource] : Systems, Techniques, and Experiments / edited by Harry Bunt, Robbert-Jan Beun, Tijn Borghuis. by Bunt, Harry [editor.] Beun, Robbert-Jan [editor.] Borghuis, Tijn [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1374 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Artificial General Intelligence [electronic resource] : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings / edited by Ben Goertzel, Laurent Orseau, Javier Snaider. by Goertzel, Ben [editor.] Orseau, Laurent [editor.] Snaider, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8598 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Human-Computer Interaction. Theory, Design, Development and Practice [electronic resource] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9731 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Software Engineering for Self-Adaptive Systems [electronic resource] : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by de Lemos, Rogério [editor.] Giese, Holger [editor.] Müller, Hausi A [editor.] Shaw, Mary [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7475 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino. by Abdulla, Parosh Aziz [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6605 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	14.	On the Move to Meaningful Internet Systems: OTM 2014 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings / edited by Robert Meersman, Herve Panetto, Alok Mishra, Rafael Valencia-García, Lucas Filipe Martins da Silva, Ioana Ciuciu, Fernando Ferri, Georg Weichhart, Thomas Moser, Michele Bezzi, Henry Chan. by Meersman, Robert [editor.] Panetto, Herve [editor.] Mishra, Alok [editor.] Valencia-García, Rafael [editor.] da Silva, Lucas Filipe Martins [editor.] Ciuciu, Ioana [editor.] Ferri, Fernando [editor.] Weichhart, Georg [editor.] Moser, Thomas [editor.] Bezzi, Michele [editor.] Chan, Henry [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8842 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Systems and Software Verification [electronic resource] : Model-Checking Techniques and Tools / by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen. by Berard, B [author.] Bidoit, M [author.] Finkel, A [author.] Laroussinie, F [author.] Petit, A [author.] Petrucci, L [author.] Schnoebelen, P [author.] SpringerLink (Online service) Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Software Architecture [electronic resource] : 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers / edited by Patrizia Scandurra, Matthias Galster, Raffaela Mirandola, Danny Weyns. by Scandurra, Patrizia [editor.] Galster, Matthias [editor.] Mirandola, Raffaela [editor.] Weyns, Danny [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13365 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Computational Methods in Systems Biology [electronic resource] : 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings / edited by Eugenio Cinquemani, Loïc Paulevé. by Cinquemani, Eugenio [editor.] Paulevé, Loïc [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12881 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Data Science [electronic resource] : 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part II / edited by Pinle Qin, Hongzhi Wang, Guanglu Sun, Zeguang Lu. by Qin, Pinle [editor.] Wang, Hongzhi [editor.] Sun, Guanglu [editor.] Lu, Zeguang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1258 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Self-Organizing Architectures [electronic resource] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / edited by Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson. by Weyns, Danny [editor.] Malek, Sam [editor.] de Lemos, Rogério [editor.] Andersson, Jesper [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6090 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8987 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)