Your search returned 374 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
341.
342.
343.
344.
Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings / Sergiy Bogomolov, David Parker (eds.). by Series: Lecture notes in computer science ; 13465.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2022
Other title:
  • FORMATS 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
345.
Descriptional complexity of formal systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings / Yo-Sub Han, György Vaszil (eds.). by Series: Lecture notes in computer science ; 13439.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2022
Other title:
  • DCFS 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
346.
347.
348.
349.
Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / edited by Pawel Garbacz and Oliver Kutz. by Series: Frontiers in artificial intelligence and applications ; volume 267.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Amsterdam : IOS Press, [2014]Copyright date: ©2014
Other title:
  • FOIS 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
350.
Formal ontology in information systems [electronic resource] : Proceedings of the seventh International Conference (FOIS 2012) / edited by Maureen Donnelly and Giancarlo Guizzardi. by Series: Frontiers in artificial intelligence and applications ; v.239.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Washington, D. C. : IOS Press, c2012
Other title:
  • FOIS 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
351.
Formal ontology in information systems : proceedings of the 11th International Conference (FOIS 2020) / edited by Boyan Brodaric and Fabian Neuhaus. by Series: Frontiers in artificial intelligence and applications ; v. 330.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Amsterdam : IOS Press, 2020
Other title:
  • FOIS 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
352.
Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / edited by Stefano Borgo, Pascal Hitzler, and Oliver Kutz. by Series: Frontiers in artificial intelligence and applications ; v. 306.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Amsterdam, Netherlands : IOS Press, 2018
Other title:
  • FOIS 2018
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
353.
Formal ontology in information systems : proceedings of the 9th International Conference (FOIS 2016) / edited by Roberta Ferrario and Werner Kuhn. by Series: Frontiers in artificial intelligence and applications ; v. 283.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Amsterdam, Netherlands : IOS Press, 2016
Other title:
  • FOIS 2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
354.
Formal ontology in information systems : proceedings of the sixth international conference (FOIS 2010) / edited by Antony Galton and Riichiro Mizoguchi. by Series: Frontiers in artificial intelligence and applications ; v. 209.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam : IOS Press, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
355.
Cafe : an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai. by
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; New York : Elsevier, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
356.
357.
358.
Formal aspects of component software : 20th international conference, FACS 2024, Milan, Italy, September 9-10, 2024, proceedings / Diego Marmsoler, Meng Sun, editors. by Series: Lecture notes in computer science ; 15189.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Other title:
  • FACS 2024
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
359.
Formal methods teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, proceedings / Emil Sekerinski, Leila Ribeiro, editors. by Series: Lecture notes in computer science ; 14939.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Other title:
  • FMTea 2024
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
360.
Symbolic computation in software science : 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, proceedings / Stephen M. Watt, Tetsuo Ida, editors. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 14991. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2024
Other title:
  • SCSS 2024
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha