Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday [Elektronische Ressource]
Lecture notes in computer science : 2772 (Alle Bände)
2003
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Formal aspects of computing : essays dedicated to Derrick Kourie on the occasion of his 65th birthday
Berichte aus der Informatik
2013
Signatur: TTQB1038
    Datensatz exportieren als...
  • BibTeX
Foundations of software science and computation structures : 9th international conference ; proceedings [Elektronische Ressource]
Lecture notes in computer science : 3921 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
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 [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures (vol. # 3441) : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13–15, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
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 [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6014
2010
    Datensatz exportieren als...
  • BibTeX
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Parallel and distributed computing handbook
Computer engineering series
1996
Signatur: TWT4276
    Datensatz exportieren als...
  • BibTeX
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings [Elektronische Ressource]
2000
1 – 25 von 35
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNierstrasz, Oscar
SchlagwortSoftwareentwicklung
ErscheinungsformMonographie
SchlagwortProgrammierung
Suchergebnisse filtern
Filter anzeigen