Search Results for Systems software.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Logic design.

Author

SpringerLink (Online service)

(47)

Bernardo, Marco. editor.

(5)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Huisman, Marieke. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Petrenko, Alexandre. editor.

(2)

Ulrich, Andreas. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Alagar, V.S. author.

(1)

Baker, Paul. editor.

(1)

Banâtre, Jean-Pierre. editor.

(1)

Barthe, Gilles. editor.

(1)

Beckert, Bernhard. editor.

(1)

Bjørner, Dines. author.

(1)

Boer, Frank S. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Brat, Guillaume. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Dai, Dong. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Esparza, Javier. editor.

(1)

Felleisen, Matthias. editor.

(1)

Flanagan, Cormac. editor.

(1)

Forbrig, Peter. editor.

(1)

Gardner, Philippa. editor.

(1)

Gorbenko, Anatoliy. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorton, Ian. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Grumberg, Orna. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Hasegawa, Toru. editor.

(1)

Hermanns, Holger. editor.

(1)

Hierons, Robert. editor.

(1)

Higashino, Teruo. editor.

(1)

Hillston, Jane. editor.

(1)

Hofmeister, Christine. editor.

(1)

Hu, Changjun. editor.

(1)

Hung, Dang. editor.

(1)

Huth, Michael. editor.

(1)

Hölzl, Matthias. editor.

(1)

Jiang, Congfeng. editor.

(1)

Kharchenko, Vyacheslav. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kreowski, Hans-Jörg. editor.

(1)

König, Barbara. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lämmel, Ralf. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maldonado, José Carlos. editor.

(1)

Medina-Bulo, Inmaculada. editor.

(1)

Mirandola, Raffaela. editor.

(1)

Montanari, Ugo. editor.

(1)

Nicola, Rocco. editor.

(1)

Nielsen, Brian. editor.

(1)

Núñez, Manuel. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Orejas, Fernando. editor.

(1)

Palsberg, Jens. editor.

(1)

Paternò, Fabio. editor.

(1)

Periyasamy, K. author.

(1)

Philippou, Anna. editor.

(1)

Pierro, Alessandra. editor.

(1)

Piterman, Nir. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Rauschmayer, Axel. editor.

(1)

Rehof, Jakob. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Rungta, Neha. editor.

(1)

Sagiv, Mooly. editor.

(1)

Saraiva, João. editor.

(1)

Seidl, Helmut. editor.

(1)

Sestoft, Peter. editor.

(1)

Simão, Adenilso. editor.

(1)

Smolka, Scott A. editor.

(1)

Suzuki, Kenji. editor.

(1)

Taentzer, Gabriele. editor.

(1)

Tretmans, Jan. editor.

(1)

Veanes, Margus. editor.

(1)

Venet, Arnaud. editor.

(1)

Vink, Erik. editor.

(1)

Visser, Joost. editor.

(1)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(1)

Weise, Carsten. editor.

(1)

Wiklicky, Herbert. editor.

(1)

Wirsing, Martin. editor.

(1)

Wolff, Burkhart. editor.

(1)

Yang, Wen. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yilmaz, Cemal. editor.

(1)

Zavattaro, Gianluigi. editor.

(1)

Zaïdi, Fatiha. editor.

(1)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(1)

Zhang, Zili. editor.

(1)

Zuck, Lenore D. editor.

(1)

Language

(47)

Publication Date

-

(9)

(6)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(2)

Subject

Software engineering.

(47)

Computer science.

(45)

Computer Communication Networks.

(22)

Artificial intelligence.

(9)

Computer software.

(9)

Logics and Meanings of Programs.

(9)

Programming Languages, Compilers, Interpreters.

(7)

Data structures (Computer science).

(4)

Information Systems.

(4)

Programming Techniques.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Operating Systems.

(3)

Operating systems (Computers).

(3)

Bioinformatics.

(2)

Computer network architectures.

(2)

Computer simulation.

(2)

Computer system performance.

(2)

Information Systems Applications (incl. Internet).

(2)

Telecommunication.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Computation by Abstract Devices.

(1)

Computational Biology/Bioinformatics.

(1)

Computational complexity.

(1)

Computer communication systems.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer security.

(1)

Data structures (Computer scienc.

(1)

Information theory.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical logic.

(1)

Multimedia systems.

(1)

Special Purpose and Application-Based Systems.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

47 Results Found

Subscribe to search results

1 2 3 4

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for 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 Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

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 Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

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 Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28756-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

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 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

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 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Author

Seidl, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28869-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Barthe, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19718-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19835-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Author

Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24580-0

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Gordon, Andrew D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11957-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Author

Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16573-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12002-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Author

Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02351-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Author

Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05031-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00590-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00768-2

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11