UB FFM: Suchergebnisse - Scientific Engineering for Distributed Java Applications

[1]
zurück
4
5
6
7
8
9
10
11
12
13
14
weiter
[25]

161

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Esparza, Javier (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

162

Applied quantitative finance : theory and computational tools

Härdle, Wolfgang

Berlin [u.a.] : Springer, 2002

Buch

163

Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Stoelinga, Mariëlle (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

164

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

de Boer, Frank S (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

165

Making Money : The History and Future of Society's Most Important Technology

Van Biljon, Peet (Verfasser)

Boston : De Gruyter, 2020

E-Book

166

Intelligent organizations : powerful models for systemic management

Schwaninger, Markus

2. ed.

Berlin [u.a.] : Springer, 2009

Buch

167

Evolutionary algorithms for solving multi-objective problems

Coello Coello, Carlos A.

1. [Dr.]

New York [u.a.] : Kluwer Acad. [u.a.], 2002

Buch

168

Applied parallel computing : new paradigms for HPC in industry and computing proceedings ; 5th international workshop ; proceedings

Sørevik, Tor (Herausgeber)

Berlin : Springer, 2001

Buch

169

Digest of technical papers / 1999 IEEE/ACM International Conference on Computer-Aided Design, November 7 - 11, 1999, San Jose, California

International Conference on Computer Aided Design (Institute of Electrical and Electronics Engineers) (1999 : San José, Calif.)

Piscataway, NJ : IEEE Order Dep., 1999

Buch

170

Proceedings / ACM IEEE Nineteenth Design Automation Conference : Caesars Palace, Las Vegas, Nevada, June 14 - 16, 1982

Crabbe, James S.

New York, NY : IEEE, 1982

Buch

171

Middleware 2009 : ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings

Issarny, Valérie (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

172

Parallel Processing and Applied Mathematics : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers

Wyrzykowski, Roman (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

173

Wadi Flash Floods : Challenges and Advanced Approaches for Disaster Risk Reduction

Sumi, Tetsuya (Herausgeber)

1st ed. 2022

Singapore : Springer Singapore, 2022

E-Book

174

Advances in exception handling techniques

Romanovsky, Alexander (Herausgeber)

Berlin : Springer, 2001

Buch

175

Service Availability : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers

Penkler, Dave (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

176

Business continuity : IT risk management for international corporations

Wieczorek, Martin (Herausgeber)

Berlin : Springer, 2002

Buch

177

Component software : beyond object-oriented programming

Szyperski, Clemens

2. ed.

London [u.a.] : Addison-Wesley, 2002

Buch

178

Abstract state machines : a method for high level system design and analysis ; with 19 tables

Börger, Egon (Verfasser)

Berlin : Springer, 2003

Buch

179

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Peled, Doron A (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

180

Dependable computing : proceedings

Hlavička, Jan (Herausgeber)

Berlin : Springer, 1999

Buch

[1]
zurück
4
5
6
7
8
9
10
11
12
13
14
weiter
[25]

Treffer 161 - 180 von 483

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken