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

Logic design AND Computational complexity

Reset Filters

Show filters (2)

Logic design AND Computational complexity

Ask a Librarian

Books & more: Hits 1 - 20 of 83

sort by

Select all titles on this page

Select result number 1

1

Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

E-Book

Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

Frappier, Marc
2010

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

Algebra and Coalgebra in Computer Science [E-Book] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /

E-Book

Algebra and Coalgebra in Computer Science [E-Book] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /

Kurz, Alexander
2009

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /

E-Book

Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /

Winkler, Franz.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Algebraic Informatics [E-Book] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

E-Book

Algebraic Informatics [E-Book] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

Bozapalidis, Symeon
2009

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Algorithms and Computation [E-Book] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings /

E-Book

Algorithms and Computation [E-Book] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings /

Dong, Yingfei
2009

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Applications and Theory of Petri Nets 2003 [E-Book] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

E-Book

Applications and Theory of Petri Nets 2003 [E-Book] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

Van der Aalst, Wil M. P.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /

E-Book

Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /

Franceschinis, Giuliana
2009

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Applications of Graph Transformations with Industrial Relevance [E-Book] : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings /

E-Book

Applications of Graph Transformations with Industrial Relevance [E-Book] : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings /

Münch, Manfred.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Applications of Graph Transformations with Industrial Relevance [E-Book] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /

E-Book

Applications of Graph Transformations with Industrial Relevance [E-Book] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Rev...

Böhlen, Boris.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

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 12

12

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 13

13

Computer Science - Theory and Applications [E-Book] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

E-Book

Computer Science - Theory and Applications [E-Book] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

Ablayev, Farid
2010

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /

E-Book

Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /

Kulikov, Alexander.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Computing in Object-Oriented Parallel Environments [E-Book] : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings /

E-Book

Computing in Object-Oriented Parallel Environments [E-Book] : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings /

Matsuoka, Satoshi.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Concurrent Object-Oriented Programming and Petri Nets [E-Book] : Advances in Petri Nets /

E-Book

Concurrent Object-Oriented Programming and Petri Nets [E-Book] : Advances in Petri Nets /

Agha, Gul A.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Cryptographic Hardware and Embedded Systems — CHES 2000 [E-Book] : Second International Workshop Worcester, MA, USA, August 17–18, 2000 Proceedings /

E-Book

Cryptographic Hardware and Embedded Systems — CHES 2000 [E-Book] : Second International Workshop Worcester, MA, USA, August 17–18, 2000 Proceedings /

Goos, Gerhard.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Cryptographic Hardware and Embedded Systems -- CHES 2003 [E-Book] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /

E-Book

Cryptographic Hardware and Embedded Systems -- CHES 2003 [E-Book] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /

Koc, Cetin K.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

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 result number 20

20

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 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...