Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(303)
Taylor and Francis.
(7)
Noble, James. editor.
(5)
Aceto, Luca. editor.
(4)
Cordeiro, José. editor.
(4)
Dil
Yayın Yılı
-
Konu
Software engineering.
(185)
Computer science.
(154)
Programming languages (Electronic computers).
(127)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(77)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
379 sonuç bulundu Arama sonuçlarına abone ol
0000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings için kapak resmi
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Yazar 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335141.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Yazar 
Sagonas, Kostis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335204.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45284-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers için kapak resmi
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Yazar 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335206.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) için kapak resmi
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Yazar 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası 
ONLINE(335216.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Yazar 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335217.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45422-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Yazar 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335227.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Ada 2012 Rationale The Language, The Standard Libraries için kapak resmi
Ada 2012 Rationale The Language, The Standard Libraries
Yazar 
Barnes, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335195.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Yazar 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335196.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Ubiquitous Information Technologies and Applications CUTE 2012 için kapak resmi
Ubiquitous Information Technologies and Applications CUTE 2012
Yazar 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336087.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Learn Lua for iOS Game Development için kapak resmi
Learn Lua for iOS Game Development
Yazar 
Varma, Jayant. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330623.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4663-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Objective-C Programmer’s Reference için kapak resmi
Objective-C Programmer’s Reference
Yazar 
Oliveira, Carlos. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330726.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-5906-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Node.js Recipes için kapak resmi
Node.js Recipes
Yazar 
Gackenheimer, Cory. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330745.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6059-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
TouchDevelop: Programming on the Go için kapak resmi
TouchDevelop: Programming on the Go
Yazar 
Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330757.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logic Programming with Prolog için kapak resmi
Logic Programming with Prolog
Yazar 
Bramer, Max. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331207.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Giants of Computing A Compendium of Select, Pivotal Pioneers için kapak resmi
Giants of Computing A Compendium of Select, Pivotal Pioneers
Yazar 
O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331194.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
The R Software Fundamentals of Programming and Statistical Analysis için kapak resmi
The R Software Fundamentals of Programming and Statistical Analysis
Yazar 
Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332463.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Yazar 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332921.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Yazar 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332982.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers için kapak resmi
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Yazar 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334096.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Yazar 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334156.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334353.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334354.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Minority Populations in Canadian Second Language Education için kapak resmi
Minority Populations in Canadian Second Language Education
Yazar 
Arnett, Katy, contributor. Arnett, Katy, editor. Battiste, Marie, contributor. Becker, Ava, contributor. Bourgoin, Renée, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.21832/9781783090310
https://www.degruyter.com/isbn/9781783090310
Cover https://www.degruyter.com/document/cover/isbn/9781783090310/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Speaking code coding as aesthetic and political expression için kapak resmi
Speaking code coding as aesthetic and political expression
Yazar 
Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Dynamic documents with R and KNITR için kapak resmi
Dynamic documents with R and KNITR
Yazar 
Xie, Yihui., author. Taylor and Francis.
Yer Numarası 
QA276.4
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Getting started with R an introduction for biologists için kapak resmi
Getting started with R an introduction for biologists
Yazar 
Beckerman, Andrew P. Petchey, Owen L.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=439723
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink için kapak resmi
Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink
Yazar 
Dixon, Kenneth R., author.
Yer Numarası 
RA1226 .D59 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Raspberry Pi user guide için kapak resmi
Raspberry Pi user guide
Yazar 
Upton, Eben. Halfacree, Gareth.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley Online Library
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Theory of computation için kapak resmi
Theory of computation
Yazar 
Tourlakis, George J.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Generating language-based environments için kapak resmi
Generating language-based environments
Yazar 
Reps, Thomas W. (Thomas William)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Fundamentals of multicore software development için kapak resmi
Fundamentals of multicore software development
Yazar 
Pankratius, Victor. Adl-Tabatabai, Ali-Reza. Tichy, Walter F.
Yer Numarası 
QA76.642 .F86 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Intelligent systems for engineers and scientists için kapak resmi
Intelligent systems for engineers and scientists
Yazar 
Hopgood, Adrian A., author.
Yer Numarası 
QA76.76 .E95 H675 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Undocumented secrets of MATLAB-Java programming için kapak resmi
Undocumented secrets of MATLAB-Java programming
Yazar 
Altman, Yair M., author.
Yer Numarası 
QA297 .A544 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Java for dummies için kapak resmi
Java for dummies
Yazar 
Burd, Barry A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Books24x7 http://www.books24x7.com/marc.asp?bookid=44370
John Wiley http://dx.doi.org/10.1002/9781118257517
OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}&Format=50
Image http://images.contentreserve.com/ImageType-100/0128-1/{C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}Img100.jpg
http://swb.eblib.com/patron/FullRecord.aspx?p=697902
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Codecharts roadmaps and blueprints for object-oriented programs için kapak resmi
Codecharts roadmaps and blueprints for object-oriented programs
Yazar 
Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-
Yer Numarası 
ONLINE(318929.1)
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Books24x7 http://www.books24x7.com/marc.asp?bookid=41806
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=700550
ebrary http://site.ebrary.com/id/10465941
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Visual Basic 2005 demystified a self-teaching guide için kapak resmi
Visual Basic 2005 demystified a self-teaching guide
Yazar 
Kent, Jeffrey A. (Jeffrey Alan), 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
The Mathematics of Syntactic Structure : Trees and their Logics için kapak resmi
The Mathematics of Syntactic Structure : Trees and their Logics
Yazar 
Cornell, Thomas L., contributor. Kallmeyer, Laura, contributor. Kolb, Hans-Peter, contributor. Kolb, Hans-Peter, editor. Kracht, Marcus, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110806786
https://www.degruyter.com/isbn/9783110806786
Cover https://www.degruyter.com/document/cover/isbn/9783110806786/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Oracle embedded programming and application development için kapak resmi
Oracle embedded programming and application development
Yazar 
Lakshman, Bulusu., author.
Yer Numarası 
QA76.76 .D47 L343 2011
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Practical database programming with Java için kapak resmi
Practical database programming with Java
Yazar 
Bai, Ying, 1956-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988888
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Visual C# 2005 demystified a self-teaching guide için kapak resmi
Visual C# 2005 demystified a self-teaching guide
Yazar 
Kent, Jeffrey A. (Jeffrey Alan), 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Java demystified a self-teaching guide için kapak resmi
Java demystified a self-teaching guide
Yazar 
Keogh, James Edward, 1948-
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
OOP demystified a self-teaching guide için kapak resmi
OOP demystified a self-teaching guide
Yazar 
Keogh, James Edward, 1948- Giannini, Mario.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
An introduction to TTCN-3 için kapak resmi
An introduction to TTCN-3
Yazar 
Willcock, Colin.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Books24x7 http://www.books24x7.com/marc.asp?bookid=41769
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675190
http://site.ebrary.com/lib/alltitles/Doc?id=10510619
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Cognitive Modeling and Verbal Semantics : A Representational Framework Based on UML için kapak resmi
Cognitive Modeling and Verbal Semantics : A Representational Framework Based on UML
Yazar 
Schalley, Andrea C., author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110909623
https://www.degruyter.com/isbn/9783110909623
Cover https://www.degruyter.com/document/cover/isbn/9783110909623/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Mathematical aspects of logic programming semantics için kapak resmi
Mathematical aspects of logic programming semantics
Yazar 
Hitzler, Pascal., author. Seda, Anthony.
Yer Numarası 
QA76.63 .H58 2011
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
A student's guide to the study, practice, and tools of modern mathematics için kapak resmi
A student's guide to the study, practice, and tools of modern mathematics
Yazar 
Bindner, Donald., author. Erickson, Martin J., 1963-
Yer Numarası 
QA41.6 .B56 2011
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Model-based design for embedded systems için kapak resmi
Model-based design for embedded systems
Yazar 
Mosterman, Pieter J. Nicolescu, G. (Gabriela)
Yer Numarası 
TK7895 .E42 M62 2010
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
SysML for Systems Engineering için kapak resmi
SysML for Systems Engineering
Yazar 
Holt, Jon Perry, Simon
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBPC007E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Domain-specific modeling enabling full code generation için kapak resmi
Domain-specific modeling enabling full code generation
Yazar 
Kelly, Steven. Tolvanen, Juha-Pekka.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html
John Wiley http://dx.doi.org/10.1002/9780470249260
http://swb.eblib.com/patron/FullRecord.aspx?p=331608
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Bioinformatics : a practical approach için kapak resmi
Bioinformatics : a practical approach
Yazar 
Ye, Shui Qing, 1954, author.
Yer Numarası 
QH324.2 .Y42 2008
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
High performance embedded computing handbook : a systems perspective için kapak resmi
High performance embedded computing handbook : a systems perspective
Yazar 
Bond, Robert A. Martinez, David R. Vai, M. Michael.
Yer Numarası 
TK7895 .E42 H54 2008
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Handbook of real-time and embedded systems için kapak resmi
Handbook of real-time and embedded systems
Yazar 
Lee, Insup. Leung, Joseph Y-T. Son, Sang H.
Yer Numarası 
QA76.54 .H35 2008
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
The R book için kapak resmi
The R book
Yazar 
Crawley, Michael J.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=297479
http://www3.interscience.wiley.com/cgi-bin/bookhome/116311729
MyiLibrary, Table of contents http://www.myilibrary.com?id=90097&ref=toc
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=297479_0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Programming language fundamentals by example için kapak resmi
Programming language fundamentals by example
Yazar 
Stevenson, D. E., author.
Yer Numarası 
QA76.6 .S746 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionals için kapak resmi
Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionals
Yazar 
Foster, James C. Price, Mike (Mike Morgan) McClure, Stuart.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781597490054
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
The engineering handbook için kapak resmi
The engineering handbook
Yazar 
Dorf, Richard C.
Yer Numarası 
TA151 .E424 2005
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Computers, Software Engineering, and Digital Devices için kapak resmi
Computers, Software Engineering, and Digital Devices
Yazar 
Dorf, Richard C., author. Taylor and Francis.
Yer Numarası 
TK7885
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
The windows serial port programming handbook için kapak resmi
The windows serial port programming handbook
Yazar 
Bai, Ying, 1956, author.
Yer Numarası 
TK7887.5 .B35 2005
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
The industrial information technology handbook için kapak resmi
The industrial information technology handbook
Yazar 
Zurawski, Richard.
Yer Numarası 
T58.5 .I513 2005
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Computer science handbook için kapak resmi
Computer science handbook
Yazar 
Tucker, Allen B.
Yer Numarası 
QA76 .C54755 2004
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Understanding WMI scripting için kapak resmi
Understanding WMI scripting
Yazar 
Lissoir, Alain.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781555582661
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Leveraging WMI scripting using Windows Management Instrumentation to solve Windows management problems için kapak resmi
Leveraging WMI scripting using Windows Management Instrumentation to solve Windows management problems
Yazar 
Lissoir, Alain.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781555582999
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Perl programming for biologists için kapak resmi
Perl programming for biologists
Yazar 
Jamison, D. Curtis. John Wiley & Sons. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available from Wiley InterScience
Authentication may be required
John Wiley http://dx.doi.org/10.1002/047172274X
MyiLibrary, Table of contents http://www.myilibrary.com?id=55702&ref=toc
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Grammars and automata for string processing : from mathematics and computer science to biology, and back için kapak resmi
Grammars and automata for string processing : from mathematics and computer science to biology, and back
Yazar 
Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-
Yer Numarası 
QA76 .G6725 2003
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
The compiler design handbook : optimizations and machine code generation için kapak resmi
The compiler design handbook : optimizations and machine code generation
Yazar 
Srikant, Y. N. Shankar, P. (Priti)
Yer Numarası 
QA76.76 .C65 C35 2003
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
C♯.net web developer's guide için kapak resmi
C♯.net web developer's guide
Yazar 
Turtschi, Adrian.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781928994503
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
ASP.net web developer's guide için kapak resmi
ASP.net web developer's guide
Yazar 
Turtschi, Adrian.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781928994510
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Internet and Wireless Security için kapak resmi
Internet and Wireless Security
Yazar 
Temple, Robert, ed. Regnault, John, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBBT004E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Foundations of object-oriented languages types and semantics için kapak resmi
Foundations of object-oriented languages types and semantics
Yazar 
Bruce, Kim B.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Information systems and technology for the noninformation systems executive : an integrated resource management guide for the 21st century için kapak resmi
Information systems and technology for the noninformation systems executive : an integrated resource management guide for the 21st century
Yazar 
Shim, Jae K.
Yer Numarası 
T58.64 .S53 2000
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781420025651
Taylor & Francis https://www.taylorfrancis.com/books/9780367801175
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Handbook of object technology için kapak resmi
Handbook of object technology
Yazar 
Zamir, Saba, 1959-
Yer Numarası 
QA76.9 .O35 H35 1999
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781420049114
Taylor & Francis https://www.taylorfrancis.com/books/9780367802134
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java için kapak resmi
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
Yazar 
Buchanan, William.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780340700143
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Algebraic semantics of imperative programs için kapak resmi
Algebraic semantics of imperative programs
Yazar 
Goguen, Joseph. Malcolm, Grant.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Constraint-based grammar formalisms parsing and type inference for natural and computer languages için kapak resmi
Constraint-based grammar formalisms parsing and type inference for natural and computer languages
Yazar 
Shieber, Stuart M.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267434
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Lazy functional languages abstract interpretation and compilation için kapak resmi
Lazy functional languages abstract interpretation and compilation
Yazar 
Burn, Geoffrey.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
The computer comes of age the people, the hardware, and the software için kapak resmi
The computer comes of age the people, the hardware, and the software
Yazar 
Moreau, René.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology için kapak resmi
LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology
Yazar 
Levin, Michael I. McCarthy, John, 1927-2011. Massachusetts Institute of Technology. Computation Center. Massachusetts Institute of Technology. Research Laboratory of Electronics.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: