Suchergebnisse - The Java tutorial

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Damm, Werner (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Ur, Shmuel (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings

Mohr, Bernd (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Clean code : a handbook of agile software craftsmanship

Martin, Robert C. (Verfasser)

6th print.

Upper Saddle River, NJ : Prentice Hall, 2009

Buch

Reliable Software Technologies -- Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings

Pinho, Luís Miguel (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Public Key Cryptography - PKC 2005 : 8th International Workshop on Theory and Practice in Public Key Cryptography

Vaudenay, Serge (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

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

Advances in Web Based Learning -- ICWL 2006 : 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers

Liu, Wenyin (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Bouajjani, Ahmed (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Etessami, Kousha (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Practical Distributed Processing

Brooke, Phillip J. (Verfasser)

1st ed. 2008

London : Springer London, 2008

E-Book

A survey of computational physics : introductory computational science

Landau, Rubin H. (Verfasser)

Princeton, NJ : Princeton Univ. Press, 2008

Buch

Formal techniques in real-time and fault-tolerant systems : 7th international symposium ; proceedings

Damm, Werner (Herausgeber)

Berlin : Springer, 2002

Buch

User Modeling 2005 : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings

Ardissono, Liliana (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Web cartography : map design for interactive and mobile devices

Muehlenhaus, Ian

Boca Raton [u.a.] : CRC Press, 2014

Buch

Programming Python

Lutz, Mark (Verfasser)

3. ed.

Beijing : O'Reilly, 2006

Buch

Clean code : a handbook of agile software craftsmanship

Martin, Robert C. (Verfasser)

Boston : Addison Wesley, 2009

Buch

Intelligent Information Processing II : IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China

He, Qing (Herausgeber)

1st ed. 2005

New York, NY : Springer US, 2005

E-Book

Datenbanken : Konzepte und Sprachen

Saake, Gunter (Verfasser)

5. Auflage

Heidelberg : mitp, 2013

Buch

Parallel processing

Danelutto, Marco (Herausgeber)

Berlin : Springer, 2004

Buch

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 41 - 60 von 64

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken