Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 16 paginas [Siguiente]      registros 701 al 800 de 1525
Information Systems Engineering in Complex Environments
Autor/Editor: Nurcan, Selmin  Pimenidis, Elias
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19270-3
    + info
Information Systems in the Big Data Era
Autor/Editor: Mendling, Jan  Mouratidis, Haralambos
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92901-9
    + info
Information Systems Management in the Big Data Era
Autor/Editor: Lake, Peter  Drake, Robert
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13503-8
    + info
Information Systems Reengineering, Integration and Normalization
Autor/Editor: Fong, Joseph Shi Piu
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12295-3
    + info
Information Systems Security
Autor/Editor: Ganapathy, Vinod  Jaeger, Trent  Shyamasundar, R.K.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-05171-6
    + info
Information Systems, Technology and Management
Autor/Editor: Dua, Sumeet  Gangopadhyay, Aryya  Thulasiraman, Parimala  Straccia, Umberto  Shepherd, Michael  Stein, Benno
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29166-1
    + info
Information Systems: Development, Learning, Security
Autor/Editor: Wrycza, Stanisław
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40855-7
    + info
Information Systems: Methods, Models, and Applications
Autor/Editor: Mayr, Heinrich C.  Kop, Christian  Liddle, Stephen  Ginige, Athula
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38370-0
    + info
Information Systems: Research, Development, Applications, Education
Autor/Editor: Wrycza, StanisÅ‚aw  MaÅ›lankowski, Jacek
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00060-8
    + info
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
Autor/Editor: Cerone, Antonio  Persico, Donatella  Fernandes, Sara  Garcia-Perez, Alexeis  Katsaros, Panagiotis  Shaikh, Siraj Ahmed  Stamelos, Ioannis
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54338-8
    + info
Information Technology for Management. Ongoing Research and Development
Autor/Editor: Ziemba, Ewa
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-77721-4
    + info
Information Theoretic Security
Autor/Editor: Shikata, Junji
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-72089-0
    + info
Integrated Formal Methods
Autor/Editor: Derrick, John  Gnesi, Stefania  Latella, Diego  Treharne, Helen
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30729-4
    + info
Integrated Formal Methods
Autor/Editor: Johnsen, Einar Broch  Petre, Luigia
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38613-8
    + info
Integrated Formal Methods
Autor/Editor: Albert, Elvira  Sekerinski, Emil
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10181-1
    + info
Integrated Formal Methods
Autor/Editor: Ábrahám, Erika  Huisman, Marieke
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33693-0
    + info
Integrated Formal Methods
Autor/Editor: Polikarpova, Nadia  Schneider, Steve
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66845-1
    + info
Integrated Formal Methods
Autor/Editor: Furia, Carlo A.  Winter, Kirsten
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98938-9
    + info
Integrating User-Centred Design in Agile Development
Autor/Editor: Cockton, Gilbert  Lárusdóttir, Marta  Gregory, Peggy  Cajander, Åsa
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-32165-3
    + info
Intelligent Cloud Computing
Autor/Editor: Al-Saidi, Asma  Fleischer, Rudolf  Maamar, Zakaria  Rana, Omer F.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19848-4
    + info
Intelligent Computer Mathematics
Autor/Editor: Kohlhase, Michael  Johansson, Moa  Miller, Bruce  Moura, Leonardo de  Tompa, Frank
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42547-4
    + info
Intelligent Computer Mathematics
Autor/Editor: Geuvers, Herman  England, Matthew  Hasan, Osman  Rabe, Florian  Teschke, Olaf
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-62075-6
    + info
Intelligent Software Methodologies, Tools and Techniques
Autor/Editor: Fujita, Hamido  Selamat, Ali
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17530-0
    + info
Intelligent Software Methodologies, Tools and Techniques
Autor/Editor: Fujita, Hamido  Guizzi, Guido
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22689-7
    + info
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
Autor/Editor: Traore, Issa  Woungang, Isaac  Awad, Ahmed
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69155-8
    + info
Interactive Modeling and Simulation in Business System Design
Autor/Editor: Roubtsova, Ella
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15102-1
    + info
Interactive Theorem Proving
Autor/Editor: Urban, Christian  Zhang, Xingyuan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22102-1
    + info
Interactive Theorem Proving
Autor/Editor: Beringer, Lennart  Felty, Amy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32347-8
    + info
Interactive Theorem Proving
Autor/Editor: Blazy, Sandrine  Paulin-Mohring, Christine  Pichardie, David
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39634-2
    + info
Interactive Theorem Proving
Autor/Editor: Klein, Gerwin  Gamboa, Ruben
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08970-6
    + info
Interactive Theorem Proving
Autor/Editor: Blanchette, Jasmin Christian  Merz, Stephan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-43144-4
    + info
Interactive Theorem Proving
Autor/Editor: Ayala-Rincón, Mauricio  Muñoz, César A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66107-0
    + info
Interactive Theorem Proving
Autor/Editor: Avigad, Jeremy  Mahboubi, Assia
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94821-8
    + info
Internet and Distributed Computing Systems
Autor/Editor: Di Fatta, Giuseppe  Fortino, Giancarlo  Li, Wenfeng  Pathan, Mukaddim  Stahl, Frederic  Guerrieri, Antonio
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23237-9
    + info
Internet and Distributed Computing Systems
Autor/Editor: Xiang, Yang  Pathan, Mukaddim  Tao, Xiaohui  Wang, Hua
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34883-9
    + info
Internet and Distributed Computing Systems
Autor/Editor: Pathan, Mukaddim  Wei, Guiyi  Fortino, Giancarlo
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41428-2
    + info
Internet and Distributed Computing Systems
Autor/Editor: Fortino, Giancarlo  Fatta, Giuseppe  Li, Wenfeng  Ochoa, Sergio  Cuzzocrea, Alfredo  Pathan, Mukaddim
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11692-1
    + info
Internet and Distributed Computing Systems
Autor/Editor: Fortino, Giancarlo  Ali, A .B. M. Shawkat  Pathan, Mukaddim  Guerrieri, Antonio  Di Fatta, Giuseppe
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-97795-9
    + info
Internet and Network Economics
Autor/Editor: Goldberg, Paul W.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35311-6
    + info
Internet of Things. IoT Infrastructures. Second International Summit, IoT 360° 2015, Revised Selected Papers, Part I
Autor/Editor: Mandler, Benny  Marquez-Barja, Johann  Mitre Campista, Miguel Elias  Cagáňová, Dagmar  Chaouchi, Hakima  Zeadally, Sherali  Badra, Mohamad  Giordano, Stefano  Fazio, Maria  Somov, Andrey  Vieriu, Radu-Laurentiu
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47063-4
    + info
Internet of Things. IoT Infrastructures. Second International Summit, IoT 360° 2015, Revised Selected Papers, Part II
Autor/Editor: Mandler, Benny  Marquez-Barja, Johann  Mitre Campista, Miguel Elias  Cagáňová, Dagmar  Chaouchi, Hakima  Zeadally, Sherali  Badra, Mohamad  Giordano, Stefano  Fazio, Maria  Somov, Andrey  Vieriu, Radu-Laurentiu
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47075-7
    + info
Internetware
Autor/Editor: Mei, Hong  Lü, Jian
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-2546-4
    + info
Interoperability and Open-Source Solutions for the Internet of Things
Autor/Editor: Podnar Žarko, Ivana  Pripužić, KreÅ¡imir  Serrano, Martin
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-16546-2
    + info
Interoperability and Open-Source Solutions for the Internet of Things
Autor/Editor: Žarko, Ivana Podnar  Broering, Arne  Soursos, Sergios  Serrano, Martin
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56877-5
    + info
Interoperability, Safety and Security in IoT
Autor/Editor: Mitton, Nathalie  Chaouchi, Hakima  Noel, Thomas  Watteyne, Thomas  Gabillon, Alban  Capolsini, Patrick
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52727-7
    + info
Introduction to Programming with Fortran
Autor/Editor: Chivers, Ian  Sleightholme, Jane
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17701-4
    + info
Introduction to Programming with Fortran
Autor/Editor: Chivers, Ian  Sleightholme, Jane
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-0-85729-233-9
    + info
Introduction to Programming with Fortran
Autor/Editor: Chivers, Ian  Sleightholme, Jane
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75502-1
    + info
Introduction to Software Quality
Autor/Editor: O’Regan, Gerard
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06106-1
    + info
IS Olympics: Information Systems in a Diverse World
Autor/Editor: Nurcan, Selmin
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29749-6
    + info
It's All About Coordination
Autor/Editor: Boer, Frank de  Bonsangue, Marcello  Rutten, Jan
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90089-6
    + info
Job Scheduling Strategies for Parallel Processing
Autor/Editor: Cirne, Walfredo  Desai, Narayan  Frachtenberg, Eitan  Schwiegelshohn, Uwe
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35867-8
    + info
Job Scheduling Strategies for Parallel Processing
Autor/Editor: Desai, Narayan  Cirne, Walfredo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43779-7
    + info
JRuby Rails Web Application Development
Autor/Editor: Vohra, Deepak
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03934-3
    + info
Knowledge Discovery, Knowledge Engineering and Knowledge Management
Autor/Editor: Fred, Ana  Dietz, Jan L. G.  Liu, Kecheng  Filipe, Joaquim
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29764-9
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Lambrix, Patrick  Hyvönen, Eero  Blomqvist, Eva  Presutti, Valentina  Qi, Guilin  Sattler, Uli  Ding, Ying  Ghidini, Chiara
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17966-7
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Teije, Annette  Völker, Johanna  Handschuh, Siegfried  Stuckenschmidt, Heiner  d’Acquin, Mathieu  Nikolov, Andriy  Aussenac-Gilles, Nathalie  Hernandez, Nathalie
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33876-2
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Janowicz, Krzysztof  Schlobach, Stefan  Lambrix, Patrick  Hyvönen, Eero
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13704-9
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Blomqvist, Eva  Ciancarini, Paolo  Poggi, Francesco  Vitali, Fabio
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49004-5
    + info
Knowledge Science, Engineering and Management
Autor/Editor: Wang, Mingzheng
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39787-5
    + info
Knowledge Science, Engineering and Management
Autor/Editor: Buchmann, Robert  Kifor, Claudiu Vasile  Yu, Jian
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12096-6
    + info
Knowledge-Based Software Engineering
Autor/Editor: Kravets, Alla  Shcherbakov, Maxim  Kultsova, Marina  Iijima, Tadashi
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11854-3
    + info
Land Subsidence Analysis in Urban Areas
Autor/Editor: Zeitoun, David G.  Wakshal, Eliyahu
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-94-007-5506-2
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Brodman, James  Tu, Peng
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17473-0
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Kasahara, Hironori  Kimura, Keiji
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37658-0
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Shen, Xipeng  Mueller, Frank  Tuck, James
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29778-1
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Ding, Chen  Criswell, John  Wu, Peng
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52709-3
    + info
Languages, Applications and Technologies
Autor/Editor: Sierra-Rodríguez, José-Luis  Leal, José-Paulo  Simões, Alberto
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27653-3
    + info
Large-Scale Complex IT Systems. Development, Operation and Management
Autor/Editor: Calinescu, Radu  Garlan, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34059-8
    + info
Lean Enterprise Software and Systems
Autor/Editor: Fitzgerald, Brian  Conboy, Kieran  Power, Ken  Valerdi, Ricardo  Morgan, Lorraine  Stol, Klaas-Jan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-44930-7
    + info
Lean Software Development in Action
Autor/Editor: Janes, Andrea  Succi, Giancarlo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-00503-9
    + info
Learning Technology for Education Challenges
Autor/Editor: Uden, Lorna  Liberona, Dario  Ristvej, Jozef
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95522-3
    + info
Lectures on Runtime Verification
Autor/Editor: Bartocci, Ezio  Falcone, Yliès
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75632-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016. Proceedings, Part II
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47169-3
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016. Proceedings, Part I
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47166-2
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34032-1
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03424-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03427-6
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03418-4
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45231-8
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34026-0
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45234-9
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03421-4
    + info
Leveraging Applications of Formal Methods, Verification, and Validation
Autor/Editor: Hähnle, Reiner  Knoop, Jens  Margaria, Tiziana  Schreiner, Dietmar  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34781-8
    + info
Leveraging Applications of Formal Methods, Verification, and Validation. 6th International Symposium, ISoLA 2014 and 5th International Symposium, ISoLA 2012. Revised Selected Papers
Autor/Editor: Lamprecht, Anna-Lena
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51641-7
    + info
Logic and Its Applications
Autor/Editor: Ghosh, Sujata  Prasad, Sanjiva
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54069-5
    + info
Logic and Program Semantics
Autor/Editor: Constable, Robert L.  Silva, Alexandra
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29485-3
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Davis, Martin  Fehnker, Ansgar  McIver, Annabelle  Voronkov, Andrei
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48899-7
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Bjørner, Nikolaj  Voronkov, Andrei
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28717-6
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: McMillan, Ken  Middeldorp, Aart  Voronkov, Andrei
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45221-5
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Calimeri, Francesco  Ianni, Giovambattista  Truszczynski, Miroslaw
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23264-5
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Cabalar, Pedro  Son, Tran Cao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40564-8
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Balduccini, Marcello  Janhunen, Tomi
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61660-5
    + info
Logic Programs, Norms and Action
Autor/Editor: Artikis, Alexander  Craven, Robert  Kesim Çiçekli, Nihan  Sadighi, Babak  Stathis, Kostas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29414-3
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Vidal, Germán
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32211-2
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Albert, Elvira
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38197-3
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Gupta, Gopal  Peña, Ricardo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14125-1
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Hermenegildo, Manuel V.  Lopez-Garcia, Pedro
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63139-4
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Fioravanti, Fabio  Gallagher, John P.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94460-9
    + info
Logic, Language, Information, and Computation
Autor/Editor: Moss, Lawrence S.  Queiroz, Ruy de  Martinez, Maricarmen
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-57669-4
    + info
[Anterior] de 16 paginas [Siguiente]      registros 701 al 800 de 1525