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

Logic design AND Software engineering

Reset Filters

Show filters (3)

Electronic Edition

Logic design AND Software engineering

Ask a Librarian

Books & more: Hits 21 - 40 of 698

sort by

Select all titles on this page

Select result number 21

21

Static Analysis [E-Book] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /

E-Book

Static Analysis [E-Book] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /

Yahav, Eran.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 22

22

Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

E-Book

Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

Eekelen, Marko.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 23

23

Trends in Functional Programming [E-Book] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

E-Book

Trends in Functional Programming [E-Book] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Horváth, Zoltán.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 24

24

Objects, Models, Components, Patterns [E-Book] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings /

E-Book

Objects, Models, Components, Patterns [E-Book] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings /

Bishop, Judith.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 25

25

Business Process Management [E-Book] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings /

E-Book

Business Process Management [E-Book] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings /

Rinderle-Ma, Stefanie.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 26

26

Logischer Entwurf digitaler Systeme [E-Book] /

E-Book

Logischer Entwurf digitaler Systeme [E-Book] /

Liebig, Hans.
2006

Full text

Favorites

Saved in:

QR Code

Select result number 27

27

Transactions on Aspect-Oriented Software Development VIII [E-Book] /

E-Book

Transactions on Aspect-Oriented Software Development VIII [E-Book] /

Katz, Shmuel.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 28

28

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /

E-Book

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /

Brünnler, Kai.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 29

29

Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /

E-Book

Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /

Bjørner, Nikolaj.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 30

30

Formal Methods, Foundations and Applications [E-Book] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /

E-Book

Formal Methods, Foundations and Applications [E-Book] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /

Morgan, Carroll.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 31

31

Formal Techniques for Distributed Systems [E-Book] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /

E-Book

Formal Techniques for Distributed Systems [E-Book] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykja...

Bruni, Roberto.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 32

32

Descriptional Complexity of Formal Systems [E-Book] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /

E-Book

Descriptional Complexity of Formal Systems [E-Book] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /

Holzer, Markus.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 33

33

Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /

E-Book

Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /

Aceto, Luca
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 34

34

ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /

E-Book

ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /

Mezini, Mira.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 35

35

Theoretical Aspects of Computing – ICTAC 2011 [E-Book] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings /

E-Book

Theoretical Aspects of Computing – ICTAC 2011 [E-Book] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings /

Cerone, Antonio.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 36

36

Reliable Software Technologies - Ada-Europe 2011 [E-Book] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /

E-Book

Reliable Software Technologies - Ada-Europe 2011 [E-Book] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings...

Romanovsky, Alexander.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 37

37

Model Checking Software [E-Book] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings /

E-Book

Model Checking Software [E-Book] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings /

Groce, Alex.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 38

38

Formal Methods for Industrial Critical Systems [E-Book] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /

E-Book

Formal Methods for Industrial Critical Systems [E-Book] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /

Salaün, Gwen.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 39

39

Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

E-Book

Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

Swart, Harrie.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 40

40

FM 2011: Formal Methods [E-Book] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /

E-Book

FM 2011: Formal Methods [E-Book] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /

Butler, Michael.
2011

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
1
2
3
4
5
6
7
8
9
10
11
Next
[35]

Narrow Search Results

Electronic Edition

Conference Publication 593 Theses 1

From:

To:

Vardi, Moshe Y. 30 Nierstrasz, Oscar 28 Steffen, Bernhard 28 Hutchison, David 27 Kanade, Takeo 27 Kittler, Josef 27 more ... Kleinberg, Jon M. 27 Mattern, Friedemann 27 Mitchell, John C. 27 Pandu Rangan, C. 27 Sudan, Madhu 27 Terzopoulos, Demetri 27 Tygar, Doug 27 Weikum, Gerhard 27 Naor, Moni 26 Bonsangue, Marcello M. 8 Stafford, Judith A. 7 Voronkov, Andrei 7 Liu, Zhiming 6 Peled, Doron A. 6 Reed, Rick 5 Steffen, Bernhard. 5 Woodcock, Jim 5 Backhouse, Roland C. 4 Baldoni, Matteo 4 Bjørner, Dines. 4 Boer, Frank S. 4 Broy, Manfred. 4 Davies, Jim. 4 Dix, Jürgen 4 see all ... less ...

Logic design Software engineering Computer science 634 Computer Communication Networks 219 Artificial intelligence 165 Information Systems 77 more ... Operating systems (Computers) 65 Computer software 53 Information systems 35 Computer system performance 26 Computer simulation 23 Algebra 22 Computational complexity 22 Information storage and retrieval systems 18 Data structures (Computer science) 17 Multimedia systems 15 Database management 13 Computer network architectures 12 Information theory 12 Management information systems 11 Coding theory 9 Computer hardware 9 Data encryption (Computer science) 8 Data protection 6 Computer aided design 5 Engineering 5 Logic, Symbolic and mathematical 5 Structural control (Engineering) 5 Data mining 4 Telecommunication 4 see all ... less ...

MWE - Decision theory, game theory 1

English 601 German 2

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...