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 Vardi, Moshe Y.

Logic design

Reset Filters

Show filters (4)

Kanade, Takeo AND Pandu Rangan, C. AND Vardi, Moshe Y.

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

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 22

22

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 23

23

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 24

24

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 25

25

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 26

26

Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

E-Book

Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

Hartman, Alan
2009

Full text

Favorites

Saved in:

QR Code

Select result number 27

27

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /

E-Book

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /

Chemello, Gaetano
2009

Full text

Favorites

Saved in:

QR Code

Select result number 28

28

Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

E-Book

Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Dubois, Catherine
2009

Full text

Favorites

Saved in:

QR Code

Select result number 29

29

Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

E-Book

Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 30

30

Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

E-Book

Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 31

31

Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /

E-Book

Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 32

32

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

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 35

35

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 36

36

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 result number 37

37

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 38

38

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 39

39

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 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. Weikum, Gerhard 39 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...