Bibliotecas UA catálogo › Resultados da pesquisa para 'an:241187'

Complex networks XIV : proceedings of the 14th Conference on Complex Networks, CompleNet 2023 / ed. Andreia Sofia Teixeira ...[et al.] Publicação: Cham : Springer, cop. 2023Descrição: 167 p. : il. color. ; 24 x 16 cmExemplares disponíveis para empréstimo: Biblioteca da UA (1).

MAPiS 2019 - First MAP-i Seminar : proceedings [Recurso eletrónico] / ed. Rui Rua...[et al.] Publicação: Aveiro : UA Editora, 2019Descrição: III, 85 p.Formato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).

High performance computing in science and engineering '13 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) [Recurso eletrónico] / ed. by Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch Publicação: Switzerland : Springer, 2013Descrição: XIII, 697 p. : il. color.Formato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Domain decomposition methods in science and engineering XX [Recurso eletrónico] / ed. by Randolph Bank... [et al.] Publicação: Berlim : Springer, 2013Descrição: XIX, 686 p. : ilFormato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Advances in applied mathematics, modeling, and computational science [Recurso eletrónico] / ed. Roderick MelnikIlias, S. Kotsireas Publicação: Boston (MA) : Springer, 2013Descrição: X, 242 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki Publicação: Heidelberg : Springer, cop. 2012Descrição: XVI, 581 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Sem imagem de capa disponível

Algoritmos para a determinação da região coberta por um k-transmissor / Alexandra Alves ; sob orientação de António Leslie Bajuelos Domínguez Publicação: Aveiro : A. Alves, 2011Descrição: X, 78 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).

A new learning paradigm : competition supported by technology / eds. Elena Verdú ...[et al.] Publicação: Madrid : CEDETEL - Centro para el Desarollo de las Telecomunicaciones de Castilla y León, 2010Descrição: 317 p. : il.Exemplares disponíveis para empréstimo: Mediateca da UA (1).

Sem imagem de capa disponível

Programs, proofs, processes : abstract and handout booklet [of the] 6th Conference on Computability in Europe, CiE 2010 / ed. Fernando Ferreira...[et al.] Publicação: Ponta Delgada : University of Azores. Department of Mathematics. Centre for Applied Mathematics and Information Technology, 2010Descrição: XIV, 428 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).

Programs, proofs, processes : 6th Conference on Computability in Europe, CiE 2010 proceedings / ed. Fernando Ferreira...[et al.] Publicação: New York (NY) : Springer, 2010Descrição: XVI, 450 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman Publicação: Berlin : Springer, cop. 2008Descrição: XVI, 304 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Thesis projects : a guide for students in computer science and information systems / Mikael Berndtsson ... [et al.] Publicação: London : Springer, cop. 2008Descrição: XIII, 158 p. : il. color.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).

Mathematics and computation, a contemporary view [Recurso eletrónico] / ed. Hans Munthe-Kaas, Brynjulf Owren Publicação: Heidelberg : Springer, 2008Descrição: XIV, 127 p. : il. colorAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Rational algebraic curves : a computer algebra approach [Recurso eletrónico] / J. Rafael Sendra, Franz Winkler, Sonia Pérez-Diaz Publicação: Berlin : Springer, 2008Descrição: X, 270 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Mathematics and technology [Recurso eletrónico] / Christiane Rousseau e Yvan Saint-Aubin Publicação: New York : Springer, 2008Descrição: XV, 580 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Information criteria and statistical modeling [Recurso eletrónico] / Sadanori Konishi, Genshiro Kitagawa Publicação: New York : Springer, 2008Descrição: XII, 276 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Handbook of data visualization [Recurso eletrónico] / ed. Chun-houh Chen, Wolfgang Härdle, Antony Unwin Publicação: Heidelberg : Springer, cop. 2008Descrição: XIV, 936 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Data manipulation with R [Recurso eletrónico] / Phil Spector Publicação: New York (NY) : Springer, cop. 2008Descrição: X, 154 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Domain decomposition methods in science and engineering XVI [Recurso eletrónico] / Olof B. Widlund, David E. Keyes Publicação: Berlin : Springer, 2007Descrição: XXI, 763 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

Algorithmic topology and classification of 3-Manifolds [Recurso eletrónico] / Sergei Matveev Publicação: Heidelberg : Springer, cop. 2007Descrição: XIV, 492 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).

		Complex networks XIV : proceedings of the 14th Conference on Complex Networks, CompleNet 2023 / ed. Andreia Sofia Teixeira ...[et al.] Publicação: Cham : Springer, cop. 2023Descrição: 167 p. : il. color. ; 24 x 16 cmExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		MAPiS 2019 - First MAP-i Seminar : proceedings [Recurso eletrónico] / ed. Rui Rua...[et al.] Publicação: Aveiro : UA Editora, 2019Descrição: III, 85 p.Formato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		High performance computing in science and engineering '13 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) [Recurso eletrónico] / ed. by Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch Publicação: Switzerland : Springer, 2013Descrição: XIII, 697 p. : il. color.Formato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Domain decomposition methods in science and engineering XX [Recurso eletrónico] / ed. by Randolph Bank... [et al.] Publicação: Berlim : Springer, 2013Descrição: XIX, 686 p. : ilFormato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Advances in applied mathematics, modeling, and computational science [Recurso eletrónico] / ed. Roderick MelnikIlias, S. Kotsireas Publicação: Boston (MA) : Springer, 2013Descrição: X, 242 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki Publicação: Heidelberg : Springer, cop. 2012Descrição: XVI, 581 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Sem imagem de capa disponível Algoritmos para a determinação da região coberta por um k-transmissor / Alexandra Alves ; sob orientação de António Leslie Bajuelos Domínguez Publicação: Aveiro : A. Alves, 2011Descrição: X, 78 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1). Adicionar ao carrinho (remover)
		A new learning paradigm : competition supported by technology / eds. Elena Verdú ...[et al.] Publicação: Madrid : CEDETEL - Centro para el Desarollo de las Telecomunicaciones de Castilla y León, 2010Descrição: 317 p. : il.Exemplares disponíveis para empréstimo: Mediateca da UA (1). Reservar Adicionar ao carrinho (remover)
		Sem imagem de capa disponível Programs, proofs, processes : abstract and handout booklet [of the] 6th Conference on Computability in Europe, CiE 2010 / ed. Fernando Ferreira...[et al.] Publicação: Ponta Delgada : University of Azores. Department of Mathematics. Centre for Applied Mathematics and Information Technology, 2010Descrição: XIV, 428 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Programs, proofs, processes : 6th Conference on Computability in Europe, CiE 2010 proceedings / ed. Fernando Ferreira...[et al.] Publicação: New York (NY) : Springer, 2010Descrição: XVI, 450 pExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman Publicação: Berlin : Springer, cop. 2008Descrição: XVI, 304 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Thesis projects : a guide for students in computer science and information systems / Mikael Berndtsson ... [et al.] Publicação: London : Springer, cop. 2008Descrição: XIII, 158 p. : il. color.Exemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Mathematics and computation, a contemporary view [Recurso eletrónico] / ed. Hans Munthe-Kaas, Brynjulf Owren Publicação: Heidelberg : Springer, 2008Descrição: XIV, 127 p. : il. colorAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Rational algebraic curves : a computer algebra approach [Recurso eletrónico] / J. Rafael Sendra, Franz Winkler, Sonia Pérez-Diaz Publicação: Berlin : Springer, 2008Descrição: X, 270 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Mathematics and technology [Recurso eletrónico] / Christiane Rousseau e Yvan Saint-Aubin Publicação: New York : Springer, 2008Descrição: XV, 580 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Information criteria and statistical modeling [Recurso eletrónico] / Sadanori Konishi, Genshiro Kitagawa Publicação: New York : Springer, 2008Descrição: XII, 276 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Handbook of data visualization [Recurso eletrónico] / ed. Chun-houh Chen, Wolfgang Härdle, Antony Unwin Publicação: Heidelberg : Springer, cop. 2008Descrição: XIV, 936 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Data manipulation with R [Recurso eletrónico] / Phil Spector Publicação: New York (NY) : Springer, cop. 2008Descrição: X, 154 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Domain decomposition methods in science and engineering XVI [Recurso eletrónico] / Olof B. Widlund, David E. Keyes Publicação: Berlin : Springer, 2007Descrição: XXI, 763 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)
		Algorithmic topology and classification of 3-Manifolds [Recurso eletrónico] / Sergei Matveev Publicação: Heidelberg : Springer, cop. 2007Descrição: XIV, 492 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1). Reservar Adicionar ao carrinho (remover)

Refinar a pesquisa

Autores

Localizações

Coleções

Assuntos