Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(851)
Quarteroni, Alfio. author.
(19)
Resch, Michael. editor.
(11)
Saleri, Fausto. author.
(11)
Nagel, Wolfgang E. editor.
(10)
Dil
Yayın Yılı
-
Konu
Computer science.
(458)
Computer science -- Mathematics.
(288)
Engineering mathematics.
(135)
Engineering.
(95)
Mathematical optimization.
(91)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
870 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Discrete mathematics : A bridge to computer science and advanced mathematics için kapak resmi
Discrete mathematics : A bridge to computer science and advanced mathematics
Yazar 
Nicodemi, Olympia.
Yer Numarası 
QA 39.2 N55 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
38. 
Pen-and-Paper User Interfaces Integrating Printed and Digital Documents için kapak resmi
Pen-and-Paper User Interfaces Integrating Printed and Digital Documents
Yazar 
Steimle, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20276-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Geometric Fundamentals of Robotics için kapak resmi
Geometric Fundamentals of Robotics
Yazar 
Selig, J. M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138859
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
An Introduction to Distance Geometry applied to Molecular Geometry için kapak resmi
An Introduction to Distance Geometry applied to Molecular Geometry
Yazar 
Lavor, Carlile. author. Liberti, Leo. author. A. Lodwick, Weldon. author. Mendonça da Costa, Tiago. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57183-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
3000 Jahre Analysis Geschichte, Kulturen, Menschen için kapak resmi
3000 Jahre Analysis Geschichte, Kulturen, Menschen
Yazar 
Sonar, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17204-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
5000 Jahre Geometrie Geschichte, Kulturen, Menschen için kapak resmi
5000 Jahre Geometrie Geschichte, Kulturen, Menschen
Yazar 
Scriba, Christoph J. author. Schreiber, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02362-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
5000 Jahre Geometrie Geschichte Kulturen Menschen için kapak resmi
5000 Jahre Geometrie Geschichte Kulturen Menschen
Yazar 
Scriba, Christoph J. author. Schreiber, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138729
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday için kapak resmi
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Yazar 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings için kapak resmi
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Yazar 
Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332947.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02786-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Yazar 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334724.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I için kapak resmi
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Yazar 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335157.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II için kapak resmi
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Yazar 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335160.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç