JuLib | Books & more - {*}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Electronic Edition

English

Computer science AND Computer science. AND Computer logic.

Reset Filters

Show filters (5)

Electronic Edition

English

Computer science AND Computer science. AND Computer logic.

Ask a Librarian

Books & more: Hits 1 - 18 of 18

sort by

Select all titles on this page

Select result number 1

1

Algebraic Informatics [E-Book] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /

E-Book

Algebraic Informatics [E-Book] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /

Maletti, Andreas.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Algorithmic Aspects of Cloud Computing [E-Book] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /

E-Book

Algorithmic Aspects of Cloud Computing [E-Book] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /

Karydis, Ioannis
2016

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Algorithms - ESA 2015 [E-Book] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /

E-Book

Algorithms - ESA 2015 [E-Book] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /

Bansal, Nikhil.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

E-Book

Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

Olivetti, Nicola
2016

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /

E-Book

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /

De Nivelle, Hans.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Computer Science – Theory and Applications [E-Book] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /

E-Book

Computer Science – Theory and Applications [E-Book] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /

Kulikov, Alexander S.
2016

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Descriptive Set Theoretic Methods in Automata Theory [E-Book] : Decidability and Topological Complexity /

E-Book

Descriptive Set Theoretic Methods in Automata Theory [E-Book] : Decidability and Topological Complexity /

Skrzypczak, Michał
2016

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Developments in Language Theory [E-Book] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /

E-Book

Developments in Language Theory [E-Book] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /

Brlek, Srečko
2016

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Formal Grammar [E-Book] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /

E-Book

Formal Grammar [E-Book] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings...

Foret, Annie
2016

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Graph Transformation [E-Book] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /

E-Book

Graph Transformation [E-Book] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /

Echahed, Rachid
2016

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Implementation and Application of Automata [E-Book] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /

E-Book

Implementation and Application of Automata [E-Book] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /

Han, Yo-Sub
2016

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Learning and Intelligent Optimization [E-Book] : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /

E-Book

Learning and Intelligent Optimization [E-Book] : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /

Festa, Paola
2016

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Logic-Based Program Synthesis and Transformation [E-Book] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

E-Book

Logic-Based Program Synthesis and Transformation [E-Book] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Falaschi, Moreno.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Logic, Language, Information, and Computation [E-Book] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /

E-Book

Logic, Language, Information, and Computation [E-Book] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /

Hirvonen, Åsa
2016

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Logic Programming and Nonmonotonic Reasoning [E-Book] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

E-Book

Logic Programming and Nonmonotonic Reasoning [E-Book] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Calimeri, Francesco.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Logic, Rationality, and Interaction [E-Book] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

E-Book

Logic, Rationality, and Interaction [E-Book] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Holliday, Wesley H.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Logic, Rationality, and Interaction [E-Book] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /

E-Book

Logic, Rationality, and Interaction [E-Book] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /

Baltag, Alexandru
2017

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Recent Trends in Algebraic Development Techniques [E-Book] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /

E-Book

Recent Trends in Algebraic Development Techniques [E-Book] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /

Codescu, Mihai.
2015

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

Narrow Search Results

Electronic Edition

Conference Publication 17

From:

To:

Baltag, Alexandru 1 Bansal, Nikhil. 1 Brlek, Srečko 1 Calimeri, Francesco. 1 Codescu, Mihai. 1 De Nivelle, Hans. 1 more ... Diaconescu, Răzvan. 1 Echahed, Rachid 1 Falaschi, Moreno. 1 Festa, Paola 1 Finocchi, Irene. 1 Foret, Annie 1 Han, Yo-Sub 1 Hirvonen, Åsa 1 Holliday, Wesley H. 1 Ianni, Giovambattista. 1 Karydis, Ioannis 1 Kulikov, Alexander S. 1 Maletti, Andreas. 1 Minas, Mark 1 Morrill, Glyn 1 Muskens, Reinhard 1 Olivetti, Nicola 1 Osswald, Rainer 1 Pogodalla, Sylvain 1 Reutenauer, Christophe 1 Salomaa, Kai 1 Seligman, Jeremy 1 Sellmann, Meinolf 1 Sioutas, Spyros 1 see all ... less ...

Computer logic. Computer science Computer science. Mathematical logic. 17 Software engineering. 10 Artificial intelligence. 8 more ... Algorithms. 7 Computers. 7 Computer programming. 2 Data structures (Computer science). 2 Programming languages (Electronic computers). 2 Computational linguistics. 1 Computer simulation. 1 Data encryption (Computer science). 1 Numerical analysis. 1 see all ... less ...

English

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...