UB FFM: Suchergebnisse - Distributed Graph Algorithms for Computer Networks

[1]
zurück
38
39
40
41
42
43
44
45
46
47
48
weiter
[83]

841

Systems and software verification : model-checking techniques and tools

Bérard, Béatrice

Berlin [u.a.] : Springer, 2001

Buch

842

Quality of Service – IWQoS 2005 : 13th International Workshop, IWQoS 2005, Passau, Germany, June 21-23, 2005. Proceedings

de Meer, Hermann (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

843

Software and Data Technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers

Filipe, Joaquim (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

844

Inter-Domain Management : First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings

Bandara, Arosha K (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

845

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges : Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Camara, Oscar (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

846

Computational ergodic theory : with 10 tables

Choe, Geon Ho

Berlin [u.a.] : Springer, 2005

Buch

847

Advances in cryptology : proceedings

Krawczyk, Hugo (Herausgeber)

Berlin : Springer, 1998

Buch

848

Advances in pattern recognition : proceedings ; joint IAPR international workshops

Amin, Adnan (Herausgeber)

Berlin : Springer, 1998

Buch

849

Swarm intelligence

Kennedy, James

San Francisco [u.a.] : Morgan Kaufmann, 2001

Buch

850

Parallel problem solving from nature : 1st workshop ; proceedings

Schwefel, Hans-Paul (Herausgeber)

Berlin : Springer, 1991

Buch

851

Principles and Practice of Constraint Programming - CP 2006 : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings

Benhamou, Frédéric (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

852

Data and Applications Security XXIII : 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009, Proceedings

Gudes, Ehud (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

853

VLSI 91 : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20 - 22 August, 1991

Halaas, Arne (Hrsg.)

Amsterdam [u.a.] : North-Holland, 1992

Buch

854

Applied Parallel and Scientific Computing : 11th International Conference, PARA 2012, Helsinki, Finland

Manninen, Pekka (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

855

Multimedia systems

Steinmetz, Ralf

Berlin [u.a.] : Springer, 2004

Buch

856

Information and Communication Technology : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013, Proceedings

Mustofa, Khabib (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

857

Proceedings of the sixteenth Annual ACM Symposium on Theory of Computing : Washington, D. C. April 30 - May

Symposium on Theory of Computing (16 : 1984 : Washington, DC)

New York, NY : Assoc. for Computing Machinery, 1984

Buch

858

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

Banâtre, Jean-Pierre (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

859

Theory and practice of informatics : proceedings

Pavelka, Jan (Herausgeber)

Berlin : Springer, 1999

Buch

860

Artificial immune systems : a new computational intelligence approach

Castro, Leandro N. de

London [u.a.] : Springer, 2002

Buch

[1]
zurück
38
39
40
41
42
43
44
45
46
47
48
weiter
[83]

Treffer 841 - 860 von 1.648

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken