Search Results for Foundations.

187 Results Found

1 .. 3 4 5 6 7 .. 16

000000000000DEFAULT

49.

Modern Cryptography Primer Theoretical Foundations and Practical Applications

Author

Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335099.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Author

Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334727.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

Author

Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334801.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Author

Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335052.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

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

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

Author

Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Guide to Computational Geometry Processing Foundations, Algorithms, and Methods

Author

Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4075-7

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Author

Liu, Zhiming. editor. Wassyng, Alan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Author

Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Foundations of Intelligent Systems 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedings

Author

Chen, Li. editor. Felfernig, Alexander. editor. Liu, Jiming. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Foundations of Algebraic Specification and Formal Software Development

Author

Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Author

Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 16

	{displayName}	{count}
{error}