Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computation by Abstract Devices	Computer Science (24)	Computer science (24)
Software Engineering	Software engineering (24)	Congresses (22)
more ...

Additional Suggested Topics... within your search.
Electronic books (22)	Artificial Intelligence (incl. Robotics) (11)	Artificial intelligence (11)
Logic design (11)	Logics and Meanings of Programs (11)	Algorithm Analysis and Problem Complexity (10)
Computer Communication Networks (10)	Computer software (10)	Information Systems Applications (incl. Internet) (7)
Programming Languages, Compilers, Interpreters (7)	Mathematical Logic and Formal Languages (5)	Computer simulation (4)
Simulation and Modeling (4)	Computer system performance (3)	Operating Systems (3)
Operating systems (Computers) (3)	Special Purpose and Application-Based Systems (3)	System Performance and Evaluation (3)
Computer Appl. in Administrative Data Processing (2)	Information Systems (2)	Information systems (2)
Management of Computing and Information Systems (2)	Optical pattern recognition (2)	Pattern Recognition (2)
less ...

Showing 1 - 20 of 24 for search: '', query time: 0.05s

Cover Image

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011,...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievements /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Transactions on Computational Collective Intelligence VI

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 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

Cover Image

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece,...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Transactions on Petri Nets and Other Models of Concurrency VI

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

Year of Publication: 2012
Suggested Topics: Software Engineering
Suggested Topics: Computation by Abstract Devices

Institution: KMUTT (24)

Call Number: Q - Science (21); T - Technology (3)

Language: English (24)

Year of Publication: From: To:

Search Options

Find More

Need Help?