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

Reset Filters

Show filters (2)

Computational complexity AND Software engineering

Ask a Librarian

Books & more: Hits 1 - 20 of 75

sort by

Select all titles on this page

Select result number 1

1

Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /

E-Book

Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /

Fernàndez Anta, Antonio.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /

E-Book

Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /

Narboux, Julien.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Internet and Network Economics [E-Book] : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings /

E-Book

Internet and Network Economics [E-Book] : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings /

Chen, Ning.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Validated Designs for Object-oriented Systems [E-Book] /

E-Book

Validated Designs for Object-oriented Systems [E-Book] /

Fitzgerald, John.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

Ferré, Sébastien
2009

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Petri Nets and Other Models of Concurrency - ICATPN 2006 [E-Book] / 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings

E-Book

Petri Nets and Other Models of Concurrency - ICATPN 2006 [E-Book] / 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, F...

Donatelli, Susanna
2006

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Formal Concept Analysis (vol. # 3874) [E-Book] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings

E-Book

Formal Concept Analysis (vol. # 3874) [E-Book] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings

Missaoui, Rokia
2006

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /

E-Book

Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /

Du, Ding-Zhu
2009

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

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 10

10

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 11

11

Vector and Parallel Processing — VECPAR 2000 [E-Book] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks /

E-Book

Vector and Parallel Processing — VECPAR 2000 [E-Book] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks /

Dongarra, Jack.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

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 13

13

Parallel and Distributed Processing [E-Book] : 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, Ap /

E-Book

Parallel and Distributed Processing [E-Book] : 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Paralle...

Rolim, Jose.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

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 15

15

Applications and Theory of Petri Nets 2001 [E-Book] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings /

E-Book

Applications and Theory of Petri Nets 2001 [E-Book] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings /

Colom, José-Manuel.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

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 17

17

Algorithms for Memory Hierarchies [E-Book] : Advanced Lectures /

E-Book

Algorithms for Memory Hierarchies [E-Book] : Advanced Lectures /

Meyer, Ulrich.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

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 19

19

SOFSEM 2005: Theory and Practice of Computer Science [E-Book] / 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings

E-Book

SOFSEM 2005: Theory and Practice of Computer Science [E-Book] / 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28...

Bieliková, Maria.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Formal Concept Analysis (vol. # 3403) [E-Book] / Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings

E-Book

Formal Concept Analysis (vol. # 3403) [E-Book] / Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings

Ganter, Bernhard.
2005

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
Next
[4]

Narrow Search Results

Electronic Edition 75

Conference Publication 64

From:

To:

Ehrig, Hartmut. 4 Hutchison, David 4 Kanade, Takeo 4 Kittler, Josef 4 Kleinberg, Jon M. 4 Mattern, Friedemann 4 more ... Mitchell, John C. 4 Naor, Moni 4 Nierstrasz, Oscar 4 Paar, Christof. 4 Pandu Rangan, C. 4 Rozenberg, Grzegorz. 4 Steffen, Bernhard 4 Sudan, Madhu 4 Terzopoulos, Demetri 4 Tygar, Doug 4 Vardi, Moshe Y. 4 Weikum, Gerhard 4 Rozenberg, Grzegorz 3 Bugliesi, Michele 2 Cao, Jiannong 2 Koç, Çetin K. 2 Montanari, Ugo 2 Nagl, Manfred. 2 Prasanna, Viktor K. 2 Preneel, Bart 2 Ramanujam, R. 2 Reisig, Wolfgang. 2 Sassone, Vladimiro 2 Wegener, Ingo 2 see all ... less ...

Computational complexity Software engineering Computer science 59 Computer software 28 Computer Communication Networks 26 Logic design 22 more ... Information theory 20 Artificial intelligence 14 Electronic data processing 14 Algebra 13 Operating systems (Computers) 11 Data structures (Computer science) 10 Computer network architectures 9 Data encryption (Computer science) 5 Data mining 5 Computer hardware 4 Database management 4 Management information systems 4 Algorithms 3 Information storage and retrieval systems 3 Information systems 3 Coding theory 2 Computer graphics 2 Algebra_xData processing 1 Computer files 1 Engineering 1 Information Systems 1 Numerical analysis 1 Translators (Computer programs) 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...