UB FFM: Suchergebnisse - Compact Extended Linear Programming Models

[1]
zurück
1
2
3
4
5
6
7
8
9
10
11
weiter
[17]

Distributed Computing : 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings

Dolev, Shlomi (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Metaheuristics : from design to implementation

Talbi, El-Ghazali

Hoboken, NJ : Wiley, 2009

Buch

Games and full abstraction for a functional metalanguage with recursive types

McCusker, Guy

London [u.a.] : Springer, 1998

Buch

Model-checking based data retrieval : an application to semistructured and temporal data

Quintarelli, Elisa

Berlin [u.a.] : Springer, 2004

Buch

Evolvable Systems: From Biology to Hardware : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings

Hornby, Gregory S (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Ésik, Zoltán (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Financial markets in continuous time

Dana, Rose-Anne

Berlin [u.a.] : Springer, 2003

Buch

Symmetry, representations, and invariants

Goodman, Roe (Verfasser)

New York, NY : Springer, 2009

Buch

Multilevel and longitudinal modeling with IBM SPSS

Heck, Ronald H.

London : Routledge Academic, 2010

Buch

Learning and expectations in macroeconomics

Evans, George W.

Princeton [u.a.] : Princeton Univ. Press, 2001

Buch

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings

Amadio, Roberto (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Seidl, Helmut (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Artemov, Sergei (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Hawblitzel, Chris (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Foundations of mathematical economics

Carter, Michael

Cambridge, Mass. : [usw.] : M I T Pr, 2001

Buch

Automated reasoning : first international joint conference ; proceedings

Goré, Rajeev (Herausgeber)

Berlin : Springer, 2001

Buch

Automata and languages : theory and applications

Meduna, Alexander

London [u.a.] : Springer, 1999

Buch

Landscape simulation modeling : a spatially explicit, dynamic approach

Costanza, Robert (Herausgeber)

New York, NY : Springer, 2004

Buch

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Libkin, Leonid (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 ; proceedings

Libkin, Leonid (Herausgeber)

Berlin : Springer, 2013

Buch

[1]
zurück
1
2
3
4
5
6
7
8
9
10
11
weiter
[17]

Treffer 61 - 80 von 331

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken