Search Results for Computer

160 Results Found

1 .. 3 4 5 6 7 .. 14

000000000000DEFAULT

49.

Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12904-4

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13206-8

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05416-2

Format:

Availability

Online Library~1

Available:
Copies:

52.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Author

Baldan, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44584-6

Format:

Availability

Online Library~1

Available:
Copies:

53.

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Author

Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54789-8

Format:

Availability

Online Library~1

Available:
Copies:

54.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Author

Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43652-3

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Author

van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06880-0

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Author

McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54013-4

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Author

Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07734-5

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

Author

Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07512-9

Format:

Availability

Online Library~1

Available:
Copies:

59.

Practical Analysis of Algorithms

Author

Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09888-3

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Author

Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-04915-1

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 14

	{displayName}	{count}
{error}