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

Computer simulation AND Logic design AND Software engineering

Reset Filters

Show filters (4)

Electronic Edition

Computer simulation AND Logic design AND Software engineering

Ask a Librarian

Books & more: Hits 1 - 20 of 23

sort by

Select all titles on this page

Select result number 1

1

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 2

2

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 3

3

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 4

4

Human Machine Interaction [E-Book] : Research Results of the MMI Program /

E-Book

Human Machine Interaction [E-Book] : Research Results of the MMI Program /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Formal Approaches to Agent-Based Systems [E-Book] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /

E-Book

Formal Approaches to Agent-Based Systems [E-Book] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /

Gordon-Spears, Diana.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Hybrid Systems: Computation and Control (vol. # 3414) [E-Book] / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

E-Book

Hybrid Systems: Computation and Control (vol. # 3414) [E-Book] / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Morari, Manfred.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Hybrid Systems: Computation and Control [E-Book] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /

E-Book

Hybrid Systems: Computation and Control [E-Book] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /

Maler, Oded.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Hybrid Systems: Computation and Control [E-Book] : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings /

E-Book

Hybrid Systems: Computation and Control [E-Book] : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings /

Greenstreet, Mark R.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Task Models and Diagrams for Users Interface Design [E-Book] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers /

E-Book

Task Models and Diagrams for Users Interface Design [E-Book] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers /

Coninx, Karin
2007

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

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 11

11

Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers /

E-Book

Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers /

Dingel, Juergen.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Hybrid Systems: Computation and Control [E-Book] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /

E-Book

Hybrid Systems: Computation and Control [E-Book] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /

Bemporad, Alberto
2007

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /

E-Book

Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /

Ghosh, Sudipto
2010

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

E-Book

Software Language Engineering [E-Book] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /

Brand, Mark
2010

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /

E-Book

Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /

Alur, Rajeev
2004

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Automotive Software- Connected Services in Mobile Networks [E-Book] / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

E-Book

Automotive Software- Connected Services in Mobile Networks [E-Book] / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Pape...

Broy, Manfred
2006

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Hybrid Systems: Computation and Control (vol. # 3927) [E-Book] / 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings

E-Book

Hybrid Systems: Computation and Control (vol. # 3927) [E-Book] / 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings

Hespanha, Joao
2006

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Testing of Software and Communication Systems [E-Book] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings /

E-Book

Testing of Software and Communication Systems [E-Book] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherla...

Baker, Paul
2009

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Task Models and Diagrams for User Interface Design [E-Book] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings /

E-Book

Task Models and Diagrams for User Interface Design [E-Book] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings /

Johnson, Hilary
2007

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

E-Book

Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

Giese, Holger.
2011

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
Next
[2]

Narrow Search Results

Electronic Edition

Conference Publication 18

From:

To:

Hutchison, David 2 Kanade, Takeo 2 Kittler, Josef 2 Kleinberg, Jon M. 2 Mattern, Friedemann 2 Mitchell, John C. 2 more ... Naor, Moni 2 Nierstrasz, Oscar 2 Pandu Rangan, C. 2 Steffen, Bernhard 2 Sudan, Madhu 2 Terzopoulos, Demetri 2 Tygar, Doug 2 Vardi, Moshe Y. 2 Weikum, Gerhard 2 Alur, Rajeev 1 Ayala, José L. 1 Baier, Christel 1 Baker, Paul 1 Bemporad, Alberto 1 Bicchi, Antonio 1 Brand, Mark 1 Broy, Manfred 1 Buttazzo, Giorgio 1 Coninx, Karin 1 Dingel, Juergen. 1 García-Cámara, Braulio 1 Gašević, Dragan 1 Ghosh, Sudipto 1 Giese, Holger. 1 see all ... less ...

Computer science 23 Computer simulation Logic design Software engineering Computer Communication Networks 5 Computer system performance 4 more ... Information Systems 4 Computer software 3 Multimedia systems 3 Artificial intelligence 2 Algebra 1 Computer vision 1 Operating systems (Computers) 1 Structural control (Engineering) 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...