I'm answering this one, since Arun P Johny isn't answering.
Yes you are right. That's jquery.
You can check for its version by doing $.fn.jquery
or jQuery.fn.jquery
. This will return version.
The reason you didn't see a src = jquery..js
might be because the script references may have been dynamically assigned. You can see which scripts were actually referenced by looking at the how the script was resolved in your browser (by pressing F12).
But Arun.P.Johny answered it first ;)