Suchergebnisse - Multimedia Introduction to Programming Using Java

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

[1]
Vorheriger
26
27
28
29
30
31
32
33
34
35
36
Nächster
[98]

601

FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Misra, Jayadev (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

602

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

603

Advanced Topics in Exception Handling Techniques

Dony, Christophe (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

604

Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Liu, Zhiming (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

605

Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

Nierstrasz, Oscar (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

606

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Julliand, Jacques (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

607

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

608

Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Cavalcanti, Ana (Herausgeber)

1st edition 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

609

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

610

Product-Focused Software Process Improvement : 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings

Münch, Jürgen (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

611

Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Bernardo, Marco (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

612

Rapid Integration of Software Engineering Techniques : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

Guelfi, Nicolas (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

613

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

614

Software Engineering and Middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers

Gschwind, Thomas (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

615

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings

Di Martino, Beniamino (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

616

Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings

Reussner, Ralf H (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

617

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Fitzgerald, John (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

618

Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends

Atkinson, Colin (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

619

COTS-Based Software Systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings

Franch, Xavier (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

620

Linear programming : methods and applications

Gass, Saul I. (Verfasser)

4. ed.

New York : McGraw-Hill, 1975

Buch

[1]
Vorheriger
26
27
28
29
30
31
32
33
34
35
36
Nächster
[98]

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

Treffer 601 - 620 von 1.943

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken