Results of search for 'su:"Programming Techniques"'

Results
		Declarative Programming for Knowledge Management [Recurso electrónico] / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers by Umeda, Masanobu \| Bartenstein, Oskar \| Geske, Ulrich \| Seipel, Dietmar \| Takata, Osamu \| Wolf, Armin \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4369Source: 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)
		Applications of Declarative Programming and Knowledge Management [Recurso electrónico] / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP by Bartenstein, Oskar \| Geske, Ulrich \| Hanus, Michael \| Seipel, Dietmar \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3392Source: 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)
		Logic Programming and Nonmonotonic Reasoning [Recurso electrónico] / 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Baral, Chitta \| Greco, Gianluigi \| Leone, Nicola \| Terracina, Giorgio \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3662Source: 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)
		Logics in Artificial Intelligence [Recurso electrónico] / 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa. by Fisher, Michael \| Konev, Boris \| Lisitsa, Alexei \| van der Hoek, Wiebe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4160Source: 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)
		Dynamic Programming [Recurso electrónico] : A Computational Tool / by Lew Art, Holger Mauch. by Art, Lew \| Mauch, Holger \| SpringerLink (Online service). Series: Studies in Computational Intelligence ; 38Source: Springer eBooksMaterial type: Computer file; Format: electronic 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)
		Constraint Solving and Language Processing [Recurso electrónico] / First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers edited by Henning Christiansen, Peter Rossen Skadhauge, JÃ ̧ by Christiansen, Henning \| Skadhauge, Peter Rossen \| Villadsen, JÃŗgen \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3438Source: 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)
		Frontiers of Combining Systems [Recurso electrónico] / 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings edited by Bernhard Gramlich. by Gramlich, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3717Source: 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)
		Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti. by Olivetti, Nicola \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4548Source: 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)
		Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert. by Beckert, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3702Source: 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)
		Frontiers of Combining Systems [Recurso electrónico] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter. by Konev, Boris \| Wolter, Frank \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4720Source: 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)
		Coordination Models and Languages (vol. # 3454) [Recurso electrónico] / 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco. by Jacquet, Jean-Marie \| Picco, Gian Pietro \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3454Source: 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)
		Logic Based Program Synthesis and Transformation (vol. # 3573) [Recurso electrónico] / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers edited by Sandro Etalle. by Etalle, Sandro \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3573Source: 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)
		Logic Based Program Synthesis and Transformation (vol. # 3901) [Recurso electrónico] / 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers edited by Patricia M. Hill. by Hill, Patricia M \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3901Source: 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)
		Inductive Logic Programming [Recurso electrónico] / 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings edited by Stefan Kramer, Bernhard Pfahringer. by Kramer, Stefan \| Pfahringer, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3625Source: 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)
		Inductive Logic Programming [Recurso electrónico] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad. by Muggleton, Stephen \| Otero, Ramon \| Tamaddoni-Nezhad, Alireza \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4455Source: 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)
		Software Engineering for Multi-Agent Systems IV [Recurso electrónico] / Research Issues and Practical Applications edited by Alessandro GarciaRicardo Choren, Carlos Lucena, Paolo Giorgini et al. by Garcia, Alessandro \| Choren, Ricardo \| Giorgini, Paolo \| Holvoet, Tom \| Lucena, Carlos \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3914Source: 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)
		Software Engineering for Multi-Agent Systems III [Recurso electrónico] / Research Issues and Practical Applications edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo \| Garcia, Alessandro \| Lucena, Carlos \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3390Source: 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)
		Software Engineering for Multi-Agent Systems V [Recurso electrónico] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo \| Garcia, Alessandro \| Giese, Holger \| Leung, Ho-fung \| Lucena, Carlos \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4408Source: 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)
		Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L \| Vitek, Jan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4467Source: 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)
		Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky. by Ciancarini, Paolo \| Wiklicky, Herbert \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4038Source: 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)

		Declarative Programming for Knowledge Management [Recurso electrónico] / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers by Umeda, Masanobu \| Bartenstein, Oskar \| Geske, Ulrich \| Seipel, Dietmar \| Takata, Osamu \| Wolf, Armin \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4369Source: 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)
		Applications of Declarative Programming and Knowledge Management [Recurso electrónico] / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP by Bartenstein, Oskar \| Geske, Ulrich \| Hanus, Michael \| Seipel, Dietmar \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3392Source: 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)
		Logic Programming and Nonmonotonic Reasoning [Recurso electrónico] / 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Baral, Chitta \| Greco, Gianluigi \| Leone, Nicola \| Terracina, Giorgio \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3662Source: 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)
		Logics in Artificial Intelligence [Recurso electrónico] / 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa. by Fisher, Michael \| Konev, Boris \| Lisitsa, Alexei \| van der Hoek, Wiebe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4160Source: 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)
		Dynamic Programming [Recurso electrónico] : A Computational Tool / by Lew Art, Holger Mauch. by Art, Lew \| Mauch, Holger \| SpringerLink (Online service). Series: Studies in Computational Intelligence ; 38Source: Springer eBooksMaterial type: Computer file; Format: electronic 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)
		Constraint Solving and Language Processing [Recurso electrónico] / First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers edited by Henning Christiansen, Peter Rossen Skadhauge, JÃ ̧ by Christiansen, Henning \| Skadhauge, Peter Rossen \| Villadsen, JÃŗgen \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3438Source: 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)
		Frontiers of Combining Systems [Recurso electrónico] / 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings edited by Bernhard Gramlich. by Gramlich, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3717Source: 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)
		Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti. by Olivetti, Nicola \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4548Source: 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)
		Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert. by Beckert, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3702Source: 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)
		Frontiers of Combining Systems [Recurso electrónico] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter. by Konev, Boris \| Wolter, Frank \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4720Source: 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)
		Coordination Models and Languages (vol. # 3454) [Recurso electrónico] / 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco. by Jacquet, Jean-Marie \| Picco, Gian Pietro \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3454Source: 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)
		Logic Based Program Synthesis and Transformation (vol. # 3573) [Recurso electrónico] / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers edited by Sandro Etalle. by Etalle, Sandro \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3573Source: 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)
		Logic Based Program Synthesis and Transformation (vol. # 3901) [Recurso electrónico] / 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers edited by Patricia M. Hill. by Hill, Patricia M \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3901Source: 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)
		Inductive Logic Programming [Recurso electrónico] / 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings edited by Stefan Kramer, Bernhard Pfahringer. by Kramer, Stefan \| Pfahringer, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3625Source: 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)
		Inductive Logic Programming [Recurso electrónico] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad. by Muggleton, Stephen \| Otero, Ramon \| Tamaddoni-Nezhad, Alireza \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4455Source: 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)
		Software Engineering for Multi-Agent Systems IV [Recurso electrónico] / Research Issues and Practical Applications edited by Alessandro GarciaRicardo Choren, Carlos Lucena, Paolo Giorgini et al. by Garcia, Alessandro \| Choren, Ricardo \| Giorgini, Paolo \| Holvoet, Tom \| Lucena, Carlos \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3914Source: 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)
		Software Engineering for Multi-Agent Systems III [Recurso electrónico] / Research Issues and Practical Applications edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo \| Garcia, Alessandro \| Lucena, Carlos \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3390Source: 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)
		Software Engineering for Multi-Agent Systems V [Recurso electrónico] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo \| Garcia, Alessandro \| Giese, Holger \| Leung, Ho-fung \| Lucena, Carlos \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4408Source: 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)
		Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L \| Vitek, Jan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4467Source: 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)
		Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky. by Ciancarini, Paolo \| Wiklicky, Herbert \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4038Source: 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)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 65 results.