Biblioteca UCA catalog › Results of search for 'su:"Discrete Mathematics in Computer Science"'

	101.	Topics in Cryptology - CT-RSA 2007 [Recurso electrónico] / The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings edited by Masayuki Abe. by Abe, Masayuki \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	102.	Formal Concept Analysis (vol. # 3403) [Recurso electrónico] / Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings edited by Bernhard Ganter, Robert Godin. by Ganter, Bernhard \| Godin, Robert \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	103.	Formal Methods in Software and Systems Modeling [Recurso electrónico] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al. by Kreowski, Hans-JÃœrg \| Montanari, Ugo \| Orejas, Fernando \| Rozenberg, Grzegorz \| Taentzer, Gabriele \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	104.	Network Analysis [Recurso electrónico] / Methodological Foundations edited by Ulrik Brandes, Thomas Erlebach. by Brandes, Ulrik \| Erlebach, Thomas \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	105.	Discrete Geometry for Computer Imagery (vol. # 3429) [Recurso electrónico] / 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings edited by Eric Andres, Guillaume Damiand, Pascal Lienhardt. by Andres, Eric \| Damiand, Guillaume \| Lienhardt, Pascal \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	106.	Advances in Neural Networks - ISNN 2005 (vol. # 3496) [Recurso electrónico] / Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I edited by Xiaofeng Liao, Jun Wang, Zhang Yi. by Liao, Xiaofeng \| Wang, Jun \| Yi, Zhang \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	107.	Advances in Neural Networks - ISNN 2005 (vol. # 3497) [Recurso electrónico] / Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II edited by Xiaofeng Liao, Jun Wang, Zhang Yi. by Liao, Xiaofeng \| Wang, Jun \| Yi, Zhang \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	108.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524) [Recurso electrónico] / Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 edited by by BartÃ¡k, Roman \| Milano, Michela \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	109.	Advances in Grid Computing - EGC 2005 [Recurso electrónico] / European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. BubakA.G. Hoekstra, T. Priol, A. Reinefeld et al. by Bubak, M \| Hoekstra, A.G \| Priol, T \| Reinefeld, A \| Sloot, P.M.A \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	110.	Advances in Cryptology - CRYPTO 2005 [Recurso electrónico] / 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings edited by Victor Shoup. by Shoup, Victor \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	111.	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings edited by R. Ramanujam, Sandeep Sen. by Ramanujam, R \| Sen, Sandeep \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	112.	Practice and Theory of Automated Timetabling V [Recurso electrónico] / 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers edited by Edmund Burke, Michael Trick. by Burke, Edmund \| Trick, Michael \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	113.	Approximation and Online Algorithms [Recurso electrónico] : 9th International Workshop, WAOA 2011, SaarbrÂ©Æ¡cken, Germany, September 8-9, 2011, Revised Selected Papers / edited by Roberto Solis-Oba, Giuseppe Persiano. by Solis-Oba, Roberto \| Persiano, Giuseppe. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	114.	Topics in Cryptology Ì{u1498}£ CT-RSA 2012 [Recurso electrónico] : The CryptographersÌ{u1498}© Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 Ì{u1498}£ March 2, 2012. Proceedings / edited by Orr Dunkelman. by Dunkelman, Orr. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	115.	Parameterized and Exact Computation [Recurso electrónico] : 6th International Symposium, IPEC 2011, SaarbrÂ©Æ¡cken, Germany, September 6-8, 2011. Revised Selected Papers / edited by DÂ©Å{uEA65}l Marx, Peter Rossmanith. by Marx, DÂ©Å{uEA65}l \| Rossmanith, Peter. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	116.	Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [Recurso electrónico] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28- June1, 2012. Proceedings / edited by Nicolas Beldiceanu, Narendra Jussien, Ã{u2A63} Pinson. by Beldiceanu, Nicolas \| Jussien, Narendra \| Pinson, Ã{u2A63}. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	117.	How the World Computes [Recurso electrónico] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Cooper, S. Barry \| Dawar, Anuj \| Löwe, Benedikt. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	118.	Automata, Languages, and Programming [Recurso electrónico] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. by Czumaj, Artur \| Mehlhorn, Kurt \| Pitts, Andrew \| Wattenhofer, Roger. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	119.	Learning and Intelligent Optimization [Recurso electrónico] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / edited by Youssef Hamadi, Marc Schoenauer. by Hamadi, Youssef \| Schoenauer, Marc. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	120.	Graph-Theoretic Concepts in Computer Science [Recurso electrónico] : 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers / edited by Martin Charles Golumbic, Michal Stern, Avivit Levy, Gila Morgenstern. by Golumbic, Martin Charles \| Stern, Michal \| Levy, Avivit \| Morgenstern, Gila. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)

Biblioteca UCA

Refine your search

Availability

Authors

Series

Topics

Languages