Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Communication Networks	Computer Science (29)	Computer science (29)
Congresses (29)	Electronic books (29)	Logic design
more ...

Additional Suggested Topics... within your search.
Logics and Meanings of Programs (28)	Software engineering (28)	Software Engineering (27)
Programming Languages, Compilers, Interpreters (20)	Mathematical Logic and Formal Languages (13)	Programming Techniques (13)
Artificial Intelligence (incl. Robotics) (7)	Artificial intelligence (7)	Information Systems Applications (incl. Internet) (7)
Algorithm Analysis and Problem Complexity (6)	Computer software (6)	Information Systems (6)
Management of Computing and Information Systems (6)	Data Encryption (2)	Data encryption (Computer science) (2)
Data protection (2)	Software Engineering/Programming and Operating Systems (2)	Systems and Data Security (2)
Appl.Mathematics/Computational Methods of Engineering (1)	Computation by Abstract Devices (1)	Computer Systems Organization and Communication Networks (1)
Computer network architectures (1)	Computers and Society (1)	Data Structures, Cryptology and Information Theory (1)
less ...

Showing 1 - 20 of 29 for search: '', query time: 0.62s

Cover Image

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14,...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany,...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm,...

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: Computer Communication Networks
Suggested Topics: Logic design

Institution: KMUTT (29)

Call Number: Q - Science (25); T - Technology (4)

Language: English (29)

Year of Publication: From: To:

Search Options

Find More

Need Help?