Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1093)
Wiley InterScience (Online service)
(33)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Dastani, Mehdi. editor.
(9)
Dil
Yayın Yılı
-
Konu
Computer science.
(538)
Software engineering.
(438)
Artificial intelligence.
(259)
Logic design.
(182)
Computer programming.
(150)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
2416 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
901. 
Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings için kapak resmi
Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings
Yazar 
Gardner, Philippa. editor. Geerts, Floris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03793-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
902. 
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Yazar 
Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04238-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
903. 
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings için kapak resmi
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Yazar 
Gent, Ian P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04244-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
904. 
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures için kapak resmi
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Yazar 
Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04652-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
905. 
Shape Optimization under Uncertainty from a Stochastic Programming Point of View için kapak resmi
Shape Optimization under Uncertainty from a Stochastic Programming Point of View
Yazar 
Held, Harald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9396-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
906. 
Stability, Approximation, and Decomposition in Two- and Multistage Stochastic Programming için kapak resmi
Stability, Approximation, and Decomposition in Two- and Multistage Stochastic Programming
Yazar 
Küchler, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9399-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
907. 
Genetic algorithms and genetic programming modern concepts and practical applications için kapak resmi
Genetic algorithms and genetic programming modern concepts and practical applications
Yazar 
Affenzeller, Michael.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
908. 
Digital signal processing system design LabVIEW-based hybrid programming için kapak resmi
Digital signal processing system design LabVIEW-based hybrid programming
Yazar 
Kehtarnavaz, Nasser.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123744906
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
909. 
Programming 32-bit microcontrollers in C exploring the PIC32. için kapak resmi
Programming 32-bit microcontrollers in C exploring the PIC32.
Yazar 
Di Jasio, Lucio.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750687096
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
910. 
Programming 8-bit PIC microcontrollers in C with interactive hardware simulation için kapak resmi
Programming 8-bit PIC microcontrollers in C with interactive hardware simulation
Yazar 
Bates, Martin, 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750689601
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
911. 
XNA 2.0 Game Programming Recipes A Problem-Solution Approach için kapak resmi
XNA 2.0 Game Programming Recipes A Problem-Solution Approach
Yazar 
Grootjans, Riemer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0514-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
912. 
Network Performance Analysis Using the J Programming Language için kapak resmi
Network Performance Analysis Using the J Programming Language
Yazar 
Holt, Alan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
913. 
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings için kapak resmi
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
Yazar 
Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
914. 
Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings için kapak resmi
Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
Yazar 
Lodi, Andrea. editor. Panconesi, Alessandro. editor. Rinaldi, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68891-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
915. 
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings için kapak resmi
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Yazar 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
916. 
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures için kapak resmi
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Yazar 
Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
917. 
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings için kapak resmi
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Yazar 
Ramalingam, G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
918. 
CNC programming handbook : a comprehensice guide to practical CNC programming için kapak resmi
CNC programming handbook : a comprehensice guide to practical CNC programming
Yazar 
Smid, Peter.
Yer Numarası 
TJ1189 S592 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
919. 
Making Grids Work Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece için kapak resmi
Making Grids Work Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece
Yazar 
Danelutto, Marco. author. Fragopoulou, Paraskevi. author. Getov, Vladimir. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-78448-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
920. 
Foundations of 3D Graphics Programming Using JOGL and Java3D için kapak resmi
Foundations of 3D Graphics Programming Using JOGL and Java3D
Yazar 
Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-284-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
921. 
The Boundary Element Method with Programming For engineers and scientists için kapak resmi
The Boundary Element Method with Programming For engineers and scientists
Yazar 
Beer, Gernot. author. Smith, Ian M. author. Duenser, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-211-71576-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
922. 
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings için kapak resmi
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
Yazar 
Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
923. 
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I için kapak resmi
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Yazar 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
924. 
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II için kapak resmi
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Yazar 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
925. 
ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings için kapak resmi
ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
Yazar 
Vitek, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70592-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
926. 
Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings için kapak resmi
Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
Yazar 
Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89076-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
927. 
Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers için kapak resmi
Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
Yazar 
Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89812-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
928. 
Programming ArcObjects with VBA : a task-oriented approach için kapak resmi
Programming ArcObjects with VBA : a task-oriented approach
Yazar 
Chang, Kang-Tsung.
Yer Numarası 
T58.62 C27 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
929. 
Applying PIC18 microcontrollers : architecture, programming, and interfacing using C and Assembly için kapak resmi
Applying PIC18 microcontrollers : architecture, programming, and interfacing using C and Assembly
Yazar 
Brey, Barry B.
Yer Numarası 
TJ223.P76 B72 2008
Format: 
Durum 
Beytepe Kütüphanesi~3
Rafta:
Kopya:
930. 
Günümüz bilgi sistemleri için kullanıcı düzeyi görev aktarımı modeli kullanan bir programlama ortamının tasarım ve gerçekleştirimi = Design and implementation of a programming environment utilizing user space process migration model for contemporary information systems için kapak resmi
Günümüz bilgi sistemleri için kullanıcı düzeyi görev aktarımı modeli kullanan bir programlama ortamının tasarım ve gerçekleştirimi = Design and implementation of a programming environment utilizing user space process migration model for contemporary information systems
Yazar 
İnan, Erkan
Yer Numarası 
TEZ/8575 .I536 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
931. 
Matlab and C programming for Trefftz finite element methods için kapak resmi
Matlab and C programming for Trefftz finite element methods
Yazar 
Qin, Qing-Hua. Wang, Hui, 1976-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
932. 
Using aspect-oriented programming for trustworthy software development için kapak resmi
Using aspect-oriented programming for trustworthy software development
Yazar 
Safonov, V. O. (Vladimir Olegovich)
Yer Numarası 
ONLINE
Elektronik Erişim 
Books24x7 http://www.books24x7.com/marc.asp?bookid=26061
John Wiley http://dx.doi.org/10.1002/9780470283110
MyiLibrary, Table of contents http://www.myilibrary.com?id=138149&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0829/2007041615-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
933. 
An introduction to linear programming and game theory için kapak resmi
An introduction to linear programming and game theory
Yazar 
Thie, Paul R., 1938- Keough, G. E. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
http://site.ebrary.com/lib/alltitles/Doc?id=10500970
http://swb.eblib.com/patron/FullRecord.aspx?p=818922
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
934. 
Advanced microprocessors and peripherals : architecture, programming and interfacing için kapak resmi
Advanced microprocessors and peripherals : architecture, programming and interfacing
Yazar 
Ray, Ajoy Kumar. Bhurchandi, Kishor M.
Yer Numarası 
TJ223.M53 R263 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
935. 
Programming ArcObjects with VBA a task-oriented approach için kapak resmi
Programming ArcObjects with VBA a task-oriented approach
Yazar 
Chang, Kang-Tsung.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
936. 
Programming 32-bit microcontrollers in C exploring the PIC32. için kapak resmi
Programming 32-bit microcontrollers in C exploring the PIC32.
Yazar 
Di Jasio, Lucio.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750687096
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
937. 
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings için kapak resmi
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
Yazar 
Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68155-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
938. 
Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings
Yazar 
Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68255-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
939. 
Reflections on the Teaching of Programming Methods and Implementations için kapak resmi
Reflections on the Teaching of Programming Methods and Implementations
Yazar 
Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77934-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
940. 
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers için kapak resmi
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
Yazar 
Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78469-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
941. 
Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings için kapak resmi
Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Yazar 
O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78671-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
942. 
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings için kapak resmi
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Yazar 
Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78969-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
943. 
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
Yazar 
Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79043-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
944. 
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings için kapak resmi
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
Yazar 
Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
945. 
Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings için kapak resmi
Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
Yazar 
Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85958-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
946. 
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Yazar 
Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
947. 
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings için kapak resmi
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Yazar 
Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89982-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
948. 
Risk Management in Stochastic Integer Programming With Application to Dispersed Power Generation için kapak resmi
Risk Management in Stochastic Integer Programming With Application to Dispersed Power Generation
Yazar 
Neise, Frederike. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9536-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
949. 
LabVIEW for everyone : graphical programming made easy and fun. için kapak resmi
LabVIEW for everyone : graphical programming made easy and fun.
Yazar 
Travis, Jeffrey. Kring, Jim.
Yer Numarası 
Q183.A1 T73 2007
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
950. 
Programming 16-bit PIC microcontrollers in C learning to fly the PIC 24 için kapak resmi
Programming 16-bit PIC microcontrollers in C learning to fly the PIC 24
Yazar 
Di Jasio, Lucio.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750682923
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
951. 
Aspect-oriented programming with the e verification language a pragmatic guide for testbench developers için kapak resmi
Aspect-oriented programming with the e verification language a pragmatic guide for testbench developers
Yazar 
Robinson, David.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123742100
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
952. 
Industrial Robots Programming Building Applications for the Factories of the Future için kapak resmi
Industrial Robots Programming Building Applications for the Factories of the Future
Yazar 
Pires, J. Norberto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b101252
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
953. 
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
Yazar 
Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72200-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
954. 
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings için kapak resmi
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Yazar 
Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
955. 
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers için kapak resmi
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
Yazar 
Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73847-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
956. 
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures için kapak resmi
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Yazar 
Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
957. 
Mobile phone programming and its application to wireless networking için kapak resmi
Mobile phone programming and its application to wireless networking
Yazar 
Fitzek, Frank H. P. Reichert, Frank.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=206228
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
958. 
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings için kapak resmi
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings
Yazar 
Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72397-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
959. 
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Yazar 
Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
960. 
ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings için kapak resmi
ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
Yazar 
Ernst, Erik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
961. 
Approximate dynamic programming solving the curses of dimensionality için kapak resmi
Approximate dynamic programming solving the curses of dimensionality
Yazar 
Powell, Warren B., 1955- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0742/2007013724-b.html
John Wiley http://dx.doi.org/10.1002/9780470182963
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
962. 
Transportation decision making principles of project evaluation and programming için kapak resmi
Transportation decision making principles of project evaluation and programming
Yazar 
Sinha, Kumares C. (Kumares Chandra) Labi, Samuel, 1962- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view book
Volltext http://www3.interscience.wiley.com/cgi-bin/bookhome/114280235
John Wiley http://dx.doi.org/10.1002/9780470168073
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006022829-b.html
ebrary http://site.ebrary.com/id/10504182
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
963. 
Programming multi-agent systems in AgentSpeak using Jason için kapak resmi
Programming multi-agent systems in AgentSpeak using Jason
Yazar 
Bordini, Rafael H. Hübner, Jomi Fred. Wooldridge, Michael J., 1966-
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html
John Wiley http://dx.doi.org/10.1002/9780470061848
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
964. 
Smart card applications design models for using and programming smart cards için kapak resmi
Smart card applications design models for using and programming smart cards
Yazar 
Rankl, W. (Wolfgang) Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298657-b.html
John Wiley http://dx.doi.org/10.1002/9780470511954
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=292591
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
965. 
SAS 9 study guide preparing for the base programming certification exam for SAS 9 için kapak resmi
SAS 9 study guide preparing for the base programming certification exam for SAS 9
Yazar 
Hezaveh, Ali.
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=706457
John Wiley http://dx.doi.org/10.1002/9781118032367
http://swb.eblib.com/patron/FullRecord.aspx?p=706457
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
966. 
Uzman kullanıcılar için Visual Basic.Net 2005 : object oriented programming için kapak resmi
Uzman kullanıcılar için Visual Basic.Net 2005 : object oriented programming
Yazar 
Demirli, Nihat. İnan, Yüksel.
Yer Numarası 
QA76.64 D46 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
967. 
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
968. 
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Yazar 
Nicola, Rocco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
969. 
Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings için kapak resmi
Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
Yazar 
Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71605-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
970. 
Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings için kapak resmi
Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings
Yazar 
Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72792-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
971. 
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
Yazar 
Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
972. 
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings için kapak resmi
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Yazar 
Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74610-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
973. 
Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings için kapak resmi
Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings
Yazar 
Bessière, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
974. 
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Yazar 
Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
975. 
Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers için kapak resmi
Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
Yazar 
Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75987-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
976. 
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings için kapak resmi
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Yazar 
Shao, Zhong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
977. 
Microprocessors and microcontrollers : architecture, programming and system design 8085, 8086, 8051, 8096 için kapak resmi
Microprocessors and microcontrollers : architecture, programming and system design 8085, 8086, 8051, 8096
Yazar 
Kant, Krishna.
Yer Numarası 
TK7895.M5 K36 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
978. 
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention için kapak resmi
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention
Yazar 
Trappl, Robert. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4390-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
979. 
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods için kapak resmi
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
Yazar 
Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-31240-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
980. 
Event-Based Programming Taking Events to the Limit için kapak resmi
Event-Based Programming Taking Events to the Limit
Yazar 
Faison, Ted. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0156-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
981. 
Mathematical and Computer Programming Techniques for Computer Graphics için kapak resmi
Mathematical and Computer Programming Techniques for Computer Graphics
Yazar 
Comninos, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
982. 
Foundations of 3D Graphics Programming Using JOGL and Java3D için kapak resmi
Foundations of 3D Graphics Programming Using JOGL and Java3D
Yazar 
Chen, Jim X. author. Wegman, Edward J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-597-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
983. 
Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11678823
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
984. 
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings için kapak resmi
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Yazar 
Sestoft, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11693024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
985. 
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings için kapak resmi
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Yazar 
Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11737414
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
986. 
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines için kapak resmi
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
Yazar 
Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-33459-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
987. 
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Yazar 
Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11754602
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
988. 
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings için kapak resmi
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings
Yazar 
Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11757375
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
989. 
Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers için kapak resmi
Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Yazar 
Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11768173
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
990. 
Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings için kapak resmi
Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings
Yazar 
Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11860990
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
991. 
Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings için kapak resmi
Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings
Yazar 
Benhamou, Frédéric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11889205
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
992. 
Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures için kapak resmi
Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Yazar 
Horváth, Zoltán. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11894100
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
993. 
Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers için kapak resmi
Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
Yazar 
Umeda, Masanobu. editor. Wolf, Armin. editor. Bartenstein, Oskar. editor. Geske, Ulrich. editor. Seipel, Dietmar. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11963578
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
994. 
Oracle database programming using Java and Web services için kapak resmi
Oracle database programming using Java and Web services
Yazar 
Mensah, Kuassi.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781555583293
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
995. 
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns için kapak resmi
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns
Yazar 
Gross, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0077-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
996. 
Beginning Object-Oriented Programming with VB 2005 From Novice to Professional için kapak resmi
Beginning Object-Oriented Programming with VB 2005 From Novice to Professional
Yazar 
Clark, Daniel R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0095-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
997. 
Decomposition Techniques in Mathematical Programming Engineering and Science Applications için kapak resmi
Decomposition Techniques in Mathematical Programming Engineering and Science Applications
Yazar 
Conejo, Antonio J. author. Castillo, Enrique. author. Mínguez, Roberto. author. García-Bertrand, Raquel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-27686-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
998. 
ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings için kapak resmi
ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings
Yazar 
Thomas, Dave. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11785477
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
999. 
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I için kapak resmi
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Yazar 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11786986
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1000. 
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II için kapak resmi
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Yazar 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11787006
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1001. 
Advanced derivatives pricing and risk management theory, tools and hands-on programming application için kapak resmi
Advanced derivatives pricing and risk management theory, tools and hands-on programming application
Yazar 
Albanese, Claudio. Campolieti, Giuseppe.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120476824
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1002. 
An introduction to programming with IDL Interactive Data Language için kapak resmi
An introduction to programming with IDL Interactive Data Language
Yazar 
Bowman, Kenneth P.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120885596
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1003. 
Programming with Quartz 2D and PDF graphics in Mac Os X için kapak resmi
Programming with Quartz 2D and PDF graphics in Mac Os X
Yazar 
Gelphman, David. Laden, Bunny.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123694737
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1004. 
The Intel microprocessors : 8086/8088, 80186/80188, 80286, 80386, 80486, Pentium, and Pentium Pro processor : architecture programming and interfacing için kapak resmi
The Intel microprocessors : 8086/8088, 80186/80188, 80286, 80386, 80486, Pentium, and Pentium Pro processor : architecture programming and interfacing
Yazar 
Brey, Barry B.
Yer Numarası 
QA76.8.I2674 B749 2006
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
1005. 
Hedef programlama ile üretim planlaması = A production planning by goal programming için kapak resmi
Hedef programlama ile üretim planlaması = A production planning by goal programming
Yazar 
Ergün, Demet.
Yer Numarası 
TEZ/7592 .E677 2006
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1006. 
Çokluortamın bilgisayar programlama başarısı üzerine etkisi = The effects of multimedia on computer programming achievement için kapak resmi
Çokluortamın bilgisayar programlama başarısı üzerine etkisi = The effects of multimedia on computer programming achievement
Yazar 
Gültekin, Kerem.
Yer Numarası 
TEZ/7786 .G973 2006
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1007. 
Gene Expression Programming Mathematical Modeling by an Artificial Intelligence için kapak resmi
Gene Expression Programming Mathematical Modeling by an Artificial Intelligence
Yazar 
Ferreira, Cândida. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32849-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1008. 
Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings için kapak resmi
Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
Yazar 
Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11729976
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1009. 
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings için kapak resmi
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings
Yazar 
Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11774129
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1010. 
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings için kapak resmi
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Yazar 
Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11799573
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1011. 
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Yazar 
Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11916277
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1012. 
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings için kapak resmi
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Yazar 
Kobayashi, Naoki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11924661
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1013. 
Quadratic Programming and Affine Variational Inequalities A Qualitative Study için kapak resmi
Quadratic Programming and Affine Variational Inequalities A Qualitative Study
Yazar 
Lee, Gue Myung. author. Tam, Nguyen Nang. author. Yen, Nguyen Dong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105061
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1014. 
Introduction to Assembly Language Programming For Pentium and RISC Processors için kapak resmi
Introduction to Assembly Language Programming For Pentium and RISC Processors
Yazar 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138691
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1015. 
Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond için kapak resmi
Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
Yazar 
Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b101542
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1016. 
An Introduction to Meshfree Methods and Their Programming için kapak resmi
An Introduction to Meshfree Methods and Their Programming
Yazar 
Liu, G.R. author. Gu, Y.T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3468-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1017. 
Early Nutrition and its Later Consequences: New Opportunities Perinatal Programming of Adult Health — EC Supported Research için kapak resmi
Early Nutrition and its Later Consequences: New Opportunities Perinatal Programming of Adult Health — EC Supported Research
Yazar 
Koletzko, Berthold. editor. Dodds, Peter. editor. Akerblom, Hans. editor. Ashwell, Margaret. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3535-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1018. 
Beginning Visual Web Programming in VB .NET From Novice to Professional için kapak resmi
Beginning Visual Web Programming in VB .NET From Novice to Professional
Yazar 
Cazzulino, Daniel. author. Aprea, Victor Garcia. author. Greenwood, James. author. Hart, Chris. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0012-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1019. 
Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions için kapak resmi
Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions
Yazar 
Kyte, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0067-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1020. 
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings için kapak resmi
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
Yazar 
Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137278
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1021. 
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings için kapak resmi
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Yazar 
Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11523468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1022. 
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
Yazar 
Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11546207
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1023. 
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings için kapak resmi
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings
Yazar 
Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11562931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1024. 
ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings için kapak resmi
ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
Yazar 
Black, Andrew P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11531142
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1025. 
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers için kapak resmi
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Yazar 
Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135595
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1026. 
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings için kapak resmi
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Yazar 
Yi, Kwangkeun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11575467
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1027. 
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Yazar 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1028. 
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings için kapak resmi
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings
Yazar 
Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136920
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1029. 
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Yazar 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1030. 
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming için kapak resmi
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
Yazar 
Nowak, Ivo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-7643-7374-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1031. 
Reasoning Robots The Art and Science of Programming Robotic Agents için kapak resmi
Reasoning Robots The Art and Science of Programming Robotic Agents
Yazar 
Thielscher, Michael. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3069-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1032. 
An Introduction to Programming and Numerical Methods in MATLAB için kapak resmi
An Introduction to Programming and Numerical Methods in MATLAB
Yazar 
Otto, S.R. author. Denier, J.P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-133-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1033. 
Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers için kapak resmi
Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Yazar 
Bierman, Gavin. editor. Koch, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11601524
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1034. 
Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers için kapak resmi
Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
Yazar 
Banâtre, Jean-Pierre. editor. Fradet, Pascal. editor. Giavitto, Jean-Louis. editor. Michel, Olivier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11527800
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1035. 
Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers için kapak resmi
Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers
Yazar 
Chapman, Barbara M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105895
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1036. 
Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers için kapak resmi
Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
Yazar 
Roy, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106627
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1037. 
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings için kapak resmi
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
Yazar 
Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11536314
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1038. 
Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures için kapak resmi
Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures
Yazar 
Vene, Varmo. editor. Uustalu, Tarmo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11546382
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1039. 
Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedings için kapak resmi
Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedings
Yazar 
Jünger, Michael. editor. Kaibel, Volker. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137143
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1040. 
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105887
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1041. 
Complete Maya programming. Vol. II an in-depth guide to 3D fundamentals, geometry, and modeling için kapak resmi
Complete Maya programming. Vol. II an in-depth guide to 3D fundamentals, geometry, and modeling
Yazar 
Gould, David A. D.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120884827
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1042. 
Joe Celko's SQL for smarties advanced SQL programming için kapak resmi
Joe Celko's SQL for smarties advanced SQL programming
Yazar 
Celko, Joe.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123693792
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1043. 
Programlama dersi ile ilgili özdüzenleyici öğrenme stratejileri ile başarı arasındaki ilişkilerin incelenmesi : Bir yapısal eşitlik modeli = investigation of the relationshıp between self-regulated learning strategies and achievement in a programming course : A structural equation modeling için kapak resmi
Programlama dersi ile ilgili özdüzenleyici öğrenme stratejileri ile başarı arasındaki ilişkilerin incelenmesi : Bir yapısal eşitlik modeli = investigation of the relationshıp between self-regulated learning strategies and achievement in a programming course : A structural equation modeling
Yazar 
Haşlaman, Tülin.
Yer Numarası 
TEZ/7141 H344 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1044. 
Producing and programming for television examples from the developing countries için kapak resmi
Producing and programming for television examples from the developing countries
Yazar 
Orhon, E. Nezih
Yer Numarası 
PN 1992.3.D44 O74 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1045. 
A practical guide to Linux commands, Editors, and Shell programming için kapak resmi
A practical guide to Linux commands, Editors, and Shell programming
Yazar 
Sobell, Mark G.
Yer Numarası 
QA 76.76.O63 S6773 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1046. 
Perinatal programming early life determinants of adult health & disease için kapak resmi
Perinatal programming early life determinants of adult health & disease
Yazar 
Hodgson, Deborah M. Coe, Christopher L.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1047. 
Profesyonel programcılara yönelik visual C# .net 2005 object orianted programming için kapak resmi
Profesyonel programcılara yönelik visual C# .net 2005 object orianted programming
Yazar 
İnan, Yüksel Demirli, Nihat.
Yer Numarası 
QA76.73.C154 I53 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1048. 
An introduction to the finite element method : theory, programming, and applications için kapak resmi
An introduction to the finite element method : theory, programming, and applications
Yazar 
Thompson, Erik G.
Yer Numarası 
TA347.F5 T47 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1049. 
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Yazar 
Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11591191
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1050. 
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings için kapak resmi
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
Yazar 
Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11561347
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1051. 
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings için kapak resmi
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Yazar 
Sagiv, Mooly. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107380
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1052. 
Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings için kapak resmi
Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings
Yazar 
Keijzer, Maarten. editor. Tettamanzi, Andrea. editor. Collet, Pierre. editor. Hemert, Jano. editor. Tomassini, Marco. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107383
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1053. 
Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings için kapak resmi
Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings
Yazar 
Beek, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11564751
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1054. 
Programming ArcObjects with VBA a task-oriented approach için kapak resmi
Programming ArcObjects with VBA a task-oriented approach
Yazar 
Chang, Kang-Tsung.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1055. 
Mitsubishi FX programmable logic controllers applications and programming için kapak resmi
Mitsubishi FX programmable logic controllers applications and programming
Yazar 
Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750656795
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1056. 
Network programming in .NET with C♯ and Visual Basic .NET için kapak resmi
Network programming in .NET with C♯ and Visual Basic .NET
Yazar 
Reid, Fiach.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781555583156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1057. 
Multi-tier application programming with PHP practical guide for architects and programmers için kapak resmi
Multi-tier application programming with PHP practical guide for architects and programmers
Yazar 
Wall, David, 1974-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780127323503
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1058. 
Introduction to microcontrollers architecture, programming, and interfacing for the Freescale 68HC12 için kapak resmi
Introduction to microcontrollers architecture, programming, and interfacing for the Freescale 68HC12
Yazar 
Lipovski, G. Jack. Metrowerks (Firm). CodeWarrior development studio for Motorola HC(S)12 microcontrollers.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124518384
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1059. 
GPU gems : programming techniques, tips, and tricks for real-time graphics için kapak resmi
GPU gems : programming techniques, tips, and tricks for real-time graphics
Yazar 
Fernando, Randima.,ed. NVIDIA Corporation.
Yer Numarası 
T 385 G68 2004
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
1060. 
Constraint and integer programming : toward a unified methodology için kapak resmi
Constraint and integer programming : toward a unified methodology
Yazar 
Milano, Michela.
Yer Numarası 
QA76.612 C64 2004
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1061. 
Introduction to programming using Java : an object-oriented approach için kapak resmi
Introduction to programming using Java : an object-oriented approach
Yazar 
Arnow, David M. Dexter, Scott. Weiss, Gerald.
Yer Numarası 
QA76.73.J38 A77 2004
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1062. 
Getting to know ArcObjects : programming ArcGIS with VBA için kapak resmi
Getting to know ArcObjects : programming ArcGIS with VBA
Yazar 
Burke, Robert.
Yer Numarası 
G70.212 B86 2003
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
1063. 
Microsoft Outlook programming jumpstart for administrators, power users, and developers için kapak resmi
Microsoft Outlook programming jumpstart for administrators, power users, and developers
Yazar 
Mosher, Sue, 1953-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781555582869
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1064. 
Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling için kapak resmi
Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling
Yazar 
Goldman, Ron, 1947-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558603547
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1065. 
Real-time shader programming covering DirectX 9.0 için kapak resmi
Real-time shader programming covering DirectX 9.0
Yazar 
Fosner, Ron.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558608535
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1066. 
Programming with objects a comparative presentation of object-oriented programming with C++ and Java için kapak resmi
Programming with objects a comparative presentation of object-oriented programming with C++ and Java
Yazar 
Kak, Avinash C.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5271080
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1067. 
Genetic programming and data structures : genetic programming + data structures = automatic programming! için kapak resmi
Genetic programming and data structures : genetic programming + data structures = automatic programming!
Yazar 
Langdon, W. B.
Yer Numarası 
QA76.623 L36 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1068. 
Lab manual to accompany the 8088 and 8086 microprocessors : programming, interfacing, software, hardware, and applications için kapak resmi
Lab manual to accompany the 8088 and 8086 microprocessors : programming, interfacing, software, hardware, and applications
Yazar 
Triebel, Walter A. Singh, Avtar.
Yer Numarası 
QA76.5 T75 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1069. 
Practical IDL programming creating effective data analysis and visualization applications için kapak resmi
Practical IDL programming creating effective data analysis and visualization applications
Yazar 
Gumley, Liam E. (Liam Edward)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558607002
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1070. 
Numerical methods for engineers : with software and programming applications için kapak resmi
Numerical methods for engineers : with software and programming applications
Yazar 
Chapra, Steven C. Canale, Raymond P., ort. yaz.
Yer Numarası 
TA 345 C47 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1071. 
Programming for linguists : Java technology for language researchers için kapak resmi
Programming for linguists : Java technology for language researchers
Yazar 
Hammond, Michael
Yer Numarası 
P 98 H34 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1072. 
Programming for linguists Java technology for language researchers için kapak resmi
Programming for linguists Java technology for language researchers
Yazar 
Hammond, Michael, 1957- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470693698
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1073. 
Building and solving mathematical programming models in engineering and science için kapak resmi
Building and solving mathematical programming models in engineering and science
Yazar 
Castillo, Enrique, 1946- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/2001026954.html
http://site.ebrary.com/lib/alltitles/Doc?id=10509847
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1074. 
Classical FORTRAN programming for engineering and scientific applications için kapak resmi
Classical FORTRAN programming for engineering and scientific applications
Yazar 
Kupferschmid, Michael.
Yer Numarası 
ONLINE(342796.1)
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1075. 
Programmable digital signal processors architecture, programming, and applications için kapak resmi
Programmable digital signal processors architecture, programming, and applications
Yazar 
Hu, Yu Hen.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1076. 
Your wish is my command programming by example için kapak resmi
Your wish is my command programming by example
Yazar 
Lieberman, Henry, 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558606883
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1077. 
Structural equation modeling with AMOS : basic concepts, applications, and programming için kapak resmi
Structural equation modeling with AMOS : basic concepts, applications, and programming
Yazar 
Byrne, Barbara M.
Yer Numarası 
QA 278 .B96 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1078. 
Practical methods for optimal control using nonlinear programming için kapak resmi
Practical methods for optimal control using nonlinear programming
Yazar 
Betts, John T. 1943-
Yer Numarası 
QA 402.3 B47 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1079. 
Schaum's outline of theory and problems of programming with Visual Basic için kapak resmi
Schaum's outline of theory and problems of programming with Visual Basic
Yazar 
Gottfried, Byron S., 1934-
Yer Numarası 
QA76.73.B3 G65 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1080. 
How to design programs an introduction to programming and computing için kapak resmi
How to design programs an introduction to programming and computing
Yazar 
Felleisen, Matthias.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1081. 
Decision theory : an introduction to dynamic programming and sequential decisions için kapak resmi
Decision theory : an introduction to dynamic programming and sequential decisions
Yazar 
Bather, John.
Yer Numarası 
T 57.95 B34 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1082. 
Symbolic C++ : an introduction to computer algebra using object-oriented programming için kapak resmi
Symbolic C++ : an introduction to computer algebra using object-oriented programming
Yazar 
Tan, Kiat Shi, 1972- Steeb, Willi-Hans. Hardy, Yorick.
Yer Numarası 
QA76.64 T36 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1083. 
Programming for corpus linguistics : how to do text analysis with Java için kapak resmi
Programming for corpus linguistics : how to do text analysis with Java
Yazar 
Mason, Oliver.
Yer Numarası 
QA76.73.J38 M352 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1084. 
Introduction to Microsoft Windows NT Cluster Server programming and administration için kapak resmi
Introduction to Microsoft Windows NT Cluster Server programming and administration
Yazar 
Rajagopal, Raj.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1085. 
Using MPI portable parallel programming with the message-passing interface için kapak resmi
Using MPI portable parallel programming with the message-passing interface
Yazar 
Gropp, William. Lusk, Ewing. Skjellum, Anthony.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267273
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1086. 
Güvenlik kısıtlı tamsayılı doğrusal programlama modeli ve Ankara ili itfaye hizmetkerinde uygulanması = Reliability restricted integer linear programming model and its application on fire department in Ankara için kapak resmi
Güvenlik kısıtlı tamsayılı doğrusal programlama modeli ve Ankara ili itfaye hizmetkerinde uygulanması = Reliability restricted integer linear programming model and its application on fire department in Ankara
Yazar 
Babadağ, Kadir Korhan.
Yer Numarası 
TEZ 4218 .B33 1999
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1087. 
Stochastic dynamic programming and the control of queueing systems için kapak resmi
Stochastic dynamic programming and the control of queueing systems
Yazar 
Sennott, Linn I., 1943-
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=469893
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/38353366.html
John Wiley http://dx.doi.org/10.1002/9780470317037
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/98002777.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1088. 
Orthogonal sets and polar methods in linear algebra applications to matrix calculations, systems of equations, inequalities, and linear programming için kapak resmi
Orthogonal sets and polar methods in linear algebra applications to matrix calculations, systems of equations, inequalities, and linear programming
Yazar 
Castillo, Enrique, 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781118032893
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley041/98038391.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1089. 
Programming Industrial Control Systems Using IEC 1131-3 için kapak resmi
Programming Industrial Control Systems Using IEC 1131-3
Yazar 
Lewis, R. W.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCE050E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1090. 
Vibration of Mindlin plates programming the p-version Ritz Method için kapak resmi
Vibration of Mindlin plates programming the p-version Ritz Method
Yazar 
Liew, K. M.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780080433417
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1091. 
Genetic programming : an introduction on the automatic evolution of computer programs and its applications için kapak resmi
Genetic programming : an introduction on the automatic evolution of computer programs and its applications
Yazar 
Banzhaf, Wolfgang, 1955-
Yer Numarası 
QA76.623 G46 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1092. 
Structural equation modeling with LISREL, PRELIS, and SIMPLIS : basic concepts, applications, and programming için kapak resmi
Structural equation modeling with LISREL, PRELIS, and SIMPLIS : basic concepts, applications, and programming
Yazar 
Byrne, Barbara M.
Yer Numarası 
QA278 .B97 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1093. 
Introduction to scientific programming : Computational problem solving using Mathematica and C için kapak resmi
Introduction to scientific programming : Computational problem solving using Mathematica and C
Yazar 
Zachary, Joseph L.
Yer Numarası 
QA 76.6 Z324 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1094. 
Linear programming for managerial decisions : a non-algorithmic approach with computer applications için kapak resmi
Linear programming for managerial decisions : a non-algorithmic approach with computer applications
Yazar 
Acar, Ahmet.
Yer Numarası 
HD 20.5 A168 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1095. 
Algorithms for nonlinear programming and multiple-objective decisions için kapak resmi
Algorithms for nonlinear programming and multiple-objective decisions
Yazar 
Rustem, Berç.
Yer Numarası 
T 57.8 R923 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1096. 
Programming with class A C++ introduction to computer science için kapak resmi
Programming with class A C++ introduction to computer science
Yazar 
Kamin, Samuel N. Reingold, Edward M., ort.yaz.
Yer Numarası 
QA76.73.C153 K154 1996
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1097. 
Logic programming proceedings of the 1995 international symposium için kapak resmi
Logic programming proceedings of the 1995 international symposium
Yazar 
Lloyd, J. W. (John Wylie)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1098. 
Object-oriented programming in Pascal : a graphical approach için kapak resmi
Object-oriented programming in Pascal : a graphical approach
Yazar 
Conner, D. Brookshire. Niguidula, David A., ort. yaz. Van Dam, Andries, 1938- ort. yaz.
Yer Numarası 
QA 76.64 C638 1995
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1099. 
Optimizing PowerPC code : Programming the PowerPC chip in assembly language için kapak resmi
Optimizing PowerPC code : Programming the PowerPC chip in assembly language
Yazar 
Kacmarcik, Gary.
Yer Numarası 
QA 76.8.P67 K33 1995
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1100. 
Object-oriented programming with examples in Borland Pascal için kapak resmi
Object-oriented programming with examples in Borland Pascal
Yazar 
Mollamustafaoğlu, Levent.
Yer Numarası 
QA 76.64 M735 1995
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1101. 
Instructor's manuel and test bank to accompany introduction to computer science : programming, problem solving and data structures için kapak resmi
Instructor's manuel and test bank to accompany introduction to computer science : programming, problem solving and data structures
Yazar 
Nance, Douglas W. Nance, Douglas W., ort. yaz. Cowles, James A.
Yer Numarası 
QA 76.6 N354 1995 V.1
Format: 
Durum 
Beytepe Kütüphanesi~3
Rafta:
Kopya:
1102. 
Introduction to computer science : programming, problem solving, and data structure için kapak resmi
Introduction to computer science : programming, problem solving, and data structure
Yazar 
Naps, Thomas L. Nance, W. Douglas, ort. yaz.
Yer Numarası 
QA 76.6 N354 1995 B
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1103. 
Genetic programming II : automatic discovery of reusable programs için kapak resmi
Genetic programming II : automatic discovery of reusable programs
Yazar 
Koza, John R.
Yer Numarası 
QA76.6 K693 1994
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1104. 
A small matter of programming perspectives on end user computing için kapak resmi
A small matter of programming perspectives on end user computing
Yazar 
Nardi, Bonnie A.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1105. 
Logic programming and non-monotonic reasoning proceedings of the second international workshop için kapak resmi
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Yazar 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1106. 
The formal semantics of programming languages an introduction için kapak resmi
The formal semantics of programming languages an introduction
Yazar 
Winskel, G. (Glynn)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1107. 
Genetic programming on the programming of computers by means of natural selection için kapak resmi
Genetic programming on the programming of computers by means of natural selection
Yazar 
Koza, John R.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1652
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1108. 
The X Window System : programming and applications with Xt için kapak resmi
The X Window System : programming and applications with Xt
Yazar 
Young, Douglas A. Pew, John A., ort. yaz.
Yer Numarası 
QA 76.76.W56 Y67 1992
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1109. 
Turbo Pascal for Windows : power programming using Turbo Pascal için kapak resmi
Turbo Pascal for Windows : power programming using Turbo Pascal
Yazar 
Farber, Gunther, 1971- Pauly, Martin, 1971- ort. yaz.
Yer Numarası 
QA 76.73.P2 F37 1992
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1110. 
Programming for librarians : a how-to-do-it manual için kapak resmi
Programming for librarians : a how-to-do-it manual
Yazar 
Brown, Barbara Jane.
Yer Numarası 
Z 716.4 B7 1992
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1111. 
PC intern : system programming : the encyclopedia of DOS programming know how için kapak resmi
PC intern : system programming : the encyclopedia of DOS programming know how
Yazar 
Tischer, Michael, 1953-
Format: 
Durum 
~0
Rafta:
Kopya:
1112. 
An introduction to programming with specifications a mathematical approach için kapak resmi
An introduction to programming with specifications a mathematical approach
Yazar 
Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124276208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1113. 
The process of recreation programming : theory and technique için kapak resmi
The process of recreation programming : theory and technique
Yazar 
Farrell, Patricia. Lundegren, Herberta M.
Yer Numarası 
GV181.43 .F37 1991
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1114. 
Test Bank to accompany object-orientel Turbo Pascal : problem solving and programming için kapak resmi
Test Bank to accompany object-orientel Turbo Pascal : problem solving and programming
Yazar 
Haiduk, H. Paul. Goldberg, Merrill, ort. yaz.
Yer Numarası 
QA 76.64 H35 1991
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1115. 
Programming for artificial intelligence methods, tools and applications için kapak resmi
Programming for artificial intelligence methods, tools and applications
Yazar 
Kreutzer, Wolfgang, 1946- McKenzie, Bruce, 1953- ort. yaz.
Yer Numarası 
QA 76.7 K375 1991
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1116. 
Introduction to structured programming using Turbo Pascal Version 5.0 on the IBM PC için kapak resmi
Introduction to structured programming using Turbo Pascal Version 5.0 on the IBM PC
Yazar 
Morgan, Kenneth J.
Yer Numarası 
QA 76.73.P2 M822 1990
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
1117. 
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications için kapak resmi
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
Yazar 
Stark, W. Richard.
Yer Numarası 
QA 76.73.L23 S72 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1118. 
Interactive relational database design : a logic programming implementation için kapak resmi
Interactive relational database design : a logic programming implementation
Yazar 
Bagchi, Tapan P.
Yer Numarası 
QA 76.9.D26 B34 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1119. 
Programming of a microcomputer based signal acquisition system for measuring brain's evoked potentials için kapak resmi
Programming of a microcomputer based signal acquisition system for measuring brain's evoked potentials
Yazar 
Özmen, Bülent.
Yer Numarası 
TEZ/QT 34 O99 1989
Format: 
Durum 
Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
1120. 
Microsoft QuickBASIC : developing structured programs in the Microsoft QuickBASIC programming environment için kapak resmi
Microsoft QuickBASIC : developing structured programs in the Microsoft QuickBASIC programming environment
Yazar 
Hergert, Douglas.
Yer Numarası 
QA 76.73.B3 H48 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1121. 
An introduction to object-oriented programming and Smalltalk için kapak resmi
An introduction to object-oriented programming and Smalltalk
Yazar 
Pinson, Lewis J. Wiener, R. S., ort. yaz.
Yer Numarası 
QA 76.6 P56 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1122. 
Rule-based programming with OPS 5/Nancy Wogrin and Thomas Cooper için kapak resmi
Rule-based programming with OPS 5/Nancy Wogrin and Thomas Cooper
Yazar 
Wogrin, Nancy.
Yer Numarası 
QA 76.6 W62 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1123. 
80876/80287/80387 for the IBM PC and compatibles : applications and programming with Intel's math coprocessors için kapak resmi
80876/80287/80387 for the IBM PC and compatibles : applications and programming with Intel's math coprocessors
Yazar 
Startz, Richard, 1952-
Yer Numarası 
QA 76.8.I2923 S79 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1124. 
Schaum's outline of theory and problems of programming with advanced structured COBOL with file processing, structured systems development, and interactive considerations için kapak resmi
Schaum's outline of theory and problems of programming with advanced structured COBOL with file processing, structured systems development, and interactive considerations
Yazar 
Newcomer, Lawrence R.
Yer Numarası 
QA 76.73.C25 N47 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1125. 
Schaum's outline of theory and problems of programming with BASIC : including expanded microcomputer BASIC section için kapak resmi
Schaum's outline of theory and problems of programming with BASIC : including expanded microcomputer BASIC section
Yazar 
Gottfried, Byron S.
Yer Numarası 
QA 76.73.B3 G67 1986
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1126. 
Microprocessor programming and applications for scientists and engineers için kapak resmi
Microprocessor programming and applications for scientists and engineers
Yazar 
Smardzewski, Richard R., 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444424075
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1127. 
The abc of basic : an introduction to programming for librarians için kapak resmi
The abc of basic : an introduction to programming for librarians
Yazar 
Hunter, Eric J.
Yer Numarası 
Z 678.9 H916 1982
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1128. 
Microprocessor architecture, programming, and applications with the 8085/8080A için kapak resmi
Microprocessor architecture, programming, and applications with the 8085/8080A
Yazar 
Gaonkar, Ramesh S.
Yer Numarası 
TK7895.M5 G36 1984
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1129. 
Machine language for beginners : machine language programming for BASIC language programmers için kapak resmi
Machine language for beginners : machine language programming for BASIC language programmers
Yazar 
Mansfield, Richard.
Yer Numarası 
QA 76.6 M3574 1983
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1130. 
Introduction to sensitivity and stability analysis in nonlinear programming için kapak resmi
Introduction to sensitivity and stability analysis in nonlinear programming
Yazar 
Fiacco, Anthony V.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780122544507
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1131. 
Functional programming and its applications : an advanced course için kapak resmi
Functional programming and its applications : an advanced course
Yazar 
Henderson, P., ed. Turner, D. A., ed.
Yer Numarası 
QA 76.6 F85 1982
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1132. 
A first course in computer programming using PASCAL için kapak resmi
A first course in computer programming using PASCAL
Yazar 
Keller, Arthur M.
Yer Numarası 
QA 76.73.P2 K44 1982
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1133. 
Reframing : neuro-linguistic programming and the transformation of meaning için kapak resmi
Reframing : neuro-linguistic programming and the transformation of meaning
Yazar 
Bandler, Richard. Grinder, J., ort. yaz. Andreas, S., ed. Andreas, C., ed.
Yer Numarası 
BF 323.C5 B36 1982
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1134. 
Introduction to simulation : programming techniques and methods of analysis için kapak resmi
Introduction to simulation : programming techniques and methods of analysis
Yazar 
Payne, James Andrew.
Yer Numarası 
QA 76.9.C65 P39 1982
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1135. 
Schaum's outline of theory and problems of programming with Fortran için kapak resmi
Schaum's outline of theory and problems of programming with Fortran
Yazar 
Lipschutz, Seymour. Poe, Arthur, ort. yaz.
Yer Numarası 
QA 76.73.F25 L57 1978
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1136. 
Applied Fortran programming with standard fortran, watfor, watfiv and structured watfiv için kapak resmi
Applied Fortran programming with standard fortran, watfor, watfiv and structured watfiv
Yazar 
Merchant, Michael J. Sturgul, J. R., ort. yaz.
Yer Numarası 
QA 76.73.F25 M46 1977
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1137. 
Nonlinear processes in engineering dynamic programming, invariant imbedding, quasilinearization, finite elements, system identification, optimization için kapak resmi
Nonlinear processes in engineering dynamic programming, invariant imbedding, quasilinearization, finite elements, system identification, optimization
Yazar 
Distéfano, Néstor.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780122180507
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1138. 
Mathematical programming and the numerical solution of linear equations için kapak resmi
Mathematical programming and the numerical solution of linear equations
Yazar 
Rust, Bert W. Burrus, Walter R., ort. yaz.
Yer Numarası 
QA 251 R87 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1139. 
An elementary introduction to dynamic programming : a state equation approach için kapak resmi
An elementary introduction to dynamic programming : a state equation approach
Yazar 
Gluss, Brian.
Yer Numarası 
T 57.83 G55 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1140. 
Introduction to PL/I programming for library and information science için kapak resmi
Introduction to PL/I programming for library and information science
Yazar 
Mott, Thomas H. Artandi, Susan, ort. yaz. Struminger, Leny, ort. yaz.
Yer Numarası 
Z 699 M67 1972
Format: 
Durum 
Beytepe Kütüphanesi~1 Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
1141. 
Dynamic programming and its application to optimal control için kapak resmi
Dynamic programming and its application to optimal control
Yazar 
Boudarel, R. (René) Delmas, J. (Jacques H.) Guichet, P. (Pierre)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780121189501
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1142. 
Fortran IV with Watfiv : a first course in programming için kapak resmi
Fortran IV with Watfiv : a first course in programming
Yazar 
Campbell, Graham M. Singletary, Wilson E., ort. yaz.
Yer Numarası 
QA 76.5 C35 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1143. 
Introduction to optimization techniques : fundamentals and applications of nonlinear programming için kapak resmi
Introduction to optimization techniques : fundamentals and applications of nonlinear programming
Yazar 
Aoki, Masanao.
Yer Numarası 
T 57.8 A55 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1144. 
Matrices in control theory : with applications to linear programming için kapak resmi
Matrices in control theory : with applications to linear programming
Yazar 
Barnett, Stephen.
Yer Numarası 
QA 402.3 B35 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1145. 
The People's instrument : a philosophy of programming for public television için kapak resmi
The People's instrument : a philosophy of programming for public television
Yazar 
Blakely, Robert J.
Yer Numarası 
PN 1992.8.P8 B47 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1146. 
Programming systems and foreign affairs leadership : an attempted innovation için kapak resmi
Programming systems and foreign affairs leadership : an attempted innovation
Yazar 
Mosher, Frederick C. Harr, John E., ort. yaz.
Yer Numarası 
JK 851 M6 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1147. 
Mathematical programming : an introduction to the design and application of optimal decision machines için kapak resmi
Mathematical programming : an introduction to the design and application of optimal decision machines
Yazar 
McMillan, Claude.
Yer Numarası 
T 57.7 M35 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1148. 
Programming for optimal decisions : selected readings in mathematical programming techniques for management problems için kapak resmi
Programming for optimal decisions : selected readings in mathematical programming techniques for management problems
Yazar 
Moore, Peter Gerald, 1928- ed. Hodges, Stewart Dimont, ed.
Yer Numarası 
HF 5695 P943 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1149. 
Systematic analogue computer programming : an introduction for students of science and engineering için kapak resmi
Systematic analogue computer programming : an introduction for students of science and engineering
Yazar 
Charlesworth, Alan Stuart, 1935- Fletcher, J. R., ort. yaz.
Yer Numarası 
QA 76.4 C45 1967
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1150. 
Basic COBOL programming : self-instructional manual and text için kapak resmi
Basic COBOL programming : self-instructional manual and text
Yazar 
Spitzbarth, Laurel M. Peluso, Anthony P., ed. Bauer, Charles R., ed.
Yer Numarası 
QA 76.5 S665 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1151. 
Computer languages : a practical guide to the chief programming languages için kapak resmi
Computer languages : a practical guide to the chief programming languages
Yazar 
Sanderson, Peter C.
Yer Numarası 
QA 76 S29 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1152. 
Problem solving by digital computers with PL/I programming için kapak resmi
Problem solving by digital computers with PL/I programming
Yazar 
Vazsonyi, Andrew.
Yer Numarası 
QA 76.5 V39 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1153. 
Cobol programming : a complete course in writing Cobol programs için kapak resmi
Cobol programming : a complete course in writing Cobol programs
Yazar 
Watters, John.
Yer Numarası 
QA 76.5 W37 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1154. 
Linear programming in industry : theory and applications; an introduction için kapak resmi
Linear programming in industry : theory and applications; an introduction
Yazar 
Dan, Sven.
Yer Numarası 
HF 5695 D33 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1155. 
The computer and chemistry : an introduction to programming and numerical methods için kapak resmi
The computer and chemistry : an introduction to programming and numerical methods
Yazar 
Dickson, Thomas R.
Yer Numarası 
QD 42 D53 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1156. 
Control systems functions and programming approaches. [Part B, Applications] için kapak resmi
Control systems functions and programming approaches. [Part B, Applications]
Yazar 
Chorafas, Dimitris N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780121740627
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1157. 
The calculus of chemistry : with an introduction to computer programming için kapak resmi
The calculus of chemistry : with an introduction to computer programming
Yazar 
Butler, James Newton. Bobrow, Daniel Gureasko, ort. yaz.
Yer Numarası 
QD 42 B9772 1965 C
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1158. 
An introduction to matrices, vectors, and linear programming için kapak resmi
An introduction to matrices, vectors, and linear programming
Yazar 
Campbell, Hugh G.
Yer Numarası 
QA 263 C34 1965
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1159. 
Dynamic programming in chemical engineering and process control için kapak resmi
Dynamic programming in chemical engineering and process control
Yazar 
Roberts, Sanford M.
Yer Numarası 
TP 155 R58 1964
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1160. 
Dynamic programming in chemical engineering and process control için kapak resmi
Dynamic programming in chemical engineering and process control
Yazar 
Roberts, Sanford M.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780125894500
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1161. 
An introduction to linear programming and the theory of games için kapak resmi
An introduction to linear programming and the theory of games
Yazar 
Glicksman, Abraham M.
Yer Numarası 
QA 265 G55 1963
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1162. 
The optimal design of chemical reactors a study in dynamic programming için kapak resmi
The optimal design of chemical reactors a study in dynamic programming
Yazar 
Aris, Rutherford.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123749161
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1163. 
Mathematical methods and theory in games, programming and economics için kapak resmi
Mathematical methods and theory in games, programming and economics
Yazar 
Karlin, Samuel, 1923-
Yer Numarası 
QA 269 K1466 1959 V.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
1164. 
Reinforcement learning and approximate dynamic programming for feedback control için kapak resmi
Reinforcement learning and approximate dynamic programming for feedback control
Yazar 
Lewis, Frank L. Liu, Derong, 1963-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6462203
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1165. 
Warren's abstract machine a tutorial reconstruction için kapak resmi
Warren's abstract machine a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1166. 
The Practice of Prolog için kapak resmi
The Practice of Prolog
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1167. 
Recreational sport management için kapak resmi
Recreational sport management
Yazar 
Mull, Richard F. Bayless, Kathryn G. Recreational sports programming.
Yer Numarası 
GV 181.43 R43 1997
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1168. 
Adult programs in the library için kapak resmi
Adult programs in the library
Yazar 
Lear, Brett W.
Yer Numarası 
Z 711.92.A32 L43 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1169. 
Nonlinear analysis and optimization için kapak resmi
Nonlinear analysis and optimization
Yazar 
Cornet, B., ed. Ngfuyen, V. H., ed. Vial, J. P., ed.
Yer Numarası 
QA 321.5 N65 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1170. 
Engineering optimization için kapak resmi
Engineering optimization
Yazar 
Avriel, M., ed. Dembo, R. S., ed.
Yer Numarası 
TA 342 E53 1959
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1171. 
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings için kapak resmi
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Yazar 
Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22888-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1172. 
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Yazar 
Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04132-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1173. 
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Yazar 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1174. 
Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings için kapak resmi
Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Yazar 
Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22244-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1175. 
Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers için kapak resmi
Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers
Yazar 
Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17642-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1176. 
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Yazar 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31517-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1177. 
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings için kapak resmi
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Yazar 
Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31280-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1178. 
Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings için kapak resmi
Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Yazar 
Xia, Yunni. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-23381-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1179. 
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings için kapak resmi
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Yazar 
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32872-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1180. 
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings için kapak resmi
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Yazar 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1181. 
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Yazar 
Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-35540-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1182. 
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings için kapak resmi
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Yazar 
Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-34146-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1183. 
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Yazar 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1184. 
Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings için kapak resmi
Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings
Yazar 
Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-33702-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1185. 
Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings için kapak resmi
Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Yazar 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-26250-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1186. 
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings için kapak resmi
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Yazar 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1187. 
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings için kapak resmi
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
Yazar 
Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29983-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1188. 
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings için kapak resmi
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Yazar 
Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22397-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1189. 
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings için kapak resmi
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Yazar 
Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31095-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1190. 
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers için kapak resmi
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
Yazar 
Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04918-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1191. 
Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings için kapak resmi
Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Yazar 
Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32065-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1192. 
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1193. 
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Yazar 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31784-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1194. 
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings için kapak resmi
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Yazar 
Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24781-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1195. 
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings için kapak resmi
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31157-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1196. 
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Yazar 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32304-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1197. 
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers için kapak resmi
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
Yazar 
Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-06019-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1198. 
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings için kapak resmi
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
Yazar 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-33246-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1199. 
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings için kapak resmi
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Yazar 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29852-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1200. 
Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings için kapak resmi
Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Yazar 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-26601-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets