soft < software < soho

Facettes :

List of bibliographic references indexed by software

Number of relevant bibliographic references: 10.

Ident.	Authors (with country if any)	Title
000966 (2010)	Vladis Berzins [États-Unis] ; Luqi [États-Unis] ; Peter Musial [États-Unis]	Formal Reasoning about Software Object Translations
000F92 (2008)	Marco A B. Mansur [Brésil] ; Giovana P. Cardozo [Brésil] ; Elaine V. Santos [Brésil] ; Mozart Marins [Brésil]	SNUFER: A software for localization and presentation of single nucleotide polymorphisms using a Clustal multiple sequence alignment output file
001276 (2007)	Ram N Díaz-Uriarte ; Andreu Alibés ; Edward R. Morrissey ; Andrés Ca Ada ; Oscar M. Rueda ; Mariana L. Neves	Asterias: integrated analysis of expression and aCGH data using an open-source, web-based, parallelized software suite
002168 (2002)	Jürgen Zimmer [Allemagne] ; Michael Kohlhase [États-Unis]	System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
002178 (2002)	Jürgen Zimmer [Royaume-Uni] ; A. Dennis [Pays-Bas, Royaume-Uni]	Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
002467 (2001)		Agents, Multiagent Systems and Software Engineering
002674 (2001)	Michael Kohlhase [États-Unis] ; Andreas Franke [Allemagne]	MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
002677 (2001)	Jürgen Lind [Allemagne]	Issues in Agent-Oriented Software Engineering
002D87 (1998)	Jaroslava Halova [République tchèque] ; Oldrich Strouf [République tchèque] ; Premysl Zak [République tchèque] ; Anna Sochorova [République tchèque] ; Noritaka Uchida [Japon] ; Hiroshi Okimoto [Japon] ; Tomoaki Yuzuri [Japon] ; Kazuhisa Sakakibara [Japon] ; Minoru Hirota [Japon]	Computer Aided Hypotheses Based Drug Discovery Using CATALYSTRTM and PC GUHA Software Systems
003017 (1998)	Michael R. Olsem [États-Unis]	An incremental approach to software systems re‐engineering

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "software" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "software" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    MozartV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    software
}}

---

This area was generated with Dilib version V0.6.20. Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023