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
Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Decision Procedures : An Algorithmic Point of View
Texts in Theoretical Computer Science. An EATCS Series
2nd ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Logics of Specification Languages [Elektronische Ressource]
Monographs in Theoretical Computer Science, An EATCS Series
2008
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Part-Whole Reasoning in an Object-Centered Framework [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Decision Procedures : An Algorithmic Point of View [Elektronische Ressource]
Texts in Theoretical Computer Science, An Eatcs Series
2008
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Unfoldings : A Partial-Order Approach to Model Checking [Elektronische Ressource]
Monographs in Theoretical Computer Science An EATCS Series
2008
    Datensatz exportieren als...
  • BibTeX
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Theoretical Computer Science and General Issues : 11758
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Inconsistency Tolerance [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6341
2010
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6247
2010
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers [Elektronische Ressource]
2005
1 – 25 von 42
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen