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

Kanade, Takeo AND Pandu Rangan, C. AND Weikum, Gerhard

Logic design

Reset Filters

Show filters (4)

Kanade, Takeo AND Pandu Rangan, C. AND Weikum, Gerhard

Logic design

Ask a Librarian

Books & more: Hits 21 - 39 of 39

sort by

Select all titles on this page

Select result number 21

21

Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

E-Book

Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

Chockler, Hana
2009

Full text

Favorites

Saved in:

QR Code

Select result number 22

22

Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

E-Book

Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 23

23

Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

E-Book

Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

Eugster, Patrick
2009

Full text

Favorites

Saved in:

QR Code

Select result number 24

24

Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /

E-Book

Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 25

25

Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /

E-Book

Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, P...

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 26

26

Architectures for Adaptive Software Systems [E-Book] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

E-Book

Architectures for Adaptive Software Systems [E-Book] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009...

Gorton, Ian
2009

Full text

Favorites

Saved in:

QR Code

Select result number 27

27

Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

E-Book

Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

Hofmeister, Christine
2009

Full text

Favorites

Saved in:

QR Code

Select result number 28

28

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 29

29

Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

E-Book

Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 30

30

Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

E-Book

Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Bergel, Alexandre
2009

Full text

Favorites

Saved in:

QR Code

Select result number 31

31

Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

E-Book

Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

Bouajjani, Ahmed
2009

Full text

Favorites

Saved in:

QR Code

Select result number 32

32

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 33

33

Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

E-Book

Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Hutchison, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 34

34

Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /

E-Book

Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /

Dediu, Adrian Horia
2009

Full text

Favorites

Saved in:

QR Code

Select result number 35

35

High Performance Embedded Architectures and Compilers [E-Book] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /

E-Book

High Performance Embedded Architectures and Compilers [E-Book] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /

Emer, Joel
2009

Full text

Favorites

Saved in:

QR Code

Select result number 36

36

Computer Performance Evaluation and Benchmarking [E-Book] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /

E-Book

Computer Performance Evaluation and Benchmarking [E-Book] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 37

37

Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

E-Book

Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

Curien, Pierre-Louis
2009

Full text

Favorites

Saved in:

QR Code

Select result number 38

38

Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 39

39

Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /

E-Book

Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /

Berardi, Stefano
2009

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
1
2

Narrow Search Results

Electronic Edition 39

Conference Publication 36

From:

To:

Hutchison, David 39 Kanade, Takeo Kittler, Josef 39 Kleinberg, Jon M. 39 Mattern, Friedemann 39 Mitchell, John C. 39 more ... Nierstrasz, Oscar 39 Pandu Rangan, C. Steffen, Bernhard 39 Sudan, Madhu 39 Terzopoulos, Demetri 39 Tygar, Doug 39 Vardi, Moshe Y. 39 Weikum, Gerhard Naor, Moni 38 Goebel, Randy 3 Siekmann, Jörg 3 Wahlster, Wolfgang 3 Hofmeister, Christine 2 Wolf, Karsten 2 Alfaro, Luca 1 Berardi, Stefano 1 Bergel, Alexandre 1 Bouajjani, Ahmed 1 Bruni, Roberto 1 Castagna, Giuseppe 1 Chechik, Marsha 1 Chemello, Gaetano 1 Chen, Jianer 1 Chockler, Hana 1 see all ... less ...

Computer science 39 Logic design Software engineering 27 Computer Communication Networks 10 Artificial intelligence 8 Computer software 8 more ... Information theory 8 Algebra 4 Computational complexity 4 Computer system performance 3 Logic, Symbolic and mathematical 3 Operating systems (Computers) 3 Algorithms 2 Computer network architectures 2 Computer simulation 2 Data transmission systems 2 Information Systems 2 Coding theory 1 Computer vision 1 Data protection 1 Data structures (Computer science) 1 Electronic data processing 1 Information systems 1 Memory management (Computer science) 1 Microprogramming 1 Multimedia systems 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...