Skip to content
You are not logged in |Login  
     
Limit search to available items
22 results found. sorted by date .
Keywords (1-22 of 22)
1
Bestseller
BestsellerE-book
 

Artificial intelligence research and development : proceedings of the 23rd International Conference


Catalonian Conference on AI (23rd : 2021 : Online)
Amsterdam, Netherlands : IOS Press, 2021.

Rating:

Item Status

2
Bestseller
BestsellerE-book
 

Formal ontology in information systems : proceedings of the 11th International Conference (FOIS 2020


FOIS (Conference) (11th : 2020 : Bolzano, Italy)
Amsterdam : IOS Press, 2020.

Rating:

Item Status

3
Bestseller
BestsellerE-book
 

Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018


FOIS (Conference) (10th : 2018 : Cape Town, South Africa)
Amsterdam, Netherlands : IOS Press, 2018.

Rating:

Item Status

4
Bestseller
BestsellerE-book
 

Formal ontology in information systems : proceedings of the 9th International Conference (FOIS 2016)


FOIS (Conference) (9th : 2016 : Annecy, France)
Amsterdam, Netherlands : IOS Press, 2016.

Rating:

Item Status

5
Bestseller
BestsellerE-book
 

New trends in software methodologies, tools and techniques : proceedings of the fifteenth SoMeT_16


IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (15th : 2016 : Cyprus)
Amsterdam, Netherlands : IOS Press, 2016.

Rating:

Item Status

6
Bestseller
BestsellerE-book
 

Coding as literacy : metalithikum IV



Basel ; Boston : Birkhäuser, [2015]

Rating:

Item Status

7
Bestseller
BestsellerE-book
 

Decision making and soft computing : proceedings of the 11th International FLINS Conference, Joao Pe


International FLINS Conference (11th : 2014 : Joao Pessoa, Brazil)
Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2014]

Rating:

Item Status

8
Bestseller
BestsellerE-book
 

Formal ontology in information systems : proceedings of the eighth international conference (FOIS 20


FOIS (Conference) (8th : 2014 : Rio de Janeiro, Brazil)
Amsterdam : IOS Press, [2014]

Rating:

Item Status

9
Bestseller
BestsellerE-book
 

Software safety and security : tools for analysis and verification


NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Amsterdam ; Washington, D.C. : IOS Press, [2012]

Rating:

Item Status

10
Bestseller
BestsellerE-book
 

Formal ontology in information systems : Proceedings of the seventh International Conference (FOIS 2


FOIS (Conference) (7th : 2012 : Graz, Austria)
Amsterdam ; Washington, D.C. : IOS Press, [2012]

Rating:

Item Status

11
Bestseller
BestsellerE-book
 
12
Bestseller
BestsellerE-book
 

Communicating Process Architectures 2011 : WoTUG-33


WoTUG Technical Meeting (33rd : 2011 : Limerick, Ireland)
Amsterdam : IOS Press, 2011.

Rating:

Item Status

13
Bestseller
BestsellerE-book
 

Logics and languages for reliability and security


NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany)
Amsterdam : IOS Press, 2010.

Rating:

Item Status

14
Bestseller
BestsellerE-book
 

Formal ontology in information systems : proceedings of the sixth international conference (FOIS 201


FOIS (Conference) (6th : 2010 : Toronto, Ont.)
Amsterdam : IOS Press, [2010]

Rating:

Item Status

15
Bestseller
BestsellerE-book
 

Engineering methods and tools for software safety and security


NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany)
Amsterdam, Netherlands ; Washington, DC : IOS Press, [2009]

Rating:

Item Status

16
Bestseller
BestsellerE-book
 

Aspects of network and information security


NATO Advanced Study Institute on Network Security and Intrusion Detection (2005 : Yerevan, Armenia)
Amsterdam ; Washington D.C. : IOS Press, [2008]

Rating:

Item Status

17
Bestseller
BestsellerE-book
 

Formal logical methods for system security and correctness


NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Amsterdam, Netherlands ; Washington, DC : IOS Press, [2008]

Rating:

Item Status

18
Bestseller
BestsellerE-book
 

Item Status

19
Bestseller
BestsellerE-book
 

Innovative applications of information technology for the developing world : proceedings of the 3rd


Asian Applied Computing Conference (3rd : 2005 : Kathmandu, Nepal)
London : Imperial College Press ; Singapore ; Hackensack, NJ : Distributed by World Scientific, [2007]

Rating:

Item Status

20
Bestseller
BestsellerE-book
 

Software system reliability and security



Amsterdam ; Washington, DC : IOS Press, [2007]

Rating:

Item Status

21
Bestseller
BestsellerE-book
 

Proceedings of the 11th International Computer Conference : JICC 2005, Chongqing, China, 10-12 Novem


Joint International Computer Conference (11th : 2005 : Chongqing, China)
Singapore ; New Jersey : World Scientific Pub. Co., [2005]

Rating:

Item Status

22
Bestseller
BestsellerE-book
 

Cafe : an industrial-strength algebraic formal method



Amsterdam ; New York : Elsevier, 2000.
1st ed.

Rating:

Item Status

Resources
More Information