Cargando…

Transactions on Rough Sets XII

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Slowiński, Roman (Editor ), Lingras, Pawan (Editor ), Miao, Duoqian (Editor ), Tsumoto, Shusaku (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Colección:	Transactions on Rough Sets, 6190
Temas:	Compilers (Computer programs). Computer programming. Application software. Machine theory. Computer science. Compilers and Interpreters. Programming Techniques. Computer and Information Systems Applications. Formal Languages and Automata Theory. Theory of Computation.
Acceso en línea:	Texto Completo

Ejemplares similares

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures /
Publicado: (2011)

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /
Publicado: (2006)

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Publicado: (2013)

CONCUR 2012- Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings /
Publicado: (2012)

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
Publicado: (2016)

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
Publicado: (2012)

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /
Publicado: (2008)

Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings /
Publicado: (2011)

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
Publicado: (2008)

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /
Publicado: (2013)

Trends in Functional Programming 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers /
Publicado: (2013)

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /
Publicado: (2008)

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /
Publicado: (2008)

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings /
Publicado: (2009)

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
Publicado: (2016)

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings /
Publicado: (2014)

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /
Publicado: (2013)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings /
Publicado: (2010)

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings /
Publicado: (2009)

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Publicado: (2010)

Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
Publicado: (2016)

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
Publicado: (2015)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
Publicado: (2015)

Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Publicado: (2014)

Theoretical Introduction to Programming
por: Mills, Bruce Ian
Publicado: (2006)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
Publicado: (2010)

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
Publicado: (2010)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
Publicado: (2010)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings /
Publicado: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /
Publicado: (2010)

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /
Publicado: (2010)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /
Publicado: (2010)

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Publicado: (2010)

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /
Publicado: (2010)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Publicado: (2010)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Publicado: (2010)

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
Publicado: (2005)

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /
Publicado: (2008)

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings /
Publicado: (2009)

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_9422ia1kg6i7uljsgi3rcs9luf