Results
13961.
13962.
13963.
13964.
13965.
Formal methods for computational systems biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.). by Series: Lecture notes in computer science ; 5016 | LNCS sublibrary . SL 2, Programming and software engineering | Lecture notes in computer science . Tutorial.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
13966.
13967.
13968.
13969.
13970.
OpenMP shared memory parallel programming [electronic resource] : international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / Matthias S. Mueller ... [et al.] (eds.). by Series: Lecture notes in computer science ; 4315 | LNCS sublibrary . SL 1, Theoretical computer science and general issues
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
Other title:
Open multi-processing shared memory parallel programming
IWOMP 2005
IWOMP 2006
In:
Springer eBooks
Availability: No items available.
13971.
13972.
13973.
Mining complex data [electronic resource] : ECML/PKDD 2007 third international workshop, MCD 2007, Warsaw, Poland, September 17-21, 2007 : revised selected papers / Zbigniew W. Ras, Shusaku Tsumoto, Djamel Zighed, (eds.). by Series: Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1910.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
13974.
13975.
The semantic web [electronic resource] : research and applications ; 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, proceedings / Sean Bechhofer ... [et al.] (eds.) by Series: Lecture notes in computer science ; 5021 | LNCS sublibrary . SL 3 Information systems and applications, incl. Internet/Web, and HCI.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
13976.
13977.
Service availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008 : proceedings / Takashi Nanya ... [et al.] (eds.). by Series: Lecture notes in computer science ; 5017 | LNCS sublibrary . SL 3, Information systems and applications, incl. Internet/Web, and HCI
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
Other title:
ISAS 2008
5th International Service Availability Symposium
Fifth International Service Availability Symposium
In:
Springer eBooks
Availability: No items available.
13978.
13979.
Types for proofs and programs [electronic resource] : international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell ; [edited by] Marino Miculan, Ivan Scagnetto, Furio Honsell. by Series: Lecture Notes in Computer Science ; 4941
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
13980.
