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
: Software Engineering
de
31 paginas
registros 901 al 950 de 1525
Multiple Access Communications
Autor/Editor:
Jonsson, Magnus
Vinel, Alexey
Bellalta, Boris
Tirkkonen, Olav
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23440-3
+ info
Multiple Access Communications
Autor/Editor:
Bellalta, Boris
Vinel, Alexey
Jonsson, Magnus
Barcelo, Jaume
Maslennikov, Roman
Chatzimisios, Periklis
Malone, David
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34976-8
+ info
Multiple Access Communications
Autor/Editor:
Jonsson, Magnus
Vinel, Alexey
Bellalta, Boris
Belyaev, Evgeny
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10262-7
+ info
NASA Formal Methods
Autor/Editor:
Havelund, Klaus
Holzmann, Gerard
Joshi, Rajeev
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-17524-9
+ info
NASA Formal Methods
Autor/Editor:
Goodloe, Alwyn E.
Person, Suzette
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28891-3
+ info
NASA Formal Methods
Autor/Editor:
Brat, Guillaume
Rungta, Neha
Venet, Arnaud
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38088-4
+ info
NASA Formal Methods
Autor/Editor:
Badger, Julia M.
Rozier, Kristin Yvonne
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-06200-6
+ info
NASA Formal Methods
Autor/Editor:
Rayadurgam, Sanjai
Tkachuk, Oksana
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40648-0
+ info
NASA Formal Methods
Autor/Editor:
Barrett, Clark
Davies, Misty
Kahsai, Temesghen
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-57288-8
+ info
NASA Formal Methods
Autor/Editor:
Dutle, Aaron
Muñoz, César
Narkawicz, Anthony
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-77935-5
+ info
nd Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part II
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-09129-7
+ info
Network and System Security
Autor/Editor:
Yan, Zheng
Molva, Refik
Mazurczyk, Wojciech
Kantola, Raimo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64701-2
+ info
Network and System Security
Autor/Editor:
Au, Man Ho
Yiu, Siu Ming
Li, Jin
Luo, Xiapu
Wang, Cong
Castiglione, Aniello
Kluczniak, Kamil
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02744-5
+ info
Networked Digital Technologies. Part I
Autor/Editor:
Benlamri, Rachid
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30507-8
+ info
Networked Digital Technologies. Part II
Autor/Editor:
Benlamri, Rachid
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30567-2
+ info
Networked Systems
Autor/Editor:
Bouajjani, Ahmed
Fauconnier, Hugues
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-26850-7
+ info
Networked Systems
Autor/Editor:
Abdulla, Parosh Aziz
Delporte-Gallet, Carole
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46140-3
+ info
Networked Systems
Autor/Editor:
Abbadi, Amr El
Garbinato, Benoît
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59647-1
+ info
NETWORKING 2012 Workshops
Autor/Editor:
Becvar, Zdenek
Bestak, Robert
Kencl, Lukas
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30039-4
+ info
NETWORKING 2012. Part I
Autor/Editor:
Bestak, Robert
Kencl, Lukas
Li, Li Erran
Widmer, Joerg
Yin, Hao
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30045-5
+ info
NETWORKING 2012. Part II
Autor/Editor:
Bestak, Robert
Kencl, Lukas
Li, Li Erran
Widmer, Joerg
Yin, Hao
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30054-7
+ info
New Frontiers in Quantitative Methods in Informatics
Autor/Editor:
Balsamo, Simonetta
Marin, Andrea
Vicario, Enrico
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91632-3
+ info
New Horizons in Design Science: Broadening the Research Agenda
Autor/Editor:
Donnellan, Brian
Helfert, Markus
Kenneally, Jim
VanderMeer, Debra
Rothenberger, Marcus
Winter, Robert
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-18714-3
+ info
New Perspectives in End-User Development
Autor/Editor:
Paternò, Fabio
Wulf, Volker
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-60291-2
+ info
Nordic Contributions in IS Research
Autor/Editor:
Oinas-Kukkonen, Harri
Iivari, Netta
Kuutti, Kari
Öörni, Anssi
Rajanen, Mikko
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21783-3
+ info
Nordic Contributions in IS Research
Autor/Editor:
Commisso, Trine Hald
Nørbjerg, Jacob
Pries-Heje, Jan
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09546-2
+ info
Numbers and Computers
Autor/Editor:
Kneusel, Ronald T.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-17260-6
+ info
Numerical Software Verification. 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Autor/Editor:
Abate, Alessandro
Boldo, Sylvie
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63501-9
+ info
Numerical Software Verification. 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Autor/Editor:
Bogomolov, Sergiy
Martel, Matthieu
Prabhakar, Pavithra
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-54292-8
+ info
Objects, Models, Components, Patterns
Autor/Editor:
Furia, Carlo A.
Nanz, Sebastian
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30561-0
+ info
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Autor/Editor:
Henderson-Sellers, Brian
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29825-7
+ info
On the Move to Meaningful Internet Systems: OTM 2012. Part I
Autor/Editor:
Meersman, Robert
Panetto, Hervé
Dillon, Tharam
Rinderle-Ma, Stefanie
Dadam, Peter
Zhou, Xiaofang
Pearson, Siani
Ferscha, Alois
Bergamaschi, Sonia
Cruz, Isabel F.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33606-5
+ info
On the Move to Meaningful Internet Systems: OTM 2012. Part II
Autor/Editor:
Meersman, Robert
Panetto, Hervé
Dillon, Tharam
Rinderle-Ma, Stefanie
Dadam, Peter
Zhou, Xiaofang
Pearson, Siani
Ferscha, Alois
Bergamaschi, Sonia
Cruz, Isabel F.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33615-7
+ info
On the Move to Meaningful Internet Systems: OTM 2013 Conferences
Autor/Editor:
Meersman, Robert
Panetto, Hervé
Dillon, Tharam
Eder, Johann
Bellahsene, Zohra
Ritter, Norbert
Leenheer, Pieter
Dou, Deijing
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41030-7
+ info
On the Move to Meaningful Internet Systems: OTM 2014 Conferences
Autor/Editor:
Sellis, Timos
Cuzzocrea, Alfredo
Pastor, Oscar
Liu, Lin
Missikoff, Michele
Dillon,Tharam
Panetto, Hervé
Meersman, Robert
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-45563-0
+ info
On the Move to Meaningful Internet Systems: OTM 2014 Workshops
Autor/Editor:
Chan, Henry
Bezzi, Michele
Moser, Thomas
Weichhart, Georg
Ferri, Fernando
Ciuciu, Ioana
Soares, António Lucas
Valencia-García, Rafael
Mishra, Alok
Panetto, Hervé
Meersman, Robert
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-45550-0
+ info
On the Move to Meaningful Internet Systems: OTM 2015 Conferences
Autor/Editor:
Debruyne, Christophe
Panetto, Hervé
Meersman, Robert
Dillon, Tharam
Weichhart, Georg
An, Yuan
Ardagna, Claudio Agostino
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-26148-5
+ info
On the Move to Meaningful Internet Systems: OTM 2015 Workshops
Autor/Editor:
Ciuciu, Ioana
Panetto, Hervé
Debruyne, Christophe
Aubry, Alexis
Bollen, Peter
Valencia-García, Rafael
Mishra, Alok
Fensel, Anna
Ferri, Fernando
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-26138-6
+ info
On the Move to Meaningful Internet Systems: OTM 2016 Conferences
Autor/Editor:
Debruyne, Christophe
Panetto, Hervé
Meersman, Robert
Dillon, Tharam
Kühn, Eva
O'Sullivan, Declan
Ardagna, Claudio Agostino
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-48472-3
+ info
On the Move to Meaningful Internet Systems: OTM 2016 Workshops
Autor/Editor:
Ciuciu, Ioana
Debruyne, Christophe
Panetto, Hervé
Weichhart, Georg
Bollen, Peter
Fensel, Anna
Vidal, Maria-Esther
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-55961-2
+ info
On the Move to Meaningful Internet Systems. OTM 2017 Conferences. Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I
Autor/Editor:
Panetto, Hervé
Debruyne, Christophe
Gaaloul, Walid
Papazoglou, Mike
Paschke, Adrian
Ardagna, Claudio Agostino
Meersman, Robert
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-69462-7
+ info
On the Move to Meaningful Internet Systems. OTM 2017 Conferences. Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
Autor/Editor:
Panetto, Hervé
Debruyne, Christophe
Gaaloul, Walid
Papazoglou, Mike
Paschke, Adrian
Ardagna, Claudio Agostino
Meersman, Robert
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-69459-7
+ info
On the Move to Meaningful Internet Systems. OTM 2017 Workshops
Autor/Editor:
Debruyne, Christophe
Panetto, Hervé
Weichhart, Georg
Bollen, Peter
Ciuciu, Ioana
Vidal, Maria-Esther
Meersman, Robert
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-73805-5
+ info
On the Move to Meaningful Internet Systems. OTM 2018 Conferences, Proceedings, Part I
Autor/Editor:
Panetto, Hervé
Debruyne, Christophe
Proper, Henderik A.
Ardagna, Claudio Agostino
Roman, Dumitru
Meersman, Robert
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02671-4
+ info
Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes
Autor/Editor:
Adão, Telmo
Magalhães, Luís
Peres, Emanuel
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42372-2
+ info
Ontology-Driven Software Development
Autor/Editor:
Pan, Jeff Z.
Staab, Steffen
Aßmann, Uwe
Ebert, Jürgen
Zhao, Yuting
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31226-7
+ info
Open Source Software: Mobile Open Source Technologies
Autor/Editor:
Corral, Luis
Sillitti, Alberto
Succi, Giancarlo
Vlasenko, Jelena
Wasserman, Anthony I.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-55128-4
+ info
Open Source Software: Quality Verification
Autor/Editor:
Petrinja, Etiel
Succi, Giancarlo
Ioini, Nabil
Sillitti, Alberto
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38928-3
+ info
Open Source Systems : Integrating Communities
Autor/Editor:
Crowston, Kevin
Hammouda, Imed
Lundell, Björn
Robles, Gregorio
Gamalielsson, Jonas
Lindman, Juho
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-39225-7
+ info
Open Source Systems: Adoption and Impact
Autor/Editor:
Damiani, Ernesto
Frati, Fulvio
Riehle, Dirk
Wasserman, Anthony I.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-17837-0
+ info
de
31 paginas
registros 901 al 950 de 1525