Your search returned 28 results.

Not what you expected? Check for suggestions
Sort
Results
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy) | Bernardo, Marco [editor.] | Vink, Erik de [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7938. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: SFM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures / Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.).

by FMCO (Symposium) (11th : 2012 : Bertinoro, Italy) | Giachino, Elena, 1981- [editor.] | Hähnle, Reiner [editor.] | Boer, Frank S. de [editor.] | Bonsangue, Marcello M [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7866. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theory and applications of formal argumentation : second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised selected papers / Elizabeth Black, Sanjay Modgil, Nir Oren (eds.).

by TAFA (Workshop) (2nd : 2013 : Beijing, China) | Black, Elizabeth [editor.] | Modgil, Sanjay [editor.] | Oren, Nir [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8306.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014Other title: TAFA 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers / Shaoying Liu, Zhenhua Duan (eds.).

by SOFL+MSVL (Workshop) (3rd : 2013 : Queenstown, N.Z.) | Liu, Shaoying, 1960- [editor.] | Duan, Zhenhua [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8332. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.

by CPP (Conference) (3rd : 2013 : Melbourne, Vic.) | Gonthier, Georges [editor.] | Norrish, Michael [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8307. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2013Other title: CPP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
NASA formal methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29-May 1, 2014. Proceedings / Julia M. Badger, Kristin Yvonne Rozier (eds.).

by NFM (Symposium) (6th : 2014 : Houston, Tex.) | Badger, Julia M [editor.] | Rozier, Kristin Yvonne [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8430. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: NFM 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen (Eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy) | Bernardo, Marco [editor.] | Damiani, Ferruccio [editor.] | Hähnle, Reiner [editor.] | Johnsen, Einar Broch [editor.] | Schaefer, Ina [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8483. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: SFM 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / Erika Ábrahám, Catuscia Palamidessi (Eds.).

by FORTE (Conference) (34th : 2014 : Berlin, Germany) | Ábrahám, Erika [editor.] | Palamidessi, Catuscia [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8461. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: FORTE 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal concept analysis : 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014, proceedings / Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea (eds.).

by International Conference on Formal Concept Analysis (12th : 2014 : Cluj-Napoca, Romania) | Glodeanu, Cynthia Vera [editor.] | Kaytoue, Mehdi [editor.] | Sacarea, Christian [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8478. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: ICFCA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers / José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (eds.).

by FACS (Symposium) (10th : 2013 : Nanchang, China) | Fiadeiro, José Luiz, 1961- [editor.] | Liu, Zhiming, 1961- [editor.] | Xue, Jinyun [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8348. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: FACS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / Emilio Tuosto, Chun Ouyang (eds.).

by WS-FM (Workshop) (10th : 2013 : Beijing, China) | Tuosto, Emilio [editor.] | Ouyang, Chun (Computer scientist) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8379. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: WS-FM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings / Peggy Cellier, Felix Distel, Bernhard Ganter (eds.).

by International Conference on Formal Concept Analysis (11th : 2013 : Dresden, Germany) | Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7880. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).

by International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland) | Johnsen, Einar Broch [editor.] | Petre, Luigia, 1974- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7940. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: IFM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers / edited by Maurice H. ter Beek, Niels Lohmann.

by WS-FM (Workshop) (9th : 2012 : Tallinn, Estonia) | Beek, Maurice H. ter [editor.] | Lohmann, N. (Niels) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7843. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, [2013]Copyright date: ©2013Other title: WS-FM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal techniques for distributed systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings / Dirk Beyer, Michele Boreale (eds.).

by International Conference on Formal Methods for Open Object-Based Distributed Systems (15th : 2013 : Florence, Italy) | Beyer, Dirk, 1972- [editor.] | Boreale, Michele [editor.] | FORTE (Conference) (33rd : 2013 : Florence, Italy) | International Federated Conferences on Distributed Computing Techniques (8th : 2013 : Florence, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 7892. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2013Other title: FMOODS/FORTE 2013 | DisCoTec 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / Helmut Jürgensen, Rogério Reis (eds.).

by DCFS (Workshop) (15th : 2013 : London, Ont.) | Jürgensen, Helmut [editor.] | Reis, Rogério (Cryptographer) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8031. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: DCFS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / Víctor Braberman, Laurent Fribourg (eds.).

by FORMATS (Conference) (11th : 2013 : Buenos Aires, Argentina) | Braberman, Víctor [editor.] | Fribourg, Laurent, 1957- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8053. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2013Other title: FORMATS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | He, Jifeng, 1943- [honouree.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8051. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal grammar : 17th and 18th International Conferences, FG 2012/2013, Opole, Poland, August 2012, Revised Selected Papers, Düsseldorf, Germany, August 2013. Proceedings / Glyn Morrill, Mark-Jan Nederhof (Eds.).

by FG (Conference) (17th : 2012 : Opole, Poland) | Morrill, Glyn V [editor.] | Nederhof, Mark-Jan [editor.] | FG (Conference) (18th : 2013 : Düsseldorf, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 8036. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: FG 2012 | FG 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Structured object-oriented formal language and method : second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised selected papers / Shaoying Liu (ed.).

by SOFL (Workshop) (2nd : 2012 : Kyoto, Japan) | Liu, Shaoying, 1960- [editor,, author.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7787, | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: SOFL 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha