Search

Your search returned 41 results.

Results
		Algorithm theory - SWAT : 12th Scandinavian symposium and workshops on algorithm theory : proceedings, Bergen, Norway, June 21-23, 2010 (e-book) by Kaplan, Haim [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6139 \| 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)
		Programs, proofs, processes : 6th conference on computability in Europe : proceedings, CiE, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 (e-book) by Ferreira, Fernando ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6158 \| 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)
		Deontic logic in computer science : 10th international conference : proceedings, DEON, Fiesole, Italy, July 7-9, 2010 (e-book) by Governatori, Guido [Editor] \| Sartor, Giovanni [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6181 \| LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book) by Dawar, Anuj [Editor] \| Queiroz, Ruy de [Editor]. Series: lncs ; v.6188 \| LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Foundational and practical aspects of resource analysis : first international workshop, FOPARA, Eindhoven, The Netherlands, Nov. 6, 2009 (e-book) by Van Eekelen, Marko [Editor] \| Shkaravska, Olha [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6324 \| 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)
		Mathematical foundations of computer science : 35th international symposium : proceedings, MFCS, Brno, Czech Republic, Aug. 23-27, 2010 (e-book) by Hlineny, Petr [Editor] \| Kucera, Antonín [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6281 \| 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)
		Theory of quantum computation, communication, and cryptography : 5th conference, TQC, Leeds, UK, April 13-15, 2010 (e-book) by Dam, Wim van [Editor] \| Kendon, Vivien M [Editor] \| Severini, Simone [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6519 \| 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)
		Parameterized and exact computation : 5th international symposium : proceedings, IPEC, Chennai, India, Dec. 13-15, 2010 (e-book) by Raman, Venkatesh [Editor] \| Saurabh, Saket [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6478 \| 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)
		WALCOM : algorithms and computation : 5th international workshop : proceedings, WALCOM, New Delhi, India, Feb. 18-20, 2011 (e-book) by Katoh, Naoki [Editor] \| Kumar, Amit [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6552 \| 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)
		Theory and applications of models of computation : 8th annual conference : proceedings, TAMC, Tokyo, Japan, May 23-25, 2011 (e-book) by Ogihara, Mitsunori [Editor] \| Tarui, Jun [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6648 \| 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)

Powered by Koha