Search Results for Honor.

11 Results Found

00000000000DEFAULT

Cover image for Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

Author

Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16458-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Author

Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54848-2

Format:

Availability

Online Library~1

Available:
Copies:

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

Author

Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334419.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

Author

Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

Author

Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers

Author

Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever

Author

Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday

From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday

Author

Sachs, Kai. editor. Petrov, Ilia. editor. Guerrero, Pablo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos

Author

Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Author

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75221-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Author

Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106663

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}