Search

Your search returned 21 results.

Results
		Formal methods for components and objects : 8th international symposium, FMCO, Eindhoven, The Netherlands, Nov. 4-6, 2009 (e-book) by De Boer, Frank S. ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6286 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods : foundations and applications : 13th Brazilian symposium on formal methods, SBMF, Natal, Brazil, Nov. 8-11, 2010 (e-book) by Davies, Jim [Editor] \| Silva, Leila [Editor] \| Simão, Adenilso [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6527 \| 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)
		Trends in functional programming : 11th international symposium, TFP, Norman, OK, USA, May 17-19, 2010 (e-book) by Page, Rex [Editor] \| Horváth, Zoltán [Editor] \| Zsók, Viktória [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6546 \| 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)
		Time for verification : essays in memory of Amir Pnueli (e-book) by Manna, Zohar [Editor] \| Peled, Doron A [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6200 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Transactions on aspect-oriented software development VII : A common case study for aspect-oriented modeling (e-book) by Katz, Shmuel [Editor] \| Mezini, Mira [Editor] \| Kienzle, Jorg [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6210 Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		CONCUR - concurrency theory : 21th international conference : proceedings, CONCUR, Paris, France, Aug. 31-Sept. 3, 2010 (e-book) by Gastin, Paul [Editor] \| Laroussinie, François [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6269 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Distributed computing and internet technology : 7th international conference : proceedings, ICDCIT, Bhubaneshwar, India, Feb. 9-12, 2011 (e-book) by Natarajan, Raja [Editor] \| Ojo, Adegboyega [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6536 \| LNCS sublibrary : SL 3 – Information systems and applications, incl. internet/web, and HCI Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Practical aspects of declarative languages : 13th international symposium : proceedings, PADL, Austin, TX, USA, Jan. 24-25, 2011 (e-book) by Rocha, Ricardo [Editor] \| Launchbury, John [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6539 \| 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)
		Software language engineering : third international conference, SLE, Eindhoven, The Netherlands, Oct. 12-13, 2010 (e-book) by Malloy, Brian [Editor] \| Staab, Steffen [Editor] \| Brand, Mark van den [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6563 \| 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)
		Fundamental approaches to software engineering : 14th international conference, FASE, held as part of the joint European conferences on theory and practice of software : proceedings, ETAPS, Saarbrucken, Germany, Mar. 26-Apr. 3, 2011 (e-book) by Giannakopoulou, Dimitra [Editor] \| Orejas, Fernando [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6603 \| 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)

1
2
3
Next
Last

Powered by Koha