1
0
0
(1 - 20 von 22
)
Advances in Artificial Intelligence: 9th Mexican ...google.com
books.google.com
... Antonio Navarro Perez Antonio Nebro Atul Negi Juan Carlos Nieves Juan Arturo Nolazco Flores Alberto Ochoa Zezzatti Ivan Olmos Constantin Orasan Magdalena ...
Revista minera, metalúrgica y de ingenieríagoogle.de
books.google.de
... Antonio Navarro . Pérez . Anglada y Ruiz . » - - Movimiento de personal.- Con fecha 7 de Diciem- bre ha sido trasladado al distrito , de Guadalajara el ...
“La solidaridad no perece”: Community organizing, political ...Taylor & Francis Online
www.tandfonline.com
— Notes on contributors · Aurora Santiago Ortiz · Antonio Navarro Pérez · Paulette Agosto Ortiz · Coralis Cruz González · Michelle Román Oyola — Notes on contributors · Aurora Santiago Ortiz · Antonio Navarro Pérez · Paulette Agosto Ortiz · Coralis Cruz González · Michelle Román Oyola.
"Juan Antonio Navarro Pérez" appeared in Books and ChaptersAsian Research Index
tocs.asianindexing.com
"Juan Antonio Navarro Pérez" appeared in Books and Chapters ... Asian Research Index (ARI) is an online indexing service for providing free access, peer reviewed, ... "Juan Antonio Navarro Pérez" appeared in Books and Chapters ... Asian Research Index (ARI) is an online indexing service for providing free access, peer reviewed, ...
Advances in Artificial Intelligence and Its Applications: 12th ...
books.google.nl
... Antonio Navarro Perez Jesús Emeterio Navarro-Barrientos Juan Carlos Nieves Juan Arturo Nolazco Flores Leszek Nowak C. Alberto Ochoa-Zezatti Ivan Olmos ...
Model-Driven Engineering and Software Development: Third ...
books.google.nl
... Antonio Navarro Perez, Bernhard Rumpe, Steven Völkel, and Andreas Wortmann A Model-driven Approach for the Generation of Customizable Model Migrations ...
Chair VII - Foundations of Software Reliability and ...TUM
archive.model.in.tum.de
Juan Antonio Navarro Pérez and Andrey Rybalchenko. Separation logic + superposition calculus = heap theorem prover. In Hall and Padua, pages 556–566. Info ... Juan Antonio Navarro Pérez and Andrey Rybalchenko. Separation logic + superposition calculus = heap theorem prover. In Hall and Padua, pages 556–566. Info ...
Computer Aided Verification: 21st International Conference, ...google.de
books.google.de
... Antonio Navarro Pérez, Andrey Rybalchenko, and Atul Singh Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences ...
Logic Programming and Nonmonotonic Reasoning: 11th ...google.de
books.google.de
... Antonio Navarro Perez Johannes Oetsch Emilia Oikarinen Simona Perri Jörg Pührer Francesco Ricca Torsten Schaub Peter Schüller Marco Sirianni Shahab ...
Automated Deduction -- CADE-24: 24th International ...google.com.vn
books.google.com.vn
... Antonio Navarro Pérez Mladen Nikolic Peter O'Hearn Jens Otten Fabio Papacchini Grant Olney Passmore Dirk Pattinson Nicolas Peltier Björn X Organization.
SearchOpenReview
openreview.net
Michael Eggert, Roger Häußling, Martin Henze, Lars Hermerschmidt, René Hummen, Daniel Kerpen, Antonio Navarro Pérez, Bernhard Rumpe, Dirk Thißen, ... Michael Eggert, Roger Häußling, Martin Henze, Lars Hermerschmidt, René Hummen, Daniel Kerpen, Antonio Navarro Pérez, Bernhard Rumpe, Dirk Thißen, ...
Programming Languages and Systems: 11th International ...google.com.vn
books.google.com.vn
... Antonio Navarro Pérez and Andrey Rybalchenko Bi-abduction with Pure Properties for Specification Inference Minh-Thai Trinh, Quang Loc Le ...
Algae Refinery: Up- and Downstream Processesgoogle.com.vn
books.google.com.vn
... Antonio Navarro - Pérez , Felipe García- Camacho , Jose Joaquin Ramos - Miras , and Jose Luis Guil - Guerrero a . “ Biomass nutrient profiles of the ...
An Extensible Component & Connector Architecture Description...
books.google.ru
1.1, 2.3, 4.4 Antonio Navarro Pérez and Bernhard Rumpe. Modeling Cloud Architectures as Interactive Systems. In I. Ober, A. S. Gokhale, J. H. Hill, J.-M. Bruel, M. Felderer, D. Lugato, and A. Dabholka, editors, Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud ...
Articles by Juan Antonio Navarro-pérezSynthical
synthical.com
... by Juan Antonio Navarro-pérez. Separation Logic Modulo Theories. 11 March by Juan Antonio Navarro-Pérez and Andrey Rybalchenko · Logic in Computer Science by Juan Antonio Navarro-pérez. Separation Logic Modulo Theories. 11 March by Juan Antonio Navarro-Pérez and Andrey Rybalchenko · Logic in Computer Science.
Computer Aided Verification: 21st International Conference, CAV
books.google.ru
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in...
Modeling with UML: Language, Concepts, Methods - Bernhard Rumpe -...
books.google.ru
... Timo Greifenberg, Julia Gunder, Sylvia Gunder, Arne Haber, Robert Heim, Lars Hermerschmidt, Gabi Heuschen, Katrin Hölldobler, Andreas Horst, Steffi Kaiser, Carsten Kolassa, Thomas Kurpick, Achim Lindt, Markus Look, Klaus Müller, Antonio Navarro Pérez, Pedram Mir Seyed Nazari, Dimitri Plotnikov, Alexander Roth, ...
Program Logics for Certified Compilers - Andrew W. Appel, Sandrine...
books.google.ru
Springer, J. S. Moore. A mechanically verified language implementation. Journal ofAutomated Reasoning, 5(4):461–492, Hiroshi Nakano. A modality for recursion. In LICS'00: 15th IEEE Symposium on Logic in Computer Science, pages 255–266, Juan Antonio Navarro Pérez and Andrey Rybalchenko.
Advances in Artificial Intelligence: 11th Mexican International...
books.google.de
The two-volume set LNAI and LNAI constitutes the refereed proceedings of the 11th Mexican International Conference on Artificial Intelligence, MICAI...
Programming Logics: Essays in Memory of Harald Ganzingergoogle.com.vn
books.google.com.vn
... Antonio Navarro-Pérez and Andrei Voronkov The Relative Power of Semantics and Unification David A. Plaisted and Swaha Miller First ...
Verwandte Suchanfragen zu Antonio Navarro Pérez
Person "Pérez" (1) Vorname "Navarro" (34) Name "Pérez" (2439) |
sortiert nach Relevanz / Datum