Search Results for Mathematics.

1.

Modelling Computing Systems Mathematics for Computer Science

Yazar

Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332574.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-322-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Yazar

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334264.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Yazar

O’Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331002.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4534-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Yazar

Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Yazar

Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Yazar

Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Yazar

Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

Yazar

Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Yazar

Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Yazar

Uustalu, Tarmo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02420-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Yazar

Hasegawa, Masahito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334702.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Yazar

Schulte, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334980.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Yazar

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334985.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Yazar

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335032.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Yazar

Lodaya, Kamal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334105.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Yazar

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334465.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Yazar

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334564.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Yazar

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334617.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Yazar

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Yazar

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Yazar

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334665.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Yazar

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334718.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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:

28.

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Yazar

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334778.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Theory of Digital Automata

Yazar

Borowik, Bohdan. author. Karpinskyy, Mykola. author. Lahno, Valery. author. Petrov, Oleksandr. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335923.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-5228-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Logic Circuit Design Selected Methods

Yazar

Vingron, Shimon P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Yazar

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Yazar

Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Logic Synthesis for FSM-Based Control Units

Yazar

Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Logic Synthesis for Compositional Microprogram Control Units

Yazar

Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69285-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Modern Formal Methods and Applications

Yazar

Gabbar, Hossam A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4223-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Algorithmic and Knowledge-based CAD for VLSI

Yazar

Taylor, Gaynor, ed. Russell, Gordon, ed.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1049/PBCS004E

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}