Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Science	Software engineering	Computer science (843)
Electronic books (788)	Software Engineering (731)	Logic design (304)
more ...

Additional Suggested Topics... within your search.
Logics and Meanings of Programs (302)	Programming Languages, Compilers, Interpreters (280)	Computer Communication Networks (273)
Artificial Intelligence (incl. Robotics) (239)	Artificial intelligence (239)	Programming Techniques (194)
Mathematical Logic and Formal Languages (190)	Information Systems Applications (incl. Internet) (185)	Congresses (177)
Information Systems (175)	Management of Computing and Information Systems (175)	Algorithm Analysis and Problem Complexity (165)
Computer software (165)	Information systems (160)	Information Storage and Retrieval (124)
Information storage and retrieval systems (124)	Software Engineering/Programming and Operating Systems (118)	User Interfaces and Human Computer Interaction (93)
Information Systems Applications (incl.Internet) (84)	Computation by Abstract Devices (83)	Computer simulation (80)
Simulation and Modeling (80)	Special Purpose and Application-Based Systems (74)	Database Management (66)
less ...

Showing 121 - 140 of 844 for search: '', query time: 0.05s

Cover Image

Theory and Applications of Satisfiability Testing เนโฌโ€ SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30เนโฌโ€July 2, 2010....

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

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

New Modeling Concepts for Todayเนโฌยs Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Future Internet - FIS 2009 Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Coordination, Organizations, Institutions and Norms in Agent Systems V COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009,...

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

[1]« Prev 2 3 4 5 678 9 10 11 12 Next »[43]

Search Tools: Get RSS Feed Email this Search Save Search

Narrow Search

Remove Filters

Suggested Topics: Computer Science
Suggested Topics: Software engineering
Call Number: Q - Science

Institution: KMUTT (844)

Library: mai (35)

Format: EBOOKS (35)

Call Number: Q - Science

Author: Hunt, John (2); Trendowicz, Adam (2); Alchin, Marty (1); Aldini, Alessandro (1); Apel, Sven (1); more ...

Ardolino, Alessandro (1)

Arnoldus, Jeroen (1)

Ashbourn, Julian (1)

Barnes, John (1)

Basili, Victor (1)

Beckner, Mark (1)

Bernardi, Simona (1)

Bertino, Elisa (1)

Biedermann, Alexander (1)

Blunden, Bill (1)

Chemuturi, Murali (1)

Cheung, King Sing (1)

Chung, Carlo (1)

Cohen, Ryan (1)

Daniel, Florian (1)

Debbabi, Mourad (1)

Delicato, Flávia C (1)

Dennedy, Michelle Finneran (1)

Derrick, John (1)

Dooley, John (1)

Draheim, Dirk (1)

Fernández, Maribel (1)

Gellert, Ulrich (1)

Gerth, Christian (1)

Gil Solla, Alberto (1)

Language: English (844)

Year of Publication: From: To:

Search Options

Find More

Need Help?