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; Format:
available online
 ; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
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; Format:
available online
; 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; Format:
available online
; 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).
|