REBIUN - ODA

Catálogo de la Red de Bibliotecas Universitarias y Científicas

Recent Trends in Algebraic Development Techniques [23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21{u2013}24, 2016, Revised Selected Papers

Springer International Publishing 2017

Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer simulation Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Foundations

Monografía

monografia Rebiun19609758 https://catalogo.rebiun.org/rebiun/record/Rebiun19609758 171207s2017 gw | s 100 0 eng c 9783319720449 9783319720432 UPNA0482431 UMA.RE Recent Trends in Algebraic Development Techniques Recurso electrónico] :] 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21{u2013}24, 2016, Revised Selected Papers edited by Phillip James, Markus Roggenbach Servicio en línea Cham Springer International Publishing 2017 Cham Cham Springer International Publishing X, 223 p. 28 il X, 223 p. 28 il Lecture Notes in Computer Science 10644 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Modo de acceso: world wide web Springer (e-Books) Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer simulation Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Foundations James, Phillip ed. lit Roggenbach, Markus ed. lit Lecture Notes in Computer Science (Servicio en línea) SpringerLink Books (Servicio en línea)

Localizaciones: 3
Préstamo interbibliotecario

Formato:

Título:

Recent Trends in Algebraic Development Techniques [ Recurso electrónico] :] 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21{u2013}24, 2016, Revised Selected Papers / edited by Phillip James, Markus Roggenbach

Editorial:

Cham : Springer International Publishing, 2017

Descripción física:

X, 223 p. 28 il

Mención de serie:

Lecture Notes in Computer Science ; 10644

Restricciones de acceso:

Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía

Detalles del sistema:

Modo de acceso: world wide web

Fuente de adquisición directa:

Springer (e-Books)

ISBN:

9783319720449

9783319720432

Autores:

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Seleccione el centro al que pertenece para solicitar la petición de préstamo de este documento.

Filtrar por:

Relacionados

Mismo Género

Autores Papavassiliou, Symeon Ruehrup, Stefan

Formato Monografía

Formato Monografía
Autores Puliafito, Antonio., ed. lit Bruneo, Dario., ed. lit Distefano, Salvatore., ed. lit Longo, Francesco., ed. lit

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Li, Kang., ed. lit Xue, Yusheng., ed. lit Cui, Shumei., ed. lit Niu, Qun., ed. lit Yang, Zhile., ed. lit Luk, Patrick., ed. lit

Publicación Singapore : Springer Singapore : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Fei, Minrui., ed. lit Ma, Shiwei., ed. lit Li, Xin., ed. lit Sun, Xin., ed. lit Jia, Li., ed. lit Su, Zhou., ed. lit

Publicación Singapore : Springer Singapore : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Battiato, Sebastiano Blanc-Talon, Jacques Gallo, Giovanni Philips, Wilfried Popescu, Dan Scheunders, Paul

Formato Monografía

Formato Monografía
Autores Blanc-Talon, Jacques., ed. lit Penne, Rudi., ed. lit Philips, Wilfried., ed. lit Popescu, Dan, ed. lit Scheunders, Paul., ed. lit

Publicación Cham : Springer International Publishing, 2017

Formato Monografía

Formato Monografía
Autores Cong, Gao., ed. lit Peng, Wen-Chih., ed. lit Zhang, Wei Emma., ed. lit Li, Chengliang., ed. lit Sun, Aixin., ed. lit

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Singh, Dharm., ed. lit Raman, Balasubramanian., ed. lit Luhach, Ashish Kumar., ed. lit Lingras, Pawan., ed. lit

Publicación Singapore : Springer Singapore : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Zdravkovic, Jelena Kirikova, Marite Johannesson, Paul

Formato Monografía

Formato Monografía
Autores Metzger, Andreas., ed. lit Persson, Anne., ed. lit

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Huang, De-Shuang Han, Kyungsook

Formato Monografía

Formato Monografía
Autores Chen, Yunji Ienne, Paolo Ji, Qing

Formato Monografía

Formato Monografía

Misma Editorial y Colección

Autores Münster, Sander Pfarr-Harfst, Mieke Kuroczynski, Piotr Ioannides, Marinos SpringerLink (Online service)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2016

Formato Monografía

Formato Monografía
Autores Butler, Michael C., editor Schewe, Klaus-Dieter., editor Mashkoor, Atif., editor Biro, Miklos., editor SpringerLink Book Series (Online Service)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2016

Formato Monografía

Formato Monografía
Autores Mazzeo, Pier Luigi. Spagnolo, Paolo. Moeslund, Thomas B. SpringerLink (plataforma)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2014.

Formato Monografía

Formato Monografía
Autores Puliafito, Antonio Bruneo, Dario Distefano, Salvatore Longo, Francesco SpringerLink (Servicio en línea)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Guo, Song. Lloret, Jaume Manzoni, Pietro. Ruehrup, Stefan. SpringerLink (plataforma)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2014.

Formato Monografía

Formato Monografía
Autores Mitton, Nathalie Loscri, Valeria Mouradian, Alexandre SpringerLink (Online service)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2016

Formato Monografía

Formato Monografía
Autores Puliafito, Antonio., ed. lit Bruneo, Dario., ed. lit Distefano, Salvatore., ed. lit Longo, Francesco., ed. lit

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Verbert, Katrien., editor Sharples, Mike, editor Klobucar, Tomaz., editor SpringerLink (Online service)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2016

Formato Monografía

Formato Monografía
Autores Verbert, Katrien Sharples, Mike Klobucar, Tomaz SpringerLink (Online service)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2016

Formato Monografía

Formato Monografía
Autores Bouchachia, Abdelhamid SpringerLink (plataforma)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2014.

Formato Monografía

Formato Monografía
Autores Nürnberger, Andreas. Stober, Sebastian. Larsen, Birger. Detyniecki, Marcin. SpringerLink (plataforma)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2014.

Formato Monografía

Formato Monografía
Autores Pop, Florin., editor Potop-Butucaru, Maria., editor SpringerLink (Online service)

Publicación Cham : Springer International Publishing : Imprint: Springer, 2015

Formato Monografía

Formato Monografía