Refine your search

Your search returned 108 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Programming languages and systems : 9th Asian symposium : proceedings, APLAS, Kenting, Taiwan, Dec. 5-7, 2011 (e-book)

by Yang, Hongseok [Editor].

Series: Lecture notes in computer science ; v.7078 Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal aspects of component software : 8th international symposium, FACS, Oslo, Norway, Sept. 14-16, 2011: revised selected papers (e-book)

by Arbab, Farhad [Editor] | Olveczky, Peter Csaba [Editor].

Series: Lecture Notes in Computer Science (LNCS). LNCS sublibrary. SL 2, Programming and software engineering. ; v.7253 Language: English Publication details: Berlin Springer 2012Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Static analysis : 23rd international symposium, SAS, proceedings, Edinburgh, UK, Sept. 8-10, 2016 (e-book)

Series: Lecture Notes in Computer Science (LNCS) ; v.9837 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Software engineering for resilient systems : 7th international workshop, SERENE, proceedings, Paris, France, Sep. 7-8, 2015 (e-book)

by Fantechi, Alessandro [Editor] | Pelliccione, Patrizio [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9274 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal methods and software engineering : 17th international conference on formal engineering methods, ICFEM, proceedings, Paris, France, Nov 3-5, 2015 (e-book)

by International Conference on Formal Engineering Methods (17th : 2015 : Paris, France) | Butler, Michael [Editor] | Conchon, Sylvain [Editor] | Zaidi, Fatiha [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9407 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Sofsem : theory and practice of computer science : 41st international conference on current trends in theory and practice of computer science, proceedings, Pec pod Snezkou, Czech Republic, Jan. 24-29, 2015 ( e-book)

by Italiano, Giuseppe F. ...[et al.] [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.8939 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Add to cart
Mathematical and engineering methods in computer science : 9th international doctoral workshop, MEMICS , Telc, Czech Republic, Oct. 17-19, 2014 ( e-book)

by Petr Hlineny, Petr...[ et al.] [editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.8934 Language: English Publication details: Berlin Springer 2014Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Reliable software technologies - Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies, proceedings, Madrid Spain, June 22-26, 2015 (e-book)

by de la Puente, Juan Antonio [Editor] | Vardanega, Tullio [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9111 Language: null Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Data science : 30th British international conference on databases, BICOD, proceedings, Edinburgh, UK, July 6-8, 2015 (e-book)

by Maneth, Sebastian [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9147 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha