Search Results - "Logics and Meanings of Programs" :: K.UTB vyhledávací portál

Loading…

Word-representable graphs from a word’s perspective

by Fleischmann, Pamela, Haschke, Lukas, Löck, Tim, Nowotka, Dirk
Published in Acta informatica (01.12.2024)

Get full text

Journal Article

Loading…

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

by FMOODS, FORTE, Hatcliff, John, Zucca, Elena
Year of Publication 2010

Get full text

eBook Book Conference Proceeding

Loading…

A first step in characterizing three-element codes

by Chunhua, Cao, Qing, Lu, Di, Yang
Published in Acta informatica (01.08.2018)

Get full text

Journal Article

Loading…

A First Introduction to Quantum Computing and Information

by Zygelman, Bernard
Year of Publication 2018

Get full text

eBook Book

Loading…

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Year of Publication 06.03.2018

Get full text

Conference Proceeding

Loading…

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

by Vojnar, Tomás, Zhang, Lijun
Year of Publication 2019

Get full text

eBook

Loading…

Complexity Theory: Exploring the Limits of Efficient Algorithms

by Wegener, Ingo
Year of Publication 2005

Get full text

eBook Book

Loading…

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Year of Publication 2016

Get full text

Conference Proceeding

Loading…

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

by Black, Elizabeth, Modgil, Sanjay, Oren, Nir
Year of Publication 2018

Get full text

eBook

Loading…

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications

by Hameurlain, Abdelkader, Küng, Josef, Wagner, Roland, Decker, Hendrik
Year of Publication 2017

Get full text

eBook

Loading…

On Sets and Graphs: Perspectives on Logic and Combinatorics

by Omodeo, Eugenio G
Year of Publication 2017

Get full text

eBook Book

Loading…

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Year of Publication 2015

Get full text

Conference Proceeding

Loading…

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

by Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don
Year of Publication 2016

Get full text

eBook

Loading…

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

by Liu, Shaoying, Duan, Zhenhua
Year of Publication 2016

Get full text

eBook

Loading…

Foundations of information and knowledge systems: 6th international symposium, FoIKS 2010, Sofia, Bulgaria February 15-19, 2009 : proceedings

by Link, Sebastian, Prade, Henri
Year of Publication 30.07.2014

Get full text

eBook

Loading…

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

by Shallit, Jeffrey, Okhotin, Alexander
Year of Publication 2015

Get full text

eBook Book

Loading…

Principles and practice of constraint programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008 : proceedings

by International Conference on Principles and Practice of Constraint Programming, Stuckey, Peter J.
Year of Publication 2008

Get full text

eBook Book

Loading…

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Year of Publication 2013

Get full text

Conference Proceeding

Loading…

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

by Fontaine, Pascal, Ringeissen, Christophe, Schmidt, Renate
Year of Publication 2013

Get full text

eBook

Loading…

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

by O'Regan, Gerard
Year of Publication 2012

Get full text

eBook Book

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database