Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 77 paginas [Siguiente]      registros 1101 al 1120 de 1525
Rewriting Logic and Its Applications
Autor/Editor: Lucanu, Dorel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44802-2
    + info
Rewriting Logic and Its Applications
Autor/Editor: Rusu, Vlad
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99840-4
    + info
Risk Assessment and Risk-Driven Quality Assurance
Autor/Editor: Großmann, Jürgen  Felderer, Michael  Seehusen, Fredrik
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57858-3
    + info
Risk Assessment and Risk-Driven Testing
Autor/Editor: Seehusen, Fredrik  Felderer, Michael  Großmann, Jürgen  Wendland, Marc-Florian
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26416-5
    + info
Risk Assessment and Risk-Driven Testing
Autor/Editor: Bauer, Thomas  GroBmann, Jürgen  Seehusen, Fredrik  Stolen, Ketil  Wendland, Marc-Florian
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07076-6
    + info
Risks and Security of Internet and Systems
Autor/Editor: Lopez, Javier  Ray, Indrajit  Crispo, Bruno
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17127-2
    + info
RoboCup 2011: Robot Soccer World Cup XV
Autor/Editor: Röfer, Thomas  Mayer, N. Michael  Savage, Jesus  Saranlı, Uluc̨
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32060-6
    + info
RoboCup 2012: Robot Soccer World Cup XVI
Autor/Editor: Chen, Xiaoping  Stone, Peter  Sucar, Luis Enrique  Zant, Tijn
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39250-4
    + info
RoboCup 2013: Robot World Cup XVII
Autor/Editor: Behnke, Sven  Veloso, Manuela  Visser, Arnoud  Xiong, Rong
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44468-9
    + info
RoboCup 2014: Robot World Cup XVIII
Autor/Editor: Bianchi, Reinaldo A. C.  Akin, H. Levent  Ramamoorthy, Subramanian  Sugiura, Komei
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-18615-3
    + info
RoboCup 2015: Robot World Cup XIX
Autor/Editor: Almeida, Luis  Ji, Jianmin  Steinbauer, Gerald  Luke, Sean
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29339-4
    + info
RoboCup 2017: Robot World Cup XXI
Autor/Editor: Akiyama, Hidehisa  Obst, Oliver  Sammut, Claude  Tonidandel, Flavio
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00308-1
    + info
Rule Technologies. Research, Tools, and Applications
Autor/Editor: Alferes, Jose Julio  Bertossi, Leopoldo  Governatori, Guido  Fodor, Paul  Roman, Dumitru
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42019-6
    + info
Rules and Reasoning
Autor/Editor: Costantini, Stefania  Franconi, Enrico  Woensel, William Van  Kontchakov, Roman  Sadri, Fariba  Roman, Dumitru
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61252-2
    + info
Rules on the Web: Research and Applications
Autor/Editor: Bikakis, Antonis  Giurca, Adrian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32689-9
    + info
Runtime Verification
Autor/Editor: Bartocci, Ezio  Majumdar, Rupak
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23820-3
    + info
Runtime Verification
Autor/Editor: Khurshid, Sarfraz  Sen, Koushik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29860-8
    + info
Runtime Verification
Autor/Editor: Qadeer, Shaz  Tasiran, Serdar
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35632-2
    + info
Runtime Verification
Autor/Editor: Legay, Axel  Bensalem, Saddek
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40787-1
    + info
Runtime Verification
Autor/Editor: Bonakdarpour, Borzoo  Smolka, Scott A.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11164-3
    + info
[Anterior] de 77 paginas [Siguiente]      registros 1101 al 1120 de 1525