The following pages link to Lecture Notes in Computer Science (Q162374):
Displaying 50 items.
- Information security and cryptology -- ICISC 2005. 8th international conference, Seoul, Korea, December 1--2, 2005. Revised selected papers. (Q855054) (← links)
- Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 -- April 2, 2006. Procee (Q855055) (← links)
- Foundations of software science and computation structures. 9th international conference, FOSSACS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25--31, 2006. Proceedings. (Q855056) (← links)
- Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27--28, 2006. Proceedings. (Q855057) (← links)
- Model checking software. 13th international SPIN workshop, Vienna, Austria, March 30 -- April 1, 2006. Proceedings. (Q855058) (← links)
- Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings. (Q855059) (← links)
- Relational methods in computer science. 8th international seminar on relational methods in computer science, 3rd international workshop on applications of Kleene algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22--26 (Q855060) (← links)
- Parallel processing and applied mathematics. 6th international conference, PPAM 2005, Poznań, Poland, September 11--14, 2005. Revised selected papers. (Q855061) (← links)
- Applied cryptography and network security. Third international conference, ACNS 2005, New York, NY, USA, June 7--10, 2005. Proceedings. (Q869244) (← links)
- Public key infrastructure. Second European PKI workshop: research and application, EuroPKI 2005, Canterbury, UK, June 30 -- July 1, 2005. Revised selected papers. (Q869481) (← links)
- Petri nets and other models of concurrency -- ICATPN 2006. 27th international conference on applications and theory of Petri nets and other models of concurrency, Turku, Finland, June 26--30, 2006. Proceedings. (Q873585) (← links)
- Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5--8, 2006. Proceedings. (Q873586) (← links)
- Mathematics of program construction. 8th international conference, MPC 2006, Kuressaare, Estonia, July 3--5, 2006. Proceedings. (Q873587) (← links)
- New frontiers in artificial intelligence. Joint JSAI 2005 workshop post-proceedings. (Q873588) (← links)
- Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5--7, 2006. Revised selected papers. (Q873589) (← links)
- Combinatorial pattern matching. 17th annual symposium, CPM 2006, Barcelona, Spain, July 5--7, 2006. Proceedings. (Q873590) (← links)
- Experimental algorithms. 5th international workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24--27, 2006. Proceedings. (Q873591) (← links)
- Learning theory. 19th annual conference on learning theory, COLT 2006, Pittsburgh, PA, USA, June 22--25, 2006. Proceedings. (Q873592) (← links)
- Advances in cryptology -- EUROCRYPT 2005. 24th annual international conference on the theory and applications of cryptographic techniques, Aarhus, Denmark, May 22--26, 2005. Proceedings (Q873593) (← links)
- Advances in cryptology -- EUROCRYPT 2006. 25th annual international conference on the theory and applications of cryptographic techniques, St. Petersburg, Russia, May 28 -- June 1, 2006. Proceedings. (Q873683) (← links)
- Computational science and its applications -- ICCSA 2006. International conference, Glasgow, UK, May 8--11, 2006. Proceedings, Part V. (Q873957) (← links)
- Computational science and its applications -- ICCSA 2006. International conference, Glasgow, UK, May 8--11, 2006. Proceedings, Part IV. (Q873958) (← links)
- Computational science and its applications -- ICCSA 2006. International conference, Glasgow, UK, May 8--11, 2006. Proceedings, Part III (Q873959) (← links)
- Computational science and its applications -- ICCSA 2006. International conference, Glasgow, UK, May 8--11, 2006. Proceedings, Part II (Q873960) (← links)
- Computational science and its applications -- ICCSA 2006. International conference, Glasgow, UK, May 8--11, 2006. Proceedings, Part I (Q873962) (← links)
- Computational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part IV. (Q873963) (← links)
- Computational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part III (Q873964) (← links)
- Computational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part II (Q873965) (← links)
- Computational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part I (Q873966) (← links)
- Argumentation in multi-agent systems. Second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005. Revised selected and invited papers. (Q876750) (← links)
- Deontic logic and artificial normative systems. 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12--14, 2006. Proceedings. (Q876751) (← links)
- Fast software encryption. 13th international workshop, FSE 2006, Graz, Austria, March 15--17, 2006. Revised selected papers. (Q876752) (← links)
- Algorithmic aspects in information and management. Second international conference, AAIM 2006, Hong Kong, China, June 20--22, 2006. Proceedings. (Q876753) (← links)
- Developments in language theory. 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26--29, 2006. Proceedings. (Q876754) (← links)
- Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10--14, 2006. Proceedings, Part I (Q886630) (← links)
- Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4--6, 2015. Proceedings (Q886990) (← links)
- Hardware and software: verification and testing. 11th international Haifa verification conference, HVC 2015, Haifa, Israel, November 17--19, 2015. Proceedings (Q886991) (← links)
- Structural information and communication complexity. 22nd international colloquium, SIROCCO 2015, Montserrat, Spain, July 14--16, 2015. Post-proceedings (Q887023) (← links)
- Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2--3, 2012. Revised papers (Q888396) (← links)
- Theory of quantum computation, communication, and cryptography. 7th conference, TQC 2012, Tokyo, Japan, May 17--19, 2012. Revised selected papers (Q888397) (← links)
- Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27--28, 2012. Revised selected papers (Q888515) (← links)
- Semantics in data and knowledge bases. 5th international workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011. Revised selected papers (Q888525) (← links)
- Trusted systems. 4th international conference, INTRUST 2012, London, UK, December 17--18, 2012. Proceedings (Q888544) (← links)
- Algorithms for sensor systems. 8th international symposium on algorithms for sensor systems, wireless ad hoc networks and autonomous mobile entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13--14, 2012. Revised selected papers (Q888550) (← links)
- Distributed computing and networking. 14th international conference, ICDCN 2013, Mumbai, India, January 3--6, 2013. Proceedings (Q888551) (← links)
- Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6--8, 2013. Proceedings (Q888562) (← links)
- Covering partial cubes with zones (Q888589) (← links)
- Decision and game theory for security. 6th international conference, GameSec 2015, London, UK, November 4--5, 2015. Proceedings (Q892603) (← links)
- The compressed annotation matrix: an efficient data structure for computing persistent cohomology (Q893322) (← links)
- Cryptology and network security. 14th international conference, CANS 2015, Marrakesh, Morocco, December 10--12, 2015. Proceedings (Q894136) (← links)
