Search Results for Calculus

25 Results Found

1 2 3

000000000000DEFAULT

13.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(519161.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46669-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Matematik

Author

Zill, Dennis G., 1940- Wright, Warren S., author. Cangül, İsmail Naci.

Preferred Shelf Number

QA303 Z55 2015 V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Kalkülüs : eksiksiz bir ders : Öğrenci çözüm kılavuzu

Author

Adams, Robert A. Essex, Christopher. Terziler, Mehmet. Öner, Tahsin. Öner, Gülşah.

Preferred Shelf Number

QA303 A331 2015 V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Kalkülüs

Author

Sezer, Mehmet, yazar Savaşaneril Baykuş, Nurcan, yazar

Preferred Shelf Number

QA303 S49 2015 V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Author

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519046.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Author

Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518980.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19282-6

Format:

Availability

Online Library~1

Available:
Copies:

20.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518439.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

The Impact of Pen and Touch Technology on Education

Author

Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518440.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Introduction to Concurrency Theory Transition Systems and CCS

Author

Gorrieri, Roberto. author. Versari, Cristian. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518745.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21491-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Aspect-Oriented Security Hardening of UML Design Models

Author

Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.

Preferred Shelf Number

XX(518722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings

Author

Benediktsson, Jón Atli. editor. Chanussot, Jocelyn. editor. Najman, Laurent. editor. Talbot, Hugues. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518884.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}