Characterizing Positionality in Games of Infinite Duration over Infinite Graphs Por Pierre Ohlmann

Assuntos: “...computer science - computer science and game theory...”
Obter o texto integral

Parity Games with Weights Por Sven Schewe, Alexander Weinert, Martin Zimmermann

Assuntos: “...computer science - computer science and game theory...”
Obter o texto integral

One-Clock Priced Timed Games with Negative Weights Por Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

Assuntos: “...computer science - computer science and game theory...”
Obter o texto integral

Pure Nash Equilibria in Concurrent Deterministic Games Por Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels

Assuntos: “...computer science - logic in computer science...”
Obter o texto integral

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games Por Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard

Assuntos: “...computer science - computer science and game theory...”
Obter o texto integral

Determinacy in Discrete-Bidding Infinite-Duration Games Por Milad Aghajohari, Guy Avni, Thomas A. Henzinger

Assuntos: “...computer science - computer science and game theory...”
Obter o texto integral

Elsevier's dictionary of computer science in English, German, French, and Russian / Por Boriana, Delijska, Manoilov, P. (Peter), 1951-

Assuntos: “...Computer science...”

Sabbatical report / Por 465345 Lawson, Harold W., Linkoping University Department of Computer and Information Science

Assuntos: “...Computer science...”

Numerical mathematics and advanced applications : [electronic resource] Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications... Por 202565 Ade Castro, Alfredo Bermudez, Gomez, Dolores, Quintela, Peregrina, Salgado, Pilar, SpringerLink (Online service)

Assuntos: “...Computer science...”
Obter o texto integral

Computer Science - Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007... Por International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia), Diekert, Volker, Volkov, Mikhail V., Voronkov, Andrei, SpringerLink (Online service)

Assuntos: “...Computer science...”
Obter o texto integral

Improving computer science education / Por Kadijevich, Djordje M., Angeli, Charoula, Schulte, Carsten

Assuntos: “...Computer science...”

LESSONS IN TEACHING COMPUTING IN PRIMARY SCHOOLS / Por Bird, James, author, Caldwell, Helen, author, Mayne, Peter, author

Assuntos: “...Computer science...”

Persistence in Computer Science / Por Mcdougal, Lina, author 639921

Assuntos: “...Computer science...”
Obter o texto integral

Parity and Streett Games with Costs Por Nathanaël Fijalkow, Martin Zimmermann

Assuntos: “...computer science - logic in computer science...”
Obter o texto integral

Rewriting with Acyclic Queries: Mind Your Head Por Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath

Assuntos: Obter o texto integral

Modular Path Queries with Arithmetic Por Jakub Michaliszyn, Jan Otop, Piotr Wieczorek

Assuntos: “...computer science - logic in computer science...”
Obter o texto integral

Expressive Path Queries on Graph with Data Por Pablo Barcelo, Gaelle Fontaine, Anthony Widjaja Lin

Assuntos: Obter o texto integral

Efficient Evaluation of Arbitrary Relational Calculus Queries Por Martin Raszyk, David Basin, Srđan Krstić, Dmitriy Traytel

Assuntos: Obter o texto integral

Querying the Guarded Fragment Por Vince Bárány, Georg Gottlob, Martin Otto

Assuntos: “...computer science - logic in computer science...”
Obter o texto integral

When Can We Answer Queries Using Result-Bounded Data Interfaces? Por Antoine Amarilli, Michael Benedikt

Assuntos: “...computer science - logic in computer science...”
Obter o texto integral