Criterios de búsqueda

Gran Área: Ciencias exactas y naturales

Búsqueda

 


Resultado: 9831 registro(s)

534

Tool and Object

A History and Philosophy of Category Theory Vol. 32

 

13th ed. Basel: Birkhäuser Verlag, 2007.

Título de la serie/colección: Science Networks. Historical Studies.

ISBNs 9783764375232 9783764375249

Colección: SpringerLink


Cobertura temática

Acceder

949

Acceso abierto

Tools and Algorithms for the Construction and Analysis of Systems

Vol. 10805

 

1st ed. Springer International Publishing, 2018.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 978-3-319-89959-6 978-3-319-89960-2

Colección: SpringerLink

Licencia de uso: The Editor(s) (if applicable) and The Author(s)


Cobertura temática

Acceder

953

Acceso abierto

Tools and Algorithms for the Construction and Analysis of Systems

Vol. 10806

 

1st ed. Springer International Publishing, 2018.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 978-3-319-89962-6 978-3-319-89963-3

Colección: SpringerLink

Licencia de uso: The Editor(s) (if applicable) and The Author(s)


Cobertura temática

Acceder

1621

Tools and Algorithms for the Construction and Analysis of Systems

13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24: April 1, 2007. Pro Vol. 4424

 

13th ed. Berlin, Heidelberg: Springer-Verlag, 2007.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 9783540712084 9783540712091

Colección: SpringerLink


Cobertura temática

Acceder

2458

Tools and Algorithms for the Construction and Analysis of Systems

11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory ad Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. P Vol. 3440

 

13th ed. Berlin, Heidelberg: Springer-Verlag GmbH, 2005.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 9783540253334 9783540319801

Colección: SpringerLink


Cobertura temática

Acceder

10104

Acceso abierto

Tools and Algorithms for the Construction and Analysis of Systems

Vol. 11427

 

1st ed. Springer International Publishing, 2019.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 978-3-030-17461-3 978-3-030-17462-0

Colección: SpringerLink

Licencia de uso: The Editor(s) (if applicable) and The Author(s)


Cobertura temática

Acceder

10105

Acceso abierto

Tools and Algorithms for the Construction and Analysis of Systems

Vol. 11429

 

1st ed. Springer International Publishing, 2019.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 978-3-030-17501-6 978-3-030-17502-3

Colección: SpringerLink

Licencia de uso: The Editor(s) (if applicable) and The Author(s)


Cobertura temática

Acceder

10372

Acceso abierto

Tools and Algorithms for the Construction and Analysis of Systems

Vol. 12078

 

1st ed. Springer International Publishing, 2020.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 978-3-030-45189-9 978-3-030-45190-5

Colección: SpringerLink

Licencia de uso: The Editor(s) (if applicable) and The Author(s)


Cobertura temática

Acceder

10374

Acceso abierto

Tools and Algorithms for the Construction and Analysis of Systems

Vol. 12079

 

1st ed. Springer International Publishing, 2020.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 978-3-030-45236-0 978-3-030-45237-7

Colección: SpringerLink

Licencia de uso: The Editor(s) (if applicable) and The Author(s)


Cobertura temática

Acceder

26740

Acceso abierto

Tools and Algorithms for the Construction and Analysis of Systems

Vol. 11428

 

1st ed. Springer International Publishing, 2019.

Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,

ISBNs 978-3-030-17464-4 978-3-030-17465-1

Colección: SpringerLink

Licencia de uso: The Editor(s) (if applicable) and The Author(s)


Cobertura temática

Acceder


Los iconos de las disciplinas fueron generados desde flaticon.com bajo licencia CC BY.