The following pages link to Lecture Notes in Computer Science (Q162374):
Displaying 50 items.
- PRIMA 2015: principles and practice of multi-agent systems. 18th international conference, Bertinoro, Italy, October 26--30, 2015. Proceedings (Q894419) (← links)
- Information security. 10th international conference, ISC 2007, Valparaíso, Chile, October 9--12, 2007. Proceedings (Q927323) (← links)
- Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10--13, 2005. Revised selected papers and discussions (Q930616) (← links)
- Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1--4, 2008. Proceedings (Q930623) (← links)
- Advances in artificial intelligence -- IBERAMIA-SBIA 2006. 2nd international joint conference, 10th Ibero-American conference on AI, 18th Brazilian AI symposium, Ribeirão Preto, Brazil, October 23--27, 2006. Proceedings (Q947839) (← links)
- Argumentation in multi-agent systems. 6th international workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised selected and invited papers (Q968946) (← links)
- Research in computational molecular biology. 14th annual international conference, RECOMB 2010, Lisbon, Portugal, April 25--28, 2010. Proceedings (Q968947) (← links)
- Public key cryptography -- PKC 2010. 13th international conference on practice and theory in public key cryptography, Paris, France, May 26--28, 2010. Proceedings (Q971933) (← links)
- Diagrammatic representation and inference. 6th international conference, Diagrams 2010, Portland, OR, USA, August 9--11, 2010. Proceedings (Q983094) (← links)
- Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11--14, 2010. Proceedings (Q983522) (← links)
- Logic, language, information and computation. 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6--9, 2010. Proceedings (Q983528) (← links)
- Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23--27, 2010. Proceedings (Q987862) (← links)
- Advanced intelligent computing theories and applications. 6th international conference on intelligent computing, ICIC 2010, Changsha, China, August 18--21, 2010. Proceedings (Q989175) (← links)
- Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday (Q989996) (← links)
- Trustworthly global computing. 5th international symposium, TGC 2010, Munich, Germany, February 24--26, 2010. Revised selected papers (Q994271) (← links)
- Quantum interaction. Third international symposium, QI 2009, Saarbrücken, Germany, March 25--27, 2009. Proceedings (Q1007692) (← links)
- New frontiers in artificial intelligence. JSAI 2006 conference and workshops, Tokyo, Japan, June 5--9 2006. Revised selected papers (Q1010583) (← links)
- Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21--24, 2009. Proceedings (Q1017549) (← links)
- Applied cryptography and network security. 7th international conference, ACNS 2009, Paris-Rocquencourt, France, June 2--5, 2009. Proceedings (Q1018862) (← links)
- Selected areas in cryptography. 16th annual international workshop, SAC 2009, Calgary, Alberta, Canada, August 13--14, 2009. Revised selected papers (Q1036132) (← links)
- Advances in cryptology. Proceedings of CRYPTO '84 (a workshop on the theory and application of cryptographic techniques held at the University of California, Santa Barbara, August 19--22, 1984) (Q1059056) (← links)
- Advances in cryptology - AUSCRYPT '90. International conference on cryptology, Sydney, Australia, January 8-10, 1990. Proceedings (Q1188869) (← links)
- Computer-aided verification. 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Q1202077) (← links)
- Discrete geometry for computer imagery. 8th international conference, DGCI '99. Marne-la-Vallée, France, March 17--19, 1999. Proceedings (Q1284356) (← links)
- Mathematical foundations of computer science 1997. 22nd international symposium, MFCS '97, Bratislava, Slovakia, August 25--29, 1997. Proceedings (Q1294951) (← links)
- Advances in cryptology - CRYPTO '99. 19th annual international cryptology conference Santa Barbara, CA, USA, August 15--19, 1999. Proceedings (Q1301510) (← links)
- ECOOP '93 -- object-oriented programming. 7th European conference, Kaiserslautern, Germany, July 26--30, 1993. Proceedings (Q1309036) (← links)
- Conceptual graphs for knowledge representation. 1st international conference on Conceptual structures, ICCS '93, Quebec City, Canada, August 4-7, 1993. Proceedings (Q1309677) (← links)
- Mathematical foundations of computer science 1994. 19th international symposium, MFCS '94, Košice, Slovakia, August 22--26, 1994. Proceedings (Q1331633) (← links)
- Structures in logic and computer science. A selection of essays in honor of Andrzej Ehrenfeucht (65th birthday on August 8, 1997) (Q1362745) (← links)
- Foundations of computer science. Potential, theory, cognition (Q1373997) (← links)
- Semantics in databases (Q1381077) (← links)
- Fast software encryption. 5th international workshop, FSE '98. Paris, France, March 23--25, 1998. Proceedings (Q1381099) (← links)
- Computer network security. Second international workshop on mathematical methods, models, and architectures for computer network security, MMM-ACNS 2003, St. Petersburg, Russia, September 21--23, 2003. Proceedings (Q1412858) (← links)
- Artificial immune systems. Second international conference, ICARIS 2003, Edinburgh, UK, September 1--3, 2003. Proceedings (Q1413059) (← links)
- Genetic and evolutionary computation -- GECCO 2003. Genetic and evolutionary computation conference, Chicago, IL, USA, July 12--16, 2003. Proceedings, Part II (Q1414358) (← links)
- Web engineering. International conference, ICWE 2003, Oviedo, Spain, July 14--18, 2003. Proceedings (Q1414360) (← links)
- ECOOP 2003 --- object-oriented programming, 17th European conference, Darmstadt, Germany, July 21--25, 2003, Proceedings (Q1416836) (← links)
- Text- and speech-triggered information access. 8th ELSNET summer school, Chios Island, Greece, July 15--30, 2000. Revised lectures (Q1418344) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- Information security. 3rd international workshop, ISW 2000, Wollongong, Australia, December 20--21, 2000. Proceedings (Q1589873) (← links)
- Computational linguistics and intelligent text processing. 3rd international conference, CICLing 2002, Mexico City, Mexico, February 17--23, 2002. Proceedings (Q1601173) (← links)
- Scheduling maintenance jobs in networks (Q1628599) (← links)
- ModelEd, testEd, trustEd. Essays dedicated to Ed Brinksma on the occasion of his 60th birthday (Q1675566) (← links)
- Geometric science of information. Third international conference, GSI 2017, Paris, France, November 7--9, 2017. Proceedings (Q1675568) (← links)
- EERTREE: an efficient data structure for processing palindromes in strings (Q1678105) (← links)
- Web and internet economics. 13th international conference, WINE 2017, Bangalore, India, December 17--20, 2017. Proceedings (Q1682319) (← links)
- Selected areas in cryptography -- SAC 2016. 23rd international conference, St. John's, NL, Canada, August 10--12, 2016. Revised selected papers (Q1691377) (← links)
- Formal grammar. 22nd international conference, FG 2017, Toulouse, France, July 22--23, 2017. Revised selected papers (Q1691493) (← links)
- Number-theoretic methods in cryptology. First international conference, NuTMiC 2017, Warsaw, Poland, September 11--13, 2017. Revised selected papers (Q1706071) (← links)
