UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings [Elektronische Ressource]

2011

Volltextzugriff (PDF)

Decision Procedures : An Algorithmic Point of View

Texts in Theoretical Computer Science. An EATCS Series

2nd ed. 2016, 2016

Volltextzugriff (PDF)

Logics of Specification Languages [Elektronische Ressource]

Monographs in Theoretical Computer Science, An EATCS Series

2008

Volltextzugriff (PDF)

Part-Whole Reasoning in an Object-Centered Framework [Elektronische Ressource]

Lambrix, Patrick

2000

Volltextzugriff (PDF)

Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings [Elektronische Ressource]

2008

Volltextzugriff (PDF)

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings [Elektronische Ressource]

2004

Volltextzugriff (PDF)

Decision Procedures : An Algorithmic Point of View [Elektronische Ressource]

Texts in Theoretical Computer Science, An Eatcs Series

2008

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

Unfoldings : A Partial-Order Approach to Model Checking [Elektronische Ressource]

Monographs in Theoretical Computer Science An EATCS Series

2008

Volltextzugriff (PDF)

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]

Pfenning, Frank

2013

Volltextzugriff (PDF)

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings [Elektronische Ressource]

2006

Volltextzugriff (PDF)

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]

Muscholl, Anca

2014

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings [Elektronische Ressource]

2008

Volltextzugriff (PDF)

Inconsistency Tolerance [Elektronische Ressource]

2005

Volltextzugriff (PDF)

Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings [Elektronische Ressource]

Gramlich, Bernhard

2005

Volltextzugriff (PDF)

Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings [Elektronische Ressource]

2007

Volltextzugriff (PDF)

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings [Elektronische Ressource]

2012

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers [Elektronische Ressource]

2004

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings [Elektronische Ressource]

Swart, Harrie

2011

Volltextzugriff (PDF)

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers [Elektronische Ressource]

2004

Volltextzugriff (PDF)

Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday [Elektronische Ressource]

2012

Volltextzugriff (PDF)

Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers [Elektronische Ressource]

2005

Volltextzugriff (PDF)

1 – 25 von 34

Suche als RSS-Feed

Aktive Filter

SpracheLatein

SchlagwortOntologie

SchlagwortSoftware engineering

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(34)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(34)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(19)

Art des Inhalts

Sonstiges
(34)

Menü

Weitere Dienste

Einstellungen

Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings [Elektronische Ressource]

Decision Procedures : An Algorithmic Point of View

Logics of Specification Languages [Elektronische Ressource]

Part-Whole Reasoning in an Object-Centered Framework [Elektronische Ressource]

Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings [Elektronische Ressource]

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings [Elektronische Ressource]

Decision Procedures : An Algorithmic Point of View [Elektronische Ressource]

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

Unfoldings : A Partial-Order Approach to Model Checking [Elektronische Ressource]

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]

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings [Elektronische Ressource]

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]

Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings [Elektronische Ressource]

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings [Elektronische Ressource]

Inconsistency Tolerance [Elektronische Ressource]

Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings [Elektronische Ressource]

Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings [Elektronische Ressource]

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings [Elektronische Ressource]

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]

Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers [Elektronische Ressource]

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings [Elektronische Ressource]

Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers [Elektronische Ressource]

Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday [Elektronische Ressource]

Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern