The following pages link to Lecture Notes in Computer Science (Q162374):
Displaying 50 items.
- On resilient graph spanners (Q289925) (← links)
- Recognizing and drawing IC-planar graphs (Q290513) (← links)
- Scalable uncertainty management. 10th international conference, SUM 2016, Nice, France, September 21--23, 2016. Proceedings (Q312987) (← links)
- Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings (Q323774) (← links)
- Advances in cryptology -- ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4--8, 2016. Proceedings. Part I (Q340364) (← links)
- Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings (Q352758) (← links)
- Similarity-based pattern recognition. Second international workshop, SIMBAD 2013, York, UK, July 3--5, 2013. Proceedings (Q352760) (← links)
- How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18--23, 2012. Proceedings (Q424420) (← links)
- Progress in cryptology -- AFRICACRYPT 2012. 5th international conference on cryptology in Africa, Ifrane, Morocco, July 10--12, 2012. Proceedings (Q428514) (← links)
- Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes (Q433735) (← links)
- Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18--21, 2012. Proceedings (Q433856) (← links)
- Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012. Revised selected papers (Q441468) (← links)
- Parameterized and exact computation. 7th international symposium, IPEC 2012, Ljubljana, Slovenia, September 12--14, 2012. Proceedings (Q446529) (← links)
- Unconventional computation and natural computation. 11th international conference, UCNC 2012, Orléan, France, September 3--7, 2012. Proceedings (Q446539) (← links)
- Information security practice and experience. 11th international conference, ISPEC 2015, Beijing, China, May 5--8, 2015. Proceedings (Q491667) (← links)
- Constructive side-channel analysis and secure design. 5th international workshop, COSADE 2014, Paris, France, April 13--15, 2014. Revised selected papers (Q492688) (← links)
- Algorithms in bioinformatics. 15th international workshop, WABI 2015, Atlanta, GA, USA, September 10--12, 2015. Proceedings (Q493900) (← links)
- Model checking software. 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24--26, 2015. Proceedings (Q494732) (← links)
- Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday (Q495431) (← links)
- Trustworthy global computing. 8th international symposium, TGC 2013, Buenos Aires, Argentina, August 30--31, 2013. Revised selected papers (Q495915) (← links)
- WALCOM: algorithms and computation. 11th international conference and workshops, WALCOM 2017, Hsinchu, Taiwan, March 29--31, 2017. Proceedings (Q511502) (← links)
- The complexity of finding effectors (Q519899) (← links)
- Privacy and security issues in data mining and machine learning. International ECML/PKDD workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised selected papers (Q532631) (← links)
- Advances in cryptology -- EUROCRYPT 2011. 30th annual international conference on the theory and applications of cryptographic techniques, Tallinn, Estonia, May 15--19, 2011. Proceedings (Q532639) (← links)
- Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18--20, 2011. Proceedings (Q532640) (← links)
- Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6--9, 2011. Proceedings (Q544459) (← links)
- Computational science and its applications -- ICCSA 2011. International conference, Santander, Spain, June 20--23, 2011. Proceedings, Part III (Q545851) (← links)
- Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20--24, 2011. Proceedings (Q548490) (← links)
- Modeling decision for artificial intelligence. 8th international conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011. Proceedings (Q555658) (← links)
- Computational logic in multi-agent systems. 10th international workshop, CLIMA X, Hamburg, Germany, September 9--10, 2009. Revised selected and invited papers (Q600792) (← links)
- Discovery science. 13th international conference, DS 2010, Canberra, Australia, October 6--8, 2010. Proceedings (Q600794) (← links)
- Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday (Q604196) (← links)
- Advances in cryptology -- ASIACRYPT 2010. 16th international conference on the theory and application of cryptology and information security, Singapore, December 5--9, 2010. Proceedings (Q608024) (← links)
- Parameterized and exact computation. 5th international symposium, IPEC 2010, Chennai, India, December 13--15, 2010. Proceedings (Q608025) (← links)
- Semantics in data and knowledge bases. 4th international workshops, SDKB 2010, Bordeaux, France, July 5, 2010. Revised selected papers (Q634981) (← links)
- Reasoning web. Semantic technologies for the web of data. 7th international summer school 2011, Galway, Ireland, August 23--27, 2011. Tutorial lectures (Q635014) (← links)
- Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29--30, 2011. Proceedings (Q635990) (← links)
- Advances in intelligent data analysis X. 10th international symposium, IDA 2011, Porto, Portugal, October 29--31, 2011. Proceedings (Q643150) (← links)
- Foundations of intelligent systems. 20th international symposium, ISMIS 2012. Macau, China, December 4--7, 2012. Proceedings (Q692427) (← links)
- Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21--25, 2004. Proceedings. (Q704610) (← links)
- Information security and privacy. 9th Australasian conference, ACISP 2004, Sydney, Australia, July 13--15, 2004. Proceedings. (Q704810) (← links)
- Cryptographic hardware and embedded systems -- CHES 2009. 11th international workshop Lausanne, Switzerland, September 6--9, 2009. Proceedings (Q731473) (← links)
- Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1--4, 2014. Proceedings (Q740404) (← links)
- Cellular automata. 11th international conference on cellular automata for research and industry, ACRI 2014, Krakow, Poland, September 22--25, 2014. Proceedings (Q741823) (← links)
- Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24--26, 2014. Proceedings (Q744728) (← links)
- Uncertainty reasoning for the semantic web II. International workshops URSW 2008--2010 held at ISWC and UniDL 2010 held at FLoC. Revised selected papers (Q744980) (← links)
- Rules and reasoning. 4th international joint conference, RuleML+RR 2020, Oslo, Norway, June 29 -- July 1, 2020. Proceedings (Q826550) (← links)
- Perspectives of systems informatics. 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15--19, 2009. Revised papers (Q845347) (← links)
- Transactions on Computational Systems Biology XII. Special issue on modeling methodologies (Q847459) (← links)
- Topics in cryptology -- CT-RSA 2010. The cryptographers' track at the RSA conference 2010, San Francisco, CA, USA, March 1--5, 2010. Proceedings (Q847460) (← links)
