Skip to contents Nagl, Manfred [Author] Softwaretechnik mit Ada 95 : Entwicklung großer Systeme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1999 Published in: Vieweg professional computing Goos, Gerhard [Author]; Persch, Guido [Author]; Uhl, Jürgen [Author] Programmiermethodik mit Ada Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1987 Published in: Springer Compass Ben-Arî, Môtî [Author] ; Ben-Ari, Mordechai [Other] ADA for software engineers : with ADA 2005 - [2. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2009 Loeper, Hans [Author]; Dziolloß, Antje [Author] Grundelemente der Programmierung : eine Darstellung mit Ada Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Akademie-Verl., 1992 Published in: Informatik ; 5 Luckham, David C. [Author] Programming with specifications : an introduction to ANNA, a language for specifying Ada programs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science Hardy, Keith [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 2 1997 London Reliable Software Technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2-6, 1997 Proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1251 Wallis, Peter J. L. [Editor] ; Workshop on Ada Software Tools Interfaces 1983 Bath Ada software tools interfaces : workshop, Bath, July 13 - 15, 1983 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1984 Published in: Lecture notes in computer science ; 180 Pinho, Luis Miguel [Editor] ; International Conference on Reliable Software Technologies 11 2006 Porto Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5 - 9, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4006 Llamosí, Albert [Editor]; Strohmeier, Alfred [Other] ; Ada Europe, International Conference on Reliable Software Technologies 9 2004 Palma de Mallorca Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3063 Asplund, Lars [Other] ; Ada Europe, International Conference on Reliable Software Technologies 3 1998 Uppsala Reliable software technologies - Ada-Europe '98 : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8 - 12, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1411 Beidler, John [Author] Data structures and algorithms : an object-oriented approach using Ada 95 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1997 Published in: Undergraduate texts in computer science Burns, Alan [Author]; Wellings, Andrew J. [Author] Concurrent and real-time programming in ADA 2005 - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2007 Strohmeier, Alfred [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 1 1996 Montreux Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 - 14, 1996; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1088 Kordon, Fabrice [Editor]; Kermarrec, Yvon [Other] ; Ada Europe, International Conference on Reliable Software Technologies 14 2009 Brest, Finistère Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5570 Real, Jorge [Editor]; Vardanega, Tullio [Other] ; Ada Europe, International Conference on Reliable Software Technologies 15 2010 Valencia Reliable software technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6106 Abdennadher, Nabil [Editor]; Kordon, Fabrice [Other] ; International Conference on Reliable Software Technologies 12 2007 Genf Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25 - 29, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4498 Kordon, Fabrice [Editor]; Vardanega, Tullioi [Other] ; International Conference on Reliable Software Technologies 13 2008 Venedig Reliable software technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5026 Rosen, Jean-Pierre [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 8 2003 Toulouse Reliable software technologies : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2655 Vardanega, Tullio [Editor] ; International Conference on Reliable Software Technologies 10 2005 York Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3555 Blieberger, Johann [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 7 2002 Wien Reliable software technologies : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2361
Nagl, Manfred [Author] Softwaretechnik mit Ada 95 : Entwicklung großer Systeme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1999 Published in: Vieweg professional computing
Goos, Gerhard [Author]; Persch, Guido [Author]; Uhl, Jürgen [Author] Programmiermethodik mit Ada Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1987 Published in: Springer Compass
Ben-Arî, Môtî [Author] ; Ben-Ari, Mordechai [Other] ADA for software engineers : with ADA 2005 - [2. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2009
Loeper, Hans [Author]; Dziolloß, Antje [Author] Grundelemente der Programmierung : eine Darstellung mit Ada Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Akademie-Verl., 1992 Published in: Informatik ; 5
Luckham, David C. [Author] Programming with specifications : an introduction to ANNA, a language for specifying Ada programs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science
Hardy, Keith [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 2 1997 London Reliable Software Technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2-6, 1997 Proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1251
Wallis, Peter J. L. [Editor] ; Workshop on Ada Software Tools Interfaces 1983 Bath Ada software tools interfaces : workshop, Bath, July 13 - 15, 1983 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1984 Published in: Lecture notes in computer science ; 180
Pinho, Luis Miguel [Editor] ; International Conference on Reliable Software Technologies 11 2006 Porto Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5 - 9, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4006
Llamosí, Albert [Editor]; Strohmeier, Alfred [Other] ; Ada Europe, International Conference on Reliable Software Technologies 9 2004 Palma de Mallorca Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3063
Asplund, Lars [Other] ; Ada Europe, International Conference on Reliable Software Technologies 3 1998 Uppsala Reliable software technologies - Ada-Europe '98 : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8 - 12, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1411
Beidler, John [Author] Data structures and algorithms : an object-oriented approach using Ada 95 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1997 Published in: Undergraduate texts in computer science
Burns, Alan [Author]; Wellings, Andrew J. [Author] Concurrent and real-time programming in ADA 2005 - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2007
Strohmeier, Alfred [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 1 1996 Montreux Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 - 14, 1996; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1088
Kordon, Fabrice [Editor]; Kermarrec, Yvon [Other] ; Ada Europe, International Conference on Reliable Software Technologies 14 2009 Brest, Finistère Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5570
Real, Jorge [Editor]; Vardanega, Tullio [Other] ; Ada Europe, International Conference on Reliable Software Technologies 15 2010 Valencia Reliable software technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6106
Abdennadher, Nabil [Editor]; Kordon, Fabrice [Other] ; International Conference on Reliable Software Technologies 12 2007 Genf Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25 - 29, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4498
Kordon, Fabrice [Editor]; Vardanega, Tullioi [Other] ; International Conference on Reliable Software Technologies 13 2008 Venedig Reliable software technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5026
Rosen, Jean-Pierre [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 8 2003 Toulouse Reliable software technologies : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2655
Vardanega, Tullio [Editor] ; International Conference on Reliable Software Technologies 10 2005 York Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3555
Blieberger, Johann [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 7 2002 Wien Reliable software technologies : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2361
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (24) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (25) Wert ausschließen Central Library (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (1) Wert ausschließen Without Specification (28) Wert ausschließen Show more show less
> Language Skip to next facet English (48) Wert ausschließen German (8) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (32) Wert ausschließen Mathmatics (13) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Ada Europe (12) Wert ausschließen Strohmeier, Alfred (9) Wert ausschließen Vardanega, Tullio (9) Wert ausschließen Kordon, Fabrice (6) Wert ausschließen González Harbour, Michael (3) Wert ausschließen Keller, Hubert B. (3) Wert ausschließen Pinho, Luís Miguel (3) Wert ausschließen Plödereder, Erhard (3) Wert ausschließen Rosen, Jean-Pierre (3) Wert ausschließen Wallis, Peter J. L. (3) Wert ausschließen Abdennadher, Nabil (2) Wert ausschließen Asplund, Lars (2) Wert ausschließen Blieberger, Johann (2) Wert ausschließen De la Puente, Juan A. (2) Wert ausschließen Habermann, A. Nico (2) Wert ausschließen Hardy, Keith (2) Wert ausschließen International Conference on Reliable Software Technologies 1 1996 Montreux (2) Wert ausschließen Kermarrec, Yvon (2) Wert ausschließen Llamosí, Albert (2) Wert ausschließen Nagl, Manfred (2) Wert ausschließen Real, Jorge (2) Wert ausschließen Romanovsky, Alexander (2) Wert ausschließen Beidler, John (1) Wert ausschließen Ben-Ari, Mordechai (1) Wert ausschließen Ben-Arî, Môtî (1) Wert ausschließen Bertogna, Marko (1) Wert ausschließen Briggs, Jim (1) Wert ausschließen Brorsson, Mats (1) Wert ausschließen Burns, Alan (1) Wert ausschließen Consorzio per le Ricerche e le Applicazioni di Informatica (1) Wert ausschließen Craeynest, Dirk (1) Wert ausschließen Dencker, Peter (1) Wert ausschließen Dziolloß, Antje (1) Wert ausschließen George, Laurent (1) Wert ausschließen Goos, Gerhard (1) Wert ausschließen Henning, Peter A. (1) Wert ausschließen Hutchison, David (1) Wert ausschließen International Conference on Reliable Software Technologies 10 2005 York (1) Wert ausschließen International Conference on Reliable Software Technologies 11 2006 Porto (1) Wert ausschließen International Conference on Reliable Software Technologies 12 2007 Genf (1) Wert ausschließen International Conference on Reliable Software Technologies 13 2008 Venedig (1) Wert ausschließen International Conference on Reliable Software Technologies 14 2009 Brest, Finistère (1) Wert ausschließen International Conference on Reliable Software Technologies 15 2010 Valencia (1) Wert ausschließen International Conference on Reliable Software Technologies 16 2011 Edinburgh (1) Wert ausschließen International Conference on Reliable Software Technologies 2 1997 London (1) Wert ausschließen International Conference on Reliable Software Technologies 3 1998 Uppsala (1) Wert ausschließen International Conference on Reliable Software Technologies 4 1999 Santander (1) Wert ausschließen International Conference on Reliable Software Technologies 5 2000 Potsdam (1) Wert ausschließen International Conference on Reliable Software Technologies 7 2002 Wien (1) Wert ausschließen International Conference on Reliable Software Technologies 8 2003 Toulouse (1) Wert ausschließen International Conference on Reliable Software Technologies 9 2004 Palma de Mallorca (1) Wert ausschließen Kanade, Takeo (1) Wert ausschließen Kittler, Josef (1) Wert ausschließen Kleinberg, Jon (1) Wert ausschließen Klenk, Herbert (1) Wert ausschließen Krämer, Sybille (1) Wert ausschließen Loeper, Hans (1) Wert ausschließen Luckham, David C. (1) Wert ausschließen Mattern, Friedemann (1) Wert ausschließen Mitchell, John C. (1) Wert ausschließen Montanari, Ugo (1) Wert ausschließen Naor, Moni (1) Wert ausschließen Nierstrasz, Oscar (1) Wert ausschließen Pandu Rangan, C. (1) Wert ausschließen Persch, Guido (1) Wert ausschließen Pinho, Luis Miguel (1) Wert ausschließen Quiñones, Eduardo (1) Wert ausschließen Steffen, Bernhard (1) Wert ausschließen Sudan, Madhu (1) Wert ausschließen Terzopoulos, Demetri (1) Wert ausschließen Tygar, Doug (1) Wert ausschließen Uhl, Jürgen (1) Wert ausschließen Vardanega, Tullioi (1) Wert ausschließen Vardi, Moshe Y. (1) Wert ausschließen Vogelsang, Holger (1) Wert ausschließen Weikum, Gerhard (1) Wert ausschließen Wellings, Andrew J. (1) Wert ausschließen Wellings, Andy (1) Wert ausschließen Wilhelm Fink GmbH & Co. Verlags-KG (1) Wert ausschließen Workshop on Ada Software Tools Interfaces 1983 Bath (1) Wert ausschließen Workshop on Software Factories and Ada 1986 Capri (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (54) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Show more show less