DYNALLOY: AN EXTENSION OF ALLOY FOR WRITING AND ANALYZING BEHAVIOURAL MODELS Germán Regis | César Cornejo | Simón Gutiérrez Brida | Mariano Politano | Fernando Raverta | Pablo Ponzio | Nazareno Aguirre | Juan Pablo G

Source URL: alloytools.org

• Formal methods
• Logic puzzles
• River crossing puzzle
• CH
• Alloy
• Software engineering
• Theoretical computer science

sampledoc Documentation Release 1.0 John Hunter, Fernando Perez, Michael Droettboom Apr 06, 2017

Source URL: matplotlib.org

• Software
• Computing
• System software
• Text editors
• Sphinx
• Git
• Emacs
• IPython
• Look and feel
• Cd
• Iproute2

Creating a Shared Understanding of Testing Culture on a Social Coding Site Raphael Pham∗ , Leif Singer∗ , Olga Liskin∗ , Fernando Figueira Filho† , and Kurt Schneider∗ ∗ Leibniz Universität Hannover

Source URL: etc.leif.me

• Software engineering
• Computing
• Software development
• Version control
• Software testing
• Extreme programming
• Git
• Agile software development
• GitHub
• Test automation
• Continuous integration
• Open-source software

Genotype Sequence Segmentation: Handling Constraints and Noise Qi Zhang, Wei Wang, Leonard McMillan, Jan Prins Fernando Pardo-Manuel de Villena, David Threadgill UNC Chapel Hill

Source URL: web.cs.ucla.edu

Organisers: Bartholomew Ryan, Marta Faustino, Antonio Cardiello International Conference / Conferência Internacional with the collaboration of Casa Fernando Pessoa

Source URL: www.ifilnova.pt

Doctoral Program in Applied Economics PHD CANDIDATES AVAILABLE FOR POSITIONS IN THE ACADEMIC YEARPlacement Director: Fernando V. Ferreira

Source URL: bepp.wharton.upenn.edu

Los Fractales: una alternativa interactiva para la enseñanza de la matemática 1 Fernando Pérez Departamento de Física

Source URL: fperez.org

Consideraciones básicas sobre “Marcas” en El “Valor de Marca” (incluido en “Goodwill”), es un activo intangible para una empresa Preparado por el Dr. Fernando Bobadilla, Esq. - Litigio Comercial y Propiedad

Source URL: www.bobadillafirm.com

Microsoft PowerPoint - Ponencia-Fernando Zapata L.pez.ppt

Source URL: www.biblioci.org

Fingerprinting Tor’s Hidden Service Log Files Using a Timing Channel Juan A. Elices #1 , Fernando P´erez-Gonz´alez ∗,#2 , Carmela Troncoso +3 # 1

Source URL: carmelatroncoso.com