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
: Mathematical Logic and Formal Languages
de
7 paginas
registros 1 al 100 de 683
A General Framework for Reasoning On Inconsistency
Autor/Editor:
Martinez, Maria Vanina
Molinaro, Cristian
Subrahmanian, V.S.
Amgoud, Leila
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-6750-2
+ info
A List of Successes That Can Change the World
Autor/Editor:
Lindley, Sam
McBride, Conor
Trinder, Phil
Sannella, Don
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-30936-1
+ info
A New Perspective on Nonmonotonic Logics
Autor/Editor:
Gabbay, Dov M.
Schlechta, Karl
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46817-4
+ info
A Proof Theory for Description Logics
Autor/Editor:
Rademaker, Alexandre
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-4002-3
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Ait Ameur, Yamine
Schewe, Klaus-Dieter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43652-3
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Butler, Michael
Schewe, Klaus-Dieter
Mashkoor, Atif
Biro, Miklos
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-33600-8
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Butler, Michael
Raschke, Alexander
Hoang, Thai Son
Reichl, Klaus
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91271-4
+ info
ABZ 2014: The Landing Gear Case Study
Autor/Editor:
Boniol, Frédéric
Wiels, Virginie
Ait Ameur, Yamine
Schewe, Klaus-Dieter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07512-9
+ info
Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Proceedings, Part II
Autor/Editor:
Smith, Ian F. C.
Domer, Bernd
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91638-5
+ info
Advances in Computational Intelligence
Autor/Editor:
Castro, Félix
Miranda-Jiménez, Sabino
González-Mendoza, Miguel
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02840-4
+ info
Advances in Computational Intelligence. IPMU 2012. Part II
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31715-6
+ info
Advances in Computational Intelligence. IPMU 2012. Part III
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31718-7
+ info
Advances in Computational Intelligence. IPMU 2012. Part IV
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31724-8
+ info
Advances in Conceptual Modeling
Autor/Editor:
Cesare, Sergio de
Frank, Ulrich
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70625-2
+ info
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Autor/Editor:
Eiter, Thomas
Strass, Hannes
Truszczyński, Mirosław
Woltran, Stefan
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-14726-0
+ info
Advances in Natural Language Processing
Autor/Editor:
Isahara, Hitoshi
Kanzaki, Kyoko
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33983-7
+ info
Advances in Natural Language Processing
Autor/Editor:
Przepiórkowski, Adam
Ogrodniczuk, Maciej
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10888-9
+ info
Advances in Neural Networks. Part I
Autor/Editor:
Wang, Jun
Yen, Gary G.
Polycarpou, Marios M.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31346-2
+ info
Advances in Soft Computing : 16th Mexican International Conference on Artificial Intelligence, Proceedings, Part I
Autor/Editor:
Castro, Félix
Miranda-Jiménez, Sabino
González-Mendoza, Miguel
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02837-4
+ info
Advances on Computational Intelligence
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31709-5
+ info
Agents and Artificial Intelligence
Autor/Editor:
Herik, Jaap van den
Filipe, Joaquim
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-53354-4
+ info
Agents and Artificial Intelligence
Autor/Editor:
Herik, Jaap van den
Rocha, Ana Paula
Filipe, Joaquim
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-93581-2
+ info
AI 2015: Advances in Artificial Intelligence
Autor/Editor:
Pfahringer, Bernhard
Renz, Jochen
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-26350-2
+ info
AI Approaches to the Complexity of Legal Systems
Autor/Editor:
Pagallo, Ugo
Palmirani, Monica
Casanovas, Pompeu
Sartor, Giovanni
Villata, Serena
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00178-0
+ info
AI*IA 2013: Advances in Artificial Intelligence
Autor/Editor:
Baldoni, Matteo
Baroglio, Cristina
Boella, Guido
Micalizio, Roberto
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-03524-6
+ info
AI*IA 2015 Advances in Artificial Intelligence
Autor/Editor:
Gavanelli, Marco
Lamma, Evelina
Riguzzi, Fabrizio
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24309-2
+ info
AI*IA 2016 Advances in Artificial Intelligence
Autor/Editor:
Adorni, Giovanni
Cagnoni, Stefano
Gori, Marco
Maratea, Marco
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49130-1
+ info
AI*IA 2017 Advances in Artificial Intelligence
Autor/Editor:
Esposito, Floriana
Basili, Roberto
Ferilli, Stefano
Lisi, Francesca A.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70169-1
+ info
AI*IA 2018 – Advances in Artificial Intelligence
Autor/Editor:
Ghidini, Chiara
Magnini, Bernardo
Passerini, Andrea
Traverso, Paolo
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03840-3
+ info
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Autor/Editor:
Barkatou, Moulay
Cluzeau, Thomas
Regensburger, Georg
Rosenkranz, Markus
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54479-8
+ info
Algebraic and Numeric Biology
Autor/Editor:
Horimoto, Katsuhisa
Nakatsui, Masahiko
Popov, Nikolaj
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28067-2
+ info
Algebraic Informatics
Autor/Editor:
Maletti, Andreas
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23021-4
+ info
Algebraic Informatics
Autor/Editor:
Muntean, Traian
Poulakis, Dimitrios
Rolland, Robert
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40663-8
+ info
Algorithmic Aspects of Cloud Computing
Autor/Editor:
Karydis, Ioannis
Sioutas, Spyros
Triantafillou, Peter
Tsoumakos, Dimitrios
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29919-8
+ info
Algorithmic Learning Theory
Autor/Editor:
Bshouty, Nader H.
Stoltz, Gilles
Vayatis, Nicolas
Zeugmann, Thomas
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34106-9
+ info
Algorithmic Learning Theory
Autor/Editor:
Jain, Sanjay
Munos, Rémi
Stephan, Frank
Zeugmann, Thomas
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40935-6
+ info
Algorithms - ESA 2015
Autor/Editor:
Bansal, Nikhil
Finocchi, Irene
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48350-3
+ info
An Introduction to the Technique of Formative Processes in Set Theory
Autor/Editor:
Cantone, Domenico
Ursino, Pietro
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-74778-1
+ info
Application and Theory of Petri Nets and Concurrency
Autor/Editor:
Aalst, Wil van der
Best, Eike
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-57861-3
+ info
Applications of Graph Transformations with Industrial Relevance
Autor/Editor:
Schürr, Andy
Varró, Dániel
Varró, Gergely
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34176-2
+ info
Applied Logic for Computer Scientists
Autor/Editor:
Ayala-Rincón, Mauricio
Moura, Flávio L. C. de
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-51653-0
+ info
Argumentation in Multi-Agent Systems
Autor/Editor:
McBurney, Peter
Parsons, Simon
Rahwan, Iyad
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33152-7
+ info
Artificial General Intelligence
Autor/Editor:
Bieger, Jordi
Goertzel, Ben
Potapov, Alexey
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21365-1
+ info
Artificial General Intelligence
Autor/Editor:
Bach, Joscha
Goertzel, Ben
Iklé, Matthew
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35506-6
+ info
Artificial General Intelligence
Autor/Editor:
Kühnberger, Kai-Uwe
Rudolph, Sebastian
Wang, Pei
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39521-5
+ info
Artificial General Intelligence
Autor/Editor:
Goertzel, Ben
Orseau, Laurent
Snaider, Javier
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09274-4
+ info
Artificial General Intelligence
Autor/Editor:
Everitt, Tom
Goertzel, Ben
Potapov, Alexey
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63703-7
+ info
Artificial Intelligence : 16th Russian Conference, Proceedings
Autor/Editor:
Kuznetsov, Sergei O.
Osipov, Gennady S.
Stefanuk, Vadim L.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00617-4
+ info
Artificial Intelligence and Symbolic Computation
Autor/Editor:
Aranda-Corral, Gonzalo A.
Calmet, Jacques
Martín-Mateos, Francisco J.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-13770-4
+ info
Artificial Intelligence and Symbolic Computation
Autor/Editor:
Fleuriot, Jacques
Wang, Dongming
Calmet, Jacques
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99957-9
+ info
Artificial Intelligence in Medicine
Autor/Editor:
Teije, Annette ten
Popow, Christian
Holmes, John H.
Sacchi, Lucia
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59758-4
+ info
Artificial Life and Evolutionary Computation
Autor/Editor:
Pelillo, Marcello
Poli, Irene
Roli, Andrea
Serra, Roberto
Slanzi, Debora
Villani, Marco
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-78658-2
+ info
Automated Deduction – CADE 26
Autor/Editor:
Moura, Leonardo de
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63046-5
+ info
Automated Deduction – CADE-24
Autor/Editor:
Bonacina, Maria Paola
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38574-2
+ info
Automated Deduction in Geometry
Autor/Editor:
Botana, Francisco
Quaresma, Pedro
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21362-0
+ info
Automated Deduction in Geometry
Autor/Editor:
Ida, Tetsuo
Fleuriot, Jacques
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40672-0
+ info
Automated Reasoning
Autor/Editor:
Gramlich, Bernhard
Miller, Dale
Sattler, Uli
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31365-3
+ info
Automated Reasoning
Autor/Editor:
Demri, Stéphane
Kapur, Deepak
Weidenbach, Christoph
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08587-6
+ info
Automated Reasoning
Autor/Editor:
Olivetti, Nicola
Tiwari, Ashish
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40229-1
+ info
Automated Reasoning
Autor/Editor:
Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94205-6
+ info
Automated Reasoning and Mathematics
Autor/Editor:
Bonacina, Maria Paola
Stickel, Mark E.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-36675-8
+ info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor:
De Nivelle, Hans
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24312-2
+ info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor:
Galmiche, Didier
Larchey-Wendling, Dominique
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40537-2
+ info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor:
Schmidt, Renate A.
Nalon, Cláudia
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66902-1
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Finkbeiner, Bernd
Pu, Geguang
Zhang, Lijun
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24953-7
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Cassez, Franck
Raskin, Jean-François
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11936-6
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Artho, Cyrille
Legay, Axel
Peled, Doron
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46520-3
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Lahiri, Shuvendu K.
Wang, Chao
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-01090-4
+ info
Belief Revision in Non-Classical Logics
Autor/Editor:
Ribeiro, Márcio Moretto
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-4186-0
+ info
Big Data Analytics
Autor/Editor:
Mondal, Anirban
Gupta, Himanshu
Srivastava, Jaideep
Reddy, P. Krishna
Somayajulu, D. V. L. N.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-04780-1
+ info
Case-Based Reasoning Research and Development
Autor/Editor:
Cox, Michael T.
Funk, Peter
Begum, Shahina
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-01081-2
+ info
Categories and Types in Logic, Language, and Physics
Autor/Editor:
Casadio, Claudia
Coecke, Bob
Moortgat, Michael
Scott, Philip
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54789-8
+ info
Cellular Automata and Discrete Complex Systems
Autor/Editor:
Cook, Matthew
Neary, Turlough
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-39300-1
+ info
Cellular Automata and Discrete Complex Systems
Autor/Editor:
Dennunzio, Alberto
Formenti, Enrico
Manzoni, Luca
Porreca, Antonio E.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-58631-1
+ info
Cellular Automata and Discrete Complex Systems
Autor/Editor:
Baetens, Jan M.
Kutrib, Martin
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-92675-9
+ info
Certified Programs and Proofs
Autor/Editor:
Hawblitzel, Chris
Miller, Dale
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35308-6
+ info
Certified Programs and Proofs
Autor/Editor:
Gonthier, Georges
Norrish, Michael
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-03545-1
+ info
Coalgebraic Methods in Computer Science
Autor/Editor:
Pattinson, Dirk
Schröder, Lutz
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32784-1
+ info
Coalgebraic Methods in Computer Science
Autor/Editor:
Bonsangue, Marcello M.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-44124-4
+ info
Coalgebraic Methods in Computer Science
Autor/Editor:
Hasuo, Ichiro
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40370-0
+ info
Coalgebraic Methods in Computer Science
Autor/Editor:
Cîrstea, Corina
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00389-0
+ info
Combinatorial Algorithms
Autor/Editor:
Jan, Kratochvíl
Miller, Mirka
Froncek, Dalibor
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19315-1
+ info
Combinatorial Algorithms
Autor/Editor:
Arumugam, S.
Smyth, W. F.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35926-2
+ info
Combinatorial Algorithms
Autor/Editor:
Lecroq, Thierry
Mouchard, Laurent
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-45278-9
+ info
Combinatorial Algorithms. 26th International Workshop, IWOCA 2015, Revised Selected Papers
Autor/Editor:
Lipták, Zsuzsanna
Smyth, William F.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29516-9
+ info
Combinatorial Algorithms. 27th International Workshop, IWOCA 2016, Proceedings
Autor/Editor:
Mäkinen, Veli
Puglisi, Simon J.
Salmela, Leena
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-44543-4
+ info
Combinatorics on Words
Autor/Editor:
Manea, Florin
Nowotka, Dirk
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23660-5
+ info
Combinatorics on Words
Autor/Editor:
Karhumäki, Juhani
Lepistö, Arto
Zamboni, Luca
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40579-2
+ info
Combinatorics on Words
Autor/Editor:
Brlek, SreÄko
Dolce, Francesco
Reutenauer, Christophe
Vandomme, Élise
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66396-8
+ info
Compiler Construction
Autor/Editor:
O’Boyle, Michael
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28652-0
+ info
Computability and Complexity
Autor/Editor:
Day, Adam
Fellows, Michael
Greenberg, Noam
Khoussainov, Bakhadyr
Melnikov, Alexander
Rosamond, Frances
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-50062-1
+ info
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Autor/Editor:
Coecke, Bob
Ong, Luke
Panangaden, Prakash
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38164-5
+ info
Computation, Physics and Beyond
Autor/Editor:
Dinneen, Michael J.
Khoussainov, Bakhadyr
Nies, André
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-27654-5
+ info
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
Autor/Editor:
Subrahmanian, V.S.
Mannes, Aaron, Sliva, Amy
Shakarian, Jana
Dickerson, John P.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-4769-6
+ info
Computational Issues in Fluid Construction Grammar
Autor/Editor:
Steels, Luc
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34120-5
+ info
Computational Logic in Multi-Agent Systems
Autor/Editor:
Fisher, Michael
Torre, Leon
Dastani, Mehdi
Governatori, Guido
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32897-8
+ info
Computational Logic in Multi-Agent Systems
Autor/Editor:
Leite, João
Son, Tran Cao
Torroni, Paolo
Torre, Leon
Woltran, Stefan
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40624-9
+ info
Computational Logic in Multi-Agent Systems
Autor/Editor:
Bulling, Nils
Torre, Leendert
Villata, Serena
Jamroga, Wojtek
Vasconcelos, Wamberto
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09764-0
+ info
Computational Methods in Systems Biology
Autor/Editor:
Češka, Milan
Šafránek, David
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99429-1
+ info
Computational Processing of the Portuguese Language
Autor/Editor:
Caseli, Helena
Villavicencio, Aline
Teixeira, António
Perdigão, Fernando
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28885-2
+ info
de
7 paginas
registros 1 al 100 de 683