Buscar
Avanzada
Historial
Registros por pagina:
20
50
100
Buscar Por:
Título
Autor/Editor
Colección
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Registros por pagina:
20
50
100
Busquedas:
Keyword
: Logics and Meanings of Programs
Keyword
: Software Engineering
Keyword
: Computer Science
Keyword
: Algorithms
Keyword
: Computer Graphics
de
16 paginas
registros 201 al 300 de 1525
Business Modeling and Software Design : 7th International Symposium, Revised Selected Paper
Autor/Editor:
Shishkov, Boris
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-78428-1
+ info
Business Modeling and Software Design : 8th International Symposium, Revised Selected Paper
Autor/Editor:
Shishkov, Boris
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94214-8
+ info
Business Process Management
Autor/Editor:
Sadiq, Shazia
Soffer, Pnina
Völzer, Hagen
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10172-9
+ info
Business Process Management
Autor/Editor:
Weske, Mathias
Montali, Marco
Weber, Ingo
Brocke, Jan vom
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-98648-7
+ info
Business Process Management : Concepts, Languages, Architectures
Autor/Editor:
Weske, Mathias
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28616-2
+ info
Business Process Management Workshops. Part I
Autor/Editor:
Daniel, Florian
Barkaoui, Kamel
Dustdar, Schahram
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28108-2
+ info
Business Process Management Workshops. Part II
Autor/Editor:
Daniel, Florian
Barkaoui, Kamel
Dustdar, Schahram
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28115-0
+ info
Business Process Management. 10th International Conference, BPM 2012
Autor/Editor:
Barros, Alistair
Gal, Avigdor
Kindler, Ekkart
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32885-5
+ info
Business Process Models. Change Management
Autor/Editor:
Gerth, Christian
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38604-6
+ info
Business System Management and Engineering
Autor/Editor:
Ardagna, Claudio A.
Damiani, Ernesto
Maciaszek, Leszek A.
Missikoff, Michele
Parkin, Michael
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32439-0
+ info
Capability Management in Digital Enterprises
Autor/Editor:
Sandkuhl, Kurt
Stirna, Janis
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-90424-5
+ info
Central European Functional Programming School
Autor/Editor:
Zsók, Viktória
Horváth, Zoltán
Csató, Lehel
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-15940-9
+ info
Central European Functional Programming School
Autor/Editor:
Zsók, Viktória
Horváth, Zoltán
Plasmeijer, Rinus
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32096-5
+ info
Certified Programs and Proofs
Autor/Editor:
Hawblitzel, Chris
Miller, Dale
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35308-6
+ info
Cloud Computing
Autor/Editor:
Leung, Victor C.M.
Lai, Roy Xiaorong
Chen, Min
Wan, Jiafu
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-16050-4
+ info
Cloud Computing
Autor/Editor:
Mahmood, Zaigham
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-5107-4
+ info
Cloud Computing
Autor/Editor:
Yousif, Mazin
Schubert, Lutz
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-03874-2
+ info
Cloud Computing
Autor/Editor:
Zhang, Yin
Peng, Limei
Youn, Chan-Hyun
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-38904-2
+ info
Cloud Computing and Big Data
Autor/Editor:
Qiang, Weizhong
Zheng, Xianghan
Hsu, Ching-Hsien
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-28430-9
+ info
Cloud Computing and Service Science
Autor/Editor:
Ferguson, Donald
Méndez Muñoz, Víctor
Cardoso, Jorge
Helfert, Markus
Pahl, Claus
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94959-8
+ info
Cloud Computing and Services Science
Autor/Editor:
Ivanov, Ivan I.
Sinderen, Marten
Leymann, Frank
Shan, Tony
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-04519-1
+ info
Cloud Computing and Services Science
Autor/Editor:
Helfert, Markus
Desprez, Frédéric
Ferguson, Donald
Leymann, Frank
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11561-0
+ info
Cloud Computing and Services Science
Autor/Editor:
Helfert, Markus
Méndez Muñoz, Víctor
Ferguson, Donald
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29582-4
+ info
Cloud Computing and Services Science
Autor/Editor:
Helfert, Markus
Ferguson, Donald
Méndez Muñoz, Victor
Cardoso, Jorge
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-62594-2
+ info
Cloud Computing and Services Sciences
Autor/Editor:
Helfert, Markus
Desprez, Frédéric
Ferguson, Donald
Leymann, Frank
Méndez Muñoz, Victor
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25414-2
+ info
Cloud Computing. 4th International Conference
Autor/Editor:
Leung, Victor C.M.
Chen, Min
Año de edición:
2014
Acceso:
UBA
http://link.springer.com/book/10.1007/978-3-319-05506-0
+ info
Cloud Portability and Interoperability
Autor/Editor:
Di Martino, Beniamino
Cretella, Giuseppina
Esposito, Antonio
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-13701-8
+ info
Cloud Service Benchmarking
Autor/Editor:
Bermbach, David
Wittern, Erik
Tai, Stefan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-55483-9
+ info
Coding Theory and Applications
Autor/Editor:
Barbero, Ángela I.
Skachek, Vitaly
Ytrehus, Øyvind
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66278-7
+ info
Collaboration and Technology
Autor/Editor:
Baloian, Nelson
Zorian, Yervant
Taslakian, Perouz
Shoukouryan, Samvel
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-22747-4
+ info
Collaboration and Technology
Autor/Editor:
Yuizono, Takaya
Ogata, Hiroaki
Hoppe, Ulrich
Vassileva, Julita
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-44799-5
+ info
Collaboration and Technology
Autor/Editor:
Gutwin, Carl
Ochoa, Sergio F.
Vassileva, Julita
Inoue, Tomoo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63874-4
+ info
Collaboration in a Data-Rich World
Autor/Editor:
Camarinha-Matos, Luis M.
Afsarmanesh, Hamideh
Fornasiero, Rosanna
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-65151-4
+ info
Collaboration in a Hyperconnected World
Autor/Editor:
Afsarmanesh, Hamideh
Camarinha-Matos, Luis M.
Soares, António Lucas
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-45390-3
+ info
Collaboration Meets Interactive Spaces
Autor/Editor:
Anslow, Craig
Campos, Pedro
Jorge, Joaquim
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-45853-3
+ info
Collaboration Technologies and Social Computing
Autor/Editor:
Egi, Hironori
Yuizono, Takaya
Baloian, Nelson
Yoshino, Takashi
Ichimura, Satoshi
Rodrigues, Armanda
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-98743-9
+ info
Collaborative Design for Embedded Systems
Autor/Editor:
Fitzgerald, John
Gorm Larsen, Peter
Verhoef, Marcel
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54118-6
+ info
Collaborative Networks in the Internet of Services
Autor/Editor:
Camarinha-Matos, Luis M.
Xu, Lai
Afsarmanesh, Hamideh
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32775-9
+ info
Collaborative Networks of Cognitive Systems
Autor/Editor:
Camarinha-Matos, Luis M.
Afsarmanesh, Hamideh
Rezgui, Yacine
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99127-6
+ info
Combinatorial Algorithms : 29th International Workshop, Proceedings
Autor/Editor:
Iliopoulos, Costas
Leong, Hon Wai
Sung, Wing-Kin
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94667-2
+ info
Combinatorial Image Analysis
Autor/Editor:
Barneva, Reneta P.
Brimkov, Valentin E.
Tavares, João Manuel R.S.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-05288-1
+ info
Combinatorial Optimization and Applications
Autor/Editor:
Gao, Xiaofeng
Du, Hongwei
Han, Meng
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-71147-8
+ info
Combinatorial Optimization and Applications
Autor/Editor:
Gao, Xiaofeng
Du, Hongwei
Han, Meng
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-71150-8
+ info
Combinatorial Testing in Cloud Computing
Autor/Editor:
Tsai, Wei-Tek
Qi, Guanqiu
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-981-10-4481-6
+ info
Combinatorics on Words
Autor/Editor:
Manea, Florin
Nowotka, Dirk
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23660-5
+ info
Combinatorics on Words
Autor/Editor:
Karhumäki, Juhani
Lepistö, Arto
Zamboni, Luca
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40579-2
+ info
Comparing and Aligning Process Representations
Autor/Editor:
Aa, Han van der
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94634-4
+ info
Compiler Construction
Autor/Editor:
Franke, Björn
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-46663-6
+ info
Compiler Construction
Autor/Editor:
O’Boyle, Michael
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28652-0
+ info
Compiler Construction
Autor/Editor:
Jhala, Ranjit
Bosschere, Koen
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37051-9
+ info
Compiler Construction
Autor/Editor:
Cohen, Albert
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54807-9
+ info
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Autor/Editor:
Coecke, Bob
Ong, Luke
Panangaden, Prakash
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38164-5
+ info
Computational Logic in Multi-Agent Systems
Autor/Editor:
Fisher, Michael
Torre, Leon
Dastani, Mehdi
Governatori, Guido
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32897-8
+ info
Computational Logic in Multi-Agent Systems
Autor/Editor:
Leite, João
Son, Tran Cao
Torroni, Paolo
Torre, Leon
Woltran, Stefan
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40624-9
+ info
Computational Logic in Multi-Agent Systems
Autor/Editor:
Bulling, Nils
Torre, Leendert
Villata, Serena
Jamroga, Wojtek
Vasconcelos, Wamberto
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09764-0
+ info
Computational Logistics
Autor/Editor:
Corman, Francesco
Voß, Stefan
Negenborn, Rudy R.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24264-4
+ info
Computational Logistics
Autor/Editor:
Hu, Hao
Shi, Xiaoning
Stahlbock, Robert
Voß, Stefan
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33587-7
+ info
Computational Logistics
Autor/Editor:
Pacino, Dario
Voß, Stefan
Jensen, Rune Møller
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41019-2
+ info
Computational Logistics
Autor/Editor:
González-Ramírez, Rosa G.
Schulte, Frederik
Voß, Stefan
Ceroni Díaz, Jose A.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11421-7
+ info
Computational Logistics
Autor/Editor:
Paias, Ana
Ruthmair, Mario
Voß, Stefan
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-44896-1
+ info
Computational Logistics
Autor/Editor:
BektaÅŸ, Tolga
Coniglio, Stefano
Martinez-Sykora, Antonio
Voß, Stefan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68496-3
+ info
Computational Methods in Systems Biology
Autor/Editor:
Roux, Olivier
Bourdon, Jérémie
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23401-4
+ info
Computational Methods in Systems Biology
Autor/Editor:
Gilbert, David
Heiner, Monika
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33636-2
+ info
Computational Methods in Systems Biology
Autor/Editor:
Gupta, Ashutosh
Henzinger, Thomas A.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40708-6
+ info
Computational Methods in Systems Biology
Autor/Editor:
Mendes, Pedro
Dada,Joseph O.
Smallbone, Kieran
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-12982-2
+ info
Computational Methods in Systems Biology
Autor/Editor:
Bartocci, Ezio
Lio, Pietro
Paoletti, Nicola
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-45177-0
+ info
Computational Methods in Systems Biology
Autor/Editor:
Češka, Milan
Šafránek, David
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99429-1
+ info
Computational Science and Its Applications -- ICCSA 2015
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Gavrilova, Marina L.
Rocha, Ana Maria Alves Coutinho
Torre, Carmelo
Taniar, David
Apduhan, Bernady O.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21404-7
+ info
Computational Science and Its Applications -- ICCSA 2015
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Gavrilova, Marina L.
Rocha, Ana Maria Alves Coutinho
Torre, Carmelo
Taniar, David
Apduhan, Bernady O.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21407-8
+ info
Computational Science and Its Applications -- ICCSA 2015
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Gavrilova, Marina L.
Rocha, Ana Maria Alves Coutinho
Torre, Carmelo
Taniar, David
Apduhan, Bernady O.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21410-8
+ info
Computational Science and Its Applications -- ICCSA 2015
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Gavrilova, Marina L.
Rocha, Ana Maria Alves Coutinho
Torre, Carmelo
Taniar, David
Apduhan, Bernady O.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21413-9
+ info
Computational Science and Its Applications -- ICCSA 2015
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Gavrilova, Marina L.
Rocha, Ana Maria Alves Coutinho
Torre, Carmelo
Taniar, David
Apduhan, Bernady O.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21470-2
+ info
Computational Science and Its Applications – ICCSA 2012. Part I
Autor/Editor:
Murgante, Beniamino
Gervasi, Osvaldo
Misra, Sanjay
Nedjah, Nadia
Rocha, Ana Maria A. C.
Taniar, David
Apduhan, Bernady O.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31125-3
+ info
Computational Science and Its Applications – ICCSA 2012. Part II
Autor/Editor:
Murgante, Beniamino
Gervasi, Osvaldo
Misra, Sanjay
Nedjah, Nadia
Rocha, Ana Maria A. C.
Taniar, David
Apduhan, Bernady O.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31075-1
+ info
Computational Science and Its Applications – ICCSA 2012. Part III
Autor/Editor:
Murgante, Beniamino
Gervasi, Osvaldo
Misra, Sanjay
Nedjah, Nadia
Rocha, Ana Maria A. C.
Taniar, David
Apduhan, Bernady O.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31137-6
+ info
Computational Science and Its Applications – ICCSA 2012. Part IV
Autor/Editor:
Murgante, Beniamino
Gervasi, Osvaldo
Misra, Sanjay
Nedjah, Nadia
Rocha, Ana Maria A. C.
Taniar, David
Apduhan, Bernady O.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31128-4
+ info
Computational Science and Its Applications – ICCSA 2013
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Carlini, Maurizio
Torre, Carmelo M.
Nguyen, Hong-Quang
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39637-3
+ info
Computational Science and Its Applications – ICCSA 2013
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Carlini, Maurizio
Torre, Carmelo M.
Nguyen, Hong-Quang
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39640-3
+ info
Computational Science and Its Applications – ICCSA 2013
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Carlini, Maurizio
Torre, Carmelo M.
Nguyen, Hong-Quang
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39643-4
+ info
Computational Science and Its Applications – ICCSA 2013
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Carlini, Maurizio
Torre, Carmelo M.
Nguyen, Hong-Quang
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39646-5
+ info
Computational Science and Its Applications – ICCSA 2013
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Carlini, Maurizio
Torre, Carmelo M.
Nguyen, Hong-Quang
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39649-6
+ info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part I
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo
Rocha, Jorge Gustavo
Falcão, Maria Irene
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09144-0
+ info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part III
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo
Rocha, Jorge Gustavo
Falcão, Maria Irene
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09150-1
+ info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part IV
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo
Rocha, Jorge Gustavo
Falcão, Maria Irene
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09147-1
+ info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part V
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo
Rocha, Jorge Gustavo
Falcão, Maria Irene
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09156-3
+ info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part VI
Autor/Editor:
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo
Rocha, Jorge Gustavo
Falcão, Maria Irene
Taniar, David
Apduhan, Bernady O.
Gervasi, Osvaldo
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09153-2
+ info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part I
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo M.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Wang, Shangguang
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42085-1
+ info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part II
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A.C.
Torre, Carmelo M.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Wang, Shangguang
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42108-7
+ info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part III
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A.C.
Torre, Carmelo M.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Wang, Shangguang
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42111-7
+ info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part IV
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A.C.
Torre, Carmelo M.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Wang, Shangguang
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42089-9
+ info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part V
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A.C.
Torre, Carmelo M.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Wang, Shangguang
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42092-9
+ info
Computational Science and Its Applications – ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Borruso, Giuseppe
Torre, Carmelo M.
Rocha, Ana Maria A. C.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Cuzzocrea, Alfredo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-62404-4
+ info
Computational Science and Its Applications – ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI
Autor/Editor:
Gervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Borruso, Giuseppe
Torre, Carmelo M.
Rocha, Ana Maria A. C.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Cuzzocrea, Alfredo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-62407-5
+ info
Computer Aided Verification
Autor/Editor:
Madhusudan, P.
Seshia, Sanjit A.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31424-7
+ info
Computer Aided Verification
Autor/Editor:
Sharygina, Natasha
Veith, Helmut
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39799-8
+ info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor:
Majumdar, Rupak
KunÄak, Viktor
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63387-9
+ info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Autor/Editor:
Majumdar, Rupak
KunÄak, Viktor
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63390-9
+ info
Computer Aided Verification. 30th International Conference, Proceedings, Part I
Autor/Editor:
Chockler, Hana
Weissenbacher, Georg
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96145-3
+ info
Computer Aided Verification. 30th International Conference, Proceedings, Part II
Autor/Editor:
Chockler, Hana
Weissenbacher, Georg
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96142-2
+ info
Computer Algebra in Scientific Computing
Autor/Editor:
Gerdt, Vladimir P.
Koepf, Wolfram
Seiler, Werner M.
Vorozhtsov, Evgenii V.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66320-3
+ info
de
16 paginas
registros 201 al 300 de 1525