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
: Trigonometrical functions
Keyword
: Software Engineering
de
16 paginas
registros 501 al 600 de 1525
Evaluation of Novel Approaches to Software Engineering. 11th International Conference, ENASE 2016, Revised Selected Papers
Autor/Editor:
Maciaszek, Leszek A.
Filipe, Joaquim
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-56390-9
+ info
Evolution of Telecommunication Services
Autor/Editor:
Bertin, Emmanuel
Crespi, Noel
Magedanz, Thomas
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41569-2
+ info
Evolving Software Systems
Autor/Editor:
Mens, Tom
Serebrenik, Alexander
Cleve, Anthony
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-45398-4
+ info
Experimentation in Software Engineering
Autor/Editor:
Wohlin, Claes
Runeson, Per
Höst, Martin
Ohlsson, Magnus C.
Regnell, Björn
Wesslén, Anders
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29044-2
+ info
Exploring Services Science
Autor/Editor:
Nóvoa, Henriqueta
Drăgoicea, Monica
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-14980-6
+ info
Exploring Services Science
Autor/Editor:
Snene, Mehdi
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28227-0
+ info
Exploring Services Science
Autor/Editor:
e Cunha, João Falcão
Snene, Mehdi
Nóvoa, Henriqueta
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-36356-6
+ info
Exploring Services Science
Autor/Editor:
Leonard, Michel
Snene, Mehdi
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-04810-9
+ info
Exploring Services Science
Autor/Editor:
Borangiu, Theodor
Dragoicea, Monica
Nóvoa, Henriqueta
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-32689-4
+ info
Exploring Services Science
Autor/Editor:
Stefano Za, Monica Drăgoicea, Maurizio Cavallari
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-56925-3
+ info
Failure-Modes-Based Software Reading
Autor/Editor:
Zhu, Yang-Ming
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-65103-3
+ info
Feature-Oriented Software Product Lines
Autor/Editor:
Apel, Sven
Batory, Don
Kästner, Christian
Saake, Gunter
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37521-7
+ info
Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation
Autor/Editor:
Roberts, Jonathan C.
Headleand, Christopher J.
Ritsos, Panagiotis D.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-55627-7
+ info
FM 2012: Formal Methods
Autor/Editor:
Giannakopoulou, Dimitra
Méry, Dominique
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32759-9
+ info
FM 2014: Formal Methods
Autor/Editor:
Jones, Cliff
Pihlajasaari, Pekka
Sun, Jun
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-06410-9
+ info
FM 2015: Formal Methods
Autor/Editor:
Bjørner, Nikolaj
De Boer, Frank
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19249-9
+ info
FM 2016 : Formal Methods
Autor/Editor:
Fitzgerald, John
Heitmeyer, Constance
Gnesi, Stefania
Philippou, Anna
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-48989-6
+ info
Fog Computing
Autor/Editor:
Mahmood, Zaigham
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94890-4
+ info
Formal Aspects of Component Software
Autor/Editor:
Lanese, Ivan
Madelaine, Eric
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-15317-9
+ info
Formal Aspects of Component Software
Autor/Editor:
Păsăreanu, Corina S.
Salaün, Gwen
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35861-6
+ info
Formal Aspects of Component Software
Autor/Editor:
Fiadeiro, José Luiz
Liu, Zhiming
Xue, Jinyun
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07602-7
+ info
Formal Aspects of Component Software
Autor/Editor:
Braga, Christiano
Ölveczky, Peter Csaba
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-28934-2
+ info
Formal Aspects of Component Software
Autor/Editor:
Kouchnarenko, Olga
Khosravi, Ramtin
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-57666-4
+ info
Formal Aspects of Component Software
Autor/Editor:
Proença, José
Lumpe, Markus
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68034-7
+ info
Formal Aspects of Component Software
Autor/Editor:
Bae, Kyungmin
Ölveczky, Peter Csaba
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02146-7
+ info
Formal Aspects of Component Software. FACS 2010
Autor/Editor:
Soares Barbosa, Luís
Lumpe, Markus
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-27269-1
+ info
Formal Aspects of Component Software. FACS 2011
Autor/Editor:
Arbab, Farhad
Ölveczky, Peter Csaba
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35743-5
+ info
Formal Concept Analysis
Autor/Editor:
Baixeries, Jaume
Sacarea, Christian
Ojeda-Aciego, Manuel
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19545-2
+ info
Formal Concept Analysis
Autor/Editor:
Domenach, Florent
Ignatov, Dmitry I.
Poelmans, Jonas
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29892-9
+ info
Formal Concept Analysis
Autor/Editor:
Cellier, Peggy
Distel, Felix
Ganter, Bernhard
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38317-5
+ info
Formal Concept Analysis
Autor/Editor:
Bertet, Karell
Borchmann, Daniel
Cellier, Peggy
Ferré, Sébastien
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59271-8
+ info
Formal Methods
Autor/Editor:
Havelund, Klaus
Peleska, Jan
Roscoe, Bill
Vink, Erik de
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-95582-7
+ info
Formal Methods and Software Engineering
Autor/Editor:
Butler, Michael
Conchon, Sylvain
Zaïdi, Fatiha
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25423-4
+ info
Formal Methods and Software Engineering
Autor/Editor:
Aoki, Toshiaki
Taguchi, Kenji
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34281-3
+ info
Formal Methods and Software Engineering
Autor/Editor:
Groves, Lindsay
Sun, Jing
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41202-8
+ info
Formal Methods and Software Engineering
Autor/Editor:
Merz, Stephan
Pang, Jun
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11737-9
+ info
Formal Methods and Software Engineering
Autor/Editor:
Ogata, Kazuhiro
Lawford, Mark
Liu, Shaoying
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-47846-3
+ info
Formal Methods and Software Engineering
Autor/Editor:
Duan, Zhenhua
Ong, Luke
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68690-5
+ info
Formal Methods and Software Engineering
Autor/Editor:
Sun, Jing
Sun, Meng
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02450-5
+ info
Formal Methods for Components and Objects
Autor/Editor:
Aichernig, Bernhard K.
Boer, Frank S.
Bonsangue, Marcello M.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-25271-6
+ info
Formal Methods for Components and Objects
Autor/Editor:
Beckert, Bernhard
Damiani, Ferruccio
Boer, Frank S.
Bonsangue, Marcello M.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35887-6
+ info
Formal Methods for Components and Objects
Autor/Editor:
Giachino, Elena
Hähnle, Reiner
Boer, Frank S.
Bonsangue, Marcello M.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40615-7
+ info
Formal Methods for Dynamical Systems
Autor/Editor:
Bernardo, Marco
Vink, Erik
Pierro, Alessandra
Wiklicky, Herbert
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38874-3
+ info
Formal Methods for Executable Software Models
Autor/Editor:
Bernardo, Marco
Damiani, Ferruccio
Hähnle, Reiner
Johnsen, Einar Broch
Schaefer, Ina
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07317-0
+ info
Formal Methods for Industrial Critical Systems
Autor/Editor:
Núñez, Manuel
Güdemann, Matthias
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19458-5
+ info
Formal Methods for Industrial Critical Systems
Autor/Editor:
Stoelinga, Mariëlle
Pinger, Ralf
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32469-7
+ info
Formal Methods for Industrial Critical Systems
Autor/Editor:
Pecheur, Charles
Dierkes, Michael
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41010-9
+ info
Formal Methods for Industrial Critical Systems
Autor/Editor:
Lang, Frédéric
Flammini, Francesco
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10702-8
+ info
Formal Methods for Industrial Critical Systems
Autor/Editor:
Howar, Falk
Barnat, JiÅ™Ã
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00244-2
+ info
Formal Methods for Model-Driven Engineering
Autor/Editor:
Bernardo, Marco
Cortellessa, Vittorio
Pierantonio, Alfonso
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30982-3
+ info
Formal Methods for Multicore Programming
Autor/Editor:
Bernardo, Marco
Johnsen, Einar Broch
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-18941-3
+ info
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Autor/Editor:
Bernardo, Marco
De Nicola, Rocco
Hillston, Jane
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-34096-8
+ info
Formal Methods: Foundations and Applications
Autor/Editor:
Braga, Christiano
Martí-Oliet, Narciso
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-15075-8
+ info
Formal Methods: Foundations and Applications
Autor/Editor:
Gheyi, Rohit
Naumann, David
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33296-8
+ info
Formal Methods: Foundations and Applications
Autor/Editor:
Cavalheiro, Simone
Fiadeiro, José
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70848-5
+ info
Formal Methods: Foundations and Applications
Autor/Editor:
Massoni, Tiago
Mousavi, Mohammad Reza
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03044-5
+ info
Formal Methods: Foundations and Applications. 18th Brazilian Symposium, SBMF 2015, Proceedings
Autor/Editor:
Cornélio, Márcio
Roscoe, Bill
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29473-5
+ info
Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Proceedings
Autor/Editor:
Ribeiro, Leila
Lecomte, Thierry
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49815-7
+ info
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Sankaranarayanan, Sriram
Vicario, Enrico
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-22975-1
+ info
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Jurdziński, Marcin
NiÄković, Dejan
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33365-1
+ info
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Braberman, Víctor
Fribourg, Laurent
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40229-6
+ info
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Legay, Axel
Bozga, Marius
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10512-3
+ info
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Fränzle, Martin
Markey, Nicolas
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-44878-7
+ info
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Abate, Alessandro
Geeraerts, Gilles
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-65765-3
+ info
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Jansen, David N.
Prabhakar, Pavithra
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00151-3
+ info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor:
Graf, Susanne
Viswanathan, Mahesh
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19195-9
+ info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor:
Ábrahám, Erika
Palamidessi, Catuscia
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43613-4
+ info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor:
Albert, Elvira
Lanese, Ivan
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-39570-8
+ info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor:
Bouajjani, Ahmed
Silva, Alexandra
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-60225-7
+ info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor:
Baier, Christel
Caires, Luís
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-92612-4
+ info
Formal Techniques for Distributed Systems
Autor/Editor:
Giese, Holger
Rosu, Grigore
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30793-5
+ info
Formal Techniques for Distributed Systems
Autor/Editor:
Beyer, Dirk
Boreale, Michele
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38592-6
+ info
Formal Techniques for Safety-Critical Systems
Autor/Editor:
Artho, Cyrille
Ölveczky, Peter Csaba
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-17581-2
+ info
Formal Techniques for Safety-Critical Systems
Autor/Editor:
Artho, Cyrille
Csaba Ölveczky, Peter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-05416-2
+ info
Formal Techniques for Safety-Critical Systems
Autor/Editor:
Artho, Cyrille
Ölveczky, Peter Csaba
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29510-7
+ info
Formal Techniques for Safety-Critical Systems
Autor/Editor:
Artho, Cyrille
Ölveczky, Peter Csaba
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-53946-1
+ info
Formal Verification of Object-Oriented Software
Autor/Editor:
Beckert, Bernhard
Damiani, Ferruccio
Gurov, Dilian
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31762-0
+ info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor:
Peña, Ricardo
Eekelen, Marko
Shkaravska, Olha
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32495-6
+ info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor:
Dal Lago, Ugo
Peña, Ricardo
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-12466-7
+ info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor:
Eekelen, Marko van
Dal Lago, Ugo
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46559-3
+ info
Foundational Java
Autor/Editor:
Parsons, David
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-2479-5
+ info
Foundations and Practice of Security
Autor/Editor:
García-Alfaro, Joaquín
Lafourcade, Pascal
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-27901-0
+ info
Foundations and Practice of Security
Autor/Editor:
Garcia-Alfaro, Joaquin
Cuppens, Frédéric
Cuppens-Boulahia, Nora
Miri, Ali
Tawbi, Nadia
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37119-6
+ info
Foundations for Designing User-Centered Systems
Autor/Editor:
Churchill, Elizabeth F.
Baxter, Gordon D.
Ritter, Frank E.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-5134-0
+ info
Foundations of Health Information Engineering and Systems
Autor/Editor:
Weber, Jens
Perseil, Isabelle
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39088-3
+ info
Foundations of Health Information Engineering and Systems
Autor/Editor:
Gibbons, Jeremy
MacCaull, Wendy
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-53956-5
+ info
Foundations of Software Science and Computation Structures
Autor/Editor:
Pitts, Andrew
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-46678-0
+ info
Foundations of Software Science and Computation Structures
Autor/Editor:
Pfenning, Frank
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37075-5
+ info
Foundations of Software Science and Computation Structures
Autor/Editor:
Muscholl, Anca
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54830-7
+ info
Foundations of Software Science and Computation Structures
Autor/Editor:
Jacobs, Bart
Löding, Christof
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-49630-5
+ info
Foundations of Software Science and Computation Structures
Autor/Editor:
Esparza, Javier
Murawski, Andrzej S.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-54458-7
+ info
Foundations of Software Science and Computational Structures
Autor/Editor:
Birkedal, Lars
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28729-9
+ info
From Programs to Systems. The Systems perspective in Computing
Autor/Editor:
Bensalem, Saddek
Lakhneck, Yassine
Legay, Axel
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54848-2
+ info
From Requirements to Java in a Snap
Autor/Editor:
Śmiałek, Michał
Nowakowski, Wiktor
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-12838-2
+ info
Frontier Computing
Autor/Editor:
Hung, Jason C.
Yen, Neil Y.
Li, Kuan-Ching
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-981-10-0539-8
+ info
Frontiers in Gaming Simulation
Autor/Editor:
Meijer, Sebastiaan A.
Smeds, Riitta
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-04954-0
+ info
Frontiers of Combining Systems
Autor/Editor:
Fontaine, Pascal
Ringeissen, Christophe
Schmidt, Renate A.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40885-4
+ info
Frontiers of Combining Systems
Autor/Editor:
Dixon, Clare
Finger, Marcelo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66167-4
+ info
Functional and Logic Programming
Autor/Editor:
Schrijvers, Tom
Thiemann, Peter
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29822-6
+ info
Functional and Logic Programming
Autor/Editor:
Codish, Michael
Sumii, Eijiro
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07151-0
+ info
de
16 paginas
registros 501 al 600 de 1525