Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Science (25)	Computer science	Electronic books (25)
Information systems	Logic design	Logics and Meanings of Programs (25)
more ...

Additional Suggested Topics... within your search.
Software Engineering (22)	Software engineering (22)	Information Systems Applications (incl.Internet) (17)
Computer Communication Networks (14)	Artificial Intelligence (incl. Robotics) (12)	Artificial intelligence (12)
Programming Languages, Compilers, Interpreters (10)	Computer Appl. in Administrative Data Processing (7)	Mathematical Logic and Formal Languages (7)
Programming Techniques (6)	Information Systems (4)	Management of Computing and Information Systems (4)
Computational complexity (3)	Data Mining and Knowledge Discovery (3)	Data mining (3)
Discrete Mathematics in Computer Science (3)	Algebra (2)	Congresses (2)
Data processing (2)	Information Systems Applications (incl. Internet) (2)	Information Systems and Communication Service (2)
Special Purpose and Application-Based Systems (2)	Symbolic and Algebraic Manipulation (2)	Algorithm Analysis and Problem Complexity (1)
less ...

Showing 1 - 20 of 25 for search: '', query time: 0.82s

Cover Image

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /

by Montali, Marco Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May...

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC...

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March...

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Research into Practice เนโฌโ€ Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June...

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October...

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October...

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Service Research Challenges and Solutions for the Future Internet S-Cube เนโฌโ€ Towards Engineering, Managing and Adapting Service-Based Systems /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Search Tools: Get RSS Feed Email this Search Save Search

Narrow Search

Remove Filters

Suggested Topics: Computer science
Suggested Topics: Logic design
Suggested Topics: Information systems
Call Number: Q - Science

Institution: KMUTT (25)

Call Number: Q - Science

Author: Majkić, Zoran (1); Montali, Marco (1)

Language: English (25)

Year of Publication: From: To:

Search Options

Find More

Need Help?