Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 73 de 73
Algebra and Coalgebra in Computer Science
Autor/Editor: Heckel, Reiko  Milius, Stefan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40206-7
    + 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: 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
Algorithms and Computation
Autor/Editor: Sadakane, Kunihiko  Pal, Sudebkumar Prasant
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04657-0
    + info
Arithmetic of Finite Fields
Autor/Editor: Koç, Çetin Kaya  Mesnager, Sihem  SavaÅŸ, Erkay
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-16277-5
    + info
Arithmetic of Finite Fields
Autor/Editor: Özbudak, Ferruh  Rodríguez-Henríquez, Francisco
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31662-3
    + info
Arithmetic of Finite Fields
Autor/Editor: Duquesne, Sylvain  Petkova-Nikova, Svetla
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55227-9
    + info
Arithmetic of Finite Fields
Autor/Editor: Budaghyan, Lilya  Rodríguez-Henríquez, Francisco
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-05153-2
    + 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
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
Belief-based Stability in Coalition Formation with Uncertainty
Autor/Editor: Chan, Chi-kong  Leung, Ho-fung
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38215-4
    + 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
Coding Theory and Applications
Autor/Editor: Barbero, Ángela I.  Skachek, Vitaly  Ytrehus, Øyvind
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66278-7
    + 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
Computational Methods in Systems Biology
Autor/Editor: Roux, Olivier  Bourdon, Jérémie
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23401-4
    + info
Computational Methods in Systems Biology
Autor/Editor: Gilbert, David  Heiner, Monika
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33636-2
    + info
Computational Methods in Systems Biology
Autor/Editor: Gupta, Ashutosh  Henzinger, Thomas A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40708-6
    + info
Computational Methods in Systems Biology
Autor/Editor: Mendes, Pedro  Dada,Joseph O.  Smallbone, Kieran
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12982-2
    + info
Computational Methods in Systems Biology
Autor/Editor: Bartocci, Ezio  Lio, Pietro  Paoletti, Nicola
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45177-0
    + info
Computer Algebra and Polynomials
Autor/Editor: Gutierrez, Jaime  Schicho, Josef  Weimann, Martin
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15081-9
    + info
Computer Algebra in Quantum Field Theory
Autor/Editor: Schneider, Carsten  Blümlein, Johannes
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-7091-1616-6
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24021-3
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Mayr, Ernst W.  Vorozhtsov, Evgenii V.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32973-9
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Mayr, Ernst W.  Vorozhtsov, Evgenii V.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-02297-0
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10515-4
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45641-6
    + info
Formal Grammar
Autor/Editor: Groote, Philippe  Nederhof, Mark-Jan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32024-8
    + info
Formal Grammar
Autor/Editor: Morrill, Glyn  Nederhof, Mark-Jan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39998-5
    + info
Formal Grammar
Autor/Editor: Morrill, Glyn  Muskens, Reinhard  Osswald, Rainer  Richter, Frank
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44121-3
    + info
Formal Grammar
Autor/Editor: Foret, Annie  Morrill, Glyn  Muskens, Reinhard  Osswald, Rainer  Pogodalla, Sylvain
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53042-9
    + info
Fuzzy Computational Ontologies in Contexts
Autor/Editor: Cai, Yi  Au Yeung, Ching-man  Leung, Ho-fung
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25456-7
    + info
Geospatial Algebraic Computations
Autor/Editor: Awange, Joseph L.  Paláncz, Béla
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25465-4
    + info
Graph Drawing
Autor/Editor: Kreveld, Marc  Speckmann, Bettina
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25878-7
    + info
Graph Drawing
Autor/Editor: Didimo, Walter  Patrignani, Maurizio
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36763-2
    + info
Guide to Computational Geometry Processing
Autor/Editor: Bærentzen, Jakob Andreas  Gravesen, Jens  Anton, François  Aanæs, Henrik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4075-7
    + info
How the World Computes
Autor/Editor: Cooper, S. Barry  Dawar, Anuj  Löwe, Benedikt
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30870-3
    + info
Intelligent Computer Mathematics
Autor/Editor: Kerber, Manfred  Carette, Jacques  Kaliszyk, Cezary  Rabe, Florian  Sorge, Volker
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20615-8
    + info
Intelligent Computer Mathematics
Autor/Editor: Jeuring, Johan  Campbell, John A.  Carette, Jacques  Reis, Gabriel  Sojka, Petr  Wenzel, Makarius  Sorge, Volker
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31374-5
    + info
Intelligent Computer Mathematics
Autor/Editor: Carette, Jacques  Aspinall, David  Lange, Christoph  Sojka, Petr  Windsteiger, Wolfgang
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39320-4
    + info
Intelligent Computer Mathematics
Autor/Editor: Watt, Stephen M.  Davenport, James H.  Sexton, Alan P.  Sojka, Petr  Urban, Josef
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08434-3
    + info
Language and Automata Theory and Applications
Autor/Editor: Dediu, Adrian-Horia  Formenti, Enrico  Martín-Vide, Carlos  Truthe, Bianca
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15579-1
    + info
Language and Automata Theory and Applications
Autor/Editor: Dediu, Adrian-Horia  Martín-Vide, Carlos  Sierra-Rodríguez, José-Luis  Truthe, Bianca
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04921-2
    + info
Language and Automata Theory and Applications
Autor/Editor: Dediu, Adrian-Horia  JanouÅ¡ek, Jan  Martín-Vide, Carlos  Truthe, Bianca
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30000-9
    + info
Languages Alive
Autor/Editor: Bordihn, Henning  Kutrib, Martin  Truthe, Bianca
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31644-9
    + info
Loewy Decomposition of Linear Differential Equations
Autor/Editor: Schwarz, Fritz
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-7091-1286-1
    + info
Logic, Language, Information and Computation
Autor/Editor: Ong, Luke  Queiroz, Ruy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32621-9
    + info
Logic, Language, Information, and Computation
Autor/Editor: De Paiva Valeria  De Queiroz, Ruy  Moss, Lawrence S.  Leivant, Daniel  De Oliveira, Anjolina G.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-47709-0
    + info
Logic, Language, Information, and Computation
Autor/Editor: Libkin, Leonid  Kohlenbach, Ulrich  Queiroz, Ruy
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39992-3
    + info
Logic, Language, Information, and Computation
Autor/Editor: Kohlenbach, Ulrich  Barceló, Pablo  Queiroz, Ruy
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44145-9
    + info
Logic, Language, Information, and Computation
Autor/Editor: Väänänen, Jouko  Hirvonen, Åsa  Queiroz, Ruy de
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-52921-8
    + info
Logic, Language, Information, and Computation
Autor/Editor: Kennedy, Juliette  Queiroz, Ruy J. G. B. de
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-55386-2
    + info
Logic, Rationality, and Interaction
Autor/Editor: Hoek, Wiebe van der  Holliday, Wesley H.  Wang, Wen-Fang
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48561-3
    + info
Logic, Rationality, and Interaction
Autor/Editor: Grossi, Davide  Roy, Olivier  Huang, Huaxin
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40948-6
    + info
Logic, Rationality, and Interaction
Autor/Editor: Baltag, Alexandru  Seligman, Jeremy  Yamada, Tomoyuki
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-55665-8
    + info
Mathematical Modeling of Technological Processes
Autor/Editor: Danaev, Nargozy  Shokin, Yurii  Darkhan, Akhmed-Zaki
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25058-8
    + info
Parameterized and Exact Computation. IPEC 2011
Autor/Editor: Marx, Dániel  Rossmanith, Peter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28050-4
    + info
Principles of Distributed Systems
Autor/Editor: Baldoni, Roberto  Flocchini, Paola  Binoy, Ravindran
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35476-2
    + info
Quantum Attacks on Public-Key Cryptosystems
Autor/Editor: Yan, Song Y.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4419-7722-9
    + info
Relational and Algebraic Methods in Computer Science
Autor/Editor: Kahl, Wolfram  Winter, Michael  Oliveira, José
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24704-5
    + info
Relational and Algebraic Methods in Computer Science
Autor/Editor: Kahl, Wolfram  Griffin, Timothy G.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33314-9
    + info
Relational and Algebraic Methods in Computer Science
Autor/Editor: Höfner, Peter  Jipsen, Peter  Kahl, Wolfram  Müller, Martin Eric
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06251-8
    + info
Relational and Algebraic Methods in Computer Science
Autor/Editor: Höfner, Peter  Pous, Damien  Struth, Georg
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57418-9
    + info
Research in Cryptology
Autor/Editor: Armknecht, Frederik  Lucks, Stefan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34159-5
    + info
Rewriting and Typed Lambda Calculi
Autor/Editor: Dowek, Gilles
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08918-8
    + info
Sets, Logic and Maths for Computing
Autor/Editor: Makinson, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-2500-6
    + info
Typed Lambda Calculi and Applications
Autor/Editor: Hasegawa, Masahito
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38946-7
    + info
WALCOM : Algorithms and Computation
Autor/Editor: Kaykobad, Mohammad  Petreschi, Rossella
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30139-6
    + info
WALCOM: Algorithms and Computation
Autor/Editor: Rahman, M. Sohel  Tomita, Etsuji
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15612-5
    + info
WALCOM: Algorithms and Computation
Autor/Editor: Ghosh, Subir Kumar  Tokuyama, Takeshi
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36065-7
    + info
  registros 1 al 73 de 73