Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 31 paginas [Siguiente]      registros 1101 al 1150 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
Runtime Verification
Autor/Editor: Falcone, Yliès  Sánchez, César
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46982-9
    + info
Runtime Verification
Autor/Editor: Lahiri, Shuvendu  Reger, Giles
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67531-2
    + info
Runtime Verification
Autor/Editor: Colombo, Christian  Leucker, Martin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03769-7
    + info
S-BPM in the Production Industry
Autor/Editor: Neubauer, Matthias  Stary, Christian
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48466-2
    + info
S-BPM in the Wild
Autor/Editor: Fleischmann, Albert  Schmidt, Werner  Stary, Christian
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17542-3
    + info
S-BPM ONE - Running Processes
Autor/Editor: Fischer, Herbert  Schneeberger, Josef
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36754-0
    + info
S-BPM ONE - Scientific Research
Autor/Editor: Stary, Christian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29133-3
    + info
S-BPM ONE - Scientific Research
Autor/Editor: Nanopoulos, Alexandros  Schmidt, Werner
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06065-1
    + info
Safe and Secure Software Reuse
Autor/Editor: Favaro, John  Morisio, Maurizio
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38977-1
    + info
SafeScrum® – Agile Development of Safety-Critical Software
Autor/Editor: Hanssen, Geir Kjetil  Stålhane, Tor  Myklebust, Thor
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99334-8
    + info
Scala : From a Functional Programming Perspective
Autor/Editor: Torra, Vicenç
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46481-7
    + info
Scaling a Software Business
Autor/Editor: Fitzgerald, Brian  Stol, Klaas-Jan  Minör, Sten  Cosmo, Henrik
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53116-8
    + info
SDL 2011: Integrating System and Software Modeling
Autor/Editor: Ober, Iulian  Ober, Ileana
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25264-8
    + info
SDL 2013: Model-Driven Dependability Engineering
Autor/Editor: Khendek, Ferhat  Toeroe, Maria  Gherbi, Abdelouahed  Reed, Rick
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38911-5
    + info
SDL 2015: Model-Driven Engineering for Smart Cities
Autor/Editor: Fischer, Joachim  Scheidgen, Markus  Schieferdecker, Ina  Reed, Rick
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24912-4
    + info
SDL 2017: Model-Driven Engineering for Future Internet
Autor/Editor: Csöndes, Tibor  Kovács, Gábor  Réthy, György
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68015-6
    + info
Search Based Software Engineering
Autor/Editor: Fraser, Gordon  Teixeira de Souza, Jerffeson
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33119-0
    + info
Search Based Software Engineering
Autor/Editor: Ruhe, Günther  Zhang, Yuanyuan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39742-4
    + info
Search Based Software Engineering
Autor/Editor: Sarro, Federica  Deb, Kalyanmoy
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47106-8
    + info
Search Based Software Engineering
Autor/Editor: Menzies, Tim  Petke, Justyna
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66299-2
    + info
Search Computing
Autor/Editor: Ceri, Stefano  Brambilla, Marco
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34213-4
    + info
Search-Based Software Engineering
Autor/Editor: Barros, Márcio  Labiche, Yvan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22183-0
    + info
Search-Based Software Engineering
Autor/Editor: Goues, Claire  Yoo, Shin
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09940-8
    + info
Search-Based Software Engineering
Autor/Editor: Colanzi, Thelma Elita  McMinn, Phil
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99241-9
    + info
Secure and Trustworthy Service Composition
Autor/Editor: Brucker, Achim D.  Dalpiaz, Fabiano  Giorgini, Paolo  Meland, Per Håkon  Rios, Erkuden
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13518-2
    + info
Security and Trust Management
Autor/Editor: Accorsi, Rafael  Ranise, Silvio
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41098-7
    + info
Security and Trust Management
Autor/Editor: Livraga, Giovanni  Mitchell, Chris
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68063-7
    + info
Security and Trust Management
Autor/Editor: Katsikas, Sokratis K.  Alcaraz, Cristina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01141-3
    + info
Security Standardisation Research
Autor/Editor: Chen, Liqun  Matsuo, Shin'ichiro
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27152-1
    + info
Security Standardisation Research
Autor/Editor: Cremers, Cas  Lehmann, Anja
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-04762-7
    + info
[Anterior] de 31 paginas [Siguiente]      registros 1101 al 1150 de 1525