The following pages link to Lecture Notes in Computer Science (Q162374):
Displaying 50 items.
- Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 4th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2001 and 5th international workshop on randomization and approx (Q203645) (← links)
- Selected areas in cryptography -- SAC 2014. 21st international conference, Montreal, QC, Canada, August 14--15, 2014. Revised selected papers (Q256489) (← links)
- Information and communications security. 17th international conference, ICICS 2015, Beijing, China, December 9--11, 2015. Revised selected papers (Q256490) (← links)
- Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7--11, 2016. Proceedings (Q256491) (← links)
- WALCOM: algorithms and computation. 10th international workshop, WALCOM 2016, Kathmandu, Nepal, March 29--31, 2016. Proceedings (Q256492) (← links)
- Combinatorial algorithms. 26th international workshop, IWOCA 2015, Verona, Italy, October 5--7, 2015. Revised selected papers (Q256556) (← links)
- Evolutionary computation in combinatorial optimization. 16th European conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016. Proceedings (Q257298) (← links)
- Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday (Q257299) (← links)
- Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers (Q258032) (← links)
- Information security and cryptology -- ICISC 2015. 18th international conference, Seoul, South Korea, November 25--27, 2015. Revised selected papers (Q258985) (← links)
- The new codebreakers. Essays dedicated to David Kahn on the occasion of his 85th birthday (Q260213) (← links)
- Selected areas in cryptography -- SAC 2015. 22nd international conference, Sackville, NB, Canada, August 12--14, 2015. Revised selected papers (Q260214) (← links)
- Advances in cryptology -- ASIACRYPT 2015. 21st international conference on the theory and application of cryptology and information security, Auckland, New Zealand, November 29 -- December 3, 2015. Proceedings. Part I (Q261153) (← links)
- Artificial evolution. 12th international conference, evolution artificielle, EA 2015, Lyon, France, October 26--28, 2015. Revised selected papers (Q261154) (← links)
- Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings (Q261155) (← links)
- Fundamental approaches to software engineering. 19th international conference, FASE 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings (Q261156) (← links)
- Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedin (Q261157) (← links)
- LATIN 2016: theoretical informatics. 12th Latin American symposium, Ensenada, Mexico, April 11--15, 2016. Proceedings (Q261158) (← links)
- Measurement, modelling and evaluation of dependable computer and communication systems. 18th international GI/ITG conference, MMB \& DFT 2016, Münster, Germany, April 4--6, 2016. Proceedings (Q261879) (← links)
- An exact algorithm for TSP in degree-3 graphs via circuit procedure and amortization on connectivity structure (Q262259) (← links)
- Personalized PageRank with node-dependent restart (Q266693) (← links)
- Transactions on Computational Science XXVII (Q267542) (← links)
- Model checking software. 23rd international symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7--8, 2016. Proceedings (Q267543) (← links)
- Progress in cryptology -- AFRICACRYPT 2016. 8th international conference on cryptology in Africa, Fes, Morocco, April 13--15, 2016. Proceedings (Q267544) (← links)
- Research in computational molecular biology. 20th annual conference, RECOMB 2016, Santa Monica, CA, USA, April 17--21, 2016. Proceedings (Q267545) (← links)
- Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21--26, 2014. Revised selected papers (Q267684) (← links)
- Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proc (Q267685) (← links)
- Discrete geometry for computer imagery. 19th IAPR international conference, DGCI 2016, Nantes, France, April 18--20, 2016. Proceedings (Q267686) (← links)
- Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11--13, 2015. Revised selected papers (Q269350) (← links)
- Principles of security and trust. 5th international conference, POST 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings (Q269998) (← links)
- Geometric science of information. Second international conference, GSI 2015, Palaiseau, France, October 28--30, 2015. Proceedings (Q270033) (← links)
- A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday (Q270034) (← links)
- Parallel processing and applied mathematics. 11th international conference, PPAM 2015, Krakow, Poland, September 6--9, 2015. Revised selected papers. Part I (Q270035) (← links)
- Parallel processing and applied mathematics. 11th international conference, PPAM 2015, Krakow, Poland, September 6--9, 2015. Revised selected papers. Part II (Q270036) (← links)
- Web services, formal methods, and behavioral types. 11th international workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11--12, 2014, and 12th international workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4--5, 2015. Revised selected papers (Q271995) (← links)
- The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (Q279327) (← links)
- Information security and cryptology. 11th international conference, Inscrypt 2015, Beijing, China, November 1--3, 2015. Revised selected papers (Q281688) (← links)
- Advances in cryptology -- EUROCRYPT 2016. 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8--12, 2016. Proceedings. Part I (Q281742) (← links)
- Advances in cryptology -- EUROCRYPT 2016. 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8--12, 2016. Proceedings. Part II (Q281743) (← links)
- Trends in functional programming. 16th international symposium, TFP 2015, Sophia Antipolis, France, June 3--5, 2015. Revised selected papers (Q283647) (← links)
- Abstract state machines, Alloy, B, TLA, VDM, and Z. 5th international conference, ABZ 2016, Linz, Austria, May 23--27, 2016. Proceedings (Q283648) (← links)
- Integration of AI and OR techniques in constraint programming. 13th international conference, CPAIOR 2016, Banff, AB, Canada, May 29 -- June 1, 2016. Proceedings (Q283649) (← links)
- Advances in artificial intelligence. 29th Canadian conference on artificial intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 -- June 3, 2016. Proceedings (Q283650) (← links)
- Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1--5, 2016. Proceedings (Q288098) (← links)
- Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Gr (Q288099) (← links)
- Integer programming and combinatorial optimization. 18th international conference, IPCO 2016, Liège, Belgium, June 1--3, 2016. Proceedings (Q288186) (← links)
- On resilient graph spanners (Q289925) (← links)
- Experimental algorithms. 15th international symposium, SEA 2016, St. Petersburg, Russia, June 5--8, 2016. Proceedings (Q290402) (← links)
- Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12--16, 2016. Proceedings. Part I (Q290453) (← links)
- Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12--16, 2016. Proceedings. Part II (Q290454) (← links)
