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
: Programming Techniques
de
19 paginas
registros 101 al 120 de 375
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 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: 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 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 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 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 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
Frontiers of Combining Systems
Autor/Editor:
Lutz, Carsten
Ranise, Silvio
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24246-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
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
Functional and Logic Programming
Autor/Editor:
Kiselyov, Oleg
King, Andy
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29604-3
+ info
Functional and Logic Programming
Autor/Editor:
Gallagher, John P.
Sulzmann, Martin
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-90686-7
+ info
Fundamental Approaches to Software Engineering
Autor/Editor:
Lara, Juan
Zisman, Andrea
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28872-2
+ info
Fundamentals of Java Programming
Autor/Editor:
Ogihara, Mitsunori
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-89491-1
+ info
Fundamentals of Software Engineering
Autor/Editor:
Dastani, Mehdi
Sirjani, Marjan
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24644-4
+ info
Fundamentals of Software Engineering
Autor/Editor:
Arbab, Farhad
Sirjani, Marjan
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29320-7
+ info
Fundamentals of Software Engineering
Autor/Editor:
Dastani, Mehdi
Sirjani, Marjan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68972-2
+ info
Generative and Transformational Techniques in Software Engineering IV
Autor/Editor:
Lämmel, Ralf
Saraiva, João
Visser, Joost
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35992-7
+ info
de
19 paginas
registros 101 al 120 de 375