Search

Your search returned 21 results.

Results
		Foundations of software science and computational structures : 14th international conference : proceedings, FOSSACS, held as part of the joint European conferences on theory and practice of software, ETAPS, Saarbrucken, Germany, Mar. 26-Apr. 3, 2011 (e-book) by Hofmann, Martin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6604 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Generative and transformational techniques in software engineering III : International Summer School, GTTSE, Braga, Portugal, July 6-11, 2009 (e-book) by Fernandes, João M. ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6491 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Theory and practice of model transformation : 10th international conference proceeding, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 by Guerra, Esther [Editor] \| Brand, Mark van den [Editor]. Series: Lecture Notes in Computer Science ; v.10374Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Deep learning in medical image analysis and multimodal learning for clinical decision support : Third international workshop proceedings , DLMIA 2017, and 7th International Workshop proceedings, ML-CDS 2017, Held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 14 (e-book) by Cardoso, M. Jorge [et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10553Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		High performance computing : ISC high performance 2017 international workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, visualization at scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017 (e-book) by Kunkel, Julian M. [et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10524Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Artificial neural networks and machine learning – ICANN 2017 : 26th international conference proceedings on artificial neural networks, Alghero, Italy, September 11-14, 2017 (e-book) by Lintas, Alessandra [et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10614Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Search based software engineering: 9th international symposium, SSBSE, proceedings, Paderborn, Germany, Sep. 9-11, 2017 (e-book) by Menzies, Tim [Editor] \| Petke, Justyna [Editor]. Series: Lecture notes in computer science ; v.10452Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Transactions on large-scale data- and knowledge-centered systems XXXIV: special issue on consistency and inconsistency in data-centric applications (e-book) by Hameurlain, Abdelkader ...[et al.] [Editor]. Series: Lecture notes in computer science ; v.10620Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Dependable software engineering: theories, tools, and applications: third international symposium, SETTA, proceedings, Changsha, China, Oct. 23-25, 2017 (e-book) by Larsen, Kim Guldstrand [Editor] \| Sokolsky, Oleg [Editor] \| Wang, Ji [Editor]. Series: Lecture notes in computer science ; v.10606Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Programming languages and systems: 26th european symposium on programming, ESOP, held as part of the european joint conferences on theory and practice of software, ETAPS, proceedings, Uppsala, Sweden, Apr. 22–29, 2017 (e-book) by Yang, Hongseok [Editor]. Series: Lecture notes in computer science ; v.10201Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha