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 AND Software engineering

Reset Filters

Show filters (3)

Computational complexity AND Logic design AND Software engineering

Ask a Librarian

Books & more: Hits 1 - 20 of 22

sort by

Select all titles on this page

Select result number 1

1

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 2

2

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 3

3

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 4

4

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 5

5

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 6

6

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 7

7

Graph Transformations [E-Book] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

E-Book

Graph Transformations [E-Book] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Corradini, Andrea
2006

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

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 10

10

Efficient Algorithms [E-Book] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday /

E-Book

Efficient Algorithms [E-Book] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday /

Albers, Susanne
2009

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

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 12

12

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 13

13

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 14

14

Graph Transformation [E-Book] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings /

E-Book

Graph Transformation [E-Book] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings /

Corradini, Andrea.
2002

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

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 17

17

Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin

E-Book

Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra,...

Düntsch, Ivo
2006

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Logic Programming and Nonmonotonic Reasoning [E-Book] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /

E-Book

Logic Programming and Nonmonotonic Reasoning [E-Book] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /

Delgrande, James P.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Frontiers in Algorithmics [E-Book] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /

E-Book

Frontiers in Algorithmics [E-Book] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /

Chen, Danny Z.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

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 all titles on this page

1
2
Next
[2]

Narrow Search Results

Electronic Edition 22

Conference Publication 17

From:

To:

Ehrig, Hartmut. 4 Rozenberg, Grzegorz. 4 Rozenberg, Grzegorz 3 Montanari, Ugo 2 Nagl, Manfred. 2 Paar, Christof. 2 more ... Agha, Gul A. 1 Albers, Susanne 1 Alt, Helmut 1 Berghammer, R. 1 Best, Eike 1 Bozapalidis, Symeon 1 Böhlen, Boris. 1 Chen, Danny Z. 1 Cindio, Fiorella 1 Corradini, Andrea 1 Corradini, Andrea. 1 Delgrande, James P. 1 Düntsch, Ivo 1 Ehrig, Hartmut 1 Engels, Gregor. 1 Erdem, Esra 1 Faber, Wolfgang. 1 Franceschinis, Giuliana 1 Goos, Gerhard. 1 Hartmanis, Juris. 1 Hutchison, David 1 Juhás, Gabriel. 1 Kanade, Takeo 1 Kittler, Josef 1 see all ... less ...

Computational complexity Logic design Software engineering Computer science 21 Computer software 8 Computer Communication Networks 5 more ... Artificial intelligence 4 Data structures (Computer science) 4 Algebra 3 Data encryption (Computer science) 2 Electronic data processing 2 Information theory 2 Algebra_xData processing 1 Computer network architectures 1 Management information systems 1 Operating systems (Computers) 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...