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

	41.	Relational Methods in Computer Science [Recurso electrónico] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin by MacCaull, Wendy \| DÃơntsch, Ivo \| Winter, Michael \| 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)
	42.	Advances in Neural Networks - ISNN 2006 (vol. # 3972) [Recurso electrónico] / Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II edited by Jun WangZhang Yi, Jacek M. Zurada by Wang, Jun \| Hujun, Yin \| Lu, Bao-Liang \| Yi, Zhang \| Zurada, Jacek M \| 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)
	43.	Conceptual Structures: Inspiration and Application [Recurso electrónico] / 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings edited by Henrik SchÃÞrfe, Pascal Hitzler, Peter Ohrs by SchÃÞrfe, Henrik \| Hitzler, Pascal \| Ohrstrom, Peter \| 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)
	44.	Computer Algebra in Scientific Computing (vol. # 4194) [Recurso electrónico] / 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov. by Ganzha, V.G \| Mayr, E.W \| Vorozhtsov, E.V \| 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)
	45.	Resource Allocation in Wireless Networks [Recurso electrónico] / Theory and Algorithms edited by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche. by Stanczak, Slawomir \| Boche, Holger \| Wiczanowski, Marcin \| 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)
	46.	Advances in Cryptology -- ASIACRYPT 2006 [Recurso electrónico] / 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings edited by Xuejia Lai, Kefei by Lai, Xuejia \| Chen, Kefei \| 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)
	47.	Approximation and Online Algorithms [Recurso electrónico] / 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers edited by Thomas Erlebach, Christos Kaklamanis. by Erlebach, Thomas \| Kaklamanis, Christos \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	48.	System Modeling and Optimization [Recurso electrónico] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers / edited by Adam Korytowski, Kazimierz Malanowski, Wojciech Mitkowski, Maciej Szymkat. by Korytowski, Adam \| Malanowski, Kazimierz \| Mitkowski, Wojciech \| Szymkat, Maciej \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	49.	Internet and Network Economics [Recurso electrónico] : 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings / edited by Paul W. Goldberg. by Goldberg, Paul W. 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)
	50.	Mathematical Modelling and Scientific Computation [Recurso electrónico] : International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings / edited by P. Balasubramaniam, R. Uthayakumar. by Balasubramaniam, P \| Uthayakumar, R. 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)
	51.	SOFSEM 2012: Theory and Practice of Computer Science [Recurso electrónico] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Å{u0A6E}dlerÅv̄ MlÃ{uEB20}Czech Republic, January 21-27, 2012. Proceedings / edited by MÃ¡ria BielikovÃ¡, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, GyÃœrgy TurÃ¡n. by BielikovÃ¡, MÃ¡ria \| Friedrich, Gerhard \| Gottlob, Georg \| Katzenbeisser, Stefan \| TurÃ¡n, GyÃœrgy. 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)
	52.	Formal Concept Analysis [Recurso electrónico] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. by Domenach, Florent \| Ignatov, Dmitry I \| Poelmans, Jonas. 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)
	53.	Fun with Algorithms [Recurso electrónico] : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings / edited by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio. by Kranakis, Evangelos \| Krizanc, Danny \| Luccio, Flaminia. 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)
	54.	Abstract State Machines, Alloy, B, VDM, and Z [Recurso electrónico] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John \| Fitzgerald, John \| Gnesi, Stefania \| Khurshid, Sarfraz \| Leuschel, Michael \| Reeves, Steve \| Riccobene, Elvinia. 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)
	55.	The Multivariate Algorithmic Revolution and Beyond [Recurso electrónico] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx. by Bodlaender, Hans L \| Downey, Rod \| Fomin, Fedor V \| Marx, Dániel. 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)
	56.	Mathematics of Program Construction [Recurso electrónico] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. by Gibbons, Jeremy \| Nogueira, Pablo. 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)
	57.	Combinatorial Pattern Matching [Recurso electrónico] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / edited by Juha Kärkkäinen, Jens Stoye. by Kärkkäinen, Juha \| Stoye, Jens. 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)
	58.	Automata, Languages, and Programming [Recurso electrónico] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / 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)
	59.	Mathematical Modeling and Computational Science [Recurso electrónico] : International Conference, MMCP 2011, StarÃ¡ LesnÃ¡, Slovakia, July 4-8, 2011, Revised Selected Papers / edited by Gheorghe Adam, JÃ¡n BuÃ{u2861}, Michal HnatiÃ{u17C0} by Adam, Gheorghe \| BuÃ{u2861}, JÃ¡n \| HnatiÃ{u17EC} Michal. 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)
	60.	Principles and Practice of Constraint Programming [Recurso electrónico] : 18th International Conference, CP 2012, QuÂ©â{uD8A5}c City, QC, Canada, October 8-12, 2012. Proceedings / edited by Michela Milano. by Milano, Michela. 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