Campusbibliothek

Your search returned 5 results.

Sort
Select all Clear all
Select titles to:
Results
1.
Towards a structure preserving encoding of Z in HOL Kolyang; Thomas Santen; Burkhart Wolff by Series: ; 986 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 986 |
Material type: Text Text; Format: print
Language: English Publisher: Sankt Augustin GMD-Forschungszentrum Informationstechnik 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) St Augustin GMD Arbeitspapier Nr. 986.
Place hold Add to cart
2.
Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; proceedings Martin Gogolla; Burkhart Wolff (eds.) by Series: ; 670600 | Lecture notes in computer science ; 6706
Material type: Text Text; Format: print
Language: English
Publisher number:
  • 80064893
Publisher: Berlin Heidelberg [u.a.] Springer 2011
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 6706.
Place hold Add to cart
3.
Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 ; proceedings Burhart Wolff; Fatiha Zai̇di (eds.) by Series: ; 701900 | Lecture notes in computer science ; 7019
Material type: Text Text; Format: print
Language: English
Publisher number:
  • 80114450
Publisher: Berlin Heidelberg [u.a.] Springer 2011
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 7019.
Place hold Add to cart
4.
Unifying theories of programming 4th international symposium, UTP 2012, Paris, France, August 27 - 28, 2012 ; revised selected papers Burkhart Wolff ... (eds.) by Series: ; 768100 | Lecture notes in computer science ; 7681
Material type: Text Text; Format: print
Language: English
Publisher number:
  • 86206079
Publisher: Berlin Heidelberg Springer 2013
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 7681.
Place hold Add to cart
5.
Tests and proofs 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings Catherine Dubois, Burkhart Wolff (eds.) by Series: ; 1088900 | Lecture notes in computer science ; 10889
Material type: Text Text; Format: print
Language: English Publisher: Cham Springer [2018]Copyright date: © 2018
Other title:
  • TAP 2018
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 10889.
Place hold Add to cart
Pages

Imprint

Data Protection

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha