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

Computational complexity AND Logic design

Reset Filters

Show filters (2)

Computational complexity AND Logic design

Ask a Librarian

Books & more: Hits 1 - 20 of 83

sort by

Select all titles on this page

Select result number 1

1

Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

E-Book

Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

Sturm, Thomas.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Algebra and Coalgebra in Computer Science [E-Book] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings /

E-Book

Algebra and Coalgebra in Computer Science [E-Book] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings /

Cîrstea, Corina.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Developments in Language Theory [E-Book] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /

E-Book

Developments in Language Theory [E-Book] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /

Harju, Tero
2007

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Logic Functions and Equations [E-Book] : Examples and Exercises /

E-Book

Logic Functions and Equations [E-Book] : Examples and Exercises /

Steinbach, Bernd.
2009

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Petri Net Technology for Communication-Based Systems [E-Book] : Advances in Petri Nets /

E-Book

Petri Net Technology for Communication-Based Systems [E-Book] : Advances in Petri Nets /

Ehrig, Hartmut.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Theory Is Forever [E-Book] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

E-Book

Theory Is Forever [E-Book] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

Karhumäki, Juhani.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Mathematical Foundations of Computer Science 2004 [E-Book] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings /

E-Book

Mathematical Foundations of Computer Science 2004 [E-Book] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings /

Fiala, Jirí.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Automated Reasoning [E-Book] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /

E-Book

Automated Reasoning [E-Book] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /

Giesl, Jürgen
2010

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Formal Methods in Software and Systems Modeling [E-Book] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

E-Book

Formal Methods in Software and Systems Modeling [E-Book] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Kreowski, Hans-Jörg.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Unifying Petri Nets [E-Book] : Advances in Petri Nets /

E-Book

Unifying Petri Nets [E-Book] : Advances in Petri Nets /

Ehrig, Hartmut.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Foundations of Information and Knowledge Systems [E-Book] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /

E-Book

Foundations of Information and Knowledge Systems [E-Book] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /

Hartmann, Sven
2008

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Mathematical Foundations of Computer Science 2005 [E-Book] / 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings

E-Book

Mathematical Foundations of Computer Science 2005 [E-Book] / 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings

Jedrzejowicz, Joanna.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Formal and Natural Computing [E-Book] : Essays Dedicated to Grzegorz Rozenberg /

E-Book

Formal and Natural Computing [E-Book] : Essays Dedicated to Grzegorz Rozenberg /

Brauer, Wilfried.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Theoretical Computer Science (vol. # 3701) [E-Book] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

E-Book

Theoretical Computer Science (vol. # 3701) [E-Book] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Coppo, Mario.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

E-Book

Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

Bonanno, Giacomo
2010

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Foundations of Information and Knowledge Systems [E-Book] : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings /

E-Book

Foundations of Information and Knowledge Systems [E-Book] : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings /

Seipel, Dietmar.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Developments in Language Theory (vol. # 3572) [E-Book] / 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings

E-Book

Developments in Language Theory (vol. # 3572) [E-Book] / 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings

De Felice, Clelia.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Graph Transformations [E-Book] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /

E-Book

Graph Transformations [E-Book] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /

Ehrig, Hartmut.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Deontic Logic in Computer Science [E-Book] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /

E-Book

Deontic Logic in Computer Science [E-Book] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /

Governatori, Guido
2010

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
5
Next
[5]

Narrow Search Results

Electronic Edition 83

Conference Publication 75

From:

To:

Rozenberg, Grzegorz. 6 Ehrig, Hartmut. 5 Hutchison, David 4 Kanade, Takeo 4 Kittler, Josef 4 Kleinberg, Jon M. 4 more ... Mattern, Friedemann 4 Mitchell, John C. 4 Naor, Moni 4 Nierstrasz, Oscar 4 Pandu Rangan, C. 4 Steffen, Bernhard 4 Sudan, Madhu 4 Terzopoulos, Demetri 4 Tygar, Doug 4 Vardi, Moshe Y. 4 Weikum, Gerhard 4 Rozenberg, Grzegorz 3 Chen, Jianer 2 Corradini, Andrea. 2 Karhumäki, Juhani. 2 Kučera, Antonín 2 Montanari, Ugo 2 Nagl, Manfred. 2 Paar, Christof. 2 Salomaa, Arto. 2 Thomas, Wolfgang 2 Ablayev, Farid 1 Agha, Gul A. 1 Agrawal, Manindra 1 see all ... less ...

Computational complexity Logic design Computer science 81 Computer software 47 Software engineering 22 Data structures (Computer science) 21 more ... Algebra 15 Artificial intelligence 15 Information theory 10 Algorithms 7 Electronic data processing 6 Computer Communication Networks 5 Database management 4 Information storage and retrieval systems 3 Logic, Symbolic and mathematical 3 Data encryption (Computer science) 2 Operating systems (Computers) 2 Algebra_xData processing 1 Computer graphics 1 Computer network architectures 1 Computer simulation 1 Data mining 1 Discrete groups 1 Management information systems 1 Multimedia systems 1 Systems engineering 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...