Results of search for 'su:"Discrete Mathematics in Computer Science"'

Results
		Evolutionary Computation in Combinatorial Optimization (vol. # 3906) [Recurso electrónico] / 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings edited by Jens Gottlieb, GÃơnther R. Raidl. by Gottlieb, Jens \| Raidl, GÃơnther R \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3906Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Evolutionary Computation in Combinatorial Optimization (vol. # 3448) [Recurso electrónico] / 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings edited by Jens Gottlieb, GÃơnther R. Raidl. by Gottlieb, Jens \| Raidl, GÃơnther R \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3448Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Developments in Language Theory (vol. # 3572) [Recurso electrónico] / 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings edited by Clelia De Felice, Antonio Restivo. by De Felice, Clelia \| Restivo, Antonio \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3572Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Parameterized and Exact Computation [Recurso electrónico] / Second International Workshop, IWPEC 2006, ZÃơrich, Switzerland, September 13-15, 2006, Proceedings edited by Hans L. Bodlaender, Michael A. Langston. by Bodlaender, Hans L \| Langston, Michael A \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4169Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: IFIP Advances in Information and Communication Technology ; 312Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Fundamentals of Computation Theory [Recurso electrónico] / 15th International Symposium, FCT 2005, LÃơbeck, Gemany, August 17-20, 2005, Proceedings edited by Maciej Liskiewicz, RÃơdiger Reischuk. by Liskiewicz, Maciej \| Reischuk, RÃơdiger \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3623Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Fundamentals of Computation Theory [Recurso electrónico] : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings / edited by ErzsÃ©bet Csuhaj-VarjÃº, ZoltÃ¡n Ãsik. by Csuhaj-VarjÃº, ErzsÃ©bet \| Ãsik, ZoltÃ¡n \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4639Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Fun with Algorithms [Recurso electrónico] / 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings edited by Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci. by Crescenzi, Pierluigi \| Prencipe, Giuseppe \| Pucci, Geppino \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4475Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Advances in Artificial Life [Recurso electrónico] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings. Fernando Almeida e Costa, Luis Mateus Rocha, Ernesto Costa, Inman Harvey, AntÃ³nio Coutinho. by Almeida e Costa, Fernando \| Costa, Ernesto \| Coutinho, AntÃ³nio \| Harvey, Inman \| Rocha, Luis Mateus \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4648Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7316Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Algorithms and Complexity [Recurso electrónico] / 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings edited by Tiziana Calamoneri, Irene Finocchi, Guiseppe F. Italiano. by Calamoneri, Tiziana \| Finocchi, Irene \| Italiano, Guiseppe F \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3998Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Evolutionary Computation in Combinatorial Optimization [Recurso electrónico] : 12th European Conference, EvoCOP 2012, MÂ©Å{uC867}a, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf. by Hao, Jin-Kao \| Middendorf, Martin. Series: Lecture Notes in Computer Science ; 7245Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Advances in Artificial Life [Recurso electrónico] / 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings edited by Peter J. BentleyMathieu Capcarrere, Alex A. Freitas, Colin G. Johnson et al. by Bentley, Peter J \| Capcarrere, Mathieu \| Freitas, Alex A \| Johnson, Colin G \| Timmis, Jon \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3630Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7695Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7370Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Developments in Language Theory [Recurso electrónico] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani KarhumÃÞki, Arto LepistÃœ. by Harju, Tero \| KarhumÃÞki, Juhani \| LepistÃœ, Arto \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4588Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Developments in Language Theory (vol. # 4036) [Recurso electrónico] / 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings edited by Oscar H. Ibarra, Zhe Dang. by Ibarra, Oscar H \| Dang, Zhe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4036Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		LATIN 2012: Theoretical Informatics [Recurso electrónico] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / edited by David Fernández-Baca. by Fernández-Baca, David. Series: Lecture Notes in Computer Science ; 7256Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Algorithms in Bioinformatics (vol. # 4175) [Recurso electrónico] / 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings edited by Philipp BÃơcher, Bernard M.E. Moret. by BÃơcher, Philipp \| Moret, Bernard M.E \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4175Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3393Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

		Evolutionary Computation in Combinatorial Optimization (vol. # 3906) [Recurso electrónico] / 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings edited by Jens Gottlieb, GÃơnther R. Raidl. by Gottlieb, Jens \| Raidl, GÃơnther R \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3906Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Evolutionary Computation in Combinatorial Optimization (vol. # 3448) [Recurso electrónico] / 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings edited by Jens Gottlieb, GÃơnther R. Raidl. by Gottlieb, Jens \| Raidl, GÃơnther R \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3448Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Developments in Language Theory (vol. # 3572) [Recurso electrónico] / 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings edited by Clelia De Felice, Antonio Restivo. by De Felice, Clelia \| Restivo, Antonio \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3572Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Parameterized and Exact Computation [Recurso electrónico] / Second International Workshop, IWPEC 2006, ZÃơrich, Switzerland, September 13-15, 2006, Proceedings edited by Hans L. Bodlaender, Michael A. Langston. by Bodlaender, Hans L \| Langston, Michael A \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4169Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: IFIP Advances in Information and Communication Technology ; 312Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Fundamentals of Computation Theory [Recurso electrónico] / 15th International Symposium, FCT 2005, LÃơbeck, Gemany, August 17-20, 2005, Proceedings edited by Maciej Liskiewicz, RÃơdiger Reischuk. by Liskiewicz, Maciej \| Reischuk, RÃơdiger \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3623Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Fundamentals of Computation Theory [Recurso electrónico] : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings / edited by ErzsÃ©bet Csuhaj-VarjÃº, ZoltÃ¡n Ãsik. by Csuhaj-VarjÃº, ErzsÃ©bet \| Ãsik, ZoltÃ¡n \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4639Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Fun with Algorithms [Recurso electrónico] / 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings edited by Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci. by Crescenzi, Pierluigi \| Prencipe, Giuseppe \| Pucci, Geppino \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4475Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Advances in Artificial Life [Recurso electrónico] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings. Fernando Almeida e Costa, Luis Mateus Rocha, Ernesto Costa, Inman Harvey, AntÃ³nio Coutinho. by Almeida e Costa, Fernando \| Costa, Ernesto \| Coutinho, AntÃ³nio \| Harvey, Inman \| Rocha, Luis Mateus \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4648Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7316Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Algorithms and Complexity [Recurso electrónico] / 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings edited by Tiziana Calamoneri, Irene Finocchi, Guiseppe F. Italiano. by Calamoneri, Tiziana \| Finocchi, Irene \| Italiano, Guiseppe F \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3998Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Evolutionary Computation in Combinatorial Optimization [Recurso electrónico] : 12th European Conference, EvoCOP 2012, MÂ©Å{uC867}a, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf. by Hao, Jin-Kao \| Middendorf, Martin. Series: Lecture Notes in Computer Science ; 7245Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Advances in Artificial Life [Recurso electrónico] / 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings edited by Peter J. BentleyMathieu Capcarrere, Alex A. Freitas, Colin G. Johnson et al. by Bentley, Peter J \| Capcarrere, Mathieu \| Freitas, Alex A \| Johnson, Colin G \| Timmis, Jon \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3630Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7695Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7370Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Developments in Language Theory [Recurso electrónico] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani KarhumÃÞki, Arto LepistÃœ. by Harju, Tero \| KarhumÃÞki, Juhani \| LepistÃœ, Arto \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4588Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Developments in Language Theory (vol. # 4036) [Recurso electrónico] / 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings edited by Oscar H. Ibarra, Zhe Dang. by Ibarra, Oscar H \| Dang, Zhe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4036Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		LATIN 2012: Theoretical Informatics [Recurso electrónico] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / edited by David Fernández-Baca. by Fernández-Baca, David. Series: Lecture Notes in Computer Science ; 7256Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Algorithms in Bioinformatics (vol. # 4175) [Recurso electrónico] / 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings edited by Philipp BÃơcher, Bernard M.E. Moret. by BÃơcher, Philipp \| Moret, Bernard M.E \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4175Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3393Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 50 results.