Results of search for '"Logic design"' › Biblioteca UCA catalog

Results
		Logical design of digital systems / Arthur D. Friedman by Friedman, Arthur Daniel. Series: Pitman international textsMaterial type: Text Publication details: London : Pitman, 1977Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: Matemáticas - 519.68/FRI/log. Log in to add tags Add to cart (remove)
		Theorem Proving in Higher Order Logics [Recurso electrónico] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus \| Brandt, Jens \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4732Source: 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)
		Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels by Feitelson, Dror \| Rudolph, Larry \| Schwiegelshohn, Uwe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3277Source: 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)
		Theorem Proving in Higher Order Logics [Recurso electrónico] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings edited by Joe Hurd, Tom Melham. by Hurd, Joe \| Melham, Tom \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3603Source: 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)
		Computer Aided Verification (vol. # 4144) [Recurso electrónico] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Thomas Ball, Robert B. Jones. by Ball, Thomas \| Jones, Robert B \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4144Source: 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)
		Computer Aided Verification (vol. # 3576) [Recurso electrónico] / 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings edited by Kousha Etessami, Sriram K. Rajamani. by Etessami, Kousha \| Rajamani, Sriram K \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3576Source: 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)
		Advances in Power Electronics and Instrumentation Engineering [Recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. by Das, Vinu V \| Thankachan, Nessy \| Debnath, Narayan C \| SpringerLink (Online service). Series: Communications in Computer and Information Science ; 148Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Power Electronics and Instrumentation Engineering [Recurso electrónico] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan. by Das, Vinu V \| Stephen, Janahanlal \| Thankachan, Nessy \| SpringerLink (Online service). Series: Communications in Computer and Information Science ; 102Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Job Scheduling Strategies for Parallel Processing (vol. # 3834) [Recurso electrónico] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru by Feitelson, Dror \| Frachtenberg, Eitan \| Rudolph, Larry \| Schwiegelshohn, Uwe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3834Source: 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)
		Computer Aided Verification [Recurso electrónico] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner \| Hermanns, Holger \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4590Source: 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)
		Advances in Computer Systems Architecture (vol. # 4186) [Recurso electrónico] / 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings edited by Chris Jesshope, Colin Egan. by Jesshope, Chris \| Egan, Colin \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4186Source: 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)
		High Performance Embedded Architectures and Compilers [Recurso electrónico] / First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings edited by Tom ConteWen-mei W. Hwu, Nacho Navarro, Theo Ungerer et a by Conte, Tom \| Hwu, Wen-mei W \| Navarro, Nacho \| Ungerer, Theo \| Valero, Mateo \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3793Source: 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)
		Advances in Computer Systems Architecture (vol. # 3740) [Recurso electrónico] / 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue. by Chang, Chip-Hong \| Srikanthan, Thambipillai \| Xue, Jingling \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3740Source: 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)
		Advances in Computer Systems Architecture [Recurso electrónico] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho. by Choi, Lynn \| Cho, Sangyeun \| Paek, Yunheung \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4697Source: 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)
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) [Recurso electrónico] / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh by Vounckx, Johan \| Azemard, Nadine \| Maurine, Philippe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4148Source: 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)
		Evolvable Systems: From Biology to Hardware [Recurso electrónico] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings edited by Jordi Cosp, Jordi Madrenas, J. Manuel Moreno. by Cosp, Jordi \| Madrenas, Jordi \| Moreno, J. Manuel \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3637Source: 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)
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [Recurso electrónico] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings. Nadine AzÃ©mard, Lars Sve by AzÃ©mard, Nadine \| Svensson, Lars \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4644Source: 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)
		Dependable Computing [Recurso electrónico] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Bondavalli, Andrea \| Brasileiro, Francisco \| Rajsbaum, Sergio \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4746Source: 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)
		Dependable Computing [Recurso electrónico] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings edited by Aline Maria Santos Andrade, FlÃ¡vio Morais de Assis Silva, Carlos Alberto Maziero, JoÃ£o Gabri by Andrade, Aline Maria Santos \| Assis Silva, FlÃ¡vio Morais de \| Maziero, Carlos Alberto \| Silva, JoÃ£o Gabriel \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3747Source: 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)
		Implementation and Application of Functional Languages [Recurso electrónico] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. ZoltÃ¡n HorvÃ¡th, ViktÃ³ria ZsÃ³k, Andrew Butterfield. by HorvÃ¡th, ZoltÃ¡n \| Butterfield, Andrew \| ZsÃ³k, ViktÃ³ria \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4449Source: 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)

		Logical design of digital systems / Arthur D. Friedman by Friedman, Arthur Daniel. Series: Pitman international textsMaterial type: Text Publication details: London : Pitman, 1977Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: Matemáticas - 519.68/FRI/log. Log in to add tags Add to cart (remove)
		Theorem Proving in Higher Order Logics [Recurso electrónico] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus \| Brandt, Jens \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4732Source: 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)
		Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels by Feitelson, Dror \| Rudolph, Larry \| Schwiegelshohn, Uwe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3277Source: 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)
		Theorem Proving in Higher Order Logics [Recurso electrónico] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings edited by Joe Hurd, Tom Melham. by Hurd, Joe \| Melham, Tom \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3603Source: 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)
		Computer Aided Verification (vol. # 4144) [Recurso electrónico] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Thomas Ball, Robert B. Jones. by Ball, Thomas \| Jones, Robert B \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4144Source: 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)
		Computer Aided Verification (vol. # 3576) [Recurso electrónico] / 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings edited by Kousha Etessami, Sriram K. Rajamani. by Etessami, Kousha \| Rajamani, Sriram K \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3576Source: 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)
		Advances in Power Electronics and Instrumentation Engineering [Recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. by Das, Vinu V \| Thankachan, Nessy \| Debnath, Narayan C \| SpringerLink (Online service). Series: Communications in Computer and Information Science ; 148Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Power Electronics and Instrumentation Engineering [Recurso electrónico] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan. by Das, Vinu V \| Stephen, Janahanlal \| Thankachan, Nessy \| SpringerLink (Online service). Series: Communications in Computer and Information Science ; 102Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Job Scheduling Strategies for Parallel Processing (vol. # 3834) [Recurso electrónico] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru by Feitelson, Dror \| Frachtenberg, Eitan \| Rudolph, Larry \| Schwiegelshohn, Uwe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3834Source: 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)
		Computer Aided Verification [Recurso electrónico] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner \| Hermanns, Holger \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4590Source: 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)
		Advances in Computer Systems Architecture (vol. # 4186) [Recurso electrónico] / 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings edited by Chris Jesshope, Colin Egan. by Jesshope, Chris \| Egan, Colin \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4186Source: 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)
		High Performance Embedded Architectures and Compilers [Recurso electrónico] / First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings edited by Tom ConteWen-mei W. Hwu, Nacho Navarro, Theo Ungerer et a by Conte, Tom \| Hwu, Wen-mei W \| Navarro, Nacho \| Ungerer, Theo \| Valero, Mateo \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3793Source: 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)
		Advances in Computer Systems Architecture (vol. # 3740) [Recurso electrónico] / 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue. by Chang, Chip-Hong \| Srikanthan, Thambipillai \| Xue, Jingling \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3740Source: 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)
		Advances in Computer Systems Architecture [Recurso electrónico] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho. by Choi, Lynn \| Cho, Sangyeun \| Paek, Yunheung \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4697Source: 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)
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) [Recurso electrónico] / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh by Vounckx, Johan \| Azemard, Nadine \| Maurine, Philippe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4148Source: 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)
		Evolvable Systems: From Biology to Hardware [Recurso electrónico] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings edited by Jordi Cosp, Jordi Madrenas, J. Manuel Moreno. by Cosp, Jordi \| Madrenas, Jordi \| Moreno, J. Manuel \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3637Source: 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)
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [Recurso electrónico] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings. Nadine AzÃ©mard, Lars Sve by AzÃ©mard, Nadine \| Svensson, Lars \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4644Source: 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)
		Dependable Computing [Recurso electrónico] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Bondavalli, Andrea \| Brasileiro, Francisco \| Rajsbaum, Sergio \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4746Source: 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)
		Dependable Computing [Recurso electrónico] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings edited by Aline Maria Santos Andrade, FlÃ¡vio Morais de Assis Silva, Carlos Alberto Maziero, JoÃ£o Gabri by Andrade, Aline Maria Santos \| Assis Silva, FlÃ¡vio Morais de \| Maziero, Carlos Alberto \| Silva, JoÃ£o Gabriel \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3747Source: 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)
		Implementation and Application of Functional Languages [Recurso electrónico] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. ZoltÃ¡n HorvÃ¡th, ViktÃ³ria ZsÃ³k, Andrew Butterfield. by HorvÃ¡th, ZoltÃ¡n \| Butterfield, Andrew \| ZsÃ³k, ViktÃ³ria \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4449Source: 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages

Your search returned 322 results.