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

Computational complexity AND Logic design

Reset Filters

Show filters (3)

Electronic Edition

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

Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /

E-Book

Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /

Leporati, Alberto.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

E-Book

Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

Ditmarsch, Hans.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Fundamentals of Computation Theory [E-Book] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /

E-Book

Fundamentals of Computation Theory [E-Book] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /

Owe, Olaf.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Implementation and Application of Automata [E-Book] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings /

E-Book

Implementation and Application of Automata [E-Book] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings /

Bouchou-Markhoff, Béatrice.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 5

5

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 6

6

Mathematical Foundations of Computer Science 2011 [E-Book] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings /

E-Book

Mathematical Foundations of Computer Science 2011 [E-Book] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings /

Murlak, Filip.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

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 8

8

Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /

E-Book

Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /

Beklemishev, Lev D.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /

E-Book

Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /

Chen, Jianer
2009

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Theory and Applications of Models of Computation [E-Book] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /

E-Book

Theory and Applications of Models of Computation [E-Book] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /

Ogihara, Mitsunori.
2011

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

Theorem Proving in Higher Order Logics [E-Book] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

E-Book

Theorem Proving in Higher Order Logics [E-Book] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

Berghofer, Stefan
2009

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

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

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

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 18

18

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 19

19

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 20

20

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [E-Book] : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

E-Book

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [E-Book] : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

Agrawal, Manindra
2002

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

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