Results of search for 'Provider:Springer-Verlag GmbH.,'

Results
		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 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)
		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)
		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)
		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)
		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)
		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)
		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 (vol. # 4015) [Recurso electrónico] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers edited by Andrew Butterfield, Clemens Grelck, by Butterfield, Andrew \| Grelck, Clemens \| Huch, Frank \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4015Source: 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)
		Cryptographic Hardware and Embedded Systems - CHES 2005 [Recurso electrónico] / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings edited by Josyula R. Rao, Berk Sunar. by Rao, Josyula R \| Sunar, Berk \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3659Source: 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 (vol. # 3728) [Recurso electrónico] / 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings edited by Vassili by Paliouras, Vassilis \| Verkest, Diederik \| Vounckx, Johan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3728Source: 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)
		Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3385Source: 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)
		Model-Based Testing of Reactive Systems [Recurso electrónico] / Advanced Lectures edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al. by Broy, Manfred \| Jonsson, Bengt \| Katoen, Joost-Pieter \| Leucker, Martin \| Pretschner, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3472Source: 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)
		Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau. by Banach, Richard \| Lau, Kung-Kiu \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3785Source: 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 (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich by Grelck, Clemens \| Huch, Frank \| Michaelson, Greg \| Trinder, Phil \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3474Source: 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)
		Cryptographic Hardware and Embedded Systems - CHES 2006 [Recurso electrónico] / 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings edited by Louis Goubin, Mitsuru Matsui. by Goubin, Louis \| Matsui, Mitsuru \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4249Source: 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)
		Model Checking Software (vol. # 3639) [Recurso electrónico] / 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid. by Godefroid, Patrick \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3639Source: 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)

		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 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)
		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)
		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)
		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)
		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)
		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)
		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 (vol. # 4015) [Recurso electrónico] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers edited by Andrew Butterfield, Clemens Grelck, by Butterfield, Andrew \| Grelck, Clemens \| Huch, Frank \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4015Source: 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)
		Cryptographic Hardware and Embedded Systems - CHES 2005 [Recurso electrónico] / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings edited by Josyula R. Rao, Berk Sunar. by Rao, Josyula R \| Sunar, Berk \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3659Source: 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 (vol. # 3728) [Recurso electrónico] / 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings edited by Vassili by Paliouras, Vassilis \| Verkest, Diederik \| Vounckx, Johan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3728Source: 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)
		Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3385Source: 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)
		Model-Based Testing of Reactive Systems [Recurso electrónico] / Advanced Lectures edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al. by Broy, Manfred \| Jonsson, Bengt \| Katoen, Joost-Pieter \| Leucker, Martin \| Pretschner, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3472Source: 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)
		Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau. by Banach, Richard \| Lau, Kung-Kiu \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3785Source: 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 (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich by Grelck, Clemens \| Huch, Frank \| Michaelson, Greg \| Trinder, Phil \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3474Source: 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)
		Cryptographic Hardware and Embedded Systems - CHES 2006 [Recurso electrónico] / 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings edited by Louis Goubin, Mitsuru Matsui. by Goubin, Louis \| Matsui, Mitsuru \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4249Source: 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)
		Model Checking Software (vol. # 3639) [Recurso electrónico] / 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid. by Godefroid, Patrick \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3639Source: 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 180 results.