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
: Computational Biology/Bioinformatics
Keyword
: Mathematical Logic and Formal Languages
de
7 paginas
registros 101 al 200 de 683
Computational Processing of the Portuguese Language
Autor/Editor:
Baptista, Jorge
Mamede, Nuno
Candeias, Sara
Paraboni, Ivandré
Pardo, Thiago A. S.
Volpe Nunes, Maria das Graças
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09761-9
+ info
Computational Processing of the Portuguese Language
Autor/Editor:
Silva, João
Ribeiro, Ricardo
Quaresma, Paulo
Adami, André
Branco, António
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41552-9
+ info
Computational Processing of the Portuguese Language
Autor/Editor:
Villavicencio, Aline
Moreira, Viviane
Abad, Alberto
Caseli, Helena
Gamallo, Pablo
Ramisch, Carlos
Oliveira, Hugo Gonçalo
Paetzold, Gustavo Henrique
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99722-3
+ info
Computer Aided Verification
Autor/Editor:
Kroening, Daniel
Păsăreanu, Corina S.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21668-3
+ info
Computer Aided Verification
Autor/Editor:
Kroening, Daniel
Păsăreanu, Corina S.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21690-4
+ info
Computer Aided Verification
Autor/Editor:
Madhusudan, P.
Seshia, Sanjit A.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31424-7
+ info
Computer Aided Verification
Autor/Editor:
Biere, Armin
Bloem, Roderick
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08867-9
+ info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part I
Autor/Editor:
Chaudhuri, Swarat
Farzan, Azadeh
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41528-4
+ info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part II
Autor/Editor:
Chaudhuri, Swarat
Farzan, Azadeh
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41540-6
+ info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Autor/Editor:
Majumdar, Rupak
KunÄak, Viktor
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63390-9
+ info
Computer Aided Verification. 30th International Conference, Proceedings, Part I
Autor/Editor:
Chockler, Hana
Weissenbacher, Georg
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96145-3
+ info
Computer Aided Verification. 30th International Conference, Proceedings, Part II
Autor/Editor:
Chockler, Hana
Weissenbacher, Georg
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96142-2
+ info
Computer Safety, Reliability, and Security. SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Autor/Editor:
Skavhaug, Amund
Guiochet, Jérémie
Schoitsch, Erwin
Bitsch, Friedemann
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-45480-1
+ info
Computer Science - Theory and Applications
Autor/Editor:
Hirsch, Edward A.
Kuznetsov, Sergei O.
Pin, Jean-Eric
Vereshchagin, Nikolay K.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-06686-8
+ info
Computer Science -- Theory and Applications
Autor/Editor:
Beklemishev, Lev D.
Musatov, Daniil V.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-20297-6
+ info
Computer Science – Theory and Applications
Autor/Editor:
Hirsch, Edward A.
Karhumäki, Juhani
Lepistö, Arto
Prilutskii, Michail
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30642-6
+ info
Computer Science – Theory and Applications
Autor/Editor:
Bulatov, Andrei A.
Shur, Arseny M.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38536-0
+ info
Computer Science – Theory and Applications
Autor/Editor:
Kulikov, Alexander S.
Woeginger, Gerhard J.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-34171-2
+ info
Computer Science – Theory and Applications
Autor/Editor:
Weil, Pascal
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-58747-9
+ info
Computers and Games
Autor/Editor:
Herik, H. Jaap van den
Iida, Hiroyuki
Plaat, Aske
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09165-5
+ info
Computing and Combinatorics
Autor/Editor:
Dinh, Thang N.
Thai, My T.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42634-1
+ info
Computing with New Resources
Autor/Editor:
Calude, Cristian S.
Freivalds, Rūsiņš
Kazuo, Iwama
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-13350-8
+ info
Conceptual Modeling
Autor/Editor:
Mayr, Heinrich C.
Guizzardi, Giancarlo
Ma, Hui
Pastor, Oscar
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-69904-2
+ info
Conceptual Modeling
Autor/Editor:
Trujillo, Juan C.
Davis, Karen C.
Du, Xiaoyong
Li, Zhanhuai
Ling, Tok Wang
Li, Guoliang
Lee, Mong Li
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00847-5
+ info
Conceptual Modelling and Its Theoretical Foundations
Autor/Editor:
Düsterhöft, Antje
Klettke, Meike
Schewe, Klaus-Dieter
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28279-9
+ info
Concise Computer Mathematics
Autor/Editor:
Bagdasar, Ovidiu
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-01751-8
+ info
Concise Guide to Formal Methods
Autor/Editor:
O'Regan, Gerard
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64021-1
+ info
Concrete Semantics
Autor/Editor:
Nipkow, Tobias
Klein, Gerwin
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10542-0
+ info
CONCUR 2012 – Concurrency Theory
Autor/Editor:
Koutny, Maciej
Ulidowski, Irek
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32940-1
+ info
CONCUR 2014 – Concurrency Theory
Autor/Editor:
Baldan, Paolo
Gorla, Daniele
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-44584-6
+ info
Concurrency, Security, and Puzzles
Autor/Editor:
Gibson-Robinson, Thomas
Hopcroft, Philippa
Lazić, Ranko
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-51046-0
+ info
Constraint Solving and Language Processing
Autor/Editor:
Duchier, Denys
Parmentier, Yannick
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41578-4
+ info
Controlled Natural Language
Autor/Editor:
Davis, Brian
Kaljurand, Kaarel
Kuhn, Tobias
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10223-8
+ info
Controlled Natural Language. CNL 2010
Autor/Editor:
Rosner, Michael
Fuchs, Norbert E.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31175-8
+ info
Controlled Natural Language. CNL 2012
Autor/Editor:
Kuhn, Tobias
Fuchs, Norbert E.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32612-7
+ info
Correct Reasoning
Autor/Editor:
Erdem, Esra
Lee, Joohyung
Lierler, Yuliya
Pearce, David
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30743-0
+ info
Correct System Design
Autor/Editor:
Meyer, Roland
Platzer, André
Wehrheim, Heike
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23506-6
+ info
Critical Systems : Formal Methods and Automated Verification
Autor/Editor:
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-45943-1
+ info
Critical Systems: Formal Methods and Automated Verification
Autor/Editor:
Petrucci, Laure
Seceleanu, Cristina
Cavalcanti, Ana
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-67113-0
+ info
Current Trends in Web Engineering
Autor/Editor:
Garrigós, Irene
Wimmer, Manuel
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-74433-9
+ info
Cyberpatterns
Autor/Editor:
Zhu, Hong
Blackwell, Clive
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-04447-7
+ info
Chinese Lexical Semantics
Autor/Editor:
Lu, Qin
Gao, Helena Hong
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-27194-1
+ info
Chinese Lexical Semantics
Autor/Editor:
Dong, Minghui
Lin, Jingxia
Tang, Xuri
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49508-8
+ info
Chinese Lexical Semantics : 18th Workshop, Revised Selected Papers
Autor/Editor:
Wu, Yunfang
Hong, Jia-Fei
Su, Qi
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-73573-3
+ info
Data Analytics and Management in Data Intensive Domains
Autor/Editor:
Kalinichenko, Leonid
Manolopoulos, Yannis
Malkov, Oleg
Skvortsov, Nikolay
Stupnikov, Sergey
Sukhomlin, Vladimir
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96553-6
+ info
Data Engineering and Management
Autor/Editor:
Kannan, Rajkumar
Andres, Frederic
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-27872-3
+ info
Data Management Technologies and Applications
Autor/Editor:
Filipe, Joaquim
Bernardino, Jorge
Quix, Christoph
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94809-6
+ info
Database and Expert Systems Applications : 29th International Conference, Part II
Autor/Editor:
Hartmann, Sven
Ma, Hui
Hameurlain, Abdelkader
Pernul, Günther
Wagner, Roland R.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-98812-2
+ info
Database and Expert Systems Applications. 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I
Autor/Editor:
Benslimane, Djamal
Damiani, Ernesto
Grosky, William I.
Hameurlain, Abdelkader
Sheth, Amit
Wagner, Roland R.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64468-4
+ info
Database and Expert Systems Applications. 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
Autor/Editor:
Benslimane, Djamal
Damiani, Ernesto
Grosky, William I.
Hameurlain, Abdelkader
Sheth, Amit
Wagner, Roland R.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64471-4
+ info
Datalog in Academia and Industry
Autor/Editor:
Barceló, Pablo
Pichler, Reinhard
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32925-8
+ info
Deductive Software Verification – The KeY Book
Autor/Editor:
Ahrendt, Wolfgang
Beckert, Bernhard
Bubel, Richard
Hähnle, Reiner
Schmitt, Peter H.
Ulbrich, Mattias
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49812-6
+ info
Deontic Logic and Normative Systems
Autor/Editor:
Cariani, Fabrizio
Grossi, Davide
Meheus, Joke
Parent, Xavier
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08615-6
+ info
Deontic Logic in Computer Science
Autor/Editor:
Ågotnes, Thomas
Broersen, Jan
Elgesem, Dag
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31570-1
+ info
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor:
Li, Xuandong
Liu, Zhiming
Yi, Wang
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25942-0
+ info
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor:
Fränzle, Martin
Kapur, Deepak
Zhan, Naijun
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-47677-3
+ info
Dependable Software Engineering. Theories, Tools, and Applications
Autor/Editor:
Larsen, Kim Guldstrand
Sokolsky, Oleg
Wang, Ji
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-69483-2
+ info
Dependable Software Engineering. Theories, Tools, and Applications
Autor/Editor:
Feng, Xinyu
Müller-Olm, Markus
Yang, Zijiang
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99933-3
+ info
Description Logics in Multimedia Reasoning
Autor/Editor:
Sikos, Leslie F.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-54066-5
+ info
Descriptional Complexity of Formal Systems
Autor/Editor:
Shallit, Jeffrey
Okhotin, Alexander
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19225-3
+ info
Descriptional Complexity of Formal Systems
Autor/Editor:
Kutrib, Martin
Moreira, Nelma
Reis, Rogério
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31623-4
+ info
Descriptional Complexity of Formal Systems
Autor/Editor:
Jurgensen, Helmut
Reis, Rogério
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39310-5
+ info
Descriptional Complexity of Formal Systems
Autor/Editor:
Hürgensen, Helmut
Karhumäki, Juhani
Okhotin, Alexander
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09704-6
+ info
Descriptional Complexity of Formal Systems
Autor/Editor:
Câmpeanu, Cezar
Manea, Florin
Shallit, Jeffrey
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41114-9
+ info
Descriptional Complexity of Formal Systems
Autor/Editor:
Pighizzini, Giovanni
Câmpeanu, Cezar
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-60252-3
+ info
Descriptive Set Theoretic Methods in Automata Theory
Autor/Editor:
Skrzypczak, Michał
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-52947-8
+ info
Developments in Language Theory
Autor/Editor:
Potapov, Igor
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21500-6
+ info
Developments in Language Theory
Autor/Editor:
Yen, Hsu-Chun
Ibarra, Oscar H.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31653-1
+ info
Developments in Language Theory
Autor/Editor:
Béal, Marie-Pierre
Carton, Olivier
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38771-5
+ info
Developments in Language Theory
Autor/Editor:
Shur, Arseny M.
Volkov, Mikhail V.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09698-8
+ info
Developments in Language Theory
Autor/Editor:
Brlek, SreÄko
Reutenauer, Christophe
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-53132-7
+ info
Developments in Language Theory
Autor/Editor:
Charlier, Émilie
Leroy, Julien
Rigo, Michel
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-62809-7
+ info
Developments in Language Theory
Autor/Editor:
Hoshi, Mizuho
Seki, Shinnosuke
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-98654-8
+ info
Diagrammatic Representation and Inference
Autor/Editor:
Chapman, Peter
Stapleton, Gem
Moktefi, Amirouche
Perez-Kriz, Sarah
Bellucci, Francesco
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91376-6
+ info
Digital Libraries for Open Knowledge
Autor/Editor:
Méndez, Eva
Crestani, Fabio
Ribeiro, Cristina
David, Gabriel
Correia Lopes, João
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00066-0
+ info
Digital Libraries: Data, Information, and Knowledge for Digital Lives
Autor/Editor:
Choemprayong, Songphan
Crestani, Fabio
Cunningham, Sally Jo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70232-2
+ info
Directed Algebraic Topology and Concurrency
Autor/Editor:
Fajstrup, Lisbeth
Goubault, Eric
Haucourt, Emmanuel
Mimram, Samuel
Raussen, Martin
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-15398-8
+ info
Dynamic Logic. New Trends and Applications
Autor/Editor:
Madeira, Alexandre
Benevides, Mário
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-73579-5
+ info
ECOOP 2012 – Object-Oriented Programming
Autor/Editor:
Noble, James
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31057-7
+ info
ECOOP 2013 – Object-Oriented Programming
Autor/Editor:
Castagna, Giuseppe
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39038-8
+ info
ECOOP 2014 – Object-Oriented Programming
Autor/Editor:
Jones, Richard
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-44202-9
+ info
Empirical Software Engineering and Verification
Autor/Editor:
Meyer, Bertrand
Nordio, Martin
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-25231-0
+ info
Engineering Multi-Agent Systems
Autor/Editor:
Baldoni, Matteo
Müller, Jörg P.
Nunes, Ingrid
Zalila-Wenkstern, Rym
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-50983-9
+ info
Engineering Multi-Agent Systems
Autor/Editor:
Fallah-Seghrouchni, Amal El
Ricci, Alessandro
Son, Tran Cao
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91899-0
+ info
Evolving Computability
Autor/Editor:
Beckmann, Arnold
Mitrana, Victor
Soskova, Mariya
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-20028-6
+ info
FM 2012: Formal Methods
Autor/Editor:
Giannakopoulou, Dimitra
Méry, Dominique
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32759-9
+ info
FM 2014: Formal Methods
Autor/Editor:
Jones, Cliff
Pihlajasaari, Pekka
Sun, Jun
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-06410-9
+ info
FM 2015: Formal Methods
Autor/Editor:
Bjørner, Nikolaj
De Boer, Frank
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19249-9
+ info
FM 2016 : Formal Methods
Autor/Editor:
Fitzgerald, John
Heitmeyer, Constance
Gnesi, Stefania
Philippou, Anna
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-48989-6
+ info
Formal Aspects of Component Software
Autor/Editor:
Lanese, Ivan
Madelaine, Eric
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-15317-9
+ info
Formal Aspects of Component Software
Autor/Editor:
Păsăreanu, Corina S.
Salaün, Gwen
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35861-6
+ info
Formal Aspects of Component Software
Autor/Editor:
Fiadeiro, José Luiz
Liu, Zhiming
Xue, Jinyun
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07602-7
+ info
Formal Aspects of Component Software
Autor/Editor:
Braga, Christiano
Ölveczky, Peter Csaba
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-28934-2
+ info
Formal Aspects of Component Software
Autor/Editor:
Proença, José
Lumpe, Markus
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68034-7
+ info
Formal Aspects of Component Software
Autor/Editor:
Bae, Kyungmin
Ölveczky, Peter Csaba
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02146-7
+ info
Formal Aspects of Component Software. FACS 2010
Autor/Editor:
Soares Barbosa, Luís
Lumpe, Markus
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-27269-1
+ info
Formal Aspects of Component Software. FACS 2011
Autor/Editor:
Arbab, Farhad
Ölveczky, Peter Csaba
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35743-5
+ info
Formal Concept Analysis
Autor/Editor:
Baixeries, Jaume
Sacarea, Christian
Ojeda-Aciego, Manuel
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19545-2
+ info
Formal Concept Analysis
Autor/Editor:
Domenach, Florent
Ignatov, Dmitry I.
Poelmans, Jonas
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29892-9
+ info
Formal Concept Analysis
Autor/Editor:
Cellier, Peggy
Distel, Felix
Ganter, Bernhard
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38317-5
+ info
de
7 paginas
registros 101 al 200 de 683